00:23 (nick) elliottcable -> Cheequebrieyah
00:24 (quit) Lajla: Read error: Connection reset by peer
00:24 (join) Lajla
00:24 mithos28: eli: I am still up, if it is a TR question.
00:29 (nick) Cheequebrieyah -> elliottcable
00:37 eli: mithos28: It's related to their reorganization of TR's bowels since 5.1.3.
00:38 mithos28: sorry don't know much about that, but I do know some stuff about the old bowels
00:38 (quit) jao: Ping timeout: 252 seconds
00:40 (nick) TweyII -> Twey
00:40 eli: mithos28: Yeah, I'm plugging to the internals since my lanuage is a tweak of TR.
00:41 mithos28: what are you trying to do?
00:41 mithos28: typed plai?
00:42 mithos28: shriram, mentioned something to that effect in passing
00:43 eli: Yes, but it's far from PLAI.
00:46 mithos28: so what are you trying to do with TR
00:47 eli: You can see the code at http://pl.barzilay.org/pl.plt
00:47 eli: That's the 5.1.3 version, which I need to revise so it works in the git head.
00:47 eli: And I'm running into an elusive "syntax-local-value: not currently transforming".
00:48 mithos28: should it install fine on HEAD?
00:49 eli: No, there's the "typed-scheme" -> "typed-racket" change,
00:49 eli: and then there are some more minor changes which I've adapted to.
00:50 eli: mithos28: Here's the current version: tmp.barzilay.org/pl.plt
00:50 eli: If you can find the cause of that error that would be wonderful.
00:51 mithos28: not new enough 5.1.3.7, I have 5.1.3.9
00:52 eli: Hm?
00:52 eli: It should have just sources.
00:52 mithos28: oh, well drracket barfed because other things were not up to date
00:52 eli: Ah.
00:52 mithos28: and didn't just recompile
00:53 eli: The code is runnable in plain racket too.
00:53 mithos28: I was using drrcaket to unpack the plt file
00:55 (join) jao
00:56 (quit) jonrafkind: Read error: Operation timed out
00:58 (join) jonrafkind
00:59 mithos28: ok commenting out the require for special-env makes it not complain when running main
01:01 eli: mithos28: You mean this: ((dynamic-require 'typed-racket/base-env/base-special-env 'initialize-special))
01:01 eli: ?
01:01 mithos28: no, the require line
01:01 mithos28: 42ish
01:02 mithos28: typed racket doesn't seem to do that
01:02 eli: Yes, I see it.
01:02 eli: Where's the equivalent TR code?
01:02 mithos28: I mean typed-racket.rkt doesn't do it
01:03 mithos28: collects/typed-racket/typed-racket.rkt
01:03 eli: I suspect that the whole section of requires need to be revised.
01:03 eli: It's all the same since before the lazification of the require.
01:03 eli: s/require/requires/
01:03 mithos28: I think it was just the non syntax one
01:04 mithos28: non dynamic*
01:04 mithos28: it was a phase off
01:05 eli: Looks like this is also redundant: typed-racket/base-env/base-env-indexing
01:06 eli: In any case, if you're ever around boston, I owe you a beer/sandwich/lunch/whetever-else you prefer...
01:07 mithos28: no problem, shout out again if you get stuck
01:07 eli: Hopefully everything else will work...
01:08 mithos28: No, but you can hope
01:08 (join) jjjj2_
01:08 (quit) jonrafkind: Ping timeout: 260 seconds
01:09 (quit) jjjj2_: Read error: Connection reset by peer
01:09 eli: Whew, the main problem was some issue with taints, and it looks like that's sorted out.
01:09 (join) jonrafkind
01:13 (quit) jao: Ping timeout: 258 seconds
01:50 (quit) pcavs: Quit: Leaving.
02:22 (quit) ve: Ping timeout: 252 seconds
02:27 (quit) dmac: Ping timeout: 258 seconds
02:35 (quit) jonrafkind: Ping timeout: 258 seconds
02:38 (join) ve
02:48 (join) hkBst
03:11 (quit) realitygrill: Quit: realitygrill
03:16 (join) bluezenix
03:22 (quit) mithos28: Quit: mithos28
03:34 (join) masm
03:35 (quit) bluezenix: Read error: Connection reset by peer
03:44 (join) bluezenix
03:53 (quit) bluezenix: Ping timeout: 244 seconds
04:09 (join) bluezenix
04:33 (join) Burlingk
04:52 (join) _danb_
05:25 (quit) Demosthenes: Ping timeout: 260 seconds
05:33 (quit) martinhex: Read error: Connection reset by peer
05:45 (quit) bluezenix: Ping timeout: 244 seconds
05:53 (join) bluezenix
05:56 (join) Demosthenes
06:07 (quit) Demosthenes: Quit: leaving
06:15 (quit) Lajla: Read error: Connection reset by peer
06:16 (join) Lajla
06:17 (quit) bluezenix: Ping timeout: 244 seconds
06:25 (join) bluezenix
06:34 (join) martinhex
06:35 (quit) bluezenix: Read error: Connection reset by peer
06:45 (join) bluezenix
06:46 (join) Demosthenes
07:36 (quit) bluezenix: Quit: Leaving.
07:39 (quit) Demosthenes: Quit: leaving
07:56 (join) Bilroth
07:57 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/6pXX7w
07:57 RacketCommitBot: [racket/master] fix bug introduced in recent commit caught by drdr - Robby Findler
08:23 (join) Demosthenes
08:26 (join) bluezenix
08:35 (quit) bluezenix: Ping timeout: 260 seconds
08:36 (join) mceier
08:38 (quit) chturne: Ping timeout: 276 seconds
08:42 (join) bluezenix
08:44 (quit) machuga: Ping timeout: 260 seconds
08:48 (quit) bluezenix: Ping timeout: 244 seconds
08:57 (join) bluezenix
09:00 (join) dmac
09:04 (part) Bilroth: "ERC Version 5.3 (IRC client for Emacs)"
09:05 (join) misterncw
09:05 (join) pcavs
09:10 (quit) Demosthenes: Quit: leaving
09:16 (join) chturne
09:17 (quit) dmac: Ping timeout: 260 seconds
09:24 (quit) bluezenix: Ping timeout: 260 seconds
09:26 (join) noelw
09:33 (quit) pcavs: Quit: Leaving.
09:35 (join) dmac
09:37 (join) ChibaPet
09:42 (quit) _danb_: Remote host closed the connection
09:44 (join) pcavs
09:45 (quit) pcavs: Client Quit
09:45 (join) mykhal
09:53 (quit) adzuci: Ping timeout: 260 seconds
09:53 (quit) stchang: Ping timeout: 260 seconds
09:54 (join) stchang
09:54 (join) adzuci
10:00 (nick) samth_away -> samth
10:01 samth: jntrnr13: see `==' in `unstable/match'
10:01 samth: eli: pong
10:02 (quit) dmac: Ping timeout: 260 seconds
10:42 (join) anRch
10:46 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/durDUA
10:46 RacketCommitBot: [racket/master] fix gc and stack-overflow problems in JIT, module expansion & run - Matthew Flatt
10:46 eli: samth: ?
10:47 samth: eli: you asked if i was awake earlier
10:47 eli: Problem solved.
10:47 (nick) Lajla -> Jankh_Flanders
10:47 eli: See later -- mithos28 helped locating the problem.
10:47 (join) realitygrill
10:48 eli: There's still a problem with taints, but I'm not sure if it's related to TR.
10:48 samth: ok
10:48 (quit) noelw: Quit: noelw
10:48 samth: what was the problem?
10:49 eli: Running code in a sandbox -- under a new code inspector -- leads to a "cannot use identifier tainted by macro transformation in: quote-syntax"
10:53 (join) dmac
10:54 (join) pcavs
10:55 (quit) realitygrill: Quit: realitygrill
10:57 samth: yuck
10:57 samth: what was the problem that eric fixed?
10:58 (join) noelw
11:01 eli: samth: I had a require of `typed-racket/base-env/base-special-env', which was (a) at the wrong phase and that lead to "syntax-local-value: not currently transforming"
11:01 eli: and (b) requiring it was not needed anyway.
11:02 eli: It would be nice if you could go over my file and see if the requires are all needed -- I don't think that I changed anything since before the lazifications that you did.
11:03 samth: where's the file?
11:03 samth: yeah, that file no longer works when required
11:03 eli: samth: http://tmp.barzilay.org/pl.plt
11:05 samth: eli: can you make it ever-so-slightly easier for me to get
11:06 eli: samth: git clone pltgit:eli/pl ?
11:07 eli: (And the files will be in collects/pl/lang/types)
11:08 samth: eli: it looks good to me so far
11:09 samth: i really don't think you should do this, though: (provide (rename-out [Real Number]))
11:09 eli: samth: I worry that students will expect `Number' to be something that they can use as plain numbers, which will break with `<'.
11:10 samth: i worry that there's some portion of TR that will use the name `Number' anyway
11:10 (join) realitygrill
11:11 samth: also, `(number? 3+4i)' => #t
11:11 samth: yeah, all the requires seem fine
11:11 eli: Maybe I should get rid of that hack.  Things are definitely much better now.
11:12 eli: I also considered simplifying the types of numeric functions, but that seems like a dangerously deep pit.
11:12 eli: (And it's kind of nice to have them see that there's a real language, not just their bubble.)
11:14 samth: with 5.2, you should get most of the benefit of simplification
11:14 samth: without doing anything
11:15 eli: Well, we'll see about that -- I'll be switching them to a nightly build tomorrow.
11:31 (quit) dmac: Ping timeout: 276 seconds
11:32 (quit) realitygrill: Quit: realitygrill
11:37 (join) realitygrill
11:43 (quit) realitygrill: Quit: realitygrill
11:43 (join) realitygrill
11:49 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/CGm6Aw
11:49 RacketCommitBot: [racket/master] fix module expand bug - Matthew Flatt
11:50 (quit) Burlingk: Quit: Leaving
11:50 samth: mflatt FTW!
11:56 (quit) anRch: Quit: anRch
12:07 (join) MayDaniel
12:17 samth: tewk: do you have a copy of the mandelbrot code from your DLS paper?
12:18 (join) mithos28
12:21 (join) dnolen
12:26 (quit) dnolen: Quit: dnolen
12:28 (quit) mithos28: Quit: mithos28
12:29 (quit) misterncw: Remote host closed the connection
12:29 (join) jobar
12:31 (quit) hkBst: Read error: Connection reset by peer
12:39 (join) anRch
12:41 (join) pcavs1
12:42 (quit) pcavs: Ping timeout: 260 seconds
12:53 (join) dmac
12:55 (quit) MayDaniel: Read error: Connection reset by peer
12:57 (join) jonrafkind
12:58 (part) jobar
12:58 (quit) dmac: Ping timeout: 260 seconds
12:58 (quit) anRch: Quit: anRch
12:59 (join) dmac
13:03 (quit) realitygrill: Quit: realitygrill
13:06 (quit) dmac: Ping timeout: 260 seconds
13:07 (join) grglr
13:15 samth: jonrafkind: it tewk around?
13:16 jonrafkind: no
13:16 samth: what's the best way to contact him?
13:20 (join) blake_johnson
13:26 jonrafkind: email i guess
13:27 (join) pcavs
13:30 (quit) pcavs1: Ping timeout: 252 seconds
13:34 (join) dmac
13:36 (join) superjudge
13:37 (join) bluezenix
13:43 (quit) superjudge: Ping timeout: 276 seconds
13:43 (join) superjudge
13:44 (quit) superjudge: Client Quit
14:01 (join) realitygrill
14:04 (join) jao
14:05 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/eLuM6A
14:05 RacketCommitBot: [racket/master] Fix pr 12205 pass --disable-inline and --vv options through to parallel make - Kevin Tew
14:05 RacketCommitBot: [racket/master] Fix cleanup of place_obj mutex and semaphore - Kevin Tew
14:07 (quit) bluezenix: Quit: Leaving.
14:08 (join) brainproxy
14:45 (quit) jao: Ping timeout: 240 seconds
15:03 (join) MayDaniel
15:04 (part) ChibaPet
15:12 (part) blake_johnson
15:30 (join) anRch
15:41 (quit) MayDaniel: Read error: Connection reset by peer
15:54 (quit) mykhal: Ping timeout: 248 seconds
15:55 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/eCgnkg
15:55 RacketCommitBot: [racket/master] fix `raco setup' for a collection that disappears - Matthew Flatt
15:55 RacketCommitBot: [racket/master] add `var-ref->mod-decl-insp' and switch `cur-code-insp' uses - Matthew Flatt
15:59 (quit) mceier: Ping timeout: 260 seconds
16:00 (join) mceier
16:02 (join) bluezenix
16:02 (join) mykhal
16:43 (quit) anRch: Quit: anRch
16:51 (join) anRch
16:53 RacketCommitBot: [racket] plt pushed 6 new commits to master: http://git.io/dtpTEA
16:53 RacketCommitBot: [racket/master] syntax/parse: use new primitive cross-phase identifier comparison - Ryan Culpepper
16:53 RacketCommitBot: [racket/master] unstable, syntax/parse: fix phase-of-enclosing-module - Ryan Culpepper
16:53 RacketCommitBot: [racket/master] updated macro debugger to work with begin-for-syntax changes - Ryan Culpepper
17:03 (quit) mykhal: Ping timeout: 248 seconds
17:04 (join) mykhal
17:05 (quit) bluezenix: Quit: Leaving.
17:11 (quit) dmac: Ping timeout: 258 seconds
17:12 (join) shofetim
17:28 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/EgBYyg
17:28 RacketCommitBot: [racket/master] remove obsolete and unused Racket-to-C compiler - Matthew Flatt
17:37 samth: always nice to delete thousands of lines of code
17:37 jonrafkind: lets start with typed/racket!
17:56 (quit) Jankh_Flanders: Ping timeout: 260 seconds
17:57 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/GvmTQw
17:57 RacketCommitBot: [racket/master] disable debugging code accidentally left in - Ryan Culpepper
18:13 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/9fqveg
18:13 RacketCommitBot: [racket/master] convert C++-style comments to C-style comments - Matthew Flatt
18:13 RacketCommitBot: [racket/master] adjust cycle-detection valeu to avoid fixnum encoding - Matthew Flatt
18:13 RacketCommitBot: [racket/master] don't check for future or foreign work in atomic mode - Matthew Flatt
18:15 RacketCommitBot: [racket] plt pushed 7 new commits to master: http://git.io/iqkZEQ
18:15 RacketCommitBot: [racket/master] adjust a syncheck test so hopefully to avoid mutating datastructures from the wrong thread - Robby Findler
18:15 RacketCommitBot: [racket/master] add missing default arg value to close-icon% docs - Robby Findler
18:15 RacketCommitBot: [racket/master] adjust online expansion so that the space for the error messages doesn't - Robby Findler
18:19 (join) machuga
18:28 (quit) pcavs: Quit: Leaving.
18:29 (join) pcavs
18:31 (join) Lajla
18:31 (quit) anRch: Quit: anRch
18:42 (join) jao
19:00 (nick) samth -> samth_away
19:01 (join) mattmigh`
19:01 (join) tewk_
19:02 (join) mario-go`
19:02 (quit) pcavs: Quit: Leaving.
19:03 (join) ohwow_
19:03 (nick) mario-go` -> mario-goulart`
19:03 (join) TweyII
19:07 (quit) grglr: *.net *.split
19:07 (quit) Twey: *.net *.split
19:07 (quit) tewk: *.net *.split
19:07 (quit) ohwow: *.net *.split
19:07 (quit) mattmight: *.net *.split
19:07 (quit) mario-goulart: *.net *.split
19:11 (quit) masm: Quit: Leaving.
19:11 (join) grglr
19:36 (quit) grglr: *.net *.split
19:39 (join) grglr
19:57 (join) mykhal_
19:58 (quit) mykhal_: Client Quit
19:58 (quit) mykhal: Ping timeout: 248 seconds
20:05 (join) Demosthenes
20:07 (quit) jao: Ping timeout: 260 seconds
20:23 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/EL315w
20:23 RacketCommitBot: [racket/master] [honu] checkpoint for docs - Jon Rafkind
20:23 RacketCommitBot: [racket/master] [honu] more doc updates - Jon Rafkind
20:25 (quit) Demosthenes: Quit: leaving
20:28 (quit) grglr: *.net *.split
20:31 (quit) jonrafkind: Ping timeout: 240 seconds
20:33 (join) grglr
20:56 (quit) chturne: Ping timeout: 252 seconds
21:08 (join) chturne
21:09 (quit) mceier: Quit: leaving
21:15 (join) pcavs
21:18 (join) dnolen
21:21 (quit) pcavs: Ping timeout: 252 seconds
21:27 (join) Demosthenes
21:33 (join) pcavs
22:20 (quit) Demosthenes: Read error: Connection reset by peer
22:20 (join) JoelMcCracken
22:24 (join) wtetzner
22:30 (join) jao
22:34 (quit) dnolen: Quit: dnolen
22:40 (join) dmac
22:45 (join) jonrafkind
22:48 (join) mithos28
23:16 (quit) jao: Ping timeout: 260 seconds
23:44 (nick) elliottcable -> ejlkllimontotp
23:49 (join) dnolen
23:54 (nick) ejlkllimontotp -> elliottcable
23:59 (join) dnolen_