00:08 (quit) yoklov1: Quit: Leaving.
00:23 (quit) otzi: Ping timeout: 255 seconds
01:10 (quit) jao: Ping timeout: 252 seconds
01:11 (quit) Nightwolf: Remote host closed the connection
01:16 (quit) carleastlund: Quit: carleastlund
01:17 (quit) dnolen: Quit: dnolen
02:24 (join) masm
02:56 (quit) realitygrill: Remote host closed the connection
02:56 (join) realitygrill
03:32 (quit) realitygrill: Quit: realitygrill
03:32 (quit) jonrafkind: Ping timeout: 252 seconds
03:47 (join) Senjai
03:49 Senjai: Hey DT``
03:49 Senjai: How you been
03:50 (join) racket
03:50 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/mKzNvt
03:50 racket: [racket/master] New Racket version 5.1.1.8. - Eli Barzilay
03:50 (part) racket
04:22 DT``: hi Senjai
04:22 DT``: fine, thanks. You?
05:07 (join) Nightwolf
05:32 Senjai: Good good
05:32 Senjai: been a whike
05:32 Senjai: hows life
05:57 (quit) Skola: Ping timeout: 258 seconds
05:58 (join) Skola
06:38 (quit) Senjai: 
07:44 (join) jao
08:04 (quit) martinhex: Remote host closed the connection
08:07 (join) tfb
08:09 (quit) JuanDaugherty: Quit: Exeunt IRC
08:11 (join) martinhex
08:13 (join) littlebobby
08:21 (join) mithos28
08:37 (join) yoklov1
08:37 (join) yoklov2
08:37 (quit) yoklov1: Read error: Connection reset by peer
08:40 (join) shofetim
09:15 (quit) mithos28: Quit: mithos28
09:17 (join) tauntaun
09:19 (join) mithos28
09:25 (quit) masm: Read error: Operation timed out
09:33 (join) schemer999
09:33 schemer999: hi.  trying to follow the "Continue" web app tutorial.
09:34 schemer999: should the first bit of code start up a webserver?  if so, on which port?
09:35 ohwow: It should print the url with which you can access your webpage
09:37 schemer999: ah, i wasn't using the right language.  working now, thx.
09:46 (join) MayDaniel
09:50 (part) schemer999
09:50 (join) masm
09:53 (quit) mithos28: Quit: mithos28
09:55 (join) mithos28
10:06 (quit) mithos28: Quit: mithos28
10:08 (quit) yoklov2: Quit: Leaving.
10:24 (nick) samth_away -> samth
10:28 (quit) MayDaniel: Read error: Connection reset by peer
10:29 (quit) masm: Ping timeout: 276 seconds
10:31 clklein: What's a good way to do a subtitle in a Scribbled paper?
10:43 (join) masm
10:45 (join) realitygrill
10:49 (join) yoklov1
10:54 clklein: In case anyone else cares, one answer is to drop down to latex and use its subtitle macro
10:57 (join) mithos28
11:06 (quit) masm: Ping timeout: 244 seconds
11:17 (quit) tauntaun: Ping timeout: 255 seconds
11:31 (join) dnolen
11:31 (quit) ohwow: Read error: Connection reset by peer
11:36 (join) racket
11:36 racket: [racket] plt pushed 3 new commits to master: http://bit.ly/mx2Nn0
11:36 racket: [racket/master] place fd clean-ups - Matthew Flatt
11:36 racket: [racket/master] clean up place exit handling - Matthew Flatt
11:36 racket: [racket/master] document place termination better - Matthew Flatt
11:36 (part) racket
11:36 (quit) yoklov1: Quit: Leaving.
11:39 (part) Nightwolf
11:39 (join) ohwow
11:57 (join) masm
11:57 (join) realitygrill_
11:57 (quit) realitygrill_: Remote host closed the connection
11:57 (quit) realitygrill: Read error: Connection reset by peer
12:13 (quit) omegacfx: Quit: Lost terminal
12:14 mithos28: samth or stamourv: HEAD breaks currently with contracts enabled in TR
12:15 stamourv: What's the error?
12:15 mithos28: typed-scheme and typed build fine, but raco setup gives an error
12:15 mithos28: contract violation: expected <(and/c (listof Type) ...rep/type-rep.rkt:341:31)>, given ((Instance Text-Field%) Undefined), which isn't ...rep/type-rep.rkt:341:31
12:15 mithos28: contract on make-Union from
12:15 mithos28: blames /Users/eric/proj/racket/plt/collects/typed-scheme/typecheck/tc-let-unit.rkt
12:16 stamourv: I'll have a look at that in the afternoon.
12:16 (join) racket
12:16 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/mOXRED
12:16 racket: [racket/master] Use fold-left instead of map for an example of a nonuniform vararg function. - Stevie Strickland
12:16 (part) racket
12:17 mithos28: do you have an idea of what commit might have made it, so I can go before it
12:20 (join) tauntaun
12:22 stamourv: No idea.
12:22 stamourv: You can try git-log/git-blame.
12:23 stamourv: Not too long ago (earlier this month, I believe), you reported that contracts didn't work, and I remember fixing that.
12:23 stamourv: So at that point, contracts must have worked.
12:24 (join) MayDaniel
12:24 mithos28: I'll try
12:24 mithos28: Thanks for the pointer
12:24 stamourv: That was 62ad7846b9ff65.
12:25 stamourv: So, last week.
12:25 stamourv: You can try git-bisect to narrow it down.
12:25 mithos28: ok thanks
12:25 stamourv: Have you ever used it? It's great.
12:25 mithos28: I have heard of it
12:25 stamourv: Give it a try, it's really nice.
12:26 mithos28: so I know in theory what it does, and assume the man page will be helpful
12:26 stamourv: Basically, you would mark 62ad7846b9ff65 as being a known "good" commit, and HEAD as a known bad.
12:26 stamourv: And then, it would point you to various commits, you'd try building with contracts, and if it works, you'd mark that revision as good, otherwise as bad, ec.
12:26 stamourv: s/ec/etc/
12:27 mithos28: ok I'll see how it works
12:32 (quit) MayDaniel: Read error: Connection reset by peer
12:34 (quit) tfb: Quit: sleeping
12:37 (join) jonrafkind
12:44 (join) racket
12:44 racket: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/59731368fc7d90c1177c60ade3ec1f8c4fb0a4ae
12:44 racket: [racket/master] add ffi/winapi; use it in mzlib/os - Matthew Flatt
12:44 (part) racket
12:44 rudybot: http://tinyurl.com/4xgaurq
12:47 Daemmerung looks at git-log, nods approvingly
13:00 (quit) jao: Ping timeout: 252 seconds
13:02 (quit) gienah: Quit: leaving
13:21 (join) anRch
13:27 (quit) mithos28: Quit: mithos28
13:55 (join) jao
13:56 (quit) dnolen: Ping timeout: 252 seconds
14:01 tauntaun: Does PLT have an FTP server?  I'd like to install it on a virtual server -- no web browser available.
14:04 jonrafkind: i guess not
14:05 jonrafkind: ftp is super easy though, ive written one in java
14:09 (join) kankamuso
14:10 Daemmerung: heck, I wrote one in pocket scheme.
14:10 kankamuso: hi all. drracket on ubuntu natty doesn't highlight properly. any pointers? google gives just one thread with no solution and i don't have any idea on what to try.
14:11 jonrafkind: you mean you drag the mouse cursor over some text and expect it to highlight?
14:11 kankamuso: i've compiled from source and the problem persists. if i run drracket using the ubuntu live cd everything works ok.
14:11 kankamuso: no, jonrafkind. i'm missing sexp highlighting, find results (pink) and errors
14:12 kankamuso: (excuse my english)
14:12 jonrafkind: hm, im compiled from source (although from latest HEAD) and error highlighting seems to work
14:12 jonrafkind: so possibly the issue was fixed already
14:12 jonrafkind: i vaguely remember some thread about it..
14:12 jonrafkind: are oyu using the latest git?
14:12 kankamuso: i pulled the latest changes from git about half an hour ago
14:12 kankamuso: recompiled, but no luck
14:13 jonrafkind: can you show a screenshot?
14:13 kankamuso: sure. hold on a sec
14:13 jonrafkind: i just typed in random characters and hit 'run'
14:15 kankamuso: first screenshot (just did what you said):
14:15 kankamuso: http://dl.dropbox.com/u/145263/scr1.png
14:16 kankamuso: second screenshot (cursor is between two parens at the end of the code):
14:16 kankamuso: http://dl.dropbox.com/u/145263/scr2.png
14:17 kankamuso: the thing is everything works ok if i boot using ubuntu live cd (the one i used for installing) and run the same binary (compiled from git version)
14:17 stamourv: kankamuso: I believe that the conclusion of the thread you mention was that it was a Cairo issue.
14:17 stamourv: Which version of Cairo are you using?
14:18 kankamuso: is this thread?
14:18 kankamuso: http://is.gd/Yf7clx
14:18 kankamuso: let me check
14:18 stamourv: Or maybe it was another one, I forget. But I think I remember a thread about highlighting in Ubuntu that concluded that it may be a Cairo problem.
14:18 jonrafkind: well im on ubuntu natty too (so probably the same version of cairo) and it works for me
14:19 jonrafkind: Version: 1.10.2-2ubuntu2
14:19 kankamuso: i'm trying to find how to check cairo version (pointers apreciated) but i agree: i didn't install anything besides regular install
14:19 jonrafkind: aptitude show libcairo2
14:19 kankamuso: thanks, jon
14:20 kankamuso: 1.10.2-2ubuntu2 too
14:20 stamourv: Odd.
14:20 stamourv: 32 or 64?
14:21 stamourv: Maybe that's the difference.
14:21 kankamuso: 32
14:21 stamourv: jonrafkind?
14:21 (join) realitygrill
14:22 stamourv: For what it's worth, I'm on 1.8.10-4 (on Debian), and everything works fine.
14:23 kankamuso: i tried removing compiz, but it didn't make any difference
14:24 stamourv: Could you file a bug report? Ideally, with a screenshot.
14:24 stamourv: And Cairo version, just in case.
14:24 kankamuso: sure
14:24 stamourv: Thanks!
14:24 kankamuso: any other information you'd find valuable?
14:25 stamourv: If you file it from DrRacket, it should fill in OS and all. I can't think of anything else.
14:25 kankamuso: oh, great
14:25 kankamuso: i'm doing it right now
14:25 stamourv: Great, thanks!
14:29 jonrafkind: im on 32 bit
14:32 kankamuso: bug filed
14:32 kankamuso: i forgot the screenshots but i guess there's not much to see in them
14:32 kankamuso: do you want me to attach them anyway?
14:32 kankamuso: http://bugs.racket-lang.org/query/?cmd=view&pr=12016
14:37 stamourv: Looks fine to me. No need for screenshots.
14:38 kankamuso: ok. thank you both for your help.
14:41 (join) realitygrill_
14:41 (quit) anRch: Quit: anRch
14:42 (quit) realitygrill: Read error: Connection reset by peer
14:42 (nick) realitygrill_ -> realitygrill
14:46 (join) dnolen
14:48 (join) mithos28
14:48 (quit) realitygrill: Quit: realitygrill
14:49 (quit) kankamuso: Ping timeout: 252 seconds
14:54 stamourv: mithos28: Turns out that contract error dates back from at least 5.1.1.
14:54 stamourv: I'm building with 5.0 now.
14:56 (quit) jonrafkind: Ping timeout: 240 seconds
15:03 mithos28: stamourv: Wow. That is a long time.
15:05 stamourv: Well, I may be overshooting, but binary search is better than linear search.
15:09 mithos28: If you want me to try versions as well to help pin it down, I can
15:09 stamourv: Sure. Could you try 5.1?
15:09 mithos28: yep
15:10 stamourv: At this point, computing resources are the bottleneck, since I have to rebuild every time.
15:10 mithos28: ok I'm in a lab
15:10 mithos28: with about 10 free computers
15:10 stamourv: Oooh.
15:11 stamourv: Then, could you try 5.0.1, 5.0.2 and 5.1?
15:11 stamourv: This is getting ridiculous, but hey, why not?
15:12 stamourv: Or maybe it would be smarter to just try to find what the problem _is_ instead of when it started...
15:12 stamourv: I'll give that a try.
15:14 stamourv: One clue: insert-large-letters.rkt (in DrRacket) is what causes the problem, and that's one of the few files that uses the TR OO features.
15:20 stamourv: Ok, 5.0 works fine.
15:21 mithos28: 5.0{,.1,.2} are all started building
15:21 mithos28: and 5.1
15:24 (quit) Daemmerung: Quit: Smoove out.
15:29 (part) shofetim: "ERC Version 5.3 (IRC client for Emacs)"
15:31 mithos28: 5.1 has a different contract error
15:31 stamourv: What is it?
15:31 mithos28: and 5.0.2 is clean
15:32 stamourv: I found the problem.
15:32 stamourv: letrec does not build its unions in canonical form.
15:32 stamourv: raco setup works fine now.
15:32 mithos28: ok
15:32 stamourv: I'll try running the tests.
16:01 (join) racket
16:01 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/kaYcWL
16:01 racket: [racket/master] Fixed syntax/parse bug: - Carl Eastlund
16:01 (part) racket
16:11 (join) racket
16:11 racket: [racket] plt pushed 2 new commits to master: http://bit.ly/mzuXyl
16:11 racket: [racket/master] Don't export required bindings with all-defined-out and require/typed. - Eric Dobson
16:11 racket: [racket/master] Have letrec build unions in canonical form. - Vincent St-Amour
16:11 (part) racket
16:16 (quit) clklein: Ping timeout: 240 seconds
16:47 (quit) mithos28: Quit: mithos28
16:47 (join) mithos28
16:48 (join) mithos28_
16:48 (quit) mithos28: Read error: Connection reset by peer
16:48 (nick) mithos28_ -> mithos28
16:49 tauntaun: Does www.racket-lang.org use Apache or the Racket web server.
16:50 (quit) mithos28: Client Quit
16:51 (join) neilv
17:04 (join) racket
17:04 racket: [racket] plt pushed 2 new commits to master: http://bit.ly/jAHH9r
17:04 racket: [racket/master] places fixes: Windows leaks, custodian force-exit, stdio interaction - Matthew Flatt
17:04 racket: [racket/master] allow fd 0 to be used as place signaling pipe - Matthew Flatt
17:04 (part) racket
17:09 (join) mithos28
17:11 (quit) neilv: Ping timeout: 250 seconds
17:16 (quit) mithos28: Quit: mithos28
17:18 eli: tauntaun: apache.
17:19 (join) mithos28
17:19 tauntaun: eli: So should I infer that Racket's web server is an interesting project but not quite industrial-strength (i.e., should I use it for my website)?
17:20 (quit) mithos28: Client Quit
17:21 eli: tauntaun: not at all.
17:21 eli: We just have a bunch of conventional cgi scripts and apache setups that we need to maintain.
17:21 eli: Mainly gitweb and gnatsweb.
17:21 tauntaun: Hmm...
17:24 tauntaun: OK, I might give it a try.  But I can't help suspecting that it will be significantly slower than Apache.  Let me know if I'm off.
17:25 eli: I don't know what the numbers are, but for probably all practical uses it should be fine.
17:53 (join) jonrafkind
18:22 (nick) samth -> samth_away
18:24 (quit) dnolen: Quit: Page closed
18:30 (join) mithos28
18:39 (part) littlebobby: "Ex-Chat"
18:46 (join) yoklov
18:55 (join) yoklov1
18:55 (quit) yoklov1: Read error: Connection reset by peer
18:55 (join) yoklov1
18:56 (join) yoklov2
18:56 (quit) yoklov1: Read error: Connection reset by peer
18:56 (quit) yoklov: Read error: Connection reset by peer
19:01 (quit) yoklov2: Client Quit
19:02 (quit) masm: Quit: Leaving.
19:12 (join) racket
19:12 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/iPaaKR
19:12 racket: [racket/master] clean up my clumsy first attempt to adapt the web-server languages - Matthew Flatt
19:12 (part) racket
19:15 (join) yoklov
19:15 (part) yoklov
19:22 (join) dnolen
19:41 (join) neilv
19:41 (quit) neilv: Changing host
19:41 (join) neilv
19:59 (quit) mithos28: Quit: mithos28
20:36 (join) mithos28
20:43 (join) racket
20:43 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/laPSIM
20:43 racket: [racket/master] docs reorganization - Ryan Culpepper
20:43 (part) racket
21:00 (join) gienah
21:15 (quit) mithos28: Quit: mithos28
21:25 (quit) jonrafkind: Read error: Operation timed out
21:27 (join) racket
21:27 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/m6dLuP
21:27 racket: [racket/master] Fix typo. - Vincent St-Amour
21:27 (part) racket
21:31 (quit) martinhex: Read error: Connection reset by peer
21:31 (join) martinhex
21:37 (join) jonrafkind
21:38 (quit) tauntaun: Quit: Ex-Chat
21:59 (nick) offby1 -> sotweedfactor
21:59 (nick) sotweedfactor -> offby1
22:09 (join) otzi
22:15 (join) racket
22:15 racket: [racket] plt pushed 1 new commit to master: http://bit.ly/mcdQB8
22:15 racket: [racket/master] moved algol60 and honu docs to experimental category - Ryan Culpepper
22:15 (part) racket
22:27 (quit) neilv: Quit: Leaving
23:18 (quit) dnolen: Quit: dnolen
23:29 (join) yoklov1
23:30 (quit) yoklov1: Client Quit
23:42 (quit) rudybot: Remote host closed the connection
23:43 (join) mithos28
23:43 (join) rudybot
23:44 (quit) rudybot: Remote host closed the connection
23:47 (join) rudybot
23:50 (quit) jao: Ping timeout: 276 seconds
23:59 (join) yoklov1