00:06 dingfeng: hrm!
00:19 (quit) jrslepak_: Ping timeout: 252 seconds
00:31 (quit) zerokarmaleft: Quit: leaving
00:33 (join) zerokarmaleft
00:46 dingfeng: hrm
00:51 (quit) realitygrill: Ping timeout: 240 seconds
00:52 (join) realitygrill
01:08 (quit) realitygrill: Quit: realitygrill
01:11 (quit) jeapostrophe: Quit: jeapostrophe
01:27 (quit) EmmanuelOga: Ping timeout: 252 seconds
01:27 (quit) francisl: Quit: francisl
01:44 (join) toastbrot_
01:44 (quit) toastbrot_: Remote host closed the connection
02:10 (join) vu3rdd
02:10 (quit) vu3rdd: Changing host
02:10 (join) vu3rdd
02:12 (quit) vu3rdd: Client Quit
02:13 (join) vu3rdd
02:13 (quit) vu3rdd: Changing host
02:13 (join) vu3rdd
02:20 dingfeng: are there existing functions for trimming whitespace from strings? string-trim isn't around
02:29 (quit) jonrafkind: Ping timeout: 258 seconds
02:56 (join) hkBst
02:58 (join) mithos28
03:08 (join) veer
03:29 (quit) veer: Quit: Leaving
03:33 (join) Blkt
03:37 (join) noelw
03:45 Blkt: good morning everyone
03:46 noelw: Hi
03:52 Blkt: :D
04:08 (quit) mithos28: Quit: mithos28
04:14 dingfeng: hullo!
04:16 noelw: Hi!
04:28 (join) tim-brown
04:29 dingfeng: does anyone have a problem with calling racket/typed functions from racket?
04:29 dingfeng: when i return nested lists from typed racket, the lists change!
04:40 noelw: I don't understand
04:40 noelw: Can you give an example?
05:18 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/EfApfw
05:18 RacketCommitBot: [racket/master] updated history - John Clements
05:43 (quit) mye: Ping timeout: 258 seconds
06:03 (join) davegurnell
06:49 (join) mceier
07:01 (quit) mceier: Quit: leaving
07:01 (join) mceier
07:03 (quit) mceier: Client Quit
07:05 (join) mceier
07:19 (join) jeapostrophe
07:25 dingfeng: hulloo
07:26 dingfeng: for example,
07:26 dingfeng: #lang typed/racket
07:26 dingfeng: (: samer ([Pairof Symbol (Listof Any)] → [Listof Any])) (define (samer x) x)
07:26 dingfeng: #lang racket (require "types.rkt") (samer '(a (2 3)))
07:26 dingfeng: result::: '(a (2 3 . #<Typed Value: ()>))
07:29 noelw: Can you try
07:30 noelw: (: identity (Listof Any) -> (Listof Any))
07:30 noelw: (define (identity x) x)
07:31 dingfeng: same result
07:31 dingfeng: after adding a pair of brackets to the type declaration
07:31 noelw: :)
07:32 dingfeng: it only happens when the lists are nested. the top level of the list ends in the normal '()
07:32 dingfeng: (:
07:32 dingfeng: does it happen on your side?
07:38 noelw: Yes
07:38 noelw: What I think is happening is this:
07:39 noelw: Typed Racket inserts contracts on the boundaries between typed and "untyped" code
07:39 noelw: I think those contracts are rebuilding the lists
07:39 noelw: as part of checking them
07:40 noelw: which is moderately odd, but not hugely odd
07:40 noelw: samth could give a definitive answer
07:40 dingfeng: it prevents calling typed code from untyped code
07:41 noelw: It might well be a bug
07:41 dingfeng: once the cdr cell is changed, functions like list? no longer considers it a list, and map and filter fails to work
07:41 noelw: Right
07:42 dingfeng: would be quite worried if it was by design
07:42 noelw: I would raise it as bug
07:42 noelw: Either submit a bug report (e.g. through DrRacket)
07:42 noelw: or on the mailing list
07:42 noelw: or here to one of the core devs
07:42 noelw: Ranked in order of preference from most to least
07:45 dingfeng: I would... knock off from work and have dinner. seeya!
07:46 noelw: cya
07:46 (quit) dingfeng: Quit: Page closed
07:52 (quit) mceier: Quit: leaving
07:52 (join) mceier
07:54 (join) si14
08:15 (join) francisl
08:17 (quit) francisl: Client Quit
08:38 (quit) niarch: Read error: Connection reset by peer
08:39 (join) niarch
08:56 karljoh: when defining my own struct, how does setting #:auto-value work with multiple fields?
08:58 karljoh: seems all #:auto fields can only get the one expression set
09:10 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/R52pvA
09:10 RacketCommitBot: [racket/master] adjust HtDP teaching languages' first and rest so that they accept circular lists. - Robby Findler
09:12 noelw: karljoh: You're correct
09:12 noelw: Just create a function to do what you want to do
09:15 karljoh: ok thanks
09:23 (join) EmmanuelOga
09:50 (quit) jeapostrophe: Quit: jeapostrophe
10:03 (quit) hkBst: Remote host closed the connection
10:19 (join) jeapostrophe
10:34 (quit) Blkt: Quit: rebooting
10:38 (nick) samth_away -> samth
10:44 (quit) tim-brown: Ping timeout: 260 seconds
10:45 samth: dingfeng, noelw: that's definetely a bug
10:46 (quit) samth: Quit: Ex-Chat
10:47 (quit) vu3rdd: Remote host closed the connection
10:47 (join) Blkt
10:51 (quit) jeapostrophe: Quit: jeapostrophe
10:53 (join) realitygrill
10:58 (join) dingfeng
10:59 (join) samth
10:59 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/lhUb9A
10:59 RacketCommitBot: [racket/master] Fix wrapping of `null' when provided as `Any'. - Sam Tobin-Hochstadt
11:03 dingfeng: hi samth!
11:05 samth: dingfeng: the commit i just pushed should fix your bug
11:06 samth: it was a pretty dumb bug
11:06 samth: as you can see from the commit
11:06 dingfeng: thanks =)
11:06 dingfeng: insects aren't individually intelligent; but the hive mind can move mountains
11:13 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/WbC1Uw
11:13 RacketCommitBot: [racket/master] Fix the old-style keybinding example. - Eli Barzilay
11:13 RacketCommitBot: [racket/master] Indicate repl phase level when it's not 0. - Eli Barzilay
11:26 (join) anRch
11:56 (join) dnolen
11:58 (join) shofetim
12:02 (quit) noelw: Quit: noelw
12:02 (join) jeapostrophe
12:07 (join) MayDaniel
12:07 (quit) anRch: Quit: anRch
12:08 (join) noelw
12:15 (join) anRch
12:20 (join) mithos28
12:21 (quit) Blkt: Quit: going home
12:22 (quit) realitygrill: Quit: realitygrill
12:39 (quit) anRch: Read error: Connection reset by peer
12:41 (join) anRch
12:43 (quit) mithos28: Quit: mithos28
12:45 (join) realitygrill
12:49 (quit) anRch: Quit: anRch
12:53 (join) jonrafkind
12:55 (quit) noelw: Quit: noelw
13:09 (join) mithos28
13:31 (quit) MayDaniel: Read error: Connection reset by peer
13:39 (quit) wishbone4: Remote host closed the connection
14:10 (join) anRch
14:14 (join) DanBurton
14:15 (quit) realitygrill: Quit: realitygrill
14:23 (join) realitygrill
14:32 (quit) anRch: Ping timeout: 252 seconds
14:34 (join) anRch
14:44 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/7F2h_g
14:44 RacketCommitBot: [racket/master] Unbreak "Enable signature checking". - Mike Sperber
15:08 (quit) realitygrill: Quit: realitygrill
15:12 (quit) anRch: Quit: anRch
15:20 (join) realitygrill
15:43 (quit) jeapostrophe: Quit: jeapostrophe
15:50 (quit) dnolen: Ping timeout: 265 seconds
16:06 (quit) jonrafkind: Quit: Ex-Chat
16:06 (join) jonrafkind
16:41 (join) jao
16:51 (join) jrslepak_
16:57 (quit) realitygrill: Quit: realitygrill
16:58 (quit) EmmanuelOga: Ping timeout: 252 seconds
17:46 (quit) mceier: Ping timeout: 240 seconds
17:57 (join) dnolen
18:09 (quit) acarrico: *.net *.split
18:09 (quit) ernestas: *.net *.split
18:09 (quit) GeneralMaximus: *.net *.split
18:09 (quit) shachaf: *.net *.split
18:11 (join) GeneralMaximus
18:11 (join) acarrico
18:11 (join) ernestas
18:11 (join) shachaf
18:11 (quit) shachaf: Max SendQ exceeded
18:11 (join) shachaf
18:16 (quit) DanBurton: Quit: Leaving
18:16 (join) jeapostrophe
18:18 (quit) jeapostrophe: Client Quit
18:32 (join) EmmanuelOga
18:55 (quit) dnolen: Quit: Page closed
18:57 (join) jeapostrophe
18:57 (join) realitygrill
18:57 (quit) EmmanuelOga: Ping timeout: 248 seconds
19:01 (quit) jeapostrophe: Client Quit
19:02 (join) EmmanuelOga
19:11 (quit) hyko: Read error: Connection reset by peer
19:11 (join) hyko
19:49 (join) dnolen
20:17 (quit) wtetzner: Remote host closed the connection
20:28 (join) wtetzner
20:32 (nick) samth -> samth_away
20:34 (quit) jonrafkind: Ping timeout: 245 seconds
20:58 (join) jeapostrophe
21:01 (quit) jeapostrophe: Client Quit
21:17 (quit) wtetzner: Read error: Connection reset by peer
21:28 (quit) mithos28: Quit: mithos28
21:32 (join) rimmjob
21:33 (join) wtetzner
21:34 rimmjob: halp, when i make errors using racket outside of drracket i get a =====context====== /usr/lib/racket/collects/racket/private/misc.rkt:87:7
21:35 (quit) wtetzner: Remote host closed the connection
21:38 rimmjob: nvm, i fixed it
22:00 (quit) surrounder: Read error: Connection reset by peer
22:03 (part) shofetim: "ERC Version 5.3 (IRC client for Emacs)"
22:09 (join) jeapostrophe
22:12 (quit) jeapostrophe: Client Quit
22:18 (join) jeapostrophe
22:35 (join) jonrafkind
22:39 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/61Bu2A
22:39 RacketCommitBot: [racket/master] Add a tutorial to the FFI overview - Matthew Flatt
22:44 (part) rimmjob
22:49 (join) mithos28
23:18 (quit) dnolen: Quit: dnolen
23:18 (quit) realitygrill: Quit: realitygrill
23:25 (join) wtetzner
23:25 (quit) jrslepak_: Quit: Leaving