00:10 (quit) jeapostrophe: Read error: Operation timed out 00:21 (quit) greghendershott: Quit: Leaving. 00:24 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs) 00:35 (join) mye 00:43 (join) yolo 00:43 yolo: is anyone here? 00:43 yolo: hellllllllloooooooooo~~~~ 00:46 jonrafkind: sup broski 00:47 yolo: hello? 00:47 jonrafkind: hello? 00:47 yolo: could you help me with something? 00:47 jonrafkind: maybe? 00:48 yolo: i'm trying to make this definition to work 00:48 yolo: but it's not workin 00:48 jonrafkind: word 00:48 yolo: so i'm given this (check-expect (clarify-image (circle 10 "solid" (make-color 250 250 250 255))) (circle 10 "solid" (make-color 250 250 250 0))) 00:48 yolo: and i have to make a definition that would work for that 00:49 yolo: what it does is it makes alpha 0 for colors with r+g+b > 650 and others as it is 00:49 jonrafkind: for what, clarify-image? 00:49 yolo: yes 00:49 yolo: (define (clarify-image im) (make-color (clarify-colorcolor-red im) (color-green im) (color-blue im) (cond [(> (+ (color-red im) (color-green im) (color-blue im)) 650) 0] [else (color-alpha im)])))) 00:49 yolo: i tried that as the definition but i get an error 00:49 jonrafkind: should I use my psychic powers to discover the error? 00:49 jonrafkind: hold on while i power up. it might take 20 episodes 00:49 yolo: :: color-red: expects a color, given # 00:50 yolo: thats the error i get 00:50 jonrafkind: well you have to get the color from the image somehow i guess 00:50 jonrafkind: do you think thats possible? 00:51 yolo: but for now i'm setting "im" as a parameter 00:51 yolo: so that i can put any picture in and it would work 00:52 yolo: ignore that "clarify-color" that's a typo 00:54 yolo: i guess you left T^T 00:54 jonrafkind: i guess you didnt read 00:54 yolo: ?? 00:54 jonrafkind: well you have to get the color from the image somehow i guess 00:54 yolo: didn't read what?? 00:54 jonrafkind: do you think thats possible? 00:54 yolo: yes it's possible 00:55 jonrafkind: so do that 00:56 (join) mithos28 00:58 yolo: mhmmm 01:01 yolo: i don't know how i would be able to put it into the definition 01:14 (quit) mceier: Quit: leaving 01:23 (quit) mithos28: Quit: mithos28 01:24 (quit) yolo: Ping timeout: 245 seconds 01:27 (quit) Shvillr: Ping timeout: 256 seconds 01:28 (join) Shvillr 01:32 (join) mithos28 01:35 (quit) mithos28: Client Quit 01:36 asumu: Sigh, this complicated bug I was tracking down came down to a typo deep in the bowels of some code. 01:36 asumu: That was causing weird behavior *only* across module imports. 01:41 (join) mithos28 01:41 (quit) Kaylin: Read error: Connection reset by peer 01:41 (join) DT`` 01:43 (quit) DT`: Ping timeout: 246 seconds 01:47 (quit) mithos28: Quit: mithos28 01:48 asumu: (also took a bunch of git bisecting to find) 01:51 Cryovat: Nice work, asumu :) 01:52 (quit) SamB_MacG5: Ping timeout: 246 seconds 01:52 asumu: Thanks. It's just anticlimactic that it was a typo though. :p 01:52 Cryovat: Hehe 01:52 (join) SamB_MacG5 01:52 Cryovat: I kind of appreciate those cases 01:53 Cryovat: It's worse when it turns out to be one of those "We never designed our framework to handle this scenario" cases 01:54 asumu: That's true. Then the bug just sits there... 01:54 (join) mithos28 02:00 (join) dyoo 02:03 (quit) mithos28: Quit: mithos28 02:09 (join) mceier 02:10 (quit) dyoo: Quit: dyoo 02:10 (join) mithos28 02:11 mye: can someone here help me untie this inner knot of mine: if OO programming is 'shared mutable state between functions' (encapsulation), then it is incompatible with the idea of functional programming. 02:12 mye: the antecedent must be wrong, but it seems just as a structured way to use set! 02:15 (join) mizu_no_oto 02:19 (join) RacketCommitBot 02:19 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/0zLA_g 02:19 RacketCommitBot: racket/master daca1c0 Asumu Takikawa: Fix a free variance bug... 02:19 (part) RacketCommitBot 02:20 asumu: mye: I don't think the "mutable" is required. 02:21 asumu: For example, take Racket. It allows you to use objects in a functional style (though not as well as it could): 02:22 asumu: rudybot: (define point% (class object% (init-field [x 0] [y 0]) (define/public (move dx dy) (new this% [x (+ x dx)] [y (+ y dy)])))) 02:22 rudybot: asumu: your sandbox is ready 02:22 rudybot: asumu: Done. 02:22 asumu: rudybot: (send (new point%) move 3 4) 02:22 rudybot: asumu: error: instantiate: superclass initialization not invoked by initialization for class: point% 02:23 asumu: rudybot: (define point% (class object% (init-field [x 0] [y 0]) (super-new) (define/public (move dx dy) (new this% [x (+ x dx)] [y (+ y dy)])))) 02:23 rudybot: asumu: Done. 02:23 asumu: rudybot: (send (new point%) move 3 4) 02:23 rudybot: asumu: ; Value: #(struct:object:point% 3 4) 02:23 asumu: Like so. 02:26 mye: asumu: thanks for the example. My confusion probably stems from me trying to implement a functional stack in a parser 02:27 mye: My solution is currently based around parameters, and setting a newly cons'd to list as the new stack. But I think events are a better design 02:31 (join) hkBst 02:31 (quit) hkBst: Changing host 02:31 (join) hkBst 02:32 (quit) SHODAN: Quit: No Ping reply in 180 seconds. 02:33 (join) SHODAN 02:34 asumu: mye: yeah, function design is nice when you can do it. I avoid it, but sometimes have to use set! 02:34 asumu finally has been able to update parts of his planet package after fixing a TR bug 02:37 (quit) SHODAN: Client Quit 02:37 (quit) scott_: Quit: Leaving 02:37 (join) SHODAN 02:41 (join) asvil 03:02 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 03:04 (quit) mithos28: Quit: mithos28 03:11 (quit) SamB_MacG5: Ping timeout: 264 seconds 03:25 (join) SamB_MacG5 03:29 (join) mizu_no_oto 03:42 (quit) cdidd: Ping timeout: 240 seconds 03:43 (join) noelw 03:51 (quit) snorble_: Ping timeout: 248 seconds 03:57 (join) cdidd 03:59 (quit) mceier: Quit: leaving 04:00 (quit) asumu: Ping timeout: 272 seconds 04:03 (quit) jonrafkind: Ping timeout: 260 seconds 04:05 (join) gfb 04:09 (quit) gfb: Ping timeout: 245 seconds 04:13 (join) mceier 04:23 (join) niels1 04:25 (quit) niels1: Remote host closed the connection 04:28 (join) asumu 04:31 (join) niels1 04:42 (quit) dsantiago: Ping timeout: 260 seconds 04:43 (join) dsantiago 04:54 (quit) niels1: Remote host closed the connection 05:00 (join) masm 05:01 (quit) cdidd: Remote host closed the connection 05:19 (join) mye_ 05:21 (quit) mye: Ping timeout: 240 seconds 05:21 (nick) mye_ -> mye 05:23 (join) niels1 05:29 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 05:42 (nick) jaaso -> jaaso_ 05:48 ivenkys: gents - question - i have programmed in OOP before and some Python - have just completed the first 2 tutorials in Racket-lang. I want to have some sort of a Project that i can implement (makes me learn better) - any suggestions ? 06:12 (quit) ivenkys: Quit: leaving 06:18 (join) ivenkys 06:18 (join) mizu_no_oto 06:22 (quit) karswell: Ping timeout: 260 seconds 06:26 asvil: hi all, what is official compiler for racket under win? mingw or msvc? 06:26 (join) nathanpc 06:29 Haffe: raco? 06:29 Haffe: Oh sorry. 06:29 Haffe: NVM. 06:37 (join) karswell 06:40 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 06:44 (quit) karswell: Ping timeout: 260 seconds 06:45 (quit) mario-goulart: Read error: Connection reset by peer 06:50 (join) mario-goulart 06:57 (join) mye 06:58 (join) mye_ 07:01 (quit) mye: Ping timeout: 240 seconds 07:01 (nick) mye_ -> mye 07:05 (join) karswell 07:10 ewemoa: asvil: http://pre.racket-lang.org/racket/src/worksp/README ? 07:11 asvil: I mean, what exe I download from racket-lang.org (win x86_64). Probably it is msvc v8 07:12 ewemoa: sorry, don't know 07:25 (quit) hkBst: Read error: Connection reset by peer 07:26 (join) hkBst 07:26 (quit) hkBst: Changing host 07:26 (join) hkBst 07:56 (join) nilyaK 08:09 (quit) Shvillr: Read error: Connection reset by peer 08:10 (join) jeapostrophe 08:10 (quit) jeapostrophe: Changing host 08:10 (join) jeapostrophe 08:12 (join) bitonic 08:15 (quit) masm: Ping timeout: 248 seconds 08:18 (join) greghendershott 08:21 (join) Shvillr 08:31 (join) masm 08:32 (quit) asvil: Remote host closed the connection 08:34 (quit) hkBst: Read error: Connection reset by peer 08:35 (join) hkBst 08:35 (quit) hkBst: Changing host 08:35 (join) hkBst 08:39 (quit) SHODAN: Remote host closed the connection 08:40 (quit) hkBst: Ping timeout: 246 seconds 08:41 (join) SHODAN 08:57 (quit) ewemoa: Quit: Leaving. 08:59 (quit) niels1: Quit: WeeChat 0.3.8 09:09 (quit) bitonic: Ping timeout: 265 seconds 09:13 (quit) acarrico: Ping timeout: 252 seconds 09:22 (join) mizu_no_oto 09:26 (join) maryso 09:26 maryso: hello 09:26 maryso: i need help ! 09:27 (join) acarrico 09:27 maryso: is someone here? 09:27 bremner: maryso: you'll be more likely to get help if you ask a specific question. 09:28 bremner: well, unless what you really need help with is knowing if you are alone in the hostile universe 09:30 maryso: thanks..i need to do a function receive a list with arithmetic functions ((2 + 3) * (6-4)) and must determine whether or not it is isomorphic 09:30 noelw: Sounds like homework 09:30 bremner: isomorphic to what? 09:30 maryso: my English is not very good 09:31 (quit) SHODAN: Read error: Connection reset by peer 09:31 maryso: yes is homework the same is dont know how compare + / - * ( ) 09:32 (join) SHODAN 09:33 noelw: eq? perhaps? 09:34 maryso: im trying whit eq and no works 09:34 maryso: I have to see if the list is balanced, that is, if you have the same amount of list or numbers on one side and the other of each operator 09:36 maryso: for example if i have ((2 / 3) + (6 / 6)) is true but if i have (12 * (1 + 3) is false 09:37 maryso: i dont know how to compare from operators 09:38 maryso: im tryin whit eq or equal and eqv and no 09:38 noelw: (eq? '/ '/) 09:38 noelw: => #t 09:39 maryso: i dont put ' / maybe was that i just put / 09:41 maryso: Thanks noelw, like I have to change the code because it does not work: ( 09:44 (join) jao 09:44 (quit) jao: Changing host 09:44 (join) jao 09:57 (join) dzhus 10:05 (join) tim-brown 10:06 tim-brown: i've got a problem with TR: 10:06 tim-brown: (for*/sum: : Nonnegative-Integer ([p (stop-before (in-naturals 1) (lambda: ([v : Nonnegative-Integer]) (> (expt n v) x)))] ...) 10:07 tim-brown: hold on a mo... i might be being a muppet here... 10:09 tim-brown: no.... i'm passing p into (expt ...) and i need a non-negative integer from it 10:09 tim-brown: type checker gives me: 10:09 tim-brown: Type Checker: Expected Nonnegative-Integer, but got Integer in: p 10:09 maryso: what you want to do? 10:10 (quit) acarrico: Ping timeout: 240 seconds 10:10 tim-brown: basically, i'm counting the number of powers on "n" in "x" 10:11 tim-brown: i have the following (non-typed) racket: 10:12 tim-brown: rudybot: (define (!-n-powers-of n x) (for*/sum ([p (stop-before (in-naturals 1) (lambda (v) (> (expt n v) x)))] [i (in-value (expt n p))] [q (in-value (quotient x i))]) q)) 10:12 rudybot: tim-brown: your sandbox is ready 10:12 rudybot: tim-brown: Done. 10:12 tim-brown: rudybot: (!-n-powers-of 2 10) 10:12 rudybot: tim-brown: ; Value: 8 10:13 tim-brown: this returns a non-ve integer 10:13 tim-brown: this and takes two of the same 10:14 tim-brown: whatever in-naturals will give, will be non-negative, so the (expt n p) will be positive integer 10:14 tim-brown: pants! it could return 0 10:14 tim-brown: oh, which is non-negative, too 10:15 tim-brown: so the types seem sound 10:15 tim-brown: and i don't know why the type checker sees p as Integer 10:17 tim-brown: (in-naturals) returns a #, but how do i find out the type of the stream? 10:19 tim-brown: are there any tools for debugging type inference? 10:20 (quit) ivenkys: Remote host closed the connection 10:20 (join) ivenkys 10:21 (quit) maryso: Ping timeout: 245 seconds 10:21 (join) dnolen 10:23 (quit) nilyaK: Read error: Connection reset by peer 10:24 (quit) jao: Remote host closed the connection 10:26 (join) acarrico 10:26 greghendershott: tim-brown: I have hardly any hands-on with TR (on my short list of things to try soon), so I don't know. But would it matter that `expt' returns number? 10:27 tim-brown: same here... i'm taking a working Project Euler solution, and TR'ing it just for "fun" 10:27 tim-brown: it's redefining fun somewhat 10:28 tim-brown: greghendershott: OT: very nice article on macros 10:28 greghendershott: tim-brown: thx! 10:29 tim-brown: i'm wondering if i can coerce expt. will see if (ann expt (Number Number -> Nonnegative-Integer)) will shake some sense into it 10:29 tim-brown: [i know that type is all lies!] 10:29 (join) maryso 10:32 greghendershott: Hey all, I have a another topic. Was waiting so as not to interrupt. 10:32 greghendershott: Maybe this an old topic, but: Why is even a very simple contract like (foo? . -> . any) so much slower than a manual check like (unless (foo? x) (error …))? Like, 200X slower: https://gist.github.com/4046196 10:37 asumu: greghendershott: Hmm, it would be nice if that were faster. But contracts do more than a manual check like track blame. 10:37 asumu: Also in that case it wraps the function with an extra function, so there's another function call. 10:40 (join) cdidd 10:40 (quit) masm: Ping timeout: 246 seconds 10:44 (join) masm 10:45 (join) anRch 10:47 greghendershott: asumu: Definitely I appreciate how contracts can be arbitrarily complex, and there's the blame-tracking aspect. 10:47 greghendershott: And equally definitely I'm failing to appreciate how complicated the implementation must be, to support all the generality. 10:49 greghendershott: So maybe it's dumb for me to wonder, "couldn't it short-circuit some of the complexity in the simplest cases". Maybe that's just not coherent. 10:50 asumu: No, that's a good idea. And some cases are already optimized (like how "any" generates no check), but maybe it could do better. 10:50 greghendershott: I love contracts because they're declarative and self-documenting and don't overwhelm a function definition with error-checking. I just wish the simplest contracts could be not ~200X slower than the "equivalent" check. 10:51 greghendershott: As I mentioned in the gist it's not even a matter of contracts "vs." TR. Seems like TR would benefit as well when interoperating with untyped. 10:52 asumu: Yeah, it would. 10:54 (quit) jeapostrophe: Ping timeout: 264 seconds 10:55 greghendershott: I suppose I could make a Contract Lite macro thing to emulate the simplest contracts, with "blame-less" error messaging. But that wouldn't help TR. Also, Racket probably doesn't need Yet Another Type-Like Specification approach/style. :) Already there's TR, contracts, Scribble defproc style … what am I forgetting. :) 10:55 tim-brown: th 10:55 tim-brown: ? 10:55 tim-brown: how would i run unit tests with rackunit in TR? 10:56 (quit) mceier: Quit: leaving 10:56 greghendershott: ^ "function signature style" is probably a better way to put it 10:58 asumu: tim-brown: I think there's a typed/rackunit 10:58 asumu: Yep, there is. 10:59 tim-brown: thx 11:02 (join) carleastlund 11:03 stamourv: ivenkys: https://github.com/plt/racket/wiki/Intro-Projects 11:06 ivenkys: stamourv: thank you sir 11:07 stamourv: tim-brown: Re your type problem: it may be that TR can't prove that the result is non-negative. 11:07 stamourv: In cases like this, you can always add `assert' to add a runtime check and get the types you want. 11:08 stamourv: IIRC, there's also a new `cast' form that takes types instead of predicates. 11:10 (quit) noelw: Quit: noelw 11:15 tim-brown: stamourv: what a surprise! cast is as straightforward a way of casting as you'd expect in racket! 11:15 (quit) anRch: Quit: anRch 11:15 tim-brown: thanks 11:17 tim-brown: should i be able to use submodules in TR? e.g. (module+ ...) 11:18 tim-brown: i'm getting a "cycle in loading" when i add my first submodule (my test module) 11:18 stamourv: In some cases, but not always. Some submodule patterns cause TR to hit a submodule bug. 11:18 stamourv: Can you post the example? 11:18 (join) jeapostrophe 11:19 tim-brown: will try to isolate it 11:19 stamourv: Thanks! 11:20 (quit) jrslepak: Quit: What happened to Systems A through E? 11:22 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 11:24 (join) mizu_no_oto 11:26 tim-brown: stamourv: http://pastebin.com/gQS2fsr5 11:26 tim-brown: gives 11:26 tim-brown: U:\Program Files\Racket-Full-5.3.1.4\collects\typed-racket\env\env-req.rkt:9:4: standard-module-name-resolver: cycle in loading at path: c:\users\tim\dropbox\euler\euler\submodule-bug.tr.rkt paths: c:\users\tim\dropbox\euler\euler\submodule-bug.tr.rk 11:26 tim-brown: (oh, there's a "t" at the end of that message) 11:27 tim-brown: running in DrRacket -- nightly from a couple of nights ago 11:27 tim-brown: (oh, and i wouldn't expect the check-= to pass, per se) 11:33 (join) DT` 11:34 (quit) DT``: Ping timeout: 246 seconds 11:36 stamourv: tim-brown: Your example works fine here. 11:37 stamourv: (from command-line racket, haven't tried DrRacket) 11:37 stamourv: And my Racket is from a couple of days ago. 11:38 stamourv: I'm on Debian here, do maybe it's a Windows-specific bug? 11:38 stamourv: s/do/so/ 11:38 (quit) carleastlund: Quit: carleastlund 11:39 (quit) mizu_no_oto: Ping timeout: 268 seconds 11:40 tim-brown: command line is ok 11:40 tim-brown: as does "raco test" 11:41 tim-brown: this is on windows, mind 11:41 tim-brown: er... have no access to my debian 11:41 stamourv: Ok, so it sounds like a DrRacket + submodules bug. 11:42 (quit) jeapostrophe: Read error: Operation timed out 11:42 (join) mizu_no_oto 11:42 stamourv: I think samth may have reported something like that at some point. 11:43 tim-brown: i'm in a bit of an hostile environment for reporting bugs atm (windows) 11:43 stamourv: I think it may actually have been reported. Let me check. 11:43 stamourv: s/reported/reported already/ 11:45 (join) anRch 11:49 stamourv: tim-brown: Found it: http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&pr=12902 11:57 (quit) tim-brown: Ping timeout: 245 seconds 11:58 (join) jeapostrophe 11:58 (quit) jeapostrophe: Changing host 11:58 (join) jeapostrophe 12:00 (join) mithos28 12:09 (join) MayDaniel 12:09 (quit) MayDaniel: Changing host 12:09 (join) MayDaniel 12:12 (join) mceier 12:17 (join) jrslepak 12:31 (quit) anRch: Quit: anRch 12:42 (join) dented42 12:47 (join) jonrafkind 12:52 (quit) Nisstyre: Ping timeout: 240 seconds 12:53 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 12:57 (quit) mithos28: Quit: mithos28 12:59 (join) Nisstyre 12:59 (quit) dented42: Ping timeout: 255 seconds 13:02 (join) mithos28 13:10 (quit) ivenkys: Quit: leaving 13:12 (quit) mithos28: Quit: mithos28 13:13 (join) dyoo 13:14 (quit) dyoo: Client Quit 13:23 (join) Twey 13:24 Twey: Is there a function x? s.t. (x? 2 2.0) is true? 13:25 jonrafkind: no but you could call (inexact->exact 2.0) to get 2 back I think 13:26 Twey: Okay, thanks 13:28 stamourv: rudybot: (= 2 2.0) 13:28 rudybot: stamourv: your sandbox is ready 13:28 rudybot: stamourv: ; Value: #t 13:28 stamourv: Twey: ^ 13:29 Twey: Oh, right, thanks :þ 13:56 (join) anRch 13:59 (quit) jeapostrophe: Ping timeout: 248 seconds 14:09 (join) dented42 14:10 (join) dyoo 14:14 (join) jeapostrophe 14:14 (quit) jeapostrophe: Changing host 14:14 (join) jeapostrophe 14:27 (quit) dnolen: Ping timeout: 240 seconds 14:27 (join) sid0 14:27 (join) mithos28 14:34 (join) mizu_no_oto 14:35 (join) snorble_ 14:37 (quit) mithos28: Quit: mithos28 14:38 (quit) dyoo: Quit: dyoo 14:41 (join) dyoo 14:50 (join) Kaylin 15:03 (quit) greghendershott: Quit: Leaving. 15:05 (quit) anRch: Quit: anRch 15:07 (quit) mizu_no_oto: Ping timeout: 255 seconds 15:13 (join) mizu_no_oto 15:16 (quit) acarrico: Ping timeout: 248 seconds 15:25 maryso: canI can compare two # t? as do (eqv? # t # t) concerned and did not work and no other alternatives 15:26 (quit) Nisstyre: Quit: Leaving 15:28 maryso: yes i can, sorry i have something wrong in my code 15:32 (join) acarrico 15:36 (quit) mizu_no_oto: Ping timeout: 260 seconds 15:42 dyoo: maryso: what's going on? Do you have test cases to help pinpoint the problem? 15:44 (join) greghendershott 15:44 (quit) dented42: Quit: Computer has gone to sleep. 15:49 (join) dented42 15:52 (join) mithos28 16:00 jonrafkind: does planet2 have a central web page like planet1? 16:00 asumu: jonrafkind: yes 16:00 asumu: https://plt-etc.byu.edu:9004 16:00 jonrafkind: ok i haven't read the docs just yet. so to make a planet2 package you just put some file into a directory? 16:00 jonrafkind: like 'metadata' or whatever? 16:01 asumu: Pretty much. You may need to reorganize to fit the collects shape. 16:01 jonrafkind: right 16:01 jonrafkind: so 'raco pkg install' installs all the dependencies too right? 16:02 asumu: That's my guess. I haven't actually tried to install a package with dependencies yet. 16:02 jeapostrophe: it will ask you if you want to install 16:02 jonrafkind: jeapostrophe, it would be nice if packages could have user reviews 16:02 (quit) mithos28: Quit: mithos28 16:02 jonrafkind: like amazon 16:03 jeapostrophe: i'm thinking of just hooking up disqus to every package 16:03 jonrafkind: does that let you add stars/points? 16:03 jeapostrophe: i think that's an option 16:03 jonrafkind: i mean it should be like the app store 16:03 jonrafkind: but yes comments like php.net would be good 16:05 jonrafkind: whats the difference between 'last update' and 'last edit' ? 16:05 jonrafkind: they are nearly the same, maybe we can just have one or the other? 16:05 jeapostrophe: edit = you changed the metadata on the site 16:05 jeapostrophe: update = the actual package (ie its checksum) changed 16:05 jonrafkind: no one will know that :p 16:05 jonrafkind: also I think the 'how to install' box should be floating to the right of the description box 16:05 (quit) dented42: Quit: Computer has gone to sleep. 16:06 jeapostrophe: i want the edit and info pages to be identically spaced 16:06 jeapostrophe: and i couldn't get the css to look good floating 16:06 jeapostrophe: if you send a patch though, that'd be good 16:06 jeapostrophe: i'm no css wizard 16:06 jonrafkind: i can sort of get floating to work sometimes :p 16:07 jonrafkind: so presumably the url for the planet2 server can be customized? 16:08 jeapostrophe: yup. "raco pkg config indexes" gives you the list of indexes you care about 16:08 (quit) SamB_MacG5: Ping timeout: 240 seconds 16:09 jonrafkind: cool 16:09 (join) SamB_MacG5 16:09 jonrafkind: then planet2 can grow organically which is probably the most useful feature of all 16:17 jonrafkind: i guess a large number of collects could move out of the tree and just become planet2 packages, but the nice thing about keeping them in the tree is it forces them to be kept up to date 16:18 jeapostrophe: jonrafkind: that's what the "planet" category is all about 16:19 jonrafkind: ok i havent encountered that yet, maybe it will appear when i contribute a package 16:19 jeapostrophe: http://faculty.cs.byu.edu/~jay/tmp/20121108-pkgs/planet2/Future_Plans.html#(part._short-term) 16:19 rudybot: http://tinyurl.com/ahgcq5n 16:19 jonrafkind: ah this is good because i hate building the docs 16:19 jonrafkind: which is why i dont know anything 16:19 jeapostrophe: the original email had a link to them 16:20 jonrafkind: the official pns 16:20 jonrafkind: nice 16:20 Kaylin: plan-it, :O 16:23 (join) jizen 16:24 jizen: Hi guys, who can tell me the meaning of "color-red: expects a color, given #"? 16:24 jonrafkind: it means you passed it an image instead of a color 16:25 jizen: (check-expect (clarify-image (circle 10 "solid" (make-color 250 250 250 255))) (circle 10 "solid" (make-color 250 250 250 0))) (check-expect (clarify-image (circle 10 "solid" (make-color 100 100 100 255))) (circle 10 "solid" (make-color 100 100 100 255))) 16:26 jonrafkind: yes I remember your code from last night 16:26 jizen: Can any one teach me how to make a correct definition ? 16:26 jizen: :s ? 16:27 jizen: Stucked TAT 16:27 jonrafkind: your function accepts an image, you said you know how to get colors from an image, and color-red wants a color 16:31 (quit) acarrico: Ping timeout: 255 seconds 16:31 jonrafkind: jeapostrophe, why is raco pkg install running raco setup on all my collects 16:32 jeapostrophe: jonrafkind: a package can contain any number of collections 16:32 jonrafkind: ??? 16:32 jonrafkind: so why is it building all my collects? 16:32 jonrafkind: does arroy require every collect in the tree? 16:33 jeapostrophe: it doesn't know what collection(s) were installed by the package, and a package may "extend" any existing collection (like scribblings or raco) 16:33 (join) dented42 16:33 jeapostrophe: it just runs "raco setup" 16:33 jonrafkind: bleh 16:33 (quit) jizen: Ping timeout: 245 seconds 16:34 (join) jsj 16:35 jeapostrophe: bleh? 16:35 jeapostrophe: you can pass "--dont-setup" or set PLT_PLANET2_DONTSETUP=1 if you don't want it to 16:35 jeapostrophe: but it's "unsafe" 16:35 jonrafkind: ok ill set that 16:35 jonrafkind: btw a simple raco make will set things up properly 16:35 jonrafkind: no need for raco setup 16:36 asumu: I wish the ref had an example for `syntax-local-make-definition-context`. I guess I should write one. 16:37 jeapostrophe: jonrafkind: no, because you need to build docs, link them to the top toc, and register raco commands, for instance 16:37 jonrafkind: yea but just to get the code to work raco make works well enough 16:38 jeapostrophe: i don't understand your comment wrt "raco pkg install" 16:39 jonrafkind: raco setup will set up all the collects in the tree. raco make foo.rkt will build all the code in the tree that foo.rkt transitively needs 16:39 jonrafkind: i mean it works as long as you have write access to the tree 16:40 jonrafkind: i go to great lengths not to run raco setup, as you can imagine ;p 16:41 jeapostrophe: i don't understand your comment wrt "raco pkg install"... what are you suggesting i would "raco make" on? what about building docs, raco cmds, etc? 16:41 (quit) dyoo: Quit: dyoo 16:41 jonrafkind: raco make on all the .rkt files in the package 16:41 jonrafkind: yes you are right about docs, but i dont care about that 16:41 jonrafkind: i said just for having working code 'raco make' works 16:42 jonrafkind: my understanding is if you do 'raco setup foo' that any raco commands will be registered (as long as raco setup raco) was done too 16:42 jonrafkind: ok i sort of care about package docs, but not if it requires me to run a full blown 'raco setup' 16:43 (quit) Kaylin: Ping timeout: 255 seconds 16:44 (join) acarrico 16:51 greghendershott: Making docs seems like the "heaviest" aspect of the current Planet 1 experience. 16:54 greghendershott: Sometimes I wonder if the doc HTML should simply be hosted on a server (e.g. GitHub gh-pages) with links to the docs.racket-long.org. 16:55 (join) jao 16:56 (quit) jao: Changing host 16:56 (join) jao 16:59 (quit) pavelpenev: Read error: Connection reset by peer 17:02 (join) pavelpenev 17:08 (join) dnolen 17:09 jeapostrophe: greghendershott: you should read the long term part of the planet 2 document, because it describes how this will be done 17:09 jeapostrophe: (and why it isn't trivial) 17:12 (join) didi 17:13 greghendershott: jeapostrophe: bullet 4? re packages that are part of Racket per se? 17:13 (quit) jrslepak: Quit: What happened to Systems A through E? 17:13 jeapostrophe: bullet 5 17:16 greghendershott: OK. Actually I don't mean wanting the prebuilt HTML docs in the package deliverables, instead of being generated. 17:17 greghendershott: I think I mean the base/default case would be, a package's docs are available on some web server and that's up to the package creator to host/provide. Which some would do e.g. by plopping the Scribble output HTML on a GitHub gh-pages branch. Or whatever people want to do. 17:17 greghendershott: I understand some people prefer, or flat out need, locally stored docs. But I'm thinking that would be the option, not the default. 17:18 (join) mithos28 17:20 greghendershott: It just seems like the "heaviest" part of both preparing a package for Planet 1, and of downloading it, is everything related to docs. Just my experience. 17:27 jeapostrophe: I agree with you, mostly, but Scribble is so powerful that documentation can be incredibly personalized to your machine 17:27 jeapostrophe: I see maintaining that site, greghendershott, as part of the maintaining of the binaries 17:28 (quit) mithos28: Quit: mithos28 17:31 greghendershott: My day is mostly in Chrome and Emacs. I'm almost always browsing docs.racket-lang.org not my local copy. I'm usually going back to planet.racket-lang.org to read the HTML docs on the server, for package x. 17:32 greghendershott: Maybe I'm atypical but I chimed in because I thought jonrafkind was making a similar observation. 17:33 jonrafkind: yes thats my experience 17:33 jonrafkind: i never build docs locally because it takes too long 17:33 didi: I don't know what you're talking about, but I *love* local documentation. 17:34 jonrafkind: building docs takes too long 17:34 didi: The only time I do not use it is when I want to send a link to someone. 17:34 didi: jonrafkind: I see. 17:36 didi: With Emacs I'm constantly using Info and for Racket I have a stumpwm command that calls `raco docs' directly. 17:36 greghendershott: So maybe what I'm suggesting is that "build local docs" is an option that could be turned off. Maybe the default is still ON, due to classroom users or whatever. 17:36 didi: greghendershott: Seems reasonable. 17:37 greghendershott: didi: Even if the default were OFF by default, someone like you who's passionate about local docs would be the sort of person willing and able to turn it on. But, maybe ON by default is better due to some of the Racket userbase. 17:38 didi: greghendershott: I see no problem in tweaking compilation flags for the sweet, sweet docs. ;^) 17:39 jeapostrophe: i'm more interested in just making it fast and painless, rather than workarounds for it being painful and slow 17:41 greghendershott: btw is online doc missing from https://plt-etc.byu.edu:9004/info/arroy intentionally, or just for the time being? 17:41 jeapostrophe: you should look at the "future plans" part of the documentation which explains that the site is barebones and online docs is in the cards 17:41 greghendershott: Being able to browse the docs for a package has always been great. Part of deciding whether to download it. (And since I already had it open, that's probably why I just go back there after I download to view the docs more.) 17:43 greghendershott: jeapostrophe: OK I'll look at that more. I'm sorry I don't to be nitpicking and backseat driving. I know how much thought and work you've put into this. 17:46 (quit) masm: Ping timeout: 246 seconds 17:46 greghendershott: My feedback as a relatively recent user: What I liked the most about Planet 1 was online docs. What I liked the least was the slow install due to building local docs. If Planet 2 kills the former but keeps the latter, it might not seem like a net improvement to some people. That's wearing my end-user hat. But I will spend more time with the docs, make sure I'm appreciating all the other good points. 17:48 (join) masm 17:53 (join) jrslepak 17:55 (quit) dented42: Quit: Computer has gone to sleep. 17:57 (join) dented42 17:57 (quit) dented42: Client Quit 18:00 (quit) jeapostrophe: Ping timeout: 248 seconds 18:11 (quit) ozzloy: Ping timeout: 240 seconds 18:12 (quit) walter: Quit: Leaving 18:12 (join) walter 18:13 (quit) walter: Client Quit 18:13 (join) walter 18:26 (quit) dnolen: Quit: ERC Version 5.3 (IRC client for Emacs) 18:31 (join) jeapostrophe 18:31 (quit) jeapostrophe: Changing host 18:31 (join) jeapostrophe 18:35 (join) dyoo 18:36 (quit) Shviller: Ping timeout: 260 seconds 18:37 (join) Shviller 18:38 (part) dyoo 18:45 (join) mithos28 18:46 (join) RacketCommitBot 18:46 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/Do6TDw 18:46 RacketCommitBot: racket/master 641e855 Danny Yoo: Translate uses of display with write-string.... 18:46 RacketCommitBot: racket/master 7618a6a Danny Yoo: Drop dead code. 18:46 (part) RacketCommitBot 18:47 (join) ozzloy 18:55 (quit) mithos28: Quit: mithos28 19:00 greghendershott: asumu: Instead of a contract, maybe just a term sheet? :) https://gist.github.com/4049108 Replacement for define/syntax, same contract syntax, but generates simple checks. Maybe full of holes. 19:00 (quit) didi: Ping timeout: 246 seconds 19:01 (quit) maryso: Quit: Page closed 19:19 jonrafkind: it would be nice if the struct form produced a constructor where keywords could be used with fields 19:20 jonrafkind: (foo #:x 2 #:y 9) 19:21 (quit) jrslepak: Quit: What happened to Systems A through E? 19:22 jeapostrophe: jonrafkind: this is on the racket2 list on the wiki and my "super struct" module in my github exp repo does it 19:29 (quit) SamB_MacG5: Read error: Operation timed out 19:30 (join) SamB_MacG5 19:31 (quit) masm: Quit: Leaving. 19:34 (join) jrslepak 19:39 (join) dented42 19:53 (join) masm 20:04 (quit) MayDaniel: Read error: Connection reset by peer 20:07 (join) Nisstyre-laptop 20:10 (join) bitonic 20:11 (join) mithos28 20:16 (join) nilyaK 20:16 (quit) dzhus: Remote host closed the connection 20:21 (quit) masm: Quit: Leaving. 20:21 (quit) mithos28: Quit: mithos28 20:32 greghendershott: jonrafkind: +1 jeapostrophe: Nice. 20:46 (join) dyoo 20:49 dyoo: greghendershott: I'm currently fighting Scribble render speed this week. Good grief, I want to do something else instead now. :) 20:51 jonrafkind: how much faster is it now 20:51 greghendershott: dyoo: Good news you have time to do something else, while it renders. 20:51 dyoo: I cut out another second or two on my machine on rendering the reference. It takes about 30 seconds on my machine, so another few percent, I suppose. 20:52 jonrafkind: 30 seconds for what exactly 20:52 (join) neilv 20:52 jonrafkind: for all the docs? rendering + re-rendering? 20:52 jonrafkind: oh reference 20:52 dyoo: from "$ scribble reference.scrbl" to document 20:52 jonrafkind: i think to do all the docs takes me like 15-20 minutes 20:53 dyoo: The good news is, out of those 30 seconds, about 11 of them go toward the actual rendering to html 20:53 jonrafkind: meaning what 20:53 greghendershott: I probably haven't pushed it like you are, dyoo, but Scribble rendering seems fine for me in a cycle of editing and checking the output. What I was talking about before re Planet was, I guess, more about the cross-ref indexing? 20:54 greghendershott: Whatever it's doing. 20:54 jonrafkind: rendering my dissertation (no cross-referencing) takes about 12 seconds 20:54 jonrafkind: of which pdflatex is like 1s 20:55 jonrafkind: dyoo, are your improvements general or only for html? 20:55 dyoo: currently focusing on html rendering right now. 20:57 (quit) dyoo: Quit: dyoo 21:05 neilv: i spent a few hours of wall clock time trying multiple builds of my live distro, to figure out why it suddenly stopped working 21:05 neilv: looks like raco exe or raco distribute is not working in 5.3.1 21:06 (quit) dented42: Quit: Computer has gone to sleep. 21:06 jonrafkind: darn 21:13 (quit) bitonic: Ping timeout: 240 seconds 21:17 neilv: i'm not butthurt over it 21:19 (quit) jonrafkind: Ping timeout: 240 seconds 21:20 (join) mye 21:24 neilv: i bet someone is punishing me for resisting internal define 21:25 neilv: first planet2, then break my app 21:25 (quit) neilv: Quit: Leaving 21:26 (join) didi 21:28 jeapostrophe: neilv: ? 21:37 (join) mithos28 21:47 (quit) mithos28: Quit: mithos28 21:51 (join) RacketCommitBot 21:51 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/crKJ3w 21:51 RacketCommitBot: racket/master 2f42694 Claire Alvis: Implementation of #:defaults keyword for define-generics 21:51 (part) RacketCommitBot 22:05 (quit) nathanpc: Quit: Computer has gone to sleep. 22:30 (join) dented42 22:31 (join) mithos28 22:42 (quit) didi: Remote host closed the connection 23:24 (quit) dented42: Quit: Computer has gone to sleep. 23:37 (join) dented42 23:49 (quit) cdidd: Remote host closed the connection 23:52 (quit) jao: Ping timeout: 246 seconds 23:54 (quit) greghendershott: Quit: Leaving.