00:07 (join) samth
00:31 (quit) jrslepak: Quit: This computer has gone to sleep
00:54 (join) jeapostrophe
00:58 (quit) samth: Ping timeout: 255 seconds
01:01 (quit) jeapostrophe: Ping timeout: 252 seconds
01:05 (join) samth
01:15 (quit) samth: Ping timeout: 252 seconds
01:20 (nick) chaozzbubi -> ChaozZBubi
01:49 (nick) ChaozZBubi -> chaozzbubi
01:54 (quit) karswell: Ping timeout: 248 seconds
01:59 (join) alkoma
02:14 (quit) alkoma: Quit: ERC Version 5.3 (IRC client for Emacs)
02:25 (quit) jonrafkind: Ping timeout: 276 seconds
03:05 (join) sindoc
03:29 (join) Blkt
03:31 Blkt: good morning everyone
03:34 (join) noelw
03:36 (join) bluezenix
03:45 (quit) kvda: Quit:  x___x
03:48 (join) Shvillr_
03:51 (quit) Shvillr: Ping timeout: 240 seconds
04:06 (nick) chaozzbubi -> ChaozZBubi
04:09 (join) bluezenix1
04:10 (quit) bluezenix: Ping timeout: 244 seconds
04:15 (join) ahinki
04:27 (quit) bluezenix1: Read error: Connection reset by peer
04:30 (join) bluezenix
04:34 (quit) ahinki: Ping timeout: 245 seconds
04:39 (quit) cataska: Quit: leaving
04:43 (join) ahinki
04:55 (join) bluezenix1
04:55 (quit) bluezenix: Ping timeout: 244 seconds
05:00 (join) masm
05:28 (part) sindoc
05:30 (quit) realitygrill: Read error: Connection reset by peer
05:30 (join) realitygrill
05:47 (quit) realitygrill: Read error: Connection reset by peer
05:47 (join) realitygrill
06:02 (quit) bluezenix1: Quit: Leaving.
06:12 (quit) realitygrill: Read error: Connection reset by peer
06:12 (join) realitygrill
06:30 (quit) realitygrill: Read error: Connection reset by peer
06:30 (join) realitygrill
06:34 (join) realitygrill_
06:34 (quit) realitygrill: Read error: Connection reset by peer
06:34 (nick) realitygrill_ -> realitygrill
06:37 (quit) realitygrill: Read error: Connection reset by peer
06:37 (join) realitygrill_
06:48 (quit) realitygrill_: Read error: Connection reset by peer
06:48 (join) realitygrill
06:49 (quit) Shviller: Ping timeout: 245 seconds
06:49 (join) Shvillr
06:55 (join) sindoc
06:55 (quit) realitygrill: Read error: Connection reset by peer
06:56 (join) realitygrill
06:57 (join) bluezenix
07:15 (quit) realitygrill: Read error: Connection reset by peer
07:16 (join) realitygrill
07:18 (quit) ahinki: Ping timeout: 245 seconds
07:19 (quit) realitygrill: Read error: Connection reset by peer
07:19 (join) realitygrill_
07:19 (nick) realitygrill_ -> realitygrill
07:30 (quit) realitygrill: Read error: Connection reset by peer
07:30 (join) realitygrill
07:36 (quit) realitygrill: Read error: Connection reset by peer
07:36 (join) realitygrill
07:37 (join) ahinki
07:41 (join) realitygrill_
07:41 (quit) realitygrill: Read error: Connection reset by peer
07:41 (nick) realitygrill_ -> realitygrill
07:50 (quit) realitygrill: Read error: Connection reset by peer
07:50 (join) realitygrill
07:55 (join) jeapostrophe
08:01 (quit) realitygrill: Read error: Connection reset by peer
08:01 (join) realitygrill
08:04 (quit) ahinki: Ping timeout: 245 seconds
08:09 (join) ahinki
08:12 (join) jrslepak
08:13 (quit) realitygrill: Read error: Connection reset by peer
08:13 (join) realitygrill
08:15 (join) tfb
08:18 (quit) realitygrill: Read error: Connection reset by peer
08:18 (join) realitygrill
08:19 (join) realitygrill_
08:19 (quit) realitygrill: Read error: Connection reset by peer
08:19 (nick) realitygrill_ -> realitygrill
08:25 (quit) realitygrill: Read error: Connection reset by peer
08:25 (join) realitygrill
08:25 (quit) jrslepak: Quit: This computer has gone to sleep
08:27 (quit) realitygrill: Read error: Connection reset by peer
08:27 (join) realitygrill
08:29 (quit) realitygrill: Read error: Connection reset by peer
08:30 (join) realitygrill
08:42 (quit) mario-goulart: Read error: Connection reset by peer
08:43 (join) mario-goulart
08:43 (quit) acarrico: Quit: Leaving.
08:49 (quit) realitygrill: Read error: Connection reset by peer
08:49 (join) realitygrill
08:51 (quit) abbe: Remote host closed the connection
08:58 (join) abbe
09:02 (quit) realitygrill: Read error: Connection reset by peer
09:02 (join) realitygrill
09:09 (quit) realitygrill: Read error: Connection reset by peer
09:10 (join) realitygrill
09:12 (nick) ChaozZBubi -> chaozzbubi
09:14 (quit) realitygrill: Read error: Connection reset by peer
09:14 (join) realitygrill
09:16 (nick) ianj_away -> ianjneu
09:22 (quit) realitygrill: Read error: Connection reset by peer
09:22 (join) realitygrill
09:23 (quit) realitygrill: Read error: Connection reset by peer
09:23 (join) realitygrill_
09:32 (quit) realitygrill_: Read error: Connection reset by peer
09:32 (join) realitygrill
09:40 (join) acarrico
09:42 (quit) realitygrill: Read error: Connection reset by peer
09:42 (join) realitygrill
09:50 (quit) realitygrill: Read error: Connection reset by peer
09:50 (join) realitygrill
10:04 (quit) realitygrill: Read error: Connection reset by peer
10:04 (join) realitygrill
10:16 (quit) realitygrill: Read error: Connection reset by peer
10:16 (join) realitygrill
10:21 (quit) veer: Remote host closed the connection
10:24 (join) mceier
10:26 (quit) realitygrill: Read error: Connection reset by peer
10:26 (join) realitygrill
10:30 (quit) realitygrill: Read error: Connection reset by peer
10:30 (join) realitygrill
10:33 (join) sstrickl
10:39 (quit) realitygrill: Read error: Connection reset by peer
10:39 (join) realitygrill
10:43 (quit) tfb: Ping timeout: 240 seconds
10:51 (quit) realitygrill: Read error: Connection reset by peer
10:51 (quit) ahinki: Remote host closed the connection
10:51 (join) realitygrill
10:52 (quit) jeapostrophe: Ping timeout: 240 seconds
11:00 (quit) realitygrill: Quit: realitygrill
11:02 (join) anRch
11:12 (join) realitygrill
11:17 (join) MayDaniel
11:19 (join) jeapostrophe
11:25 (nick) chaozzbubi -> ChaozZBubi
11:36 (quit) MayDaniel: Read error: Connection reset by peer
11:40 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/OIelKQ
11:40 RacketCommitBot: [racket/master] Move the dmg build to weatherwax (which can now deal with it. ) - Eli Barzilay
11:55 (nick) samth_away -> samth
12:03 (quit) SeanTAllen: Write error: Broken pipe
12:05 (quit) anRch: Quit: anRch
12:14 (nick) noelw -> noelw_away
12:14 (join) anRch
12:16 (join) dnolen
12:17 (join) SeanTAllen
12:17 (quit) SeanTAllen: Read error: Connection reset by peer
12:20 (join) anRch_
12:20 (quit) anRch: Ping timeout: 240 seconds
12:20 (nick) anRch_ -> anRch
12:20 (quit) sid0: Remote host closed the connection
12:22 (quit) noelw_away: Quit: noelw_away
12:23 (quit) Blkt: Remote host closed the connection
12:28 (join) jonrafkind
12:30 (join) tfb
12:32 (quit) dnolen: Quit: Page closed
12:33 (quit) bluezenix: Quit: Leaving.
12:37 (join) dnolen
12:48 (quit) anRch: Ping timeout: 240 seconds
13:02 (join) jao
13:10 (quit) jeapostrophe: Ping timeout: 252 seconds
13:11 (join) SeanTAllen
13:14 (quit) realitygrill: Quit: realitygrill
13:16 (join) realitygrill
13:16 (join) MayDaniel
13:17 (join) jeapostrophe
13:26 (quit) realitygrill: Quit: realitygrill
13:29 (join) realitygrill
13:39 (quit) dnolen: Ping timeout: 258 seconds
13:41 (nick) jschuster_away -> jschuster
13:48 (join) dnolen
13:56 (join) bluezenix
13:57 (quit) MayDaniel: Read error: Connection reset by peer
14:02 (quit) kmc: Quit: Leaving
14:16 (quit) jonrafkind: Ping timeout: 248 seconds
14:19 (quit) realitygrill: Quit: realitygrill
14:30 (quit) tfb: Quit: sleeping
14:37 (nick) ChaozZBubi -> chaozzbubi
14:39 (join) kmc
14:40 (quit) kmc: Read error: Connection reset by peer
14:41 (join) kmc
14:46 (quit) kmc: Remote host closed the connection
14:46 (join) kmc
14:51 RacketCommitBot: [racket] plt pushed 8 new commits to release: http://git.io/vIpBlw
14:51 RacketCommitBot: [racket/release] Adjust the installer tests to the removal of libfit. - Eli Barzilay
14:51 RacketCommitBot: [racket/release] fix a bug in check syntax where it would attempt to (as part of the - Robby Findler
14:51 RacketCommitBot: [racket/release] fix `raco make -j' - Matthew Flatt
14:52 (nick) chaozzbubi -> ChaozZBubi
14:53 (quit) kmc: Quit: Leaving
15:11 (join) kmc
15:15 (quit) kmc: Client Quit
15:17 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/MdTKPA
15:17 RacketCommitBot: [racket/master] Too many changes to cherry-pick for release - Neil Toronto
15:17 RacketCommitBot: [racket/master] Added portable hash-quote-icon, updated and recolored macro stepper toolbar icon - Neil Toronto
15:17 RacketCommitBot: [racket/master] Fixed error in flomap gradient calculation (borders were always getting 0.0, causing erroneous lighting) - Neil Toronto
15:18 (quit) dnolen: Ping timeout: 258 seconds
15:21 (join) kmc
15:28 (join) dnolen
15:32 (join) MayDaniel
15:40 (join) Lajla
16:03 (join) kvda
16:07 (join) realitygrill
16:13 (join) jonrafkind
16:17 (quit) realitygrill: Quit: realitygrill
16:28 (quit) jonrafkind: Ping timeout: 252 seconds
16:39 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/MsiRSg
16:39 RacketCommitBot: [racket/master] added rcontrol to key events and docs; robby please test - Matthias Felleisen
16:41 (quit) sindoc: Quit: Leaving.
16:52 (quit) MayDaniel: Read error: Connection reset by peer
17:07 (quit) jeapostrophe: Ping timeout: 252 seconds
17:19 (quit) dnolen: Ping timeout: 258 seconds
17:20 (quit) kvda: Quit:  x___x
17:25 (join) DanBurton
17:36 DanBurton: A few questions about using Typed Racket, provide, etc: http://pastebin.com/6yuA30xR
17:38 stamourv: DanBurton: Ask.
17:38 DanBurton: the questions are in the paste :)
17:38 stamourv: Ok. Just a second.
17:39 DanBurton: hard to phrase them out of context
17:39 stamourv: First question: That could be a bug. I'll have to investigate.
17:55 stamourv: Ok, I'm back, let me have a look at the other questions.
17:56 stamourv: Type capitalization vs struct name capitalization annoys me too.
17:56 stamourv: I don't have a good solution for that.
17:56 stamourv: But back to the first question, we may have a bug when a typed struct is extended from untyped code.
17:57 stamourv: In fact, I'm not sure if we can even support it.
17:59 DanBurton: o_O
17:59 DanBurton: ok
18:00 DanBurton: I can deal with that I guess :)
18:00 DanBurton: should I submit a bug report?
18:00 stamourv: Actually, hold on, we're thinking.
18:01 stamourv: What happens if you provide `source' manually?
18:01 stamourv: (In addition to struct-out.)
18:02 DanBurton: I dunno; lemme try it out
18:03 DanBurton: same error
18:03 DanBurton: I just added "source" to the list of parameters to provide
18:03 DanBurton: without quotes
18:12 samth: DanBurton: probably you can fix it by avoiding providing `struct:source'
18:13 DanBurton: samth: how can i make a sub-struct of something that isn't provided?
18:14 asumu: Yeah, and in fact it shows "parent struct type not defined"
18:14 asumu: Isn't it currently impossible to give a type to struct types?
18:15 asumu: Since every (struct ...) generates a new one.
18:20 DanBurton: asumu: not sure I follow
18:22 (join) jonrafkind
18:22 DanBurton: anyways, when I switch the second file over to typed/racket, and use define-struct:, it works just fine
18:30 asumu: DanBurton: well I played around with your code, and TR gives struct:source (the struct type for source) the type (Unknown Type: #(struct:StructType 509 #hasheq() #hasheq() #f struct-type #(struct:#<syntax:13:18 source> (location location))))
18:30 asumu: And presumably there's no way to generate a contract for that.
18:31 asumu: So at least for now I'm not sure there's a way around that.
18:31 asumu: But samth would know better.
18:31 DanBurton: interesting
18:31 (join) jeapostrophe
18:41 (nick) jschuster -> jschuster_away
18:45 samth: asumu, DanBurton: probably we could give a reasonable type for it
18:45 samth: please file a bug report
18:45 DanBurton: samth: will do
18:46 samth: DanBurton: thanks
18:54 DanBurton: does Typed Racket do default parameters?
18:55 DanBurton: *arguments
18:55 DanBurton: This is valid racket, but invalid typed racket (define foo (lambda ([in (current-input-port)]) "foo"))
18:57 (quit) stamourv: Quit: ERC Version 5.3 (IRC client for Emacs)
18:57 DanBurton: samth: submitted the bug report. it's bug 12503
18:57 samth: DanBurton: with some annotations, you can make that work
18:57 asumu: samth: What would the corresponding contract do though? Aside from just struct-type?. Or is that all it needs?
18:58 samth: asumu: that's all it could do, but i think that's all it needs
18:58 samth: although it would maybe have problems for transparent structs
19:02 (quit) sstrickl: Quit: sstrickl
19:06 (nick) ChaozZBubi -> chaozzbubi
19:12 DanBurton: samth: so i figured out how to use opt-lambda: for optional arguments. Is there a special form of define: that allows me to do the same without a lambda?
19:13 samth: DanBurton: you probably just need to use the regular define: and annotate the relevant variables with #{}
19:16 (nick) samth -> samth_away
19:20 (quit) kmc: Quit: Leaving
19:33 (quit) mceier: Quit: leaving
19:56 (quit) jonrafkind: Ping timeout: 245 seconds
20:03 (join) dsantiago
20:05 (join) dustmote
20:08 (quit) jeapostrophe: Ping timeout: 252 seconds
20:08 (join) jrslepak
20:10 (join) dnolen
20:23 (part) dustmote
20:24 (quit) bluezenix: Quit: Leaving.
20:28 (join) vibhu
20:39 (quit) DanBurton: Quit: Leaving
20:53 (part) vibhu: "Leaving"
21:34 (join) jeapostrophe
21:55 (join) veer
21:57 (quit) jeapostrophe: Ping timeout: 252 seconds
22:09 (quit) masm: Quit: Leaving.
22:15 (quit) dnolen: Ping timeout: 252 seconds
22:21 (join) jeapostrophe
22:26 (quit) jeapostrophe: Read error: Operation timed out
22:28 (quit) jrslepak: Quit: This computer has gone to sleep
22:58 (join) jonrafkind
23:23 (join) jeapostrophe