00:12 (quit) cataska: Ping timeout: 264 seconds
00:21 (quit) chimeracoder: Quit: Leaving.
00:37 (join) lebro
00:56 (quit) mceier: Quit: leaving
00:56 (quit) jhemann_: Ping timeout: 245 seconds
01:00 (quit) lebro: Ping timeout: 246 seconds
01:04 (quit) jonathansizz: Ping timeout: 240 seconds
01:04 (quit) hash_table: Ping timeout: 240 seconds
01:04 (quit) getpwnam: Ping timeout: 240 seconds
01:14 (join) cataska
01:16 asumu: Just realized the solution to have parametric contracts w/ generics contracts was staring at me all this time.
01:16 asumu: You just have to use contract-out with #:exists.
01:16 (join) vu3rdd
01:16 (quit) vu3rdd: Changing host
01:16 (join) vu3rdd
01:18 mithos28: asumu: do generic contracts let us write dict/c yet?
01:24 (quit) jeapostrophe: Read error: Operation timed out
01:34 asumu: mithos28: I think stamourv and I had discussed it at some point and thought it should be possible to write it using 'or/c' and generic contracts, but we should actually try it.
01:35 (quit) yoklov: Quit: bye!
01:36 mithos28: asumu: I don't think so at quick thought after writing free-identifier-table/c
01:36 asumu: mithos28: I remember we talked about it previously, but do you think there's still something missing?
01:37 mithos28: I cannot remember what we came up with exactly, but writing free-identifier-table/c required a lot of implementation details
01:37 mithos28: I don't think you can do it with just the generic interface
01:37 mithos28: let me try to come up with the issue
01:38 mithos28: One issue is immutable vs mutable tables
01:38 mithos28: I needed to detect that using something that isn't exported from the dict interface
01:39 mithos28: oh nvm that is exposed
01:40 (join) lebro
01:40 mithos28: sortof. Is there anything preventing dictionaries from supporting mutable and immutable update?
01:42 asumu: You mean both at once? I don't believe so.
01:42 asumu: (as in, you should be able to create a dict instance that allows both mutation and functional update)
01:45 mithos28: I think my main point is that, I think there are many not so visible hurdles and I think dict/c being imlementable is a requirement for the generics to be successful
01:48 (join) cdidd
01:50 (quit) cataska: Ping timeout: 256 seconds
01:51 asumu: Yes, agreed, that would be nice. I'll try to look into that more when I have time.
01:53 asumu: Unfortunately, this doesn't quite work: https://gist.github.com/3292447
01:53 asumu: But should once I make the contract optionally use an impersonator.
01:54 mithos28: shouldn't that be (listof elem) . -> . (list-stack/c elem)
01:55 mithos28: and forall elem, not exists elem. Or do I misunderstand what the exists does
01:56 asumu: Hmm, I think you're right, the sealing is the other way.
01:57 asumu: Unfortunately, contract-out does not provide a #:for-all.
01:57 asumu: I wonder why.
01:59 (join) jesyspa
02:00 (quit) lebro: Remote host closed the connection
02:08 Cryovat: Morning, congratulations on shipping 5.3 :)
02:08 asumu: Cryovat: :)
02:08 (join) cataska
02:24 (join) hkBst
02:38 (quit) Kaylin: Quit: Leaving.
02:43 (quit) Shviller: Ping timeout: 246 seconds
02:43 (join) Shviller
02:45 (join) djcoin
02:49 (quit) jonrafkind: Ping timeout: 252 seconds
02:52 (join) mceier
03:04 (quit) cataska: Ping timeout: 268 seconds
03:04 (quit) cohorojo: Ping timeout: 248 seconds
03:05 (join) mye
03:29 (join) soegaard
03:29 (quit) mithos28: Quit: mithos28
03:31 (join) cataska
03:33 (quit) jamessan: Ping timeout: 245 seconds
03:39 (join) mithos28
03:41 (join) jamessan
04:19 (join) antithesis
04:22 (quit) mithos28: Quit: mithos28
04:28 (quit) hkBst: Ping timeout: 246 seconds
04:29 (join) hkBst
04:48 (quit) hkBst: Read error: Connection reset by peer
04:49 (join) hkBst
04:50 (join) masm
04:51 (join) gciolli
05:00 (join) noelw
05:12 (quit) anttih_: Ping timeout: 244 seconds
05:16 (quit) hkBst: Remote host closed the connection
05:22 (join) hkBst
05:29 (quit) jesyspa: Quit: leaving
05:31 (quit) hkBst: Remote host closed the connection
05:32 (join) hkBst
05:41 (join) MayDaniel
05:44 (join) hkBst_
05:44 (join) MightyFoo
05:44 (quit) hkBst: Read error: Connection reset by peer
05:52 (quit) Shviller: Ping timeout: 246 seconds
05:52 (join) Shviller
05:53 (quit) cataska: Ping timeout: 255 seconds
05:56 (quit) hkBst_: Read error: Connection reset by peer
05:56 (join) hkBst_
05:56 (quit) hkBst_: Changing host
05:56 (join) hkBst_
06:01 (join) cataska
06:18 (quit) karswell_: Remote host closed the connection
06:27 (quit) gciolli: Ping timeout: 248 seconds
06:28 (join) gciolli
06:29 (join) karswell_
06:44 (quit) mye: Remote host closed the connection
06:44 (join) mye
06:49 (quit) gciolli: Ping timeout: 252 seconds
06:50 (quit) MightyFoo: Quit: WeeChat 0.3.8
06:50 (quit) DGASAU: Remote host closed the connection
06:51 (join) DGASAU
07:12 (quit) hkBst_: Ping timeout: 246 seconds
07:13 (join) hkBst__
07:37 (join) ambrosebs
07:38 (quit) vu3rdd: Ping timeout: 245 seconds
07:42 (join) jeapostrophe
07:42 (quit) jeapostrophe: Changing host
07:42 (join) jeapostrophe
07:57 (join) kanak
08:00 (join) cohorojo
08:05 (quit) antithesis: Remote host closed the connection
08:11 (join) antithesis
08:11 (join) dnolen
08:48 soegaard: Can recommend Walsh's code coverage tool.
08:48 soegaard: http://planet.racket-lang.org/package-source/jowalsh/code-coverage.plt/1/4/planet-docs/code-coverage/index.html
08:48 rudybot: http://tinyurl.com/bvmryrq
08:53 (join) Aune
08:57 (join) getpwnam
08:57 (join) jonathansizz
08:58 (join) hash_table
09:29 (quit) jeapostrophe: Read error: Operation timed out
09:37 (quit) hash_table: Ping timeout: 256 seconds
09:37 (quit) getpwnam: Ping timeout: 256 seconds
09:37 (quit) jonathansizz: Ping timeout: 255 seconds
09:56 (quit) dnolen: Ping timeout: 256 seconds
09:59 (quit) antithesis: Remote host closed the connection
10:21 (join) veer
10:23 (quit) hkBst__: Quit: Konversation terminated!
10:34 (join) dyoo
10:34 (join) anRch
10:34 (join) lebro
10:45 (join) Znudzon
10:45 (join) Kaylin
10:54 (join) mye_
10:56 (join) getpwnam
10:56 (join) jonathansizz
10:56 (join) hash_table
10:57 (quit) mye: Ping timeout: 256 seconds
10:57 (nick) mye_ -> mye
11:03 (join) antithesis
11:03 (join) paradoja
11:05 (quit) mceier: Quit: leaving
11:05 (join) jeapostrophe
11:05 (quit) jeapostrophe: Changing host
11:05 (join) jeapostrophe
11:10 (quit) anRch: Ping timeout: 246 seconds
11:11 (quit) antithesis: Quit: antithesis
11:17 dyoo: is racket-lang down for anyone else?
11:18 mye: seems down from germany
11:23 samth: seems down
11:27 samth: note that {docs,pre}.racket-lang.org still work
11:36 (join) mye
11:38 (quit) dyoo: Ping timeout: 245 seconds
11:43 (join) anRch
11:47 (quit) noelw: Quit: noelw
11:51 (quit) djcoin: Quit: WeeChat 0.3.2
11:58 (quit) veer: Quit: Leaving
12:01 (join) RacketCommitBot
12:01 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/fMMhng
12:01 RacketCommitBot: [racket/master] win64 racket/gui: another work around for Cairo clipping issues - Matthew Flatt
12:01 (part) RacketCommitBot
12:03 (join) mithos28
12:09 (join) gciolli
12:09 (quit) soegaard: Read error: Connection reset by peer
12:09 (join) soegaard_
12:09 (join) RacketCommitBot
12:09 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/f40sfw
12:09 RacketCommitBot: [racket/master] add #:lang keyword to term, which checks that underscored symbols agree with patterns in the provided language...changed most internal uses of term to use this form - Burke Fetscher
12:09 (part) RacketCommitBot
12:16 (quit) anRch: Quit: anRch
12:16 (join) djcoin
12:19 (join) mceier
12:21 (quit) mye: Quit: mye
12:21 (join) antithesis
12:33 (quit) Aune: *.net *.split
12:33 (quit) ambrosebs: *.net *.split
12:33 (quit) jamessan: *.net *.split
12:33 (quit) offby1: *.net *.split
12:33 (quit) ASau`: *.net *.split
12:34 (join) Aune
12:34 (join) ambrosebs
12:34 (join) jamessan
12:34 (join) offby1
12:34 (join) ASau`
12:43 (join) jonrafkind
12:43 (quit) jonrafkind: Changing host
12:43 (join) jonrafkind
12:44 (join) ASau``
12:45 (quit) Aune: *.net *.split
12:45 (quit) ambrosebs: *.net *.split
12:45 (quit) jamessan: *.net *.split
12:45 (quit) offby1: *.net *.split
12:45 (quit) ASau`: *.net *.split
12:45 (join) Aune
12:45 (join) ambrosebs
12:45 (join) jamessan
12:45 (join) offby1
12:50 (nick) ASau`` -> ASau
12:54 (quit) jrslepak: Ping timeout: 244 seconds
13:05 (quit) djcoin: Ping timeout: 248 seconds
13:06 (quit) antithesis: Remote host closed the connection
13:26 (join) RacketCommitBot
13:26 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/qoL4MA
13:26 RacketCommitBot: [racket/master] Don't wait for future log messages if futures are disabled (future-visualizer) - James Swaine
13:26 (part) RacketCommitBot
13:27 (join) chimeracoder
13:29 (join) jrslepak
13:32 (join) antithesis
13:32 (quit) raed: Ping timeout: 245 seconds
13:38 (part) camilo: "Leaving"
13:42 (quit) Nisstyre: Ping timeout: 240 seconds
13:42 (quit) Znudzon: Ping timeout: 276 seconds
13:42 (join) dnolen
13:44 (join) Nisstyre
13:44 (join) Shozan
13:47 (join) dnolen`
13:47 (quit) SHODAN: Quit: No Ping reply in 180 seconds.
13:47 (join) anRch
13:48 (quit) dnolen: Ping timeout: 240 seconds
13:49 (quit) mithos28: Quit: mithos28
13:50 (quit) antithesis: Remote host closed the connection
13:53 (quit) Nisstyre: Ping timeout: 246 seconds
13:54 (join) antithesis
13:54 (join) raed
13:55 (quit) mceier: *.net *.split
13:55 (quit) jeapostrophe: *.net *.split
13:55 (quit) Cryovat: *.net *.split
13:58 (join) mceier
13:58 (join) jeapostrophe
13:58 (join) Cryovat
14:07 (join) Nisstyre
14:13 (quit) dnolen`: Ping timeout: 244 seconds
14:28 (quit) anRch: Quit: anRch
14:31 (quit) jeapostrophe: Ping timeout: 252 seconds
14:37 (join) gciolli1
14:37 (quit) gciolli: Ping timeout: 245 seconds
15:02 (join) jackhammer2022
15:04 (quit) gciolli1: Quit: Leaving.
15:11 (join) DanBurton
15:20 (join) jeapostrophe
15:20 (quit) jeapostrophe: Changing host
15:20 (join) jeapostrophe
15:48 (quit) antithesis: Quit: antithesis
15:51 (join) daniel__1
15:52 daniel__1: anyone using vim for their editing? i have installed vim-racket but it's not recognising .rkt files as racket automatically
15:52 (join) yoklov
15:52 (quit) yoklov: Remote host closed the connection
15:53 (join) yoklov
15:53 daniel__1: id rather have a plugin handle this rather than clutter my vimrc with filetype definitions
15:53 DanBurton: Typed Racket question: http://pastebin.com/LQkDednw
15:53 DanBurton: why does it say that Procedure is not a function type?
15:53 asumu: daniel__1: hmm, I thought I got it to work. Let me see what I did.
15:54 stamourv: daniel__1: The 2nd example on that page looks relevant: http://docs.racket-lang.org/guide/Vim.html?q=vim
15:55 stamourv: DanBurton: `Procedure' is the type that corresponds to something you know is a function (`procedure?'), but nothing else.
15:55 stamourv: I.e., you don't know its arity, argument types, etc. so the type system can't typecheck applications of it.
15:55 asumu: daniel__1: yeah, vim-racket should recognize them automatically. It installs something in ftdetect.
15:56 DanBurton: stamourv: is there anything I can replace "procedure?" with in that code in order to make it work correctly?
15:57 daniel__1: yeah asumu, i have this in my ftdetect: au BufRead,BufNewFile *.rkt,*.rktl  set filetype=racket
15:57 DanBurton: I suppose in retrospect R could be a procedure type so "procedure?" isn' tappropriate
15:57 daniel__1: strangely, it's not working
15:57 stamourv: DanBurton: Right.
15:57 daniel__1: maybe it clashes with another plugin i have installed
15:57 stamourv: That's similar to the `flatten' issue that was discussed on the mailing list yesterday.
15:58 DanBurton: random thought, does TR provide bounded quantification?
15:59 DanBurton: something like (All (A <: Number) (A -> A))
16:00 stamourv: It doesn't. Would be nice, though.
16:00 DanBurton: Is there a good reason besides lack of elbow grease to leave it out?
16:04 stamourv: For some values of elbow grease.
16:04 asumu: Probably complicates inference.
16:04 (quit) kanak: Ping timeout: 256 seconds
16:05 stamourv: Adding features to the type system can be tricky, since TR already has some pretty exotic things, and interactions can get weird.
16:07 DanBurton: well anyways, here's a different reformulation of essentially the same code I pasted earlier, I believe this one is a bug in TR? http://pastebin.com/M2xmjuJp
16:08 DanBurton: "Structure type constructor ___ applied to non-regular arguments"
16:11 DanBurton: How am I supposed to write Haskell in Racket if it can't handle recursive multi-type-param sum types? >,<
16:12 asumu: First you write an FFI binding to Haskell...
16:13 asumu: (there is not profit step
16:13 asumu: )
16:13 DanBurton: lol :)
16:13 stamourv: DanBurton: Not sure whether that one's a bug or not. I'll have to investigate.
16:14 stamourv: Re Haskell in TR: TR was mostly designed to make it possible to write Racket in TR.
16:14 DanBurton: stamourv: please do. Here's the same thing in Haskell if it helps: http://pastebin.com/NCXEA1GU
16:17 stamourv: What are you using this for? We can try to find a workaround in the mean time.
16:20 DanBurton: I'm trying to port some Haskell code >.>
16:20 (quit) djcb: Remote host closed the connection
16:21 DanBurton: I'm translating "pipes" from Haskell to Racket
16:21 DanBurton: it's quite amusing
16:21 stamourv: pipes, that rings a bell.
16:21 stamourv: Is it anything like: https://github.com/pkhuong/Pipes
16:21 stamourv: (in CL)
16:22 DanBurton: never seen that before
16:22 DanBurton: yes that might be the same concept
16:23 DanBurton: here's some code I wrote up in untyped racket http://pastebin.com/bpMS9KK1
16:23 DanBurton: works like a charm, but I can't properly define the Pipe type in TR due to this bug
16:24 DanBurton: I came up with the silly To-Res code while attempting to simplify the Pipe types to the smallest thing that still illustrated the error
16:29 (quit) dsantiago: Quit: Computer has gone to sleep.
16:32 (quit) hash_table: Ping timeout: 265 seconds
16:32 (quit) getpwnam: Ping timeout: 265 seconds
16:32 DanBurton: oh that reminds me of one more question I wanted to ask about TR
16:32 (quit) jonathansizz: Ping timeout: 265 seconds
16:32 DanBurton: does it provide a "ex falso quodlibet" function from Nothing to (All (A) A)?
16:34 DanBurton: e.g. (define (ex-falso-quodlibet nothin) (error "You have proved falsehood. The universe will now implode."))
16:35 (join) catgen
16:38 stamourv: rudybot: init typed/racket
16:38 rudybot: stamourv: your typed/racket sandbox is ready
16:38 stamourv: (define: (e [x : Any]) : (All (A) A) (error 'eh))
16:39 stamourv: rudybot: (define: (e [x : Any]) : (All (A) A) (error 'eh))
16:39 rudybot: stamourv: Done.
16:39 stamourv: rudybot: (e 2)
16:39 rudybot: stamourv: error: eh
16:39 daniel__1: asumu: for future reference, it was the following line in my vimrc that was causing the problem: au BufWinEnter * silent loadview
16:39 stamourv: DanBurton: Is that what you had in mind?
16:39 DanBurton: rudybot: init typed/racket
16:39 rudybot: DanBurton: your typed/racket sandbox is ready
16:39 asumu: daniel__1: ah, what's that do?
16:40 daniel__1: vim-racket ftdetect probably needs updating to this: au BufWinEnter,BufRead,BufNewFile *.rkt *.rktl set filetype=racket
16:40 DanBurton: rudybot: (define: (e [x : Nothing]) : (All (A) A) (error 'impossible))
16:40 rudybot: DanBurton: Done.
16:40 asumu: daniel__1: also you may want to submit a pull request for that.
16:40 asumu: (to wlangstrom)
16:40 DanBurton: that is what I was thinking ^ it's impossible to reach the body of the function
16:40 daniel__1: i think it loads the previous formatting or something
16:40 DanBurton: rudybot: (e (error "trying to get to impossible"))
16:40 (quit) catgen: Quit: Page closed
16:40 rudybot: DanBurton: error: trying to get to impossible
16:40 daniel__1: and its called after BufRead and BufNewFile which overrides it
16:41 DanBurton: since Nothing is uninhabited
16:41 daniel__1: i had that line in order to load folds
16:41 stamourv: DanBurton: You can get to the body alright. You'll just error every time.
16:41 stamourv: Oh, not in your version.
16:41 DanBurton: exactly
16:41 daniel__1: (remember how the document was last folded)
16:41 DanBurton: because it is impossible to strictly construct a value of type Nothing
16:42 DanBurton: the only way a "value" can be Nothing is if it is an error itself
16:42 DanBurton: the point of this function is to relieve the programmer from having to implement branches of code where a "false assumption" has entered scope
16:44 samth: DanBurton: that should happen already
16:45 DanBurton: samth: see line 80 http://pastebin.com/bpMS9KK1
16:45 DanBurton: I suppose I could just leave that branch out
16:46 DanBurton: but it feels better to include it for completeness
16:46 samth: ah, ok
16:46 samth: i would just leave it out, but it's up to you
16:47 (quit) MayDaniel: Read error: Connection reset by peer
16:48 DanBurton: samth: is this a bug? http://pastebin.com/M2xmjuJp
16:56 daniel__1: does racket have an equivalent to clojures docstrings?
16:57 (join) djcoin
16:57 DanBurton: daniel__1: not that I am aware of
16:58 (quit) djcoin: Client Quit
16:58 (join) MayDaniel
16:59 soegaard_: daniel__1: You can use ,say,   race doc map   if you want quickly to look up info on map.
16:59 Shambles_1: daniel__1: You're probably looking for "scribble" it's Racket's documentation tool.
17:00 soegaard_: race -> raco
17:00 daniel__1: Shambles_1: i saw scribble was used for comments but the documentation wasnt that clear
17:01 daniel__1: it seemed to do a lot
17:02 Shambles_1: You can put the documentation in the code, or the code in the documentation, and then theres that McFly tool...
17:02 Shambles_1: But yeah, it does a lot, and it'd be the equivalent to Clojure's docstrings, I think.
17:03 stamourv: rudybot: doc scribble/srcdoc
17:03 rudybot: stamourv: not found in any library's documentation: scribble/srcdoc
17:03 stamourv: daniel__1: `scribble/srcdoc' may be what you want.
17:05 daniel__1: thanks
17:06 (join) Draggor
17:06 Draggor: Hello!  Is there some kind of graphical GUI designer?
17:08 soegaard_: Draggor:  https://github.com/Metaxal/MrEd-Designer/wiki
17:08 soegaard_: Haven't tried it.
17:09 Draggor: soegaard_: thank you!
17:10 Draggor: Oh how I have missed lispy things
17:27 asumu: Shambles_1: Yeah, McFly is great. And now it supports Scribble @-syntax, so it's consistent.
17:30 (quit) jeapostrophe: Ping timeout: 246 seconds
17:37 Shambles_1: asumu: I've actually been extremely pleased with Racket.  The only big problems I've found is you can't drag and drop across widgets, and a lot of common widgets aren't supported, and there's no way to add them and keep them 'themed' consistently (due to no way to read theme-relevant info, like the color of a selected title bar, or whatever).
17:38 Shambles_1: I miss the Racket debuggers when screwing around with Clojure, for sure.
17:38 asumu: That's good to hear. If you tell Matthew about GUI issues he might fix them some day.
17:38 (nick) Shambles_1 -> Shambles_
17:38 Shambles_: I posted on the mailing list, but got no response.
17:39 asumu: Oh, I missed that. When was that?
17:39 Shambles_: A month or two ago when I was told to. I'll try to find it. This may take a while.
17:40 asumu: I can find it myself too, so don't worry about it
17:40 Shambles_: Not as long as I thought.  06-18-2012, according to my mail client.
17:40 Shambles_: "[racket] drag-and-drop in a Windows-Explorer-like GUI‏" was the subjectline.
17:42 Shambles_: I didn't mention all the GUI issues there, partly because I hadn't thoroughly investigated and found them all yet, but since nobody reacted I didn't say anything later.
17:42 asumu: Okay, well sometimes the relevant people are busy and miss things, so if you have more to report you might just bump that thread.
17:42 asumu: Or write a new post.
17:44 soegaard_: Is there a better way to write this?
17:44 soegaard_: (: integer-expt : Z Z -> Z)
17:44 soegaard_: (define (integer-expt x n)
17:44 soegaard_: (assert (expt x n) integer?))
17:44 Shambles_: You really think anybody will want me to?  I got pretty quiet after that because I figured it just bothered people or nobody cared.
17:45 Shambles_: And, if I do, should I do something like put "attn: Matthew" in the subject?
17:46 DanBurton: soegaard_: I don't believe there is
17:46 asumu: Shambles_: I wouldn't put the attn bit. And yes, feedback is always welcome.
17:47 asumu: I doubt it bothered anyone. It's just that the main people who work on GUI stuff tend to be very busy.
17:47 stamourv: rudybot: (:query-result-type expt Integer)
17:47 rudybot: stamourv: ; stdout: "(case-> (Integer Exact-Nonnegative-Integer -> Integer) (One Exact-Rational -> One))\n"
17:47 asumu: Just a manpower issue.
17:47 stamourv: soegaard_: ^
17:47 Shambles_: Alright, I'll try to see about writing another up with all the problems I know of.
17:48 stamourv: If you make the second argument `Natural' (or `Exact-Nonnegative-Integer', same thing), it should work.
17:48 stamourv: Which makes sense, given that if you have a negative integer exponent, you can go beyond integers.
17:49 DanBurton: oh I thought he was referring to the body xP
17:49 stamourv: (BTW, `:query-result-type' is now `:query-type/result' on HEAD.)
17:50 soegaard_: stamourv: Thanks. I can conclude that I should use expo directly.
17:57 (quit) chimeracoder: Quit: Leaving.
17:57 (join) dnolen
18:02 (quit) Shviller: Read error: Connection reset by peer
18:02 (join) Shviller
18:02 soegaard_: rudybot: (integer-sqrt/remainder 17)
18:02 rudybot: soegaard_: your typed/racket sandbox is ready
18:02 rudybot: soegaard_: error: #<undefined>:1:1: Type Checker: untyped identifier integer-sqrt/remainder imported from module <typed/racket> in: integer-sqrt/remainder
18:02 soegaard_: rudybot: init racket
18:02 rudybot: soegaard_: your sandbox is ready
18:03 soegaard_: rudybot (integer-sqrt/remainder 17)
18:03 (quit) lebro: Ping timeout: 246 seconds
18:03 soegaard_: A tricky one.
18:03 stamourv: rudybot: (integer-sqrt/remainder 17)
18:03 rudybot: stamourv: error: #<undefined>:1:1: Type Checker: untyped identifier integer-sqrt/remainder imported from module <typed/racket> in: integer-sqrt/remainder
18:03 stamourv: rudybot: init racket
18:03 soegaard_: rudybot: (integer-sqrt/remainder 17)
18:03 rudybot: stamourv: your sandbox is ready
18:03 rudybot: soegaard_: ; Value: 4
18:03 rudybot: soegaard_: ; Value#2: 1
18:08 (quit) MayDaniel: Read error: Connection reset by peer
18:14 (join) JoelMcCracken
18:15 (quit) dnolen: Ping timeout: 244 seconds
18:16 (quit) jonrafkind: Read error: Operation timed out
18:21 (quit) DanBurton: Quit: leaving
18:27 (quit) jrslepak: Quit: What happened to Systems A through E?
18:27 (join) jonathansizz
18:27 (join) getpwnam
18:28 (join) hash_table
18:30 (join) darkf
18:31 darkf: why does (let loop () (loop)) work? does it create a function?
18:33 samth: darkf: yes
18:33 darkf: samth: nice, is there a reason why? I did not think let did that, only define
18:33 samth: darkf: that's a special abbreviation for writing loops
18:34 samth: it's different than normal let
18:34 darkf: samth: ah, I see, thanks!
18:36 (quit) raed: Remote host closed the connection
18:36 (quit) cdidd: Ping timeout: 265 seconds
18:38 (quit) JoelMcCracken: Ping timeout: 244 seconds
18:40 (join) jonrafkind
18:43 soegaard_: darkf: See also http://docs.racket-lang.org/guide/let.html#(part._.Named_let)
18:47 (quit) Aune: Quit: L?mnar
18:47 (quit) DrDuck: Ping timeout: 252 seconds
18:47 (join) DrDuck
18:59 (join) JoelMcCracken
19:01 (join) irr
19:01 (part) irr
19:12 (quit) JoelMcCracken: Ping timeout: 244 seconds
19:20 (quit) masm: Quit: Leaving.
19:25 (quit) karswell_: Remote host closed the connection
19:26 (join) dnolen
19:34 (quit) soegaard_: Quit: soegaard_
19:35 (join) karswell_
19:52 (quit) dnolen: Ping timeout: 240 seconds
19:59 (join) dnolen
19:59 (join) dnolen_
20:00 (quit) dnolen: Remote host closed the connection
20:00 (quit) dnolen_: Remote host closed the connection
20:01 (join) dnolen
20:08 (join) masm
20:23 (join) jeapostrophe
20:24 (quit) dnolen: Ping timeout: 245 seconds
20:24 wtetzner: i have an exception type defined here
20:24 wtetzner: http://pastebin.com/ZZ0dgmkj
20:24 wtetzner: how would i go about defining it in typed racket?
20:24 wtetzner: the part i'm confused about is how to type #:extra-constructor-name make-exn:fail:myexn
20:25 wtetzner: or does the struct: form not support it?
20:25 Shambles_: asumu: I've written a e-mail with my concerns about the GUI and sound support.  That would go to the 'dev' list, I suppose?
20:44 (quit) masm: Quit: Leaving.
21:04 jonrafkind: it hardly matters what list you send an email to
21:25 (quit) yoklov: Quit: computer sleeping
21:26 (join) dnolen
21:58 (quit) dnolen: Remote host closed the connection
21:59 (join) yoklov
22:00 (join) mye
22:00 (quit) paradoja: Remote host closed the connection
22:01 (join) jrslepak
22:02 (quit) mye: Remote host closed the connection
22:02 (join) dnolen
22:02 (join) mye
22:07 Shambles_: jonrafkind: I'll send it to users.  I know my stuff gets through to there, and I'm not sure if it would on the dev list, since I'm not sure I'm subscribed to that.
22:07 (join) dsantiago
22:18 (join) mye_
22:18 Shambles_: It's sent.  Hopefully it won't start a flame war or anything.
22:20 (quit) mye: Ping timeout: 256 seconds
22:20 (nick) mye_ -> mye
22:36 (join) RacketCommitBot
22:36 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/Mtu4BQ
22:36 RacketCommitBot: [racket/master] added names to clauses in define-judgment-form and added - Robby Findler
22:36 (part) RacketCommitBot
22:36 (quit) yoklov: Quit: computer sleeping
22:42 (join) mye
22:45 (join) mithos28
22:47 (join) yoklov
23:06 (join) RacketCommitBot
23:06 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/7X3UhA
23:06 RacketCommitBot: [racket/master] adjust bitmap tests to test judgment form labels (and fix expected result under mac os x) - Robby Findler
23:06 (part) RacketCommitBot
23:28 (quit) Shambles_: Quit: Leaving.
23:33 (join) RacketCommitBot
23:33 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/g1OEcQ
23:33 RacketCommitBot: [racket/master] fix up the bitmap tests for linux - Robby Findler
23:33 (part) RacketCommitBot
23:35 (quit) Nisstyre: Read error: Connection reset by peer
23:36 (quit) mye: Quit: mye
23:39 (join) Shambles_
23:45 (join) vu3rdd
23:45 (quit) vu3rdd: Changing host
23:45 (join) vu3rdd
23:48 (join) random_malice
23:48 (join) bro_grammer
23:51 (quit) jonathansizz: Ping timeout: 244 seconds
23:51 (quit) hash_table: Ping timeout: 245 seconds
23:51 (quit) getpwnam: Ping timeout: 245 seconds
23:55 (quit) yoklov: Quit: computer sleeping
23:56 (quit) dnolen: Remote host closed the connection