00:00 (join) sybex 00:00 (quit) scott_: Quit: Leaving 00:01 (quit) skarpy: Ping timeout: 240 seconds 00:01 (quit) peeeep: Ping timeout: 244 seconds 00:01 (join) skarpy 00:01 (join) sizz_ 00:01 (quit) zwak: Ping timeout: 252 seconds 00:01 (quit) sklentikle: Ping timeout: 252 seconds 00:01 (quit) zurtik: Ping timeout: 252 seconds 00:01 (quit) form3: Ping timeout: 244 seconds 00:01 (quit) popaya: Ping timeout: 246 seconds 00:01 (quit) romtank: Ping timeout: 252 seconds 00:01 (quit) lentikkle: Ping timeout: 260 seconds 00:02 (quit) sybex: Client Quit 00:02 (join) sybex 00:02 (join) form3 00:02 (quit) skarpy: Client Quit 00:02 (join) zurtik 00:02 (join) skarpy 00:02 (join) lentikkle 00:02 (join) zwak 00:03 (join) sklentikle 00:03 (join) peeeep 00:03 (join) popaya 00:10 (join) scott___ 00:11 (quit) scott___: Changing host 00:11 (join) scott___ 00:11 (nick) scott___ -> scott_ 00:20 (join) jeapostrophe 00:20 (quit) jeapostrophe: Changing host 00:20 (join) jeapostrophe 00:21 (quit) Nisstyre_: Quit: Leaving 00:31 (join) Nisstyre_ 00:31 (quit) bjz: Quit: Leaving... 00:39 (join) bjz 00:41 (join) antics 00:52 mithos28: Just got my fix to TR so that it can correctly understand contravariant structures 00:53 mithos28: only had to rewrite half of the struct handling code 00:54 (quit) cataska: Quit: leaving 00:57 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/ 01:10 (quit) mceier: Quit: leaving 01:25 (quit) billyoc: Quit: nap time 01:29 (join) vu3rdd 01:29 (quit) vu3rdd: Changing host 01:29 (join) vu3rdd 01:51 (join) gciolli 01:55 (quit) yoklov: Quit: computer sleeping 02:10 (quit) jeapostrophe: Ping timeout: 246 seconds 02:11 (join) cataska 02:30 (nick) sizz_ -> sizz 02:54 (quit) jyc_: Remote host closed the connection 02:54 (join) add^_ 03:00 (join) ambrosebs 03:09 (join) djcoin 03:15 (join) mceier 03:17 (join) jyc 03:22 mithos28: Is there an easier way of merging a list of sets than (apply set-union (set) list-of-sets) 03:23 (quit) dnolen: Remote host closed the connection 03:26 (quit) jonrafkind: Ping timeout: 244 seconds 03:44 (join) jesyspa 04:02 (quit) antics: Quit: antics 04:03 (join) antics 04:03 (quit) antics: Client Quit 04:25 (join) noelw 04:32 (quit) bjz: Quit: Bye! 04:50 (quit) mithos28: Read error: Connection reset by peer 04:50 (join) mithos28 05:18 (join) bitonic` 05:19 (quit) bitonic: Disconnected by services 05:19 (nick) bitonic` -> bitonic 05:21 (join) Jeanne-Kamikaze 05:38 (quit) mithos28: Quit: mithos28 05:56 (quit) add^_: Quit: add^_ 05:56 (join) DeadPanda 06:00 (quit) jyc: Read error: Connection reset by peer 06:13 (quit) gciolli: Quit: Leaving. 06:17 (join) jyc 06:17 (quit) Shambles_: Quit: Leaving. 06:19 (quit) jyc: Remote host closed the connection 06:20 (quit) cdidd: Read error: Connection reset by peer 06:24 (join) Shambles_ 06:28 (join) masm 06:34 (join) ncw 06:40 (join) scott_ 06:40 (quit) scott_: Changing host 06:40 (join) scott_ 06:41 (quit) scott_: Client Quit 06:54 (join) MayDaniel 07:13 (join) add^_ 07:16 (quit) MayDaniel: 07:21 Haffe: In racket object does the send method always return void? 07:22 (quit) Enoria: Quit: Leaving 07:31 (join) gciolli 07:32 (quit) ncw: Remote host closed the connection 07:38 Cryovat: Haffe: It wouldn't be very useful then 07:39 Cryovat: How would you be able to implement getters and setters? 07:39 Haffe: Yeash. 07:39 Haffe: I looked it over. 07:39 Haffe: It seems for-each is my culprit. 07:41 (join) ncw 07:42 (quit) add^_: Quit: add^_ 07:46 (quit) noelw: Quit: noelw 07:46 (join) add^_ 07:58 (quit) ivan`: Quit: ERC Version 5.3 (IRC client for Emacs) 08:00 (join) ivan` 08:11 (join) RacketCommitBot 08:11 RacketCommitBot: [racket] plt pushed 5 new commits to master: http://git.io/MZvjZA 08:11 RacketCommitBot: [racket/master] racket/gui: get `get-scroll-pos', etc., arguments for `canvas%' - Matthew Flatt 08:11 RacketCommitBot: [racket/master] racket/gui: make `editor-canvas%' fail more gracefully on too-large content - Matthew Flatt 08:11 RacketCommitBot: [racket/master] fix problems with `raise-range-error' - Matthew Flatt 08:11 (part) RacketCommitBot 08:16 (quit) gciolli: Quit: Leaving. 08:25 (join) jeapostrophe 08:25 (quit) jeapostrophe: Changing host 08:25 (join) jeapostrophe 08:25 (quit) jeapostrophe: Client Quit 08:27 (quit) ambrosebs: Ping timeout: 252 seconds 08:29 (join) jeapostrophe 08:29 (quit) jeapostrophe: Changing host 08:29 (join) jeapostrophe 08:42 (quit) bremner: Ping timeout: 246 seconds 08:45 (join) ambrosebs 08:51 (join) bremner 08:51 (quit) bremner: Changing host 08:51 (join) bremner 09:00 (quit) vu3rdd: Ping timeout: 246 seconds 09:10 (quit) ncw: Remote host closed the connection 09:13 (quit) jeapostrophe: Ping timeout: 276 seconds 09:22 (join) ncw 09:28 (join) cdidd 09:48 (quit) bremner: Ping timeout: 268 seconds 10:07 (join) noelw 10:08 (join) RacketCommitBot 10:08 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/B0zajA 10:08 RacketCommitBot: [racket/master] scribble: another Latex/PDF section repair - Matthew Flatt 10:08 (part) RacketCommitBot 10:08 (quit) mceier: Quit: leaving 10:09 (join) getpwnam 10:10 (join) bremner 10:10 (quit) bremner: Changing host 10:10 (join) bremner 10:10 (join) hash_table 10:10 (quit) ambrosebs: Ping timeout: 246 seconds 10:11 (join) ambrosebs 10:21 (join) jeapostrophe 10:21 (quit) jeapostrophe: Changing host 10:21 (join) jeapostrophe 10:26 (quit) ncw: Remote host closed the connection 10:27 (join) ncw 10:33 (quit) ambrosebs: Ping timeout: 252 seconds 10:38 (quit) DeadPanda: Quit: Leaving 10:47 (quit) dsantiago: Quit: Computer has gone to sleep. 10:56 (quit) ncw: Remote host closed the connection 10:57 (join) vu3rdd 10:57 (quit) vu3rdd: Changing host 10:57 (join) vu3rdd 11:01 (join) Prometheus 11:10 (join) jao 11:10 (quit) jao: Changing host 11:10 (join) jao 11:15 (join) mceier 11:20 (join) gciolli 11:26 (quit) jeapostrophe: Ping timeout: 244 seconds 11:33 (quit) djcoin: Quit: WeeChat 0.3.2 11:35 (quit) Prometheus: Quit: Prometheus 11:39 (quit) gciolli: Quit: Leaving. 11:41 (join) gciolli 11:45 (join) anRch 11:47 (quit) noelw: Quit: noelw 12:04 (quit) anRch: Quit: anRch 12:11 (join) anRch 12:26 (quit) anRch: Read error: Connection reset by peer 12:30 (join) anRch 12:33 (quit) anRch: Client Quit 12:43 (join) Kaylin 12:44 (join) dnolen 12:58 (join) jonrafkind 13:15 (join) yoklov 13:17 (join) Kaylin1 13:18 (quit) Kaylin: Ping timeout: 244 seconds 13:36 (join) rapacity 14:01 (join) vu3rdd` 14:04 (join) sizz_ 14:05 (quit) gciolli: Quit: Leaving. 14:06 (quit) bremner: Ping timeout: 246 seconds 14:06 (quit) Jeanne-Kamikaze: Ping timeout: 246 seconds 14:06 (quit) jao: Read error: Connection reset by peer 14:06 (quit) vu3rdd: Ping timeout: 246 seconds 14:06 (join) bremner 14:06 (join) mithos28 14:06 (quit) bremner: Changing host 14:06 (join) bremner 14:14 (join) Jeanne-Kamikaze 14:22 (join) aidy 14:22 aidy: Does anyone know a working alternative to http://synthcode.com/scheme/fmt/ ? 14:23 mithos28: http://docs.racket-lang.org/unstable/cat.html?q=cat#(def._((lib._unstable/cat..rkt)._cat)), maybe? 14:25 mithos28: It looks like the fmt library has everything but the kitchen sink, is there a particular feature you want? 14:25 aidy: might be a good start, but I'm actually looking for the C-formatting functionality 14:25 aidy: forgot to mention that 14:26 (join) jeapostrophe 14:26 (quit) jeapostrophe: Changing host 14:26 (join) jeapostrophe 14:26 mithos28: http://planet.plt-scheme.org/package-source/dherman/c.plt/4/0/planet-docs/c/index.html 14:26 rudybot: http://tinyurl.com/9mlkkfe 14:27 aidy: http://planet.plt-scheme.org/package-source/dherman/c.plt/4/0/planet-docs/c/pc.html 14:27 rudybot: http://tinyurl.com/8acq36o 14:27 aidy: :( 14:28 aidy: Will have a look though 14:31 (join) dsantiago 14:35 asumu: aidy: does the fmt planet package on work? 14:35 asumu: *not 14:36 aidy: no, it's got lots of set!s etc 14:36 bremner: aidy: you mean something like the C printf function? 14:37 asumu: Hmm, that's too bad. Maybe it can be ported and someone can ask Alex Shinn to update the package. 14:37 aidy: I managed to make it run somewhat by using #lang r5rs etc, but while it runs without errors the output isn't actually correct 14:51 (quit) rapacity: Read error: Connection reset by peer 14:51 (join) billyoc 15:01 aidy: asumu: the code doesn't look that good to my eyes though 15:02 (quit) jeapostrophe: Ping timeout: 272 seconds 15:10 (nick) ivan\ -> ivan\\ 15:14 (join) jyc 15:24 (quit) ssbr__: Ping timeout: 272 seconds 15:25 (join) gciolli 15:30 asumu: aidy: fair enough, I've never looked at the code. I heard Jos Koot also has a PLaneT package for formatting. 15:31 asumu: Unfortunately not scribbled yet, I think. 15:33 (join) Shviller 15:35 (join) jao 15:35 (quit) jao: Changing host 15:35 (join) jao 15:44 (join) bro_grammer 15:44 (join) random_malice 15:47 (quit) hash_table: Ping timeout: 240 seconds 15:47 (quit) getpwnam: Ping timeout: 240 seconds 15:48 (join) jeapostrophe 15:48 (quit) jeapostrophe: Changing host 15:48 (join) jeapostrophe 15:49 (join) hash_table 15:50 (join) axe_wielder 15:50 (quit) yoklov: Quit: computer sleeping 15:52 (join) sizz 15:52 (quit) bro_grammer: Ping timeout: 240 seconds 15:52 (quit) random_malice: Ping timeout: 240 seconds 15:52 (join) romtank 15:52 (quit) zwak: Ping timeout: 264 seconds 15:52 (quit) lentikkle: Ping timeout: 264 seconds 15:52 (quit) skarpy: Ping timeout: 264 seconds 15:52 (quit) zurtik: Ping timeout: 264 seconds 15:52 (quit) form3: Ping timeout: 264 seconds 15:52 (quit) sybex: Ping timeout: 264 seconds 15:52 (quit) sizz_: Ping timeout: 255 seconds 15:53 (quit) popaya: Ping timeout: 260 seconds 15:53 (quit) peeeep: Ping timeout: 260 seconds 15:53 (quit) sklentikle: Ping timeout: 260 seconds 15:53 (join) popaya 15:53 (join) zurtik 15:53 (join) sklentikle 15:54 (join) bitonic 16:00 (join) rapacity 16:05 (join) MayDaniel 16:32 (quit) billyoc: Remote host closed the connection 16:38 asumu: Hmm, fixed one issue with my patch but now it segfaults. Sigh. 16:42 (quit) bitonic: Ping timeout: 245 seconds 16:46 (quit) mithos28: Quit: mithos28 16:56 (join) chimeracoder 16:57 (join) mithos28 17:10 (quit) dsantiago: Quit: Computer has gone to sleep. 17:15 (quit) karswell: Remote host closed the connection 17:25 (join) karswell 17:29 (nick) Kaylin1 -> Kaylin 17:33 (join) djcoin 17:33 (quit) jrslepak: Quit: What happened to Systems A through E? 17:36 Cryovat: asumu: Fun :( 17:39 Cryovat: How is the hunt going? 17:44 asumu: I got rid of the segfault. It was just a case of not checking for NULL. 17:44 asumu: Still doesn't completely work though. :p 17:45 Cryovat: Got enough coffee to get through this? ;) 17:52 (quit) add^_: Quit: add^_ 18:04 (join) UNIXgod 18:07 (quit) gciolli: Quit: Leaving. 18:11 (quit) Shviller: Ping timeout: 244 seconds 18:11 (join) Shvillr_ 18:11 (nick) Shvillr_ -> Shviller 18:24 (quit) MayDaniel: Read error: Connection reset by peer 18:30 (part) chimeracoder 18:41 (quit) djcoin: Quit: WeeChat 0.3.2 18:46 (join) ytti 18:47 ytti: Hello.. how do I clear the history in the interactions window in DrRacket? I am using it on Ubuntu Linux. Clicking Run doesn't help... history persists across sessions even! 18:47 mithos28: ytti: Why do you want to do that? 18:47 asumu: ytti: try deleting (readline-input-history ...) in .racket/racket-prefs.rktd (make a backup) 18:48 asumu: Err, sorry that's probably xrepl 18:48 asumu: It's probably plt:framework-pref:drracket:console-previous-exprs 18:48 ytti: mithos28: because I don't want commands that I typed a few days/weeks ago showing up and cluttering my history. 18:56 ytti: thank you asumu 18:56 (part) ytti 18:56 asumu: NP. 19:05 (join) jrslepak 19:08 (quit) jonrafkind: Ping timeout: 268 seconds 19:11 (quit) UNIXgod: Quit: leaving 19:17 (quit) jrslepak: Ping timeout: 264 seconds 19:23 (join) jrslepak 19:37 (quit) jrslepak: Quit: What happened to Systems A through E? 19:45 (join) jonrafkind 19:46 (quit) jesyspa: Quit: leaving 19:52 (quit) masm: Quit: Leaving. 20:06 (join) jrslepak 20:15 (join) billyoc 20:16 (quit) jonrafkind: Ping timeout: 240 seconds 20:55 (join) Kaylin 21:08 (join) juanfra 21:09 (quit) juanfra: Remote host closed the connection 21:17 (join) juanfra 21:18 (quit) Jeanne-Kamikaze: Quit: Did you hear that ? 21:21 (quit) juanfra: Client Quit 21:28 (quit) vu3rdd`: Remote host closed the connection 21:40 (join) jackhammer2022 21:49 (quit) jeapostrophe: Ping timeout: 244 seconds 22:05 asumu: Whoa, saw this comment on HN: http://news.ycombinator.com/item?id=4467106 22:06 asumu: (see "what we use" paragraph) 22:07 mithos28: It seems weird to be doing simulations in a language that is not particularly fast. None of the languages the mention are. 22:11 asumu: Could be for frontend work. 22:11 mithos28: part 4 says otherwise, but yeah that would make more sense 22:12 asumu: Oh, hmm. Maybe they use other languages too, who knows. 22:15 mithos28: asumu: Do you use TR much? 22:18 asumu: mithos28: not too much recently aside from examples, why? 22:19 mithos28: I'm looking for another small feature request/bug report to fix while I wait for Sam to comment on my current ones 22:22 asumu: I have one in mind but it's probably not small. When I was trying to make loops work on sets in TR, the lack of occurence typing for when/unless was a problem. 22:22 mithos28: can you give an example? 22:23 mithos28: or point to an existing pr? 22:26 asumu: I believe this is the relevant PR: http://bugs.racket-lang.org/query/?debug=&database=default&cmd=view+audit-trail&cmd=view&pr=11920 22:26 rudybot: http://tinyurl.com/cvc92pu 22:26 asumu: but while looking, I found a smaller bug I reported: http://bugs.racket-lang.org/query/?debug=&database=default&cmd=view+audit-trail&cmd=view&pr=12591 22:26 rudybot: http://tinyurl.com/c6qfn34 22:29 mithos28: The first one is definitely a large one, as Sam said it would take reworking a lot of the type system. I'll take a look at the second. 22:37 (quit) jao: Ping timeout: 268 seconds 22:40 asumu: Hmm, what can cause the racket executable to return a shell code of 1 but not actually raise an exception or segfault? 22:41 mithos28: (exit 1) 22:41 asumu: In a program with no exit statements. 22:42 asumu: (note: this isn't release Racket but a version I've broken at the C level...) 22:42 mithos28: Nothing that I can think of 22:44 asumu: Ah, I think it's a part of cmdline.inc. Some error handling in the C implementation of the REPL returns code 1 in some cases. 23:04 (join) jeapostrophe 23:15 (quit) jeapostrophe: Ping timeout: 240 seconds 23:34 asumu: rudybot: (abort-current-continuation (default-continuation-prompt-tag)) 23:34 rudybot: asumu: your sandbox is ready 23:34 rudybot: asumu: error: call-with-continuation-prompt: context (application of default prompt handler) expected 1 value, received 0 values 23:37 asumu: Apparently if you abort the continuation in load mode, the racket executable just dies. 23:37 asumu: Or rather, returns exit code 1. 23:41 (quit) poisonarms: Quit: diarrhea 23:48 (join) lewis1711 23:48 lewis1711: (define-syntax-rule (t '(a b c)) '((a . b) c)) 23:48 lewis1711: is there anyway i could make that over a list? 23:48 mithos28: lewis1711: What is it you are trying to do? 23:49 lewis1711: mithos28: take a list of things like '((1 2 3) (a b c)) and get back a hashtable like #hash(((a . b) c) ((1 . 2) 3) 23:49 (join) jonrafkind 23:50 mithos28: rudybot: (define (f triple) (list (cons (first triple) (second triple)) (third triple))) 23:50 rudybot: mithos28: your sandbox is ready 23:50 rudybot: mithos28: Done. 23:51 mithos28: rudybot: (map f '((1 2 3) (a b c))) 23:51 rudybot: mithos28: ; Value: (((1 . 2) 3) ((a . b) c)) 23:52 lewis1711: huh, I did not know you could do (cons atom atom) and get back a pair. 23:52 lewis1711: thanks mithos28 23:52 mithos28: no problem 23:52 lewis1711: I had some god awful quasiquote procedure attempt that was hurting my eyes 23:53 mithos28: you could also use match 23:53 asumu: Argh. I have just realized that the pain I'm having with call/cc is that call/cc & delimited control have different semantics in loaded programs. 23:53 mithos28: asumu: Isn't racket's call/cc delimited? 23:53 asumu: It is. I really meant call/cc vs. prompt/abort. 23:54 mithos28: ah, so loaded programs have a special abort handler? 23:55 asumu: In a sense. Or you could say they don't have an abort handler. 23:55 asumu: And an abort in a loaded program will just (exit 1) 23:56 mithos28: Isn't that an abort handler of (lambda args (exit 1)) 23:56 asumu: e.g., compare $ racket -e "(let () (define f (call-with-continuation-prompt (lambda () (call/cc (lambda (k) k))))) (f 5))" 23:56 asumu: racket -e "(abort-current-continuation (default-continuation-prompt-tag) 5)" 23:57 asumu: mithos28: sure, but it's not implemented as a handler but as a setjmp in C code. 23:58 asumu: It's an annoying difference because Racket's test suite is loaded. 23:58 mithos28: Isn't it not a bug? 23:59 asumu: I don't know if it's a bug or intentional. I'll just ask on the list.