00:18 (join) yoklov1 00:29 (quit) flaggy_: Ping timeout: 252 seconds 00:37 (quit) jeapostrophe: Quit: jeapostrophe 01:26 (quit) yoklov1: Quit: Leaving. 01:36 (quit) realitygrill_: Ping timeout: 264 seconds 01:36 (join) realitygrill 02:18 (join) mithos28 02:51 (quit) jonrafkind: Ping timeout: 276 seconds 03:20 (quit) realitygrill: Ping timeout: 245 seconds 03:21 (join) realitygrill 03:34 (quit) realitygrill: Quit: realitygrill 03:36 (join) realitygrill 04:13 (quit) realitygrill: Read error: Connection reset by peer 04:18 (join) realitygrill 04:42 (quit) mithos28: Quit: mithos28 05:15 (join) realitygrill_ 05:16 (quit) realitygrill: Ping timeout: 245 seconds 05:16 (nick) realitygrill_ -> realitygrill 05:40 (join) MayDaniel 05:43 (quit) MayDaniel: Read error: Connection reset by peer 05:57 (join) masm 06:20 (join) realitygrill_ 06:23 (quit) realitygrill: Ping timeout: 245 seconds 06:23 (nick) realitygrill_ -> realitygrill 06:29 (quit) realitygrill: Quit: realitygrill 06:43 (join) neilv 06:45 (join) mceier 06:46 serban: q: why doesnt this work: (cons 0 (1)) 06:48 neilv: (cons 0 '(1)) 06:48 neilv: (cons (list 1)) 06:48 neilv: (1) is trying to apply 1 as a procedure 06:48 neilv: just like (a) is applying a as a procedure 06:49 neilv: er, i meant (cons 0 (list 1)) 06:52 serban: ah 06:53 neilv: once you start using it a little, it's very easy 07:11 neilv: ok, got past a bug, and now "doc History" form is working. http://i.imgur.com/SQssG.png 07:13 neilv: two purposes of this: 1. hopefully encourages people to capture history notes for their changes. 2. has history notes in a structured form that we can scan for, say, updating info.rkt with what's changed in this planet version 07:31 ohwow: http://www.artima.com/weblogs/viewpost.jsp?thread=98196 07:34 neilv: that update is funny in context of the first phrase of the following paragraph 08:44 (join) RacketCommitBot 08:44 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/GgtQKg 08:44 RacketCommitBot: [racket/master] Fix one more `typed-scheme'. - Sam Tobin-Hochstadt 08:44 RacketCommitBot: [racket/master] Document `Nonnegative-Integer'. - Sam Tobin-Hochstadt 08:44 RacketCommitBot: [racket/master] Add type for `make-reader-graph'. - Sam Tobin-Hochstadt 08:44 (part) RacketCommitBot 08:46 (join) RacketCommitBot 08:46 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/cpVrLg 08:46 RacketCommitBot: [racket/master] Update dist-specs for "typed-scheme" -> "typed-racket". - Eli Barzilay 08:46 RacketCommitBot: [racket/master] Abolish "typed-scheme". - Eli Barzilay 08:46 (part) RacketCommitBot 09:10 (join) jonrafkind 09:39 (join) yoklov1 09:45 (join) jeapostrophe 10:11 (quit) yoklov1: Quit: Leaving. 10:23 (quit) jeapostrophe: Quit: jeapostrophe 10:28 (join) RacketCommitBot 10:28 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/nbro8g 10:28 RacketCommitBot: [racket/master] Revert "Abolish "typed-scheme"." - Eli Barzilay 10:28 (part) RacketCommitBot 10:29 (join) MayDaniel 10:31 (nick) samth_away -> samth 10:38 (join) jeapostrophe 10:43 (quit) jeapostrophe: Client Quit 10:57 tauntaun: tf 11:20 (join) flaggy_ 11:28 (join) jeapostrophe 11:31 (join) anRch 11:35 (quit) jeapostrophe: Quit: jeapostrophe 11:55 neilv: jeapostrophe needs to get one of those new racket-based internet routers, so his connection is more reliable 11:56 (join) RacketCommitBot 11:56 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/yv2XjA 11:56 RacketCommitBot: [racket/master] fix absolute paths in cross-reference info - Matthew Flatt 11:56 (part) RacketCommitBot 12:03 samth: neilv: working on it :) 12:15 neilv: so i've heard. i'm waiting for the right moment to buy a device just to play with it 12:17 (join) RacketCommitBot 12:17 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/alCiBg 12:17 RacketCommitBot: [racket/master] Up timeouts for htdp-lang tests. - Sam Tobin-Hochstadt 12:17 (part) RacketCommitBot 12:17 (quit) anRch: Quit: anRch 12:19 (quit) MayDaniel: Read error: Connection reset by peer 12:22 (join) MayDaniel 12:28 (quit) dwaynecrooks: Ping timeout: 258 seconds 12:35 (quit) MayDaniel: Read error: Connection reset by peer 12:37 (join) anRch 12:41 (join) dwaynecrooks 12:50 (join) JuanDaugherty 12:51 (quit) anRch: Quit: anRch 12:59 (join) RacketCommitBot 12:59 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/CuZ6oA 12:59 RacketCommitBot: [racket/master] Tests for all Typed Racket languages, and add missing ones. - Sam Tobin-Hochstadt 12:59 (part) RacketCommitBot 12:59 neilv: would be nice if i could get "append-reverse" without srfi-1 (i might've called it "reverse/tail") 13:02 samth: neilv: write a patch/pull request for `racket/list' 13:13 neilv: in syntax transformation for programmatic scribble, if i get passed syntax for a bunch of scribble, and i want to make it a paragraph only if it is not already one or more paragraphs... is there already a procedure to do that? 13:14 samth: neilv: no idea 13:15 samth: is it necessary to do this as syntax, rather than on the scribble structures? 13:15 neilv: that would be much more convenient 13:15 neilv: doing it on syntax 13:17 neilv: i mean, i can put the syntax for the magic procedure call around the syntax that produces the arbitrary input scribble. but the actual evaluation happens much later 13:18 neilv: i'm still fuzzy on what pre-content and splicing and such are, and am trying to avoid the distraction of learning them fully right now 13:18 (join) realitygrill 13:18 samth: then it can be a procedure, right? rather than checking if the syntax of the scribble looks like a paragraph 13:18 neilv: oh, yes, correct 13:40 neilv: aha, scribble/core.html isn't too onerous 13:42 (join) MayDaniel 13:52 (quit) MayDaniel: Read error: Connection reset by peer 13:55 ohwow: is there a fast way to reload the current module in Geiser? 13:55 ohwow: 'reload and re-enter! ? 13:59 (join) mithos28 13:59 ohwow: Anyone here familiar with Lazy Racket? 13:59 jonrafkind: eli wrote it 14:00 jonrafkind: you would be better suited to actually ask a question then to ask a meta question, though 14:00 ohwow: oh nevermind 14:00 ohwow: sorry 14:01 ohwow: I wrote (define naturals (list 1 (map add1 naturals))) 14:01 ohwow: instead of (cons 1 (map add1 naturals)) 14:02 ohwow: # 14:02 ohwow: hm 14:02 ohwow: what does that mean? 14:02 ohwow: reentrant promise? 14:05 (join) SinDoc 14:13 (join) anRch 19:34 (topic) -: Racket -- http://racket-lang.org -- logs @ http://racket-lang.org/irc-logs 19:34 (names) -: gabot eli karljoh neilv realitygrill mithos28 jao samth_away JuanDaugherty dwaynecrooks flaggy_ jonrafkind masm wtetzner bfulgham hyko serban tewk dsp_ sethalves stamourv snorble ozzloy janne abbe Twey asumu jamessan bohanlon_ mattmight askhader _p4bl0 em si14 Fade tomku svk_ spewn martinhex mario-goulart zakwilson elliottcable ohwow clklein offby1 tauntaun cky gf3 @ChanServ tunes rapacity Utkarsh Lajla rudybot shachaf ve 19:47 (join) jeapostrophe 19:48 (quit) jeapostrophe: Client Quit 20:36 asumu: mithos28: You can define a class/c that corresponds to some interface. 20:36 (quit) masm: Quit: Leaving. 20:37 asumu: And then apply it to the relevant classes, just using and/c to compose with other contracts if necesary. 20:39 asumu: That's sort of an abuse though, because class/c is meant to protect implementations. 20:39 asumu: (as opposed to interfaces) 20:41 mithos28: the problem with that is that I then have to contract each class, instead of just the interfaces 21:37 (quit) neilv: Ping timeout: 245 seconds 21:53 (quit) mithos28: Quit: mithos28 21:54 (join) mithos28 22:09 (join) RacketCommitBot 22:09 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/BY_kpg 22:09 RacketCommitBot: [racket/master] Switch to `typed/racket/base', and remove unused definition. - Eli Barzilay 22:09 (part) RacketCommitBot 22:20 (quit) JuanDaugherty: Quit: Exeunt IRC 22:43 (quit) realitygrill: Ping timeout: 264 seconds 22:51 (join) realitygrill_ 22:52 (nick) realitygrill_ -> realitygrill 23:26 (join) jeapostrophe