00:00 (quit) mmalorni: Ping timeout: 260 seconds 00:02 asumu: You mean `define-templates` and `replace`? 00:02 mithos28: yeah 00:06 asumu: Maybe you could export it from a submodule in private/id-table.rkt. That way the bindings won't get imported by other users. 00:06 asumu: And the syntax/id-table.rkt would just (require (submod ...)) 00:06 mithos28: Ok, I was thinking about that but haven't looked it submodules yet. 00:07 mithos28: And didn't know if they could do that 00:07 mithos28: Now I have an excuse. 00:07 mithos28: /reason 00:07 asumu: :) 00:07 (quit) jeapostrophe: Ping timeout: 245 seconds 00:07 asumu: (yeah, they should be able to do that) 00:08 mithos28: do you have a better name that free-id-table-chaperone-keys+values/constructor? 00:09 (join) mmalorni 00:10 mithos28: that is the function that I am saying is the base of an immutable dict contract 00:11 (quit) mmalorni: Remote host closed the connection 00:11 (join) mmalorni 00:14 asumu: Maybe you could chop off the "/constructor" 00:15 mithos28: even though it needs the constructor argument? That was to match the other /constructor functions 00:15 asumu: Oh, I see. There are a bunch of functions named like that. 00:15 asumu: Well, you're only using it internal to these two files anyway right? 00:15 mithos28: yeah, so it is not awful 00:16 mithos28: It just is really long 00:16 asumu: Yeah, it's descriptive. And it's not used too many times, so I think it's ok. 00:20 (quit) mmalorni: Ping timeout: 260 seconds 00:23 (join) mmalorni 00:25 mithos28: submodule worked, now on to documentation 00:29 (quit) mungojelly: Quit: ERC Version 5.3 (IRC client for Emacs) 00:34 (join) jeapostrophe 00:45 (quit) jacius: Remote host closed the connection 00:58 (join) dented42 01:11 mithos28: why does racket need 1.2 GB of ram to make documentation? 01:13 (quit) jeapostrophe: Ping timeout: 246 seconds 01:18 (quit) getpwnam: Ping timeout: 252 seconds 01:18 (quit) hash_table: Ping timeout: 252 seconds 01:19 (join) Nisstyre 01:27 (quit) BeLucid: Ping timeout: 245 seconds 01:41 (join) RacketCommitBot 01:41 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/qQjQ9w 01:41 RacketCommitBot: [racket/master] scribble/manual: add `#:id' option to `defproc' - Matthew Flatt 01:41 RacketCommitBot: [racket/master] HtDP language docs: fix context of defined bindings - Matthew Flatt 01:41 RacketCommitBot: [racket/master] fix doc typo - Matthew Flatt 01:41 (part) RacketCommitBot 01:47 (join) rbarraud_ 01:56 (join) jeapostrophe 01:56 (quit) jeapostrophe: Changing host 01:56 (join) jeapostrophe 02:02 (part) dented42: "Textual IRC Client: http://www.textualapp.com/" 02:08 (quit) jeapostrophe: Ping timeout: 272 seconds 02:19 (join) BeLucid 02:26 (join) hkBst 02:26 (quit) hkBst: Changing host 02:26 (join) hkBst 02:29 (join) mceier 02:41 mithos28: If I am testing free-id-tables contracts should that go in the contract tests or the free-id-table tests? 02:42 (quit) weirdo: Ping timeout: 248 seconds 02:49 (join) djcoin 02:58 (join) MightyFoo 02:59 (nick) MightyFoo -> tim-brown 03:09 (quit) mithos28: Quit: mithos28 03:32 (join) _tca_ 03:36 (quit) jonrafkind: *.net *.split 03:36 (quit) sid0: *.net *.split 03:36 (quit) _tca: *.net *.split 03:55 (join) jesyspa 04:04 (join) sid0 04:05 (join) jonrafkind 04:05 (quit) jonrafkind: Changing host 04:05 (join) jonrafkind 04:54 (join) kreol[Ukr] 04:55 (join) untrusted 05:07 (join) gciolli 05:34 (nick) banseljaj -> imami|afk 05:44 (quit) gciolli: Ping timeout: 265 seconds 05:45 (join) gciolli 05:51 (quit) rbarraud_: Ping timeout: 240 seconds 05:55 (join) gciolli1 05:55 (quit) gciolli: Ping timeout: 246 seconds 06:15 (join) bitonic 06:17 (join) gciolli 06:18 (quit) gciolli1: Ping timeout: 265 seconds 06:19 (quit) kreol[Ukr]: Quit: Leaving 06:56 (quit) jrslepak_neu: Remote host closed the connection 06:57 (quit) gciolli: Quit: Leaving. 07:33 (join) masm 07:34 (quit) bitonic: Ping timeout: 246 seconds 07:37 (join) bitonic 07:45 (quit) bitonic: Remote host closed the connection 07:48 (join) bitonic 07:54 (join) jeapostrophe 07:54 (quit) jeapostrophe: Changing host 07:54 (join) jeapostrophe 07:55 (quit) Shviller: Ping timeout: 264 seconds 07:55 (join) Shviller 08:12 (quit) vu3rdd: Remote host closed the connection 08:39 (quit) mmalorni: Ping timeout: 260 seconds 08:40 (join) jrslepak 08:45 (quit) jeapostrophe: Ping timeout: 248 seconds 08:56 (join) getpwnam 08:57 (join) hash_table 09:03 (join) gciolli 09:08 (quit) gciolli: Client Quit 09:17 (quit) Haffe: Quit: WeeChat 0.3.2 09:34 (quit) hash_table: Ping timeout: 265 seconds 09:34 (quit) getpwnam: Ping timeout: 265 seconds 09:54 (join) gciolli 09:58 (quit) mceier: Quit: leaving 10:09 ozzloy: morning everyone! 10:09 ozzloy: it's a beautiful day! 10:30 (join) veer 10:31 (quit) gciolli: Ping timeout: 249 seconds 10:34 (join) gciolli 10:38 asumu: Morning. 10:38 (join) jeapostrophe 10:38 (quit) jeapostrophe: Changing host 10:38 (join) jeapostrophe 10:49 (join) nilyaK 10:49 (join) getpwnam 10:50 (join) hash_table 11:11 (join) tewk 11:15 ozzloy: morning asumu 11:23 (join) mceier 11:31 (quit) hkBst: Quit: Konversation terminated! 11:31 (quit) gciolli: Quit: Leaving. 11:41 (join) mithos28 11:43 (join) ynniv 11:44 (quit) DrDuck1: Ping timeout: 260 seconds 11:44 (join) anRch 11:45 (quit) untrusted: Remote host closed the connection 12:03 (quit) jonrafkind: Ping timeout: 246 seconds 12:11 (join) gridaphobe 12:12 (quit) getpwnam: Ping timeout: 265 seconds 12:13 (quit) hash_table: Ping timeout: 265 seconds 12:15 (join) antithesis 12:28 (join) jonrafkind 12:38 (quit) gridaphobe: Remote host closed the connection 12:39 offby1: hm, cloudy and drizzly here ... 12:42 stamourv: Well, you _are_ in the Pacific Northwest. 12:42 offby1: I confess 12:42 stamourv: Weather's not great here either. 12:44 mithos28: Blue skies here 12:45 (quit) veer: Remote host closed the connection 12:48 (quit) anRch: Quit: anRch 13:00 (join) hash_table 13:03 (quit) djcoin: Quit: WeeChat 0.3.2 13:05 (quit) hash_table: Ping timeout: 255 seconds 13:07 (quit) ynniv: Quit: ynniv 13:12 (join) hash_table 13:13 (join) ynniv 13:15 (join) RacketCommitBot 13:15 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/hlpwNw 13:15 RacketCommitBot: [racket/master] racket/list: adjust `add-between' keyword handling - Matthew Flatt 13:15 RacketCommitBot: [racket/master] ffi/com: repairs for '(box any) - Matthew Flatt 13:15 (part) RacketCommitBot 13:17 (quit) hash_table: Ping timeout: 245 seconds 13:18 (join) hash_table 13:23 (quit) hash_table: Ping timeout: 250 seconds 13:26 (quit) bitonic: Remote host closed the connection 13:40 (join) RacketCommitBot 13:40 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/MNoTDA 13:40 RacketCommitBot: [racket/master] Add proxy-able continuation mark keys and proxies - Asumu Takikawa 13:40 RacketCommitBot: [racket/master] Added continuation-mark/c - Asumu Takikawa 13:40 RacketCommitBot: [racket/master] Documentation for mark key proxies and contracts - Asumu Takikawa 13:40 (part) RacketCommitBot 13:45 (join) RacketCommitBot 13:45 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/ZhD4HA 13:45 RacketCommitBot: [racket/master] Doc and code style improvements in the profiler. - Eli Barzilay 13:45 RacketCommitBot: [racket/master] Adjust the keyword names for `string-join' following the change to `add-between'. - Eli Barzilay 13:45 (part) RacketCommitBot 13:49 (join) jacius 13:56 (quit) offby1: Quit: time to rebuild emacs! 13:59 (quit) nilyaK: Ping timeout: 248 seconds 14:03 (quit) wahjava: Quit: Whenever we are together, it’s always estatically palpitating! 14:06 (join) mmalorni 14:11 (quit) mmalorni: Remote host closed the connection 14:12 (join) mmalorni 14:26 (join) nilyaK 14:54 (quit) ynniv: Read error: Connection reset by peer 14:54 (join) ynniv 14:58 (quit) antithesis: Remote host closed the connection 15:08 (join) djcb 15:34 (join) antithesis 15:38 (quit) ynniv: Read error: Connection reset by peer 15:38 (join) ynniv 15:51 (quit) nilyaK: Quit: Leaving. 16:08 (join) yoklov 16:08 (join) offby1 16:08 (quit) offby1: Changing host 16:08 (join) offby1 16:30 (quit) ynniv: Read error: Connection reset by peer 16:30 (join) ynniv 16:44 (join) Myk267 16:47 (quit) kanak: Ping timeout: 260 seconds 16:49 (join) adu 16:53 (join) jyc 16:54 (quit) mceier: Quit: leaving 17:00 (join) RacketCommitBot 17:00 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/M0HdzQ 17:00 RacketCommitBot: [racket/master] Added lock-icon - Neil Toronto 17:00 (part) RacketCommitBot 17:11 (quit) stchang: Read error: Connection reset by peer 17:16 (join) stchang 17:17 (join) anRch 17:26 (quit) jrslepak: Quit: This computer has gone to sleep 17:27 (quit) masm: Ping timeout: 264 seconds 17:35 (quit) ynniv: Quit: ynniv 17:44 (join) bitonic 17:45 (join) masm 17:51 (quit) masm: Quit: Leaving. 18:02 (quit) mmalorni: Ping timeout: 272 seconds 18:05 (quit) jeapostrophe: Ping timeout: 272 seconds 18:06 (quit) anRch: Quit: anRch 18:15 (quit) djcb: Read error: Connection reset by peer 18:26 (quit) antithesis: Remote host closed the connection 19:06 (quit) jacius: Quit: Leaving 19:21 (join) francisl 19:22 (part) francisl 19:24 (join) jeapostrophe 19:28 (quit) bitonic: Remote host closed the connection 19:28 (join) bitonic 19:29 (quit) bitonic: Remote host closed the connection 19:30 (join) bitonic 19:34 (quit) jeapostrophe: Ping timeout: 252 seconds 19:36 (join) Kaylin 19:36 (quit) jonrafkind: Ping timeout: 248 seconds 19:36 (quit) bitonic: Remote host closed the connection 19:37 (join) bitonic 19:41 (quit) bitonic: Remote host closed the connection 19:42 (join) bitonic 19:42 (quit) Myk267: Remote host closed the connection 19:44 (quit) bitonic: Remote host closed the connection 19:45 (join) bitonic 19:52 (quit) adu: Quit: adu 19:52 (quit) bitonic: Remote host closed the connection 19:54 (quit) jesyspa: Quit: leaving 19:55 (join) bitonic 19:56 (join) jonrafkind 19:59 (quit) bitonic: Remote host closed the connection 19:59 (join) bitonic 20:00 (join) dnolen 20:01 (quit) bitonic: Remote host closed the connection 20:02 eli: W 20:02 eli: T 20:02 eli: F 20:02 eli: Google decided in its infinite wisdom that "Printf" is a major section of the web pages. 20:03 (join) bitonic 20:03 (quit) bitonic: Read error: Connection reset by peer 20:07 asumu: eli: What do you mean? 20:08 asumu: (example google search?) 20:08 eli: asumu: "racket language" 20:09 asumu: Oh, I see what you mean. I guess based on the linked "printf" in the first example snippet. 20:10 eli: I don't know how they got to that particular set of links. 20:10 eli: depressing. 20:11 eli: Their help blurb on the subject gives some tips like "don't repeat usefule information", and refer you to the webmaster tools. 20:11 eli: Next step, I google for "google webmaster tools". 20:11 Kaylin: they have a googlebot guide 20:11 eli: And 4 of the 6 sitelinks are all the same. 20:12 Kaylin: http://www.google.com/webmasters/docs/search-engine-optimization-starter-guide.pdf 20:12 rudybot: http://tinyurl.com/5ly48c 20:12 asumu: And this is why SEO is a profession. 20:13 Kaylin: but they have a cute little robot with a single pointy tooth! it has to be helpful! 20:16 (quit) stchang: Ping timeout: 250 seconds 20:17 (join) Myk267 20:18 (join) stchang 20:44 (quit) jonrafkind: Ping timeout: 245 seconds 20:58 (join) SrPx 21:01 (join) jeapostrophe 21:01 (quit) jeapostrophe: Changing host 21:01 (join) jeapostrophe 21:12 (join) elliottcable 21:20 (join) RacketCommitBot 21:20 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/RnVUHQ 21:20 RacketCommitBot: [racket/master] racket/class: add send+ for functional style OO - Asumu Takikawa 21:20 RacketCommitBot: [racket/master] racket/contract: rename `prompt/c` & `continuation-mark/c` - Asumu Takikawa 21:20 (part) RacketCommitBot 21:26 (quit) Kaylin: Quit: Leaving. 21:33 (join) neilv 21:39 (quit) yoklov: Quit: computer sleeping 21:41 (nick) elliottcable -> tees 21:41 (quit) acarrico: Ping timeout: 260 seconds 21:54 (join) yoklov 21:54 (join) jeremyheiler 22:00 (join) DrDuck 22:04 (quit) dnolen: Ping timeout: 246 seconds 22:05 (quit) yoklov: Quit: computer sleeping 22:14 (join) jyc_ 22:15 (join) jyc__ 22:15 (join) Kaylin 22:18 (quit) jyc: Ping timeout: 252 seconds 22:19 (quit) jyc_: Ping timeout: 255 seconds 22:25 (join) yoklov 22:34 (quit) yoklov: Quit: bye! 22:35 (quit) anonus: Ping timeout: 264 seconds 22:53 (join) veer 23:01 (join) jonrafkind 23:01 (quit) jonrafkind: Changing host 23:01 (join) jonrafkind 23:03 (join) Fare 23:05 (quit) Fare: Client Quit 23:37 (join) jrslepak 23:47 (quit) jeapostrophe: Ping timeout: 240 seconds 23:48 (join) itegebo