00:13 (join) jonrafkind 00:54 (quit) qfrslaam: Read error: Connection reset by peer 00:54 (join) qfrslaam 00:56 eli: neilv: The common choice for the filename is using the pacakge name. 00:59 (quit) fds: Ping timeout: 252 seconds 00:59 (quit) ohwow: Ping timeout: 260 seconds 00:59 (quit) cky: Ping timeout: 260 seconds 00:59 (quit) martinhex: Ping timeout: 260 seconds 00:59 (quit) mario-goulart: Read error: Connection reset by peer 00:59 (join) cky_ 00:59 (quit) cky_: Changing host 00:59 (join) cky_ 00:59 (nick) cky_ -> cky 00:59 (join) fds 00:59 (join) mario-goulart 00:59 (join) ohwow 00:59 (quit) tonyg: Ping timeout: 260 seconds 01:02 (join) jjjj2_ 01:04 (quit) jeapostrophe: *.net *.split 01:04 (quit) jrslepak: *.net *.split 01:04 (quit) dmac: *.net *.split 01:04 (quit) sir_lewk: *.net *.split 01:04 (quit) snorble: *.net *.split 01:04 (quit) realitygrill: *.net *.split 01:04 (quit) si14: *.net *.split 01:04 (quit) sethalves: *.net *.split 01:04 (quit) jonrafkind: *.net *.split 01:04 (quit) neilv: *.net *.split 01:04 (quit) torche: *.net *.split 01:04 (quit) adzuci: *.net *.split 01:04 (quit) wtetzner: *.net *.split 01:04 (quit) stchang: *.net *.split 01:04 (quit) mithos28: *.net *.split 01:04 (quit) ianj_neu: *.net *.split 01:04 (quit) Twey: *.net *.split 01:05 (join) tonyg_ 01:05 (join) martin_hex 01:05 (join) dmac 01:05 (join) jeapostrophe 01:05 (join) neilv 01:05 (join) realitygrill 01:05 (join) mithos28 01:05 (join) torche 01:05 (join) sir_lewk 01:05 (join) jrslepak 01:05 (join) si14 01:05 (join) ianj_neu 01:05 (join) Twey 01:05 (join) adzuci 01:05 (join) snorble 01:05 (join) sethalves 01:05 (join) wtetzner 01:05 (join) stchang 01:06 (quit) jjjj2_: Client Quit 01:07 (join) jonrafkind 01:08 (quit) jeapostrophe: Quit: jeapostrophe 01:14 (join) jao 01:24 (quit) realitygrill: Ping timeout: 260 seconds 01:26 (join) pcavs 01:28 (quit) pcavs: Read error: Connection timed out 01:29 (join) pcavs 01:38 (quit) dmac: Ping timeout: 276 seconds 01:39 (quit) bremner: Read error: Operation timed out 01:41 (join) bremner 01:45 (join) masm 02:02 mithos28: does anyone know why srfi/13 does not reproved string-copy? 02:02 mithos28: reprovide* 02:03 (quit) pcavs: Quit: Leaving. 02:10 (quit) mithos28: Read error: Connection reset by peer 02:29 (quit) cky: Remote host closed the connection 02:33 (quit) jonrafkind: Ping timeout: 260 seconds 02:47 (join) mithos28 02:47 (quit) neilv: Quit: Leaving 02:49 (quit) mithos28: Client Quit 02:51 (quit) jao: Ping timeout: 260 seconds 02:57 (join) cky 02:59 (join) hkBst 03:13 (join) mithos28 03:17 (quit) mithos28: Client Quit 03:24 (join) jao 03:50 (join) RacketCommitBot 03:50 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/CgldJQ 03:50 RacketCommitBot: [racket/master] New Racket version 5.1.3.9. - Eli Barzilay 03:50 (part) RacketCommitBot 04:13 (quit) jao: Ping timeout: 260 seconds 04:19 (join) noelw 07:32 (quit) dsp_: Ping timeout: 260 seconds 07:34 (join) jeapostrophe 07:42 (join) dsp_ 08:57 (join) RacketCommitBot 08:57 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/-Isgjw 08:57 RacketCommitBot: [racket/master] fix broken attempt to update DrRacket for errortrace change - Matthew Flatt 08:57 (part) RacketCommitBot 08:59 (quit) torche: Quit: torche 09:17 (join) torche 09:17 (join) realitygrill 09:18 (quit) jeapostrophe: Quit: jeapostrophe 09:18 (join) pcavs 09:22 (quit) pcavs: Client Quit 09:36 (quit) realitygrill: Quit: realitygrill 10:02 (join) realitygrill 10:03 (quit) hkBst: Remote host closed the connection 10:11 (join) pcavs 10:29 (quit) pcavs: Quit: Leaving. 10:32 (join) jeapostrophe 10:33 (join) pcavs 10:37 (quit) pcavs: Client Quit 10:37 (quit) realitygrill: Quit: realitygrill 10:43 (join) tfb 10:45 stamourv: mithos28: I don't use refinement types, so I don't know how stable they are. I don't recall anyone touching them in a while. 10:50 (quit) jeapostrophe: Quit: jeapostrophe 10:50 (nick) samth_away -> samth 10:50 (join) anRch 10:53 (nick) tonyg_ -> tonyg 10:57 (join) shofetim 11:09 (join) realitygrill 11:26 (quit) shofetim: Remote host closed the connection 11:31 (join) mithos28 11:44 (join) pcavs 11:49 (join) jonrafkind 11:59 (join) jeapostrophe 12:08 (quit) mithos28: Quit: mithos28 12:09 (quit) anRch: Quit: anRch 12:12 (quit) martin_hex: Excess Flood 12:14 (join) martin_hex 12:14 (nick) martin_hex -> martinhex 12:15 (quit) noelw: Quit: noelw 12:27 (quit) si14: Ping timeout: 260 seconds 12:35 (join) jao 12:55 (join) mceier 13:02 (quit) tfb: Quit: sleeping 13:05 (quit) mceier: Quit: leaving 13:08 (join) mceier 13:15 (join) dnolen 13:18 (join) si14 13:18 (quit) mceier: Quit: leaving 13:19 (join) mceier 13:21 (quit) mceier: Client Quit 13:21 (join) mceier 13:36 (join) RacketCommitBot 13:36 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/mqegxQ 13:36 RacketCommitBot: [racket/master] add a missing degrees to radians conversion in triangle/ass - Robby Findler 13:36 (part) RacketCommitBot 13:47 samth: stamourv: yeah, the pull req is complicated 13:56 (join) dmac 13:57 (quit) pcavs: Quit: Leaving. 14:00 (join) pcavs 14:07 stamourv: samth: Told you. 14:16 (join) shofetim 14:23 (quit) dmac: Quit: WeeChat 0.3.5 14:23 (join) dmac 14:25 (join) RacketCommitBot 14:25 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/1u-u3g 14:25 RacketCommitBot: [racket/master] fix errortrace-conversion problem in HtDP languages - Matthew Flatt 14:25 (part) RacketCommitBot 14:34 (quit) mario-goulart: Ping timeout: 258 seconds 14:44 (join) mario-goulart 14:46 (quit) jao: Ping timeout: 260 seconds 14:51 (quit) mario-goulart: Ping timeout: 258 seconds 14:58 (join) mario-goulart 15:08 (quit) pcavs: Quit: Leaving. 15:11 (join) pcavs 15:28 (quit) mario-goulart: Read error: Connection reset by peer 15:28 (join) mario-goulart 15:37 (quit) realitygrill: Quit: realitygrill 15:41 (quit) jeapostrophe: Quit: jeapostrophe 15:48 (join) realitygrill 15:58 (join) MayDaniel 16:01 (join) RacketCommitBot 16:01 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/fGxGyw 16:01 RacketCommitBot: [racket/master] Report signature violations in the REPL. - Mike Sperber 16:01 (part) RacketCommitBot 16:02 (quit) dnolen: *.net *.split 16:02 (quit) shofetim: *.net *.split 16:02 (quit) cky: *.net *.split 16:02 (quit) elliottcable: *.net *.split 16:02 (quit) hyko: *.net *.split 16:02 (quit) svk_: *.net *.split 16:02 (quit) tauntaun: *.net *.split 16:02 (quit) martinhex: *.net *.split 16:02 (quit) ohwow: *.net *.split 16:02 (quit) fds: *.net *.split 16:02 (quit) qfrslaam: *.net *.split 16:02 (quit) flying_rhino: *.net *.split 16:02 (quit) ozzloy: *.net *.split 16:02 (quit) janne: *.net *.split 16:02 (quit) danking: *.net *.split 16:02 (quit) JuanDaugherty: *.net *.split 16:02 (quit) MaXim_: *.net *.split 16:02 (quit) gf3: *.net *.split 16:02 (quit) pcavs: *.net *.split 16:02 (quit) em: *.net *.split 16:02 (quit) rudybot: *.net *.split 16:02 (quit) petey: *.net *.split 16:02 (quit) stamourv: *.net *.split 16:02 (quit) clklein: *.net *.split 16:02 (quit) ChanServ: *.net *.split 16:03 (join) pcavs 16:03 (join) shofetim 16:03 (join) dnolen 16:03 (join) martinhex 16:03 (join) cky 16:03 (join) ohwow 16:03 (join) fds 16:03 (join) qfrslaam 16:03 (join) flying_rhino 16:03 (join) ozzloy 16:03 (join) janne 16:03 (join) em 16:03 (join) danking 16:03 (join) rudybot 16:03 (join) JuanDaugherty 16:03 (join) petey 16:03 (join) elliottcable 16:03 (join) stamourv 16:03 (join) MaXim_ 16:03 (join) hyko 16:03 (join) svk_ 16:03 (join) clklein 16:03 (join) tauntaun 16:03 (join) gf3 16:03 (join) ChanServ 16:03 (quit) si14: Remote host closed the connection 16:04 (quit) martinhex: Excess Flood 16:05 (join) martinhex 16:15 (quit) tewk: *.net *.split 16:15 (quit) offby1: *.net *.split 16:15 (quit) eli: *.net *.split 16:15 (quit) karljoh: *.net *.split 16:15 (quit) abbe: *.net *.split 16:15 (quit) _p4bl0: *.net *.split 16:15 (quit) askhader: *.net *.split 16:15 (quit) mattmight: *.net *.split 16:15 (quit) jamessan: *.net *.split 16:15 (quit) asumu: *.net *.split 16:15 (join) askhader 16:15 (join) tewk 16:15 (join) asumu 16:15 (join) offby1 16:15 (join) karljoh 16:15 (join) jamessan 16:15 (quit) jamessan: Changing host 16:15 (join) jamessan 16:16 (join) _p4bl0 16:16 (quit) offby1: Changing host 16:16 (join) offby1 16:17 (join) mattmight 16:18 (quit) zakwilson: *.net *.split 16:18 (quit) rapacity: *.net *.split 16:18 (quit) GeneralMaximus: *.net *.split 16:19 (topic) -: Racket -- http://racket-lang.org -- logs @ http://racket-lang.org/irc-logs 16:19 (names) -: gabot GeneralMaximus ashish samth rapacity ve shachaf zakwilson mattmight _p4bl0 jamessan karljoh offby1 asumu tewk askhader martinhex stchang wtetzner sethalves snorble adzuci Twey ianj_neu jrslepak sir_lewk tonyg bremner masm dsp_ torche jonrafkind mceier dmac mario-goulart realitygrill MayDaniel pcavs shofetim dnolen cky ohwow fds qfrslaam flying_rhino ozzloy janne em danking rudybot JuanDaugherty petey elliottcable stamourv MaXim_ hyko svk_ clklein tauntaun 16:19 (names) -: gf3 @ChanServ 16:20 (join) tomku 16:34 (quit) torche: Quit: torche 16:41 (quit) MayDaniel: Read error: Connection reset by peer 16:45 (join) jao 16:49 (join) torche 16:49 (join) si14 16:53 dmac: Is there a way to get a function's arity at runtime? 16:54 stamourv: rudybot: doc procedure-arity 16:54 rudybot: stamourv: your sandbox is ready 16:54 rudybot: stamourv: http://docs.racket-lang.org/reference/procedures.html#(def._((lib._racket%2Fprivate%2Fbase..rkt)._procedure-arity)) 16:54 stamourv: dmac: ^ 16:54 dmac: Ah, perfect. Thank you. 16:56 (join) fdsa 16:57 (quit) fdsa: Client Quit 17:01 (join) RacketCommitBot 17:01 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/qIrbPA 17:01 RacketCommitBot: [racket/master] drop an unnecesary lock - Matthew Flatt 17:01 RacketCommitBot: [racket/master] adjust module name resolve to use cc-marks less - Matthew Flatt 17:01 (part) RacketCommitBot 17:02 (quit) jonrafkind: Ping timeout: 240 seconds 17:04 (join) jonrafkind 17:08 (join) tfb 17:13 (quit) mceier: Ping timeout: 260 seconds 17:43 (quit) shofetim: Read error: Connection reset by peer 18:04 (quit) jonrafkind: Ping timeout: 240 seconds 18:11 (join) jonrafkind 18:16 (join) anRch 18:35 (nick) samth -> samth_away 18:46 (quit) dnolen: Ping timeout: 252 seconds 19:00 (nick) ashish -> abbe 19:02 (join) jeapostrophe 19:21 (quit) tfb: Quit: sleeping 19:24 (quit) anRch: Quit: anRch 19:26 (quit) pcavs: Quit: Leaving. 19:28 (join) dnolen 19:29 (join) pcavs 19:32 (quit) masm: Quit: Leaving. 19:44 (quit) pcavs: Quit: Leaving. 19:47 (join) pcavs 19:48 (quit) pcavs: Client Quit 20:38 (join) eli 20:42 (join) neilv 20:49 (quit) jonrafkind: Ping timeout: 258 seconds 21:28 (quit) dnolen: Quit: dnolen 21:45 (quit) jao: Ping timeout: 240 seconds 21:49 (join) pcavs 22:53 (join) RacketCommitBot 22:53 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/wg04gg 22:53 RacketCommitBot: [racket/master] place-channel fixes - Matthew Flatt 22:53 RacketCommitBot: [racket/master] fix interactive errortrace on modules - Matthew Flatt 22:53 (part) RacketCommitBot 23:02 (quit) dmac: Ping timeout: 252 seconds 23:12 (quit) neilv: Quit: Leaving 23:18 (join) jonrafkind 23:37 (quit) ohwow: Ping timeout: 258 seconds 23:38 (join) ohwow 23:41 (quit) pcavs: Quit: Leaving. 23:57 (join) pcavs