00:02 (quit) mithos28: Quit: mithos28
00:27 (quit) martinhex: Remote host closed the connection
00:28 (join) martinhex
00:28 (join) PLT_Notify
00:28 PLT_Notify: racket: master Robby Findler * dc0198a (4 files in 2 dirs): fixed up the string constants collection
00:28 PLT_Notify: racket: master Robby Findler * 06ed204 (2 files in 2 dirs): adjust check-docs so that the skipped exports are a parameter
00:28 PLT_Notify: racket: master Robby Findler * 052b257 (2 files in 2 dirs): fix some easy stuff missing in the browser docs
00:28 PLT_Notify: racket: master commits a2e3116...052b257 - http://bit.ly/hb8dUP
00:28 (part) PLT_Notify
00:29 (quit) Senjai: Quit: Page closed
00:58 (join) PLT_Notify
00:58 PLT_Notify: racket: master Robby Findler * 99c030e (1 files in 1 dirs): ignore serialize export - http://bit.ly/efO33D
00:58 (part) PLT_Notify
01:02 (join) jonrafkind
01:16 (quit) realitygrill: Read error: Connection reset by peer
01:16 (join) realitygrill
01:23 (quit) Nightwolf: Remote host closed the connection
02:03 (quit) jonrafkind: Ping timeout: 264 seconds
02:44 (join) mye
03:14 (quit) realitygrill: Quit: realitygrill
03:16 (join) realitygrill
03:25 (quit) ckrailo: Quit: Computer has gone to sleep.
03:42 (quit) realitygrill: Quit: realitygrill
03:46 (join) Nightwolf
03:50 EM03: its getting near that paid help time :P
04:07 (join) leo2007
04:27 (join) hussaibi
04:50 EM03: if anyone is a freelancer let me know
04:59 (quit) hussaibi: Read error: Operation timed out
05:08 (join) masm
05:52 (join) lucian
06:02 (quit) lucian: Ping timeout: 248 seconds
06:08 (join) lucian
06:57 (quit) leo2007: Quit: rcirc on GNU Emacs 23.3.50.1
07:04 (join) lucian_
07:06 (quit) lucian: Ping timeout: 240 seconds
07:49 (join) tfb
08:01 (nick) lucian_ -> lucian
08:16 (quit) mye: Remote host closed the connection
08:18 (join) PLT_Notify
08:18 PLT_Notify: racket: master Matthew Flatt * 4cd0ba2 (2 files in 2 dirs): remove `define-wish' from BSL for now ...
08:18 PLT_Notify: racket: master Matthew Flatt * d08d7c3 (1 files in 1 dirs): fix string-constant doc build
08:18 PLT_Notify: racket: master commits 99c030e...d08d7c3 - http://bit.ly/gPht4x
08:18 (part) PLT_Notify
08:18 (quit) Demosthenes: Quit: leaving
08:22 (join) MayDaniel
08:30 (quit) tfb: Quit: gone
08:40 (quit) MayDaniel: Read error: Connection reset by peer
08:41 (quit) lucian: Ping timeout: 252 seconds
08:47 (join) lucian
08:52 (join) lucian_
08:52 (join) tauntaun
08:54 (quit) lucian: Ping timeout: 260 seconds
09:33 (join) leo2007
09:47 (join) dnolen
09:56 (quit) tauntaun: Quit: Ex-Chat
10:11 (join) PLT_Notify
10:11 PLT_Notify: racket: master Vincent St-Amour * b2f7132 (1 files in 1 dirs): Fix typos in ephemeron docs.
10:11 PLT_Notify: racket: master Vincent St-Amour * 2d8b4dc (1 files in 1 dirs): Fix typos in rackunit docs.
10:11 PLT_Notify: racket: master commits d08d7c3...2d8b4dc - http://bit.ly/fGckF8
10:11 (part) PLT_Notify
10:14 (quit) dnolen: Quit: dnolen
10:16 (join) dnolen
10:18 (join) mceier
10:21 (quit) dnolen: Client Quit
10:25 (nick) lucian_ -> lucian
10:26 (join) anRch
10:28 (quit) rekahsoft: Quit: leaving
10:30 (nick) samth_away -> samth
10:33 samth: EM03, have you gone through the continue tutorial?
10:33 EM03: yes
10:33 EM03: many times
10:34 samth: and what are you confused about?
10:47 (quit) DT``: Ping timeout: 250 seconds
10:51 (join) MayDaniel
11:03 (quit) MayDaniel: Read error: Connection reset by peer
11:04 (join) carleastlund
11:04 (join) PLT_Notify
11:04 PLT_Notify: racket: master Vincent St-Amour * 9c9c87a (0 files in 0 dirs): Remove file that was accidentally committed.
11:04 PLT_Notify: racket: master Vincent St-Amour * fd2d9ba (1 files in 1 dirs): Bigloo can't compile nucleic2.
11:04 PLT_Notify: racket: master Vincent St-Amour * 3334879 (2 files in 1 dirs): cpstack -> cpstak
11:04 PLT_Notify: racket: master Vincent St-Amour * d52c7f2 (1 files in 1 dirs): Typo.
11:04 PLT_Notify: racket: master Vincent St-Amour * 6d56ddc (1 files in 1 dirs): Chicken changed its timing output format.
11:04 PLT_Notify: racket: master commits 2d8b4dc...6d56ddc - http://bit.ly/e6rVJO
11:04 (part) PLT_Notify
11:11 (join) DT``
11:11 (join) mithos28
11:14 (join) lucian_
11:17 (quit) lucian: Ping timeout: 240 seconds
11:20 (join) ckrailo
11:23 (quit) lisppaste: Ping timeout: 258 seconds
11:28 (quit) anRch: Quit: anRch
11:29 (join) rekahsoft
11:31 (quit) mithos28: Quit: mithos28
11:31 (join) realitygrill
11:31 (quit) DT``: Ping timeout: 248 seconds
11:33 (join) dnolen
11:41 (join) lucian
11:44 (quit) lucian_: Ping timeout: 276 seconds
11:45 (join) DT``
11:47 (join) mithos28
11:47 (quit) mithos28: Client Quit
12:23 (join) jonrafkind
12:45 (quit) lucian: Ping timeout: 252 seconds
12:51 (join) lucian
13:01 (quit) lucian: Read error: Connection reset by peer
13:01 (join) lucian
13:06 (join) PLT_Notify
13:06 PLT_Notify: racket: master Matthew Flatt * bd1c47c (2 files in 1 dirs): remove unneeded places prefab-key conversions - http://bit.ly/kzZCr6
13:06 (part) PLT_Notify
13:15 (quit) lucian: Remote host closed the connection
13:18 (join) lucian
13:37 (join) mithos28
13:37 (quit) mithos28: Client Quit
14:00 (join) geoffhill
14:02 (join) tauntaun
14:02 (join) mithos28
14:03 (join) PLT_Notify
14:03 PLT_Notify: racket: master Kevin Tew * 7134b95 (3 files in 3 dirs): [Places] place/anon place/thunk
14:03 PLT_Notify: racket: master Kevin Tew * d3b014b (2 files in 1 dirs): [Places] copy pair flags
14:03 PLT_Notify: racket: master Kevin Tew * 0284214 (2 files in 2 dirs): [Places] place-channel tests for large messages
14:03 PLT_Notify: racket: master commits bd1c47c...0284214 - http://bit.ly/jn3K5M
14:03 (part) PLT_Notify
14:08 (join) MayDaniel
14:13 (quit) leo2007: Read error: Operation timed out
14:14 (join) PLT_Notify
14:14 PLT_Notify: racket: master Vincent St-Amour * 31df438 (1 files in 1 dirs): Chicken doesn't print GC time if the GC doesn't fire.
14:14 PLT_Notify: racket: master Vincent St-Amour * 99f4ae1 (1 files in 1 dirs): Bigloo does not report time in centiseconds anymore (as of 3.6a).
14:14 PLT_Notify: racket: master Vincent St-Amour * 69b7923 (1 files in 1 dirs): Props.
14:14 PLT_Notify: racket: master commits 0284214...69b7923 - http://bit.ly/lvfPon
14:14 (part) PLT_Notify
14:18 (quit) EM03: Quit: EM03
14:21 (join) Blkt
14:22 Blkt: good evening everyone
14:25 (join) lucian_
14:27 (quit) lucian: Ping timeout: 240 seconds
14:33 (quit) dnolen: Ping timeout: 252 seconds
14:43 (join) lucian
14:45 (quit) lucian_: Ping timeout: 240 seconds
14:47 (quit) MayDaniel: Read error: Connection reset by peer
15:04 (quit) geoffhill: Quit: geoffhill
15:05 mithos28: can anyone help me with typed racket polymorphic functions?
15:05 jonrafkind: no offense, but you do know how irc works, right?
15:06 jonrafkind: typically you just ask questions, dont ask to ask
15:07 samth: mithos28, sure
15:07 mithos28: sorry, I am working on adding sets to TR. But am running into issues using the defined polymorphic functions
15:07 mithos28: If I do the following the type checker works
15:08 mithos28: (: z (All (eq a) ((Setof eq a) a -> (Setof eq a))))
15:08 mithos28: (define z set-add)
15:08 samth: mithos28, if you have larger questions, feel free to email me/stamourv directly
15:08 mithos28: but it doesn't work with (define (z s e) (set-add s e))
15:08 mithos28: samth: ok, thanks
15:09 samth: hmm, that's quite odd
15:09 samth: what's the type of `set-add'?
15:09 mithos28: [set-add (-poly (eq a) (-> (-set eq a) a (-set eq a)))]
15:09 mithos28: I added it in base-env.rkt
15:11 mithos28: I tried doing a similar thing with hashtables and it type checked fine
15:12 stamourv: mithos28: what do you mean by "doesn't work", what error does it give you?
15:12 mithos28: Type Checker: Polymorphic function set-add could not be applied to arguments:
15:12 mithos28: Argument 1:
15:12 mithos28: Expected: (Setof eq a)
15:12 mithos28: Given:    (Setof eq a)
15:12 mithos28: Argument 2:
15:12 mithos28: Expected: a
15:12 mithos28: Given:    a
15:12 mithos28: Result type:     (Setof eq a)
15:12 mithos28: Expected result: (Setof eq a)
15:13 stamourv: ok, you can try turning of pretty-printing of types, that should export the difference between the two
15:13 stamourv: s/of/off/
15:14 mithos28: how do I do that?
15:14 stamourv: line 35 of collects/typed-scheme/tc-setup.rkt
15:14 stamourv: #t -> #f
15:14 stamourv: then rerun raco setup
15:15 stamourv: (but that shouldn't be too long, given that it won't require recompiling most of the internals)
15:15 carleastlund: raco setup --no-docs should save you some time
15:15 stamourv: good point
15:15 mithos28: here is the full version
15:15 stamourv: -D does the smae thing
15:16 mithos28: Type Checker: Polymorphic function set-add could not be applied to arguments:
15:16 mithos28: Argument 1:
15:16 mithos28: Expected: '(make-Set (make-F 'eq) (make-F 'a))
15:16 mithos28: Given:    '(make-Set (make-F 'eq) (make-F 'a))
15:16 mithos28: Argument 2:
15:16 mithos28: Expected: '(make-F 'a)
15:16 mithos28: Given:    '(make-F 'a)
15:16 mithos28: Result type:     '(make-Values
15:16 mithos28: (list
15:16 mithos28: (make-Result
15:16 mithos28: (make-Set (make-F 'eq) (make-F 'a))
15:16 mithos28: (make-FilterSet (make-Top) (make-Top))
15:16 mithos28: (make-Empty))))
15:16 mithos28: Expected result: '(make-Set (make-F 'eq) (make-F 'a))
15:16 stamourv: mm, that's odd, these should be considered the same
15:17 mithos28: Is there anything interesting I should be doing when declaring the Set type
15:17 stamourv: we changed type equality some time ago, let me look at that
15:17 stamourv: not that I can think of
15:18 stamourv: do you have that code up somewhere?
15:18 mithos28: not yet but I can put it on github in a few minutes
15:19 stamourv: thanks
15:20 mithos28: https://github.com/shekari/racket/tree/sets
15:22 stamourv: does it work with sets that are not polymorphic over the equality predicate?
15:24 mithos28: no it fails to type check in both cases, but works if z takes arguments and I instantiate set-add
15:25 stamourv: ah, looks like an inference failure
15:26 stamourv: I had to weaken inference a couple of weeks ago
15:26 stamourv: maybe that's the problem
15:26 stamourv: does code that uses set-add and others (without eta-expandig them) work?
15:27 mithos28: havn't really tried yet
15:27 stamourv: ok
15:27 mithos28: I had trouble with just set, it didn't like to be used without instantiation
15:29 stamourv: even with different kinds of sets separate?
15:30 mithos28: I think so
15:31 (quit) lucian: Ping timeout: 260 seconds
15:32 mithos28: just reverted, and yes set does not work without instantiation
15:33 stamourv: that's odd
15:33 stamourv: with or without arguments?
15:33 mithos28: with
15:33 stamourv: mmm
15:34 mithos28: different error for no arguments
15:34 mithos28: Type Checker: Could not infer types for applying polymorphic function set
15:34 mithos28: that was the error for no arguments
15:34 stamourv: in that case, that makes sense. how can you know the element type of the set if you don't give it elements
15:35 stamourv: but anyway, I'll pull your code and look into that
15:36 mithos28: right. But that can be fixed by adding a case-lambda case for 0 arguments
15:36 mithos28: ok thanks
15:36 mithos28: I'll find another bugreport to work on in the meantime then
15:37 stamourv: nice, thanks for your help!
15:39 (join) lucian
15:44 stamourv: mithos28: can you rebase your "sets" branch on top of the current head? I can't pull it cleanly
15:45 (join) EM03
15:45 (quit) EM03: Changing host
15:45 (join) EM03
15:45 (quit) lucian: Ping timeout: 252 seconds
15:47 mithos28: starmourv: Yep, it will take a bit as my git-foo is a bit lacking
15:59 mithos28: starmourv: It should be based on master now, I cannot test it yet because I need to rebuild from source which takes a while, but I am starting that
16:01 stamourv: ok, thanks
16:03 (quit) EM03: Read error: Connection reset by peer
16:05 (join) EM03
16:05 (quit) EM03: Changing host
16:05 (join) EM03
16:09 (join) geoffhill
16:11 (quit) tauntaun: Ping timeout: 250 seconds
16:12 (quit) EM03: Ping timeout: 276 seconds
16:14 (join) PLT_Notify
16:14 PLT_Notify: racket: master Matthew Flatt * 0e22952 (7 files in 2 dirs): JIT-inline `procedure-arity-includes?' - http://bit.ly/kAyckL
16:14 (part) PLT_Notify
16:19 stamourv: mithos28: by the way, if you're looking for something TR-related to do, better TR support in DrRacket is something a lot of people have asked for
16:19 stamourv: proper indentation, stx highlighting, etc.
16:21 (join) lucian
16:23 mithos28: starmourv: ok, I'll look into it
16:34 (quit) ckrailo: Quit: Computer has gone to sleep.
16:36 (quit) mithos28: Quit: mithos28
16:38 (join) MayDaniel
16:39 (join) PLT_Notify
16:39 PLT_Notify: racket: release Matthias Felleisen * 197eef5 (1 files in 1 dirs): protocol damage noted ...
16:39 PLT_Notify: racket: release Matthew Flatt * d61b573 (2 files in 2 dirs): remove `define-wish' from BSL for now ...
16:39 PLT_Notify: racket: release commits 7b604f3...d61b573 - http://bit.ly/lUeM3e
16:39 (part) PLT_Notify
16:41 (quit) saint_cypher: Quit: Leaving.
16:44 (quit) lucian: Ping timeout: 260 seconds
16:45 (join) lucian
16:46 (join) PLT_Notify
16:46 PLT_Notify: racket: master Carl Eastlund * 943c1bd (1 files in 1 dirs): Added Typed Racket reference subsection for syntax object(-related) types: ... - http://bit.ly/jRSx5Z
16:46 (part) PLT_Notify
16:49 (join) lucian_
16:51 (join) mithos28
16:52 (quit) lucian: Ping timeout: 276 seconds
16:57 (join) PLT_Notify
16:57 PLT_Notify: racket: master Matthew Flatt * 9cf7f88 (1 files in 1 dirs): fix `procedure-arity-includes?' for non-futures, non-places builds - http://bit.ly/kP9dDT
16:57 (part) PLT_Notify
17:00 (join) ckrailo
17:04 (quit) lucian_: Ping timeout: 260 seconds
17:09 (quit) MayDaniel: 
17:14 (join) realitygrill_
17:15 (quit) realitygrill: Ping timeout: 250 seconds
17:15 (nick) realitygrill_ -> realitygrill
17:19 (quit) geoffhill: Quit: geoffhill
17:25 (join) geoffhill
17:30 (quit) mithos28: Quit: mithos28
17:39 (join) lucian
17:49 (join) saint_cypher
17:51 (quit) DT``: Ping timeout: 258 seconds
17:54 bremner_: yikes. raco setup is using scary amounts of memory on Debian/kFreeBSD-i386.  Does 2.7G resident sound plasible?
17:55 jonrafkind: sounds a bit much
17:57 (quit) saint_cypher: Remote host closed the connection
17:58 (join) saint_cypher
17:58 bremner_: actually I just ran out of memory on a 4G virtual machine.
17:59 jonrafkind: building the docs?
17:59 (join) tauntaun
17:59 bremner_: raco setup:  in macro-debugger/view
17:59 bremner_: but I think it was a cumulative thing.
18:01 jonrafkind: i mean can you correlate the stuff 'raco setup' does with the memory usage?
18:01 jonrafkind: like it should say 'rendering blah.scrbl..'
18:02 bremner_: it didn't make it that far, I think.
18:02 (quit) geoffhill: Quit: geoffhill
18:02 bremner_: making: macro-debugger
18:03 jonrafkind: probably a bug in the compiler
18:03 jonrafkind: was this with latest git?
18:03 bremner_: no, 5.1 with a few patches backported from git.
18:04 bremner_: I guess latest git is the next thing to try.
18:05 (join) DT``
18:15 (quit) ckrailo: Quit: Computer has gone to sleep.
18:20 (quit) lucian: Quit: "Sleep, hopefully."
18:25 (join) Demosthenes
18:28 (join) ckrailo
18:32 (join) anRch
18:33 (quit) mceier: Quit: leaving
18:43 (join) geoffhill
18:56 (nick) samth -> samth_away
19:02 (quit) saint_cypher: Ping timeout: 260 seconds
19:17 (quit) ckrailo: Quit: Computer has gone to sleep.
19:21 (quit) geoffhill: Quit: geoffhill
19:25 (join) PLT_Notify
19:25 PLT_Notify: racket: master Asumu Takikawa * 836ac18 (1 files in 1 dirs): Fix documented contracts in framework/color. - http://bit.ly/lWcqLW
19:25 (part) PLT_Notify
19:30 (quit) carleastlund: Quit: carleastlund
19:33 (quit) tauntaun: Quit: Ex-Chat
19:38 bremner_: hmm. Current git is making it farther (now building docs), but still up to 2.3G
19:39 (quit) anRch: Quit: anRch
19:49 (join) geoffhill
19:51 (join) mithos28
19:52 (join) dnolen
19:52 (join) shofetim
19:55 (quit) mithos28: Client Quit
20:10 (join) tauntaun
20:13 (quit) jonrafkind: Ping timeout: 240 seconds
20:13 (quit) geoffhill: Quit: geoffhill
20:17 (join) jonrafkind
20:45 (quit) em: Ping timeout: 252 seconds
20:46 (quit) jonrafkind: Ping timeout: 260 seconds
20:55 (quit) tauntaun: Quit: Ex-Chat
20:57 (join) tauntaun
21:13 (join) mithos28
21:16 (join) PLT_Notify
21:16 PLT_Notify: racket: master Matthew Flatt * 5881005 (1 files in 1 dirs): tune GC parameter
21:16 PLT_Notify: racket: master Matthew Flatt * 982503b (3 files in 3 dirs): share a timestamp cache across all collections during `raco setup'
21:16 PLT_Notify: racket: master commits 836ac18...982503b - http://bit.ly/jzTxMn
21:16 (part) PLT_Notify
21:34 (quit) Blkt: Ping timeout: 240 seconds
21:44 (quit) mithos28: Quit: mithos28
21:45 (join) ckrailo
21:47 (quit) tauntaun: Quit: Ex-Chat
21:49 (quit) masm: Quit: Leaving.
21:49 (quit) rekahsoft: Read error: Operation timed out
21:49 (join) rekahsoft
21:56 (join) realitygrill_
22:00 (quit) realitygrill: Ping timeout: 250 seconds
22:00 (nick) realitygrill_ -> realitygrill
22:20 (join) PLT_Notify
22:20 PLT_Notify: racket: master Kevin Tew * 5a01e9d (2 files in 1 dirs): Revert "remove unneeded places prefab-key conversions" ... - http://bit.ly/jgnU0X
22:20 (part) PLT_Notify
22:20 (join) geoffhill
22:29 (join) EM03
22:29 EM03: no luck and more no luck
22:29 EM03: for an experienced C programmer to not be able to find proper documentation on one of the main aspects of racket thats advertised is  very sad
22:34 (quit) dnolen: Quit: dnolen
22:35 (join) dnolen
22:39 (join) em
22:40 (quit) geoffhill: Quit: geoffhill
23:04 (quit) shofetim: Ping timeout: 260 seconds
23:10 (join) rramsden
23:15 (join) geoffhill
23:35 (quit) em: Ping timeout: 276 seconds
23:40 (join) masm
23:47 (quit) dnolen: Quit: dnolen
23:56 (join) dnolen