00:02 (quit) yoklov: Quit: computer sleeping 00:04 (quit) jeapostrophe: Ping timeout: 268 seconds 00:04 (join) jeapostrophe 00:09 (quit) ynniv: Quit: ynniv 00:11 (quit) greghendershott: Read error: Operation timed out 00:12 (join) yoklov 00:31 (join) samth 00:31 (quit) samth: Changing host 00:31 (join) samth 00:37 (quit) adu: Quit: adu 00:37 (join) m4burns 00:41 (quit) jeapostrophe: Ping timeout: 276 seconds 00:41 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 01:06 (quit) mceier: Quit: leaving 01:31 (quit) yoklov: Quit: computer sleeping 01:49 (quit) hash_table: Ping timeout: 245 seconds 01:51 (quit) SamB_MacG5: Ping timeout: 260 seconds 01:58 (join) SamB_MacG5 02:06 (join) mceier 02:11 (quit) dnolen: Quit: ERC Version 5.3 (IRC client for Emacs) 02:33 (join) RacketCommitBot 02:33 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ic_X1g 02:33 RacketCommitBot: [racket/master] Improve contract generation in Typed Racket. - Sam Tobin-Hochstadt 02:33 (part) RacketCommitBot 02:35 (join) gciolli 02:46 (join) bitonic 02:55 (join) dyoo 02:58 (join) tfb 03:01 (nick) elliottcable -> buoyant 03:04 (quit) samth: Ping timeout: 260 seconds 03:08 (quit) bitonic: Ping timeout: 260 seconds 03:09 (join) Kaylin 03:11 (quit) dyoo: Quit: dyoo 03:16 (join) noam 03:18 (quit) jonrafkind: Ping timeout: 246 seconds 03:21 (join) bitonic 03:30 (quit) gciolli: Quit: Leaving. 03:30 (quit) noam: Ping timeout: 244 seconds 03:34 (quit) Kaylin: Read error: Connection reset by peer 03:43 (join) noelw 03:47 (quit) bitonic: Ping timeout: 240 seconds 04:42 (join) bitonic 04:49 (quit) bitonic: Ping timeout: 252 seconds 04:54 (join) bitonic 04:56 (quit) tfb: Quit: sleeping 05:03 (quit) bitonic: Ping timeout: 245 seconds 05:03 (join) bitonic` 05:09 (nick) bitonic` -> bitonic 05:27 (join) MightyFoo 05:43 (quit) neilv: Remote host closed the connection 05:47 (join) nathanpc 06:01 (join) masm 06:36 (join) MayDaniel 06:45 (join) ambrosebs 07:31 (join) bitonic 07:41 (join) ubuntu-nathan 07:43 (quit) nathanpc: Ping timeout: 240 seconds 07:43 (nick) ubuntu-nathan -> nathanpc 08:12 (join) jeapostrophe 08:12 (quit) jeapostrophe: Changing host 08:12 (join) jeapostrophe 08:12 (join) greghendershott 08:17 (join) pavelpenev 08:19 (join) cdidd 08:47 (join) hash_table 09:04 (join) adu 09:06 (join) noam 09:10 (quit) bitonic: Ping timeout: 260 seconds 09:11 (join) bitonic 09:12 (join) stephenbeck 09:17 (quit) hash_table: Ping timeout: 260 seconds 09:18 (quit) bjz: Quit: Leaving... 09:35 (join) nathanpc 09:37 (join) tonyg 09:38 (quit) jeapostrophe: Ping timeout: 260 seconds 09:39 (join) mizu_no_oto 09:44 (quit) bitonic: Ping timeout: 245 seconds 09:44 (join) bitonic 10:03 (quit) bitonic: Remote host closed the connection 10:04 (join) bitonic 10:06 (join) bjz 10:26 (join) hash_table 10:32 (join) jeapostrophe 10:32 (quit) jeapostrophe: Changing host 10:32 (join) jeapostrophe 10:39 (quit) ambrosebs: Ping timeout: 252 seconds 10:43 (join) anRch 10:44 (quit) adu: Quit: adu 10:48 (quit) MayDaniel: Read error: Connection reset by peer 10:50 (join) MayDaniel 10:50 (quit) mceier: Quit: leaving 10:52 (quit) jeapostrophe: Ping timeout: 256 seconds 10:54 (join) adu 10:56 (join) ianjneu 10:56 ianjneu: hello hello 10:57 (join) jeapostrophe 10:57 (quit) jeapostrophe: Changing host 10:57 (join) jeapostrophe 10:58 noelw: hi 11:17 (quit) adu: Quit: adu 11:23 (quit) anRch: Quit: anRch 11:25 (quit) jeapostrophe: Ping timeout: 255 seconds 11:30 (join) yoklov 11:31 (part) tonyg 11:37 (join) adu 11:38 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 11:41 (join) ambrosebs 11:53 (join) anRch 11:58 (nick) noelw -> noelw_away 12:00 (quit) jrslepak: Quit: What happened to Systems A through E? 12:05 (quit) yoklov: Quit: computer sleeping 12:12 (join) mceier 12:23 (quit) bjz: Read error: Connection reset by peer 12:26 (quit) anRch: Quit: anRch 12:26 (quit) Shvillr: Ping timeout: 245 seconds 12:26 (join) Shvillr 12:26 (join) bjz 12:26 MightyFoo: night all 12:27 (part) MightyFoo: "WeeChat 0.3.8" 12:34 (quit) Demosthenex: Ping timeout: 256 seconds 12:34 (join) yoklov 12:34 (join) Demosthenex 13:12 (join) jonrafkind 13:30 (quit) adu: Read error: Connection reset by peer 13:30 (join) adu 13:35 (quit) adu: Read error: Connection reset by peer 13:36 (join) adu 13:37 (quit) adu: Read error: Connection reset by peer 13:38 (join) adu 13:44 (join) anRch 13:47 (join) samth 13:47 (quit) samth: Changing host 13:47 (join) samth 13:51 (quit) jonrafkind: Ping timeout: 240 seconds 13:52 (part) ambrosebs 13:59 (quit) bitonic: Ping timeout: 265 seconds 14:09 (quit) acarrico: Ping timeout: 244 seconds 14:09 (join) RacketCommitBot 14:09 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/GAwXRQ 14:09 RacketCommitBot: [racket/master] Flvectors and Fxvectors are higher-order if we give them restricted float types. - Sam Tobin-Hochstadt 14:09 (part) RacketCommitBot 14:11 (join) jonrafkind 14:22 (join) acarrico 14:25 (quit) samth: Ping timeout: 255 seconds 14:38 (quit) bjz: Quit: Leaving... 14:43 (quit) anRch: Quit: anRch 14:45 jonrafkind: hm, for some reason I thought 'raco expand x.rkt' would show me the variable renamings resulting from macro expansion 14:46 (quit) cdidd: Ping timeout: 272 seconds 15:02 (join) mizu_no_oto 15:03 (quit) adu: Quit: adu 15:32 (join) samth 15:32 (quit) samth: Changing host 15:32 (join) samth 15:51 (quit) samth: Ping timeout: 276 seconds 15:52 (quit) acarrico: Ping timeout: 260 seconds 16:01 (quit) hash_table: Ping timeout: 264 seconds 16:08 (join) acarrico 16:15 (join) uselpa 16:26 (join) dyoo 16:30 dyoo: has anyone here played with llvm or enscripten? 16:36 (join) jeapostrophe 16:36 (quit) jeapostrophe: Changing host 16:36 (join) jeapostrophe 16:41 (quit) dyoo: Quit: dyoo 16:45 (quit) uselpa: Remote host closed the connection 16:47 (join) RacketCommitBot 16:47 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/Zld9kw 16:47 RacketCommitBot: [racket/master] fixing PR13210 - Jay McCarthy 16:47 (part) RacketCommitBot 16:49 (join) dyoo 16:53 (join) hash_table 17:01 (quit) stephenbeck: Quit: leaving 17:02 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 17:06 (join) jrslepak 17:26 (join) RacketCommitBot 17:26 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/41Btdg 17:26 RacketCommitBot: [racket/master] second attempt at removing reliance on tcp. available has been greatly simplified because it relied on the behavior the thread.rktl test is actually testing - Jay McCarthy 17:26 (part) RacketCommitBot 17:27 dyoo: stupid question: bound-identifier=?: is it useful for anything besides syntax that's already been expanded? 17:27 dyoo: that is, it's useless for unexpanded syntax, right? 17:29 jonrafkind: well I guess it would tell you if pattern variables bind certain things 17:32 jonrafkind: i mean if two pattern variables are bound-identifier=? then you know they have the same name and same hygienic marks 17:41 dyoo: I guess what I mean is that https://gist.github.com/3961723 is telling me that what I expected bound-identifier=? to do, being able to distinguish shadowing and binding, is only possible after expansion, because before that point, no binding information has been computed yet 17:43 jonrafkind: hm so there x is bound-identifier=? but should not be free-identifier=? 17:43 jonrafkind: is free-identifier=? saying #t? 17:43 jonrafkind: i would imagine both are #t 17:44 (quit) MayDaniel: Read error: Connection reset by peer 17:47 (quit) ianjneu: Quit: leaving 17:48 (join) bitonic 17:49 (join) bro_grammer 17:54 (quit) hash_table: Ping timeout: 265 seconds 18:01 (quit) bro_grammer: Ping timeout: 245 seconds 18:03 (join) bro_grammer 18:04 carleastlund: dyoo, once syntax is fully expanded, bound-identifier=? and free-identifier=? are the same. And of course before any expansion, both are just eq? on the symbol. They're only useful mid-expansion, and serve different purposes. 18:05 carleastlund: jonrafkind, and I'm pretty sure anything bound-identifier=? should also be free-identifier=?, the bound-... version is supposed to be the stricter of the two. 18:07 carleastlund: Of course actual Racket expansion is never quite as simple as the model in my head, there may be some corner cases I'm not accounting for. But in general, I would only use free-identifier=? on fully expanded code. bound-identifier=? is generally used for almost-ready-to-be-bound identifiers (i.e. names being bound by the current form under expansion). 18:08 dyoo: hmmmm. 18:12 jonrafkind: hm, i have to think about it.. 18:12 jonrafkind: if there are any cases when they are different 18:14 carleastlund: jonrafkind, there aren't in the Dybvig model, I'm pretty sure, but I think there are weird cases in Racket model with internal definition contexts that mess up bound-identifier=?, so if that makes things go crazy I won't be totally surprised. 18:14 jonrafkind: ah 18:14 jonrafkind: oki found a case already 18:14 carleastlund: haha 18:14 carleastlund: Well that was sure fast. 18:15 jonrafkind: https://gist.github.com/3961884 18:15 jonrafkind: its because the argument is marked so it cant be bound identifier= 18:15 jonrafkind: but they both reference the global x to begin with so they are free identifier= 18:16 carleastlund: Oh, wait, but that's the way that works fine -- free=? but not bound=?. It's the other way I'm saying shouldn't happen. Above you said something was bound=? but not free=?. 18:16 jonrafkind: oh i see 18:17 jonrafkind: i think likely you are right 18:25 (quit) bitonic: Ping timeout: 246 seconds 18:36 (join) didi 18:41 (join) Nisstyre-laptop 18:58 (quit) greghendershott: Ping timeout: 245 seconds 19:21 chandler: Hm. It seems like the way that `ffi-callback' allocates the ffi closure is wrong on non-JIT platforms. `scheme_malloc_code' tries to make sure that the returned page is executable if you have JIT, but otherwise just calls malloc, which might not work at all. 19:26 jonrafkind: what should it do 19:27 chandler: There's actually a libffi function `ffi_closure_alloc' which is supposed to do whatever is necessary to make this work on your platform. 19:29 jonrafkind: sounds reasonable 19:32 (quit) Nisstyre-laptop: Read error: Operation timed out 19:36 (join) bitonic 19:38 (quit) pavelpenev: Remote host closed the connection 19:49 (quit) bitonic: Ping timeout: 240 seconds 20:07 (quit) dyoo: Quit: dyoo 20:10 (quit) yoklov: Quit: computer sleeping 20:12 (join) yoklov 20:17 (join) dnolen 20:24 (quit) jonrafkind: Ping timeout: 255 seconds 20:34 (quit) carleastlund: Quit: carleastlund 20:50 (join) bjz 20:51 (join) jonrafkind 21:34 (quit) dnolen: Quit: ERC Version 5.3 (IRC client for Emacs) 21:39 (quit) masm: Quit: Leaving. 21:52 (join) ambrosebs 22:14 (quit) didi: Remote host closed the connection 22:19 (join) didi 22:22 (quit) nathanpc: Quit: Computer has gone to sleep. 22:26 (quit) jonrafkind: Ping timeout: 245 seconds 22:50 (join) RacketCommitBot 22:50 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/CVbh8w 22:50 RacketCommitBot: [racket/master] add logging to mred's event callback mechanism to record - Robby Findler 22:50 RacketCommitBot: [racket/master] add some first-cut logging information to drracket - Robby Findler 22:50 RacketCommitBot: [racket/master] Adjust online check syntax's trace replay code so that it: - Robby Findler 22:50 (part) RacketCommitBot 22:59 (join) ioa 23:03 (join) Nisstyre-laptop 23:25 (join) cdidd