00:10 (quit) kennyd: Ping timeout: 248 seconds
00:15 (join) dmac1
00:17 (join) kennyd
00:28 (quit) yin: Quit: Leaving
00:28 (join) elliottcable
00:32 (quit) carleastlund: Quit: carleastlund
01:04 (quit) yoklov1: Quit: Leaving.
01:09 (join) DanBurton
01:09 DanBurton: random question came up on #haskell I thought you guys might know: what language is that on the cover of PLAI? http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/
01:10 (join) samth
01:10 offby1: I think it's Blub
01:11 DanBurton: -_-
01:12 offby1: Well, I didn't major in languages!!
01:12 offby1: Maybe it's Spanish?
01:12 offby1: srsly -- ask on the mailing list; shriram or someone else who knows will probably answer
01:14 shachaf: offby1: It's in the FAQ.
01:14 offby1: I see
01:21 DanBurton: oh hey shachaf
01:21 shachaf: YO YO YO DAWG
01:21 shachaf: ...Ahem.
01:22 (part) DanBurton
01:30 (join) jao
01:57 (quit) jao: Ping timeout: 240 seconds
02:26 (quit) mithos28: Quit: mithos28
02:26 (quit) jonrafkind: Ping timeout: 256 seconds
02:43 (part) kennyd
02:47 (quit) _danb_: Quit: ERC Version 5.3 (IRC client for Emacs)
02:47 (quit) realitygrill: Ping timeout: 252 seconds
03:06 (quit) samth: Ping timeout: 260 seconds
03:10 (join) bluezenix
03:22 (join) ahinki
03:43 (join) masm
04:03 (quit) dmac1: Ping timeout: 260 seconds
04:22 (join) dmac1
04:35 (join) eMko_CZ
05:01 (quit) dmac1: Ping timeout: 252 seconds
05:03 (join) tfb
05:10 (join) _danb_
05:31 (join) MayDaniel
05:40 (quit) MayDaniel: Read error: Connection reset by peer
05:46 (join) Blkt
05:54 (join) bluezenix1
05:57 (quit) bluezenix: Ping timeout: 260 seconds
06:07 (join) MightyFoo
06:14 (quit) Blkt: Remote host closed the connection
06:15 MightyFoo: how (if at all) does "Disable/Enable Tests" in the "Racket" menu of drracket interact with rackunit testing?
06:17 MightyFoo: e.g. have a module with (check-true #f "oh dear") in it -- which always fails when i "Run" it.
06:44 noelw: disable/enable tests is for another testing package
06:44 noelw: which is designed for teaching purposes
06:57 (join) Blkt
06:58 (quit) Blkt: Remote host closed the connection
06:58 (join) Blkt
07:21 (quit) ahinki: Ping timeout: 258 seconds
07:33 (quit) _danb_: Quit: ERC Version 5.3 (IRC client for Emacs)
07:36 (join) yoklov1
08:00 (join) dnolen
08:06 (join) ahinki
08:13 MightyFoo: (Still on unit testing, I'm a frayed): Does rackunit testing integrate with raco in any way. i.e. to run my rackunit tests during "raco setup". Is there a recommended place/point in a module to add such testing?
08:13 MightyFoo: I'm really looking for a single-point build/document/test cycle if that's possible
08:17 (quit) karswell: Read error: Connection reset by peer
08:26 (join) mceier
08:51 noelw: mumble
08:51 noelw: does race let you run code?
08:51 noelw: probably not
08:51 noelw: raco
08:51 noelw: that is
08:52 noelw: Mightyfoo: I don't think there is a single point tool at the moment
08:52 noelw: I make 'sake' a while ago. It's old and crap
08:52 (join) misterncw
08:52 noelw: for testing, i always put all my tests into all-foo-tests.rkt
08:52 noelw: replace foo with collection name
08:53 noelw: than i had a file run-tests.rkt
08:53 noelw: (guess what that did)
08:53 noelw: and I have a binding in Emacs to run tests
08:54 noelw: racket run-tests.rkt
08:54 noelw: I bind that to M-f9
08:54 noelw: Sake did the whole test/build thing
08:54 noelw: Sadly I don't have time to maintain it.
09:05 MightyFoo: thanks noelw for all that.
09:05 noelw: np
09:14 (quit) yoklov1: Quit: Leaving.
09:15 (quit) misterncw: Remote host closed the connection
09:16 (join) ChibaPet
09:22 (join) jeapostrophe
09:23 (quit) dnolen: Quit: dnolen
09:26 (join) yoklov1
09:34 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/9yqjzA
09:34 RacketCommitBot: [racket/master] add a 'Racket Documentation' menu item to drracket - Robby Findler
10:00 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/AsqYMw
10:00 RacketCommitBot: [racket/master] add another note on keybindings to the docs - Robby Findler
10:14 (join) misterncw
10:15 ohwow: hm, this channel is not +n, is it alright?
10:15 (join) realitygrill
10:20 (quit) jeapostrophe: Read error: Connection reset by peer
10:20 (join) jeapostrophe_
10:22 (join) dnolen
10:24 (join) ysangkok
10:33 (quit) dnolen: Ping timeout: 252 seconds
10:33 (quit) ysangkok: Ping timeout: 252 seconds
10:40 (join) anRch
10:42 (quit) yoklov1: Quit: Leaving.
10:42 (join) srolls
10:43 noelw: ?
10:52 (part) eMko_CZ
10:55 (quit) jeapostrophe_: Quit: jeapostrophe_
10:57 (join) ysangkok
10:57 ysangkok: does anyone know what version of PLT scheme first featured make-list in htdp-advanced?
11:00 (join) dnolen
11:04 (join) jonrafkind
11:05 ysangkok: i think it's v5.0.0 after checking different doc versions
11:08 (quit) ahinki: Quit: ChatZilla 0.9.87 [Firefox 7.0/20110916091512]
11:09 (quit) realitygrill: Quit: realitygrill
11:09 (quit) ysangkok: Quit: LP0 ON FIRE
11:14 stamourv: MightyFoo: Matthew is working on modulelets, which will probably make it possible to run tests with raco.
11:21 (join) yoklov1
11:21 offby1: hmm
11:21 (quit) bluezenix1: Quit: Leaving.
11:21 (quit) tfb: Quit: gone
11:22 offby1: noelw: some of the test-* or check-* forms are legacy?  Which ones?  I don't recall the documentation making that clear.
11:22 noelw: test-equal? etc are legacy
11:23 offby1: MightyFoo: I too find unit tests unsatisfying with raco, but I've never been able to articulate what I dislike
11:24 (join) jeapostrophe
11:24 (join) tfb
11:25 (quit) jeapostrophe: Client Quit
11:38 (join) realitygrill
11:38 (join) jrslepak
11:38 MightyFoo: noelw: but test-case and test-suite are not legacy?
11:39 noelw: yes
11:42 offby1: noelw: if you have write access, could you add a sentence or two to the docs saying so, and explaining why?
11:42 MightyFoo: sorry -- to be clear (and avoiding my double negatives): test-= is a legacy function and to be avoided. check-= in not legacy and is to be used. if i want to compose a test from check-=, i should use test-suite which isn't legacy
11:43 noelw: check-= is a test
11:43 noelw: if you want to compose a number of checks into one unit
11:43 noelw: (test-case (check-= …) ...)
11:43 noelw: you use test-case
11:44 noelw: If you want to delay running those tests, so you can run them all at once (or only run some of them or whatever) you wrap a test-suite around them
11:44 offby1: two! two! two kinds of ellipses in one!
11:44 noelw: test-= is a shorthand for (test-case name (check-= a b e))
11:44 noelw: it isn't super useful
11:44 noelw: is it legacy? well, it's clutter the api doesn't need
11:45 noelw: Does that make sense?
11:46 MightyFoo: yes, (it's the "test-= is a shorthand for (test-case name (check-= a b e))" I keep forgetting)
11:47 MightyFoo: is now the time to ask where "Test Support" fits into all of this?
11:47 MightyFoo: (require test-engine/racket-tests)
11:47 (part) noelw
11:48 (join) noelw
11:48 noelw: oops
11:48 (quit) anRch: Quit: anRch
11:48 MightyFoo: thought i'd scared you off for a mo
11:50 noelw: lalalala i can't hear you
11:51 (quit) mceier: Read error: Operation timed out
11:54 noelw: Ummm… if you had any questions / points about rackunit
11:54 noelw: send 'em again and i'll answer … errr .. tomorrow
11:54 noelw: i'm about to head home
11:54 MightyFoo: good night
11:55 MightyFoo: stamourv: where do i find out more about modulelets?
11:55 (join) mceier
11:59 (join) jeapostrophe
12:15 offby1: an excellent question
12:17 jonrafkind: modulelets dont exist yet
12:17 (join) mithos28
12:18 (join) roastbird
12:18 (quit) yoklov1: Ping timeout: 258 seconds
12:18 roastbird: helloo
12:22 offby1: helloo
12:22 MightyFoo: oh :-(
12:23 (join) samth
12:24 MightyFoo: night all
12:24 (quit) MightyFoo: Quit: Leaving
12:27 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/p4WEtg
12:27 RacketCommitBot: [racket/master] fix uninitialized variable messages - Kevin Tew
12:30 (join) MayDaniel
12:30 (join) yoklov1
12:30 (quit) MayDaniel: Changing host
12:30 (join) MayDaniel
12:33 (quit) realitygrill: Quit: realitygrill
12:37 (quit) petey: Quit: Coyote finally caught me
12:38 (quit) Blkt: Remote host closed the connection
12:39 (join) petey
12:39 (join) realitygrill
12:40 (quit) realitygrill: Client Quit
12:41 (join) realitygrill
12:41 (quit) MayDaniel: Read error: Connection reset by peer
12:42 (quit) jonrafkind: Quit: Ex-Chat
12:47 (quit) mithos28: Quit: mithos28
12:48 (quit) srolls: Ping timeout: 248 seconds
12:50 (quit) misterncw: Remote host closed the connection
13:03 (quit) tfb: Quit: sleeping
13:07 (quit) stamourv: Remote host closed the connection
13:17 (join) stamourv
13:38 (join) dmac1
13:44 (quit) yoklov1: Quit: Leaving.
13:52 (join) yoklov1
13:55 (join) srolls
14:12 (quit) realitygrill: Quit: realitygrill
14:29 (join) eMko_CZ
14:39 (join) realitygrill
14:41 (join) anRch
14:54 (quit) anRch: Ping timeout: 276 seconds
14:58 (join) anRch
15:08 (quit) yoklov1: Quit: Leaving.
15:08 stamourv: jonrafkind: Do you have a preprint of your IFL paper somewhere?
15:23 (join) xharkonnen
15:28 (quit) anRch: Ping timeout: 245 seconds
15:35 (quit) roastbird: Quit: Page closed
15:35 (join) tfb
15:36 (part) yoklov
15:44 (join) yoklov
15:58 yoklov: Hm, my code runs fine in drracket with both safe and unsafe ops, and runs fine from the command line with the unsafe operations, but will segfault if I use flonum and fixnum instead
16:01 (quit) dmac1: Ping timeout: 252 seconds
16:02 (join) dmac1
16:05 (join) Blkt
16:06 Blkt: good evening everyone
16:07 stamourv: yoklov: Could you paste your code somewhere?
16:08 yoklov: sure hold on
16:11 (quit) realitygrill: Quit: realitygrill
16:16 yoklov: http://pastebin.com/87p1tKDz is the relevant file
16:17 stchang: hello Blkt
16:17 Blkt: hello there!
16:20 stchang: it's evening where you are?
16:20 stamourv: yoklov: What do you mean, use flonum and fixnum?
16:21 stamourv: You're using flonum and fixnum ops already.
16:21 yoklov: well, yeah, but those are provided there by unsafe
16:21 yoklov: if i switch to racket/flonum and racket/fixnum
16:21 yoklov: it segfaults
16:21 yoklov: or am i misunderstanding how this works
16:21 stamourv: Oh, so the safe specialized versions segfault?
16:21 yoklov: yeah
16:21 stamourv: That's odd.
16:21 yoklov: yeah
16:22 yoklov: both will run inside drracket
16:22 stamourv: Can you make a minimal example that exhibits the problem? That will make it easier to investigate.
16:22 yoklov: sure
16:22 stamourv: Great, thanks!
16:22 yoklov: well, i'll try to make it as minimal as possible
16:22 (join) realitygrill
16:26 (quit) noelw: Quit: noelw
16:50 (part) eMko_CZ
16:51 yoklov: stamourv: http://pastebin.com/uXFA74fk shows the bug but isn't particularly minimal
16:58 stamourv: Can't you make it smaller?
16:58 yoklov: i'm working on it.
16:58 stamourv: It doesn't have to do any meaningful computation, just exhibit the bug.
16:58 yoklov: yeah, alright, i'll see if just calling that function does it.
17:03 (quit) srolls: Ping timeout: 258 seconds
17:09 (quit) mceier: Quit: leaving
17:18 (join) cb`
17:18 (join) bluezenix
17:21 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/nsKNXQ
17:21 RacketCommitBot: [racket/master] try using size-in-pixels for the font primitive in 2htdp/image - Robby Findler
17:21 RacketCommitBot: [racket/master] clean up the way check syntax handles the various callbacks that tell it - Robby Findler
17:22 Blkt: good night everyone
17:22 (quit) Blkt: Remote host closed the connection
17:25 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/a33bTA
17:25 RacketCommitBot: [racket/master] Revert "try using size-in-pixels for the font primitive in 2htdp/image" - Robby Findler
17:25 RacketCommitBot: [racket/master] try using size-in-pixels for the font primitive in 2htdp/image - Robby Findler
17:28 yoklov: alright
17:28 yoklov: it is as small as i can possibly make it
17:28 yoklov: http://pastebin.com/sS4YwLap
17:30 yoklov: on my desktop and laptop that prints through 0 1 and 2, and then segfaults
17:30 (join) anRch
17:31 yoklov: if i switch the comments so that it uses unsafe operations, it wont segfault when 3 happens
17:31 (join) bluezenix1
17:33 (quit) bluezenix: Ping timeout: 248 seconds
17:40 stamourv: yoklov: Great, that's much smaller.
17:40 stamourv: I'll investigate.
17:40 stamourv: You say it works fine from DrRacket, but not from the command line?
17:40 (join) jao
17:40 yoklov: right.
17:40 stamourv: Have you tried turning debugging/profiling on/off, and see if it changed anything?
17:41 yoklov: not with the smaller test case, but it's been doing this for a while, and debugging has been on and off when it has run in drracket
17:42 yoklov: well
17:42 yoklov: if i turn them both off
17:42 yoklov: drracket crashes
17:43 yoklov: also the (fxand <expr> 1) is unnecessary, it still crashes if that's just replaced with the <expr>
17:44 (quit) cb`: Remote host closed the connection
17:45 stamourv: Ok, so either debugging or profiling makes the problem go away, right?
17:45 yoklov: i think so, i odnt think i tried with just profiling
17:46 yoklov: but debugging does
17:50 stamourv: Could you try with only profiling on?
17:51 yoklov: i was going to, but i don't see that under the settings
17:52 yoklov: only debugging, both, neither, or syntactic test suite coverage
17:53 stamourv: Oh, nevermind then.
17:56 yoklov: i mean, are you able to reproduce it?
17:56 stamourv: Haven't tried yet, was doing something else.
17:56 stamourv: Trying now.
17:57 yoklov: okay
17:58 stamourv: From command-line racket, I don't get a segfault, but I get nasal demons, so yeah, I can reproduce it.
17:59 stamourv: And it works from DrRacket.
17:59 stamourv: But that part may be a coincidence. We may be hitting undefined behavior that happens to work there.
17:59 (quit) xharkonnen: Ping timeout: 248 seconds
18:00 stamourv: And unsafe versions work fine. Just like you observed.
18:03 yoklov: hm
18:04 stamourv: The error I get is:
18:04 stamourv: fl->fx: expects argument of type <flonum integer>; given #<variable-code>
18:04 stamourv: So something gets garbled along the way.
18:04 yoklov: i saw that once when i was trying to figure out what was going on
18:05 yoklov: /reduce the code
18:06 stamourv: That means that the safe primitives will error, but the unsafe primitives will be happy to interpret that bit pattern as something it isn't, potentially leading to garbage results.
18:07 yoklov: hm
18:07 yoklov: that makes sense.
18:08 yoklov: wait, so thats where it errors for you?
18:08 stamourv: Yep.
18:09 yoklov: oh wait, nevermind, i thought you were talking about fx->fl
18:10 stamourv: Nope.
18:13 yoklov: looks like the for can be any sequence of fixnums, and it will fail on the third
18:14 yoklov: also the fl/ 1.0 isn't necessary either
18:15 stamourv: Interesting.
18:15 stamourv: I mucked around a bit, inlined some stuff, etc. Definitely weird stuff happening.
18:15 yoklov: yeah
18:15 yoklov: inlining makes it not happen some times
18:19 yoklov: happens with named let also, though i don't really know if there's a real difference between for and named let
18:20 stamourv: In the end, probably nothing that matters, but they do have different expansions.
18:20 samth: yoklov, for is a macro that expands to named let, basically
18:21 yoklov: i thought that was the case
18:21 tauntaun: Any word about RacketCon videos?
18:21 samth: tauntaun, not yet
18:22 yoklov: stamourv: happens with a defined tail recursive function loop too
18:22 yoklov: so yeah like always if you do that.
18:22 stamourv: What do you mean always?
18:23 stamourv: In more cases than with the for?
18:23 yoklov: no, i meant like all the loops i've tried
18:23 (quit) jeapostrophe: Quit: jeapostrophe
18:24 yoklov: so, its not a thing that has to do with the type of loop, but with the fact a loop occurs?  though that would make sense given that it's segfaulting
18:24 yoklov: or at least, it might.
18:26 (quit) bluezenix1: Quit: Leaving.
18:28 stamourv: Right.
18:30 (quit) dnolen: Ping timeout: 252 seconds
18:33 (quit) anRch: Ping timeout: 258 seconds
18:39 stamourv: Anyway, I'll look more into it tomorrow.
18:41 (quit) yoklov: Quit: Leaving.
18:46 (quit) snorble: Ping timeout: 260 seconds
18:51 (join) cb`
18:59 cb`: Hi. I'm using Geiser with Racket for SICP (using planet neil/sicp). Files with #lang planet neil/sicp are working fine in DrRacket but showing errors when I try to run it in Geiser. I see errors like: make-input-port: expects type <exact, positive integer> as 9th argument, given: 0. Anybody else seen that?
19:03 bremner: hmm. could be a geiser bug. jao?
19:04 bremner: cb`: what version of racket, by the way?
19:05 (quit) jao: Ping timeout: 260 seconds
19:07 cb`: bremner: Racket is 5.1.3
19:07 cb`: This worked for me on another machine. I have a feeling the version of Racket is probably a little older there but I'd have to boot it up to confirm. Geiser is the same version in both cases
19:08 cb`: #lang racket programs are working fine for me on this machine. It's just the #lang planet neil/sicp ones that are failing
19:10 (join) dnolen
19:12 (join) yoklov
19:13 (quit) realitygrill: Read error: Connection reset by peer
19:16 (quit) tfb: Quit: sleeping
19:22 bremner: do you have a small example you could pastebin?
19:25 (quit) dnolen: Quit: dnolen
19:26 cb`: very small :) http://pastebin.com/QVAZLJpW
19:26 (join) realitygrill
19:26 cb`: I had a larger example but then did that to confirm if it was *any* neil/sicp program that was failing and it seems to be
19:29 cb`: when I do C-c C-a in the source to enter the modeul in the Geiser repl it goes into an infinte loop. Have pasted an example of the errors that appear here: http://pastebin.com/rSB0mGXb . It just keeps printing that over and over.
19:35 (quit) samth: Ping timeout: 248 seconds
19:37 bremner: cb`: I get slightly different errors but something similar kind of loop with racket 5.1.3
19:37 bremner: geiser 0.1.3
19:37 bremner: hmm. wait. those were messages from raco setup. Let me try again
19:38 cb`: I have the same version of racket and geiser. neil/sicp itself is 1.15
19:38 bremner: actually it seems to work ok for me.
19:38 bremner: I am using whatever version of neil/sicp ships with racket 5.1.3
19:41 cb`: ok. I had been but replaced it when I hit this issue. It might have been 1.15 as well, not sure. Ever seen something along these lines? Any suggestions of things to try?
19:42 bremner: well, in case of racket weirdness, look for old .zo files compiled with the wrong version.
19:43 bremner: other than that, sorry, no clue really.
19:45 cb`: ok, will take a look
19:45 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/uojB1A
19:45 RacketCommitBot: [racket/master] fix `expand-imports' for renamed `quote' - Matthew Flatt
19:47 (join) jeapostrophe
19:53 cb`: bremner: Can you confirm what method you use to load the file in Geiser? I'm using C-c C-a. That worked fine in the past so doubt it's the issue here but just want to check
19:53 cb`: I tried reinstalling racket with no luck
19:53 bremner: yeah, I use C-C C-a. What OS (Linux distro?)
19:55 cb`: Windows 7, could x64 racket be an issue? (seems unlikey..)
19:55 (join) x711Li
19:55 bremner: hmm. I don't know much about racket on windows.
19:55 bremner: but it definitely could be a geiser on windows issue.
19:56 (part) x711Li
19:56 cb`: let me fire up this other laptop and see what version of Racket is on there. It's also Windows 7
20:06 (quit) masm: Quit: Leaving.
20:09 (join) xharkonnen
20:12 (join) snorble
20:13 cb`: bremner: On the other laptop it was Racket 5.1 which only had a 32 bit version. I uninstalled 5.1.3 and reinstalled 5.1 and it works fine
20:13 cb`: Am going to double check that it wasn't the x64 part that was the issue
20:22 cb`: Yeah, doesn't matter whether it is 32 or 64 bit version. It doesn't work with 5.1.3 but works fine with 5.1
20:23 bremner: hmm. hard to say where the problem lies. I would send mail to the racket list, with copy to the geiser author.
20:45 (quit) jeapostrophe: Quit: jeapostrophe
21:20 (quit) xharkonnen: Ping timeout: 248 seconds
21:28 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/KDROGw
21:28 RacketCommitBot: [racket/master] fix expand of `#%variable-reference' on local variable - Matthew Flatt
21:28 RacketCommitBot: [racket/master] change `get-preference' to treat read errors the same as other bad content - Matthew Flatt
21:37 (join) jao
21:40 RacketCommitBot: [racket] plt pushed 5 new commits to master: http://git.io/mAD8Ug
21:40 RacketCommitBot: [racket/master] db: added ssl support for mysql connections - Ryan Culpepper
21:40 RacketCommitBot: [racket/master] db: minimize dependencies - Ryan Culpepper
21:40 RacketCommitBot: [racket/master] db: adjust lazy requires for cross-place mode - Ryan Culpepper
22:09 (quit) dmac1: Ping timeout: 240 seconds
22:24 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/D1Z6UQ
22:24 RacketCommitBot: [racket/master] make the (non-online) check syntax error report window be resizable - Robby Findler
22:36 (quit) jao: Ping timeout: 252 seconds
22:50 (join) _danb_
23:16 (join) mithos28
23:17 (join) jao
23:18 (join) dnolen