00:00 (join) cdidd
00:10 (join) jackhammer2022
00:13 (quit) myx: Ping timeout: 255 seconds
00:13 (quit) dyoo: Quit: dyoo
00:14 (quit) samth_: Ping timeout: 248 seconds
00:19 (join) eikonos
00:19 (quit) eikonos: Changing host
00:19 (join) eikonos
00:23 (join) eppa
00:31 (quit) eikonos: Ping timeout: 252 seconds
00:49 (quit) rmathews: Quit: ...
00:49 (join) gridaphobe
00:52 gf3: samth: y/t?
00:53 mithos28: gf3: Not likely, its late where he is
00:54 gf3: Mmm, thanks mithos28
00:54 mithos28: If you have a TR question I may be able to help
00:54 gf3: ES6-related
00:54 mithos28: not very likely then
00:58 (join) eikonos
00:58 (quit) eikonos: Changing host
00:58 (join) eikonos
01:01 (part) eppa: "ERC Version 5.3 (IRC client for Emacs)"
01:09 (quit) eikonos: Ping timeout: 252 seconds
01:10 (join) jonrafkind
01:17 (quit) gridaphobe: Remote host closed the connection
01:17 (quit) lusory: Quit: leaving
01:18 (join) gridaphobe
01:21 (quit) francisl: Quit: francisl
01:22 (quit) gridaphobe: Ping timeout: 252 seconds
01:26 (quit) z0lt: Ping timeout: 255 seconds
01:37 (join) eikonos
01:37 (quit) eikonos: Changing host
01:37 (join) eikonos
01:43 (join) sirdancealot7
01:48 (quit) eikonos: Ping timeout: 246 seconds
01:53 (join) Kaylin
02:07 (quit) Kaylin: Quit: Leaving.
02:16 (join) eikonos
02:16 (quit) eikonos: Changing host
02:16 (join) eikonos
02:21 (join) scott_
02:21 (quit) scott_: Changing host
02:21 (join) scott_
02:24 (quit) scott_: Client Quit
02:24 (join) scott_
02:24 (quit) scott_: Changing host
02:24 (join) scott_
02:26 (join) Kaylin
02:27 (quit) eikonos: Ping timeout: 248 seconds
02:54 (quit) scott_: Quit: Leaving
03:05 (quit) Kaylin: Read error: Connection reset by peer
03:24 (join) rmathews
03:41 (join) gridaphobe
04:04 (quit) mithos28: Quit: mithos28
04:09 (quit) mau: Ping timeout: 248 seconds
04:12 (quit) rmathews: Ping timeout: 248 seconds
04:21 (join) Fare
04:29 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/
04:29 (quit) gridaphobe: Remote host closed the connection
04:29 (join) gridaphobe
04:33 (quit) jonrafkind: Ping timeout: 256 seconds
04:34 (quit) rbarraud__: Ping timeout: 240 seconds
04:34 (quit) gridaphobe: Ping timeout: 256 seconds
04:42 (join) bitonic
04:51 (quit) bitonic: Ping timeout: 260 seconds
05:21 (join) vkz
05:25 (quit) DarthRamone: Ping timeout: 240 seconds
05:25 (join) DarthRamone
05:27 (quit) vkz: Ping timeout: 255 seconds
05:28 (join) vkz
05:31 (quit) sirdancealot7: Ping timeout: 240 seconds
05:35 (join) mau
05:40 (join) rmathews
05:45 (join) bitonic
05:52 (quit) vkz: Quit: vkz
06:02 (quit) bitonic: Ping timeout: 245 seconds
06:20 (join) soegaard
06:26 (quit) Fare: Ping timeout: 276 seconds
06:34 (quit) Nisstyre-laptop: Quit: Leaving
06:42 (join) bitonic
06:44 (join) mye
07:01 (quit) soegaard: Quit: soegaard
07:06 (part) acarrico
07:18 (join) vkz
07:21 (quit) bitonic: Ping timeout: 276 seconds
07:41 (join) bitonic
07:46 (quit) vkz: Quit: vkz
07:52 (join) mizu_no_oto
07:57 (quit) mizu_no_oto: Client Quit
07:57 (join) jao
07:57 (quit) jao: Changing host
07:57 (join) jao
08:04 (quit) bitonic: Ping timeout: 255 seconds
08:06 (join) myx
08:15 (join) bitonic
08:23 (quit) anonymou1: Ping timeout: 264 seconds
08:25 (join) Fare
08:33 (quit) Fare: Ping timeout: 248 seconds
08:38 (join) vkz
08:42 (quit) cdidd: Remote host closed the connection
08:46 (join) Fare
08:49 (join) cdidd
08:51 (join) anonymou1
08:57 (join) samth_
09:07 (join) Kaylin
09:11 (join) jeapostrophe
09:11 (quit) jeapostrophe: Changing host
09:11 (join) jeapostrophe
09:13 (join) sirdancealot7
09:18 (quit) Fare: Ping timeout: 252 seconds
09:20 (join) RacketCommitBot
09:20 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/h0WFWQ
09:20 RacketCommitBot: racket/master d73ae88 Matthew Flatt: test case for `for' repair...
09:20 RacketCommitBot: racket/master 689b62a Matthew Flatt: configure: adjust mmap()/mprotect() test...
09:20 RacketCommitBot: racket/master dd50ac8 Matthew Flatt: catch module-not-available mimatches earlier
09:20 (part) RacketCommitBot
09:25 (join) mizu_no_oto
09:26 (quit) vkz: Quit: vkz
09:27 (join) vkz
09:52 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
09:55 (quit) Kaylin: Quit: Leaving.
09:56 (join) mizu_no_oto
09:59 (join) francisl
10:17 (quit) francisl: Quit: francisl
10:47 (join) soegaard
10:49 (quit) vkz: Ping timeout: 248 seconds
11:08 (join) vkz
11:23 (join) anonymou3
11:24 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
11:24 (join) mizu_no_oto
11:26 (join) zacts
11:42 (join) mithos28
11:44 mithos28: samth: ping
11:47 (join) bjz
11:54 (quit) jao: Ping timeout: 248 seconds
12:00 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:04 (quit) sysop_fb: Quit: Leaving
12:05 (join) didi
12:05 (join) sysop_fb
12:10 (join) gridaphobe
12:12 (quit) rins_: Ping timeout: 252 seconds
12:13 (quit) gridaphobe: Remote host closed the connection
12:13 (join) gridaphobe
12:14 (quit) sirdancealot7: Ping timeout: 245 seconds
12:15 (join) rins
12:18 (quit) karswell`: Ping timeout: 255 seconds
12:18 (quit) gridaphobe: Ping timeout: 260 seconds
12:22 (join) dnolen
12:28 (join) sirdancealot7
12:36 mithos28: samth: ping, since you seem online enough to respond to pull requests
12:37 (quit) jeapostrophe: Ping timeout: 260 seconds
12:42 (quit) rins: Ping timeout: 256 seconds
12:46 (join) RacketCommitBot
12:46 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/qelRxg
12:46 RacketCommitBot: racket/master 916f5d8 Robby Findler: add a test case...
12:46 RacketCommitBot: racket/master 5c21ab0 Robby Findler: try to make the bug report form more robust when the...
12:46 (part) RacketCommitBot
12:47 (join) gdsimoes
12:49 gdsimoes: Hi! To type "/" in my keyboard I need to use Alt Gr + Q but when I do that in DrRacket it uses the undo command. Is there any way to fix that?
12:50 (quit) anonymou3: Ping timeout: 240 seconds
12:51 soegaard: gdsimoes: Maybe you can find something here: http://schemekeys.blogspot.dk/2007/05/keybinding-101-in-drscheme.html
12:51 (quit) anonymou1: Ping timeout: 245 seconds
12:51 mithos28: if you go to edit -> keybindings -> show keybindings you can see that key binding for undo
12:51 mithos28: I'm not sure how to remove it though
12:51 (join) rins
12:52 (quit) dnolen: Ping timeout: 276 seconds
12:53 (quit) Shviller: Ping timeout: 248 seconds
12:53 gdsimoes: soegaard: I was wondering if there is an easier way.
12:54 mithos28: Well I think it is a bug. There should be an easy/discoverable way through the menus to delete keybindings
12:54 (join) Shviller
12:54 soegaard: Do you have more info? Why do you need a non standard keybinding for / ?
12:54 didi: gdsimoes: Maybe you can make your OS discriminate ALT and ALT GR?
12:54 mithos28: soegaard: Likely because QWERTY is not standard everywhere in the world
12:55 gdsimoes: soegaard: Because my keyboard sucks.
12:55 gdsimoes: didi: How do I do that?
12:55 didi: 1+ for different keyboards worldwide.
12:55 didi: gdsimoes: I guess it depends on your OS. What are you using?
12:56 gdsimoes: didi: Windows.
12:56 didi: gdsimoes: Sorry, don't know Windows. :^(
12:56 soegaard: Try asking at the mailing list.
12:57 (nick) zacts -> ls|less
12:57 gdsimoes: Thanks. I will  try the mailing list.
13:03 (join) anonymou1
13:03 (join) anonymou3
13:04 (join) karswell
13:10 (quit) anonymou1: Ping timeout: 252 seconds
13:11 (quit) anonymou3: Ping timeout: 264 seconds
13:11 (join) anonymou1
13:11 (join) anonymou3
13:12 (join) mizu_no_oto
13:16 (join) Kaylin
13:18 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
13:22 (join) mizu_no_oto
13:23 (quit) anonymou3: Ping timeout: 252 seconds
13:24 (quit) anonymou1: Ping timeout: 264 seconds
13:24 (quit) gdsimoes: Quit: Page closed
13:27 (quit) mizu_no_oto: Client Quit
13:30 (join) mizu_no_oto
13:31 (join) anonymou1
13:36 (join) anonymou3
13:52 (join) gridaphobe
13:57 (quit) gridaphobe: Ping timeout: 256 seconds
14:01 (join) jonrafkind
14:01 (quit) rmathews: Quit: ...
14:15 (join) z0lt
14:18 (join) Nisstyre-laptop
14:21 (quit) bitonic: Remote host closed the connection
14:22 (join) bitonic
14:23 (join) gridaphobe
14:23 (join) francisl
14:26 (quit) Kaylin: Quit: Leaving.
14:27 (join) eikonos
14:27 (quit) eikonos: Changing host
14:27 (join) eikonos
14:30 (quit) gridaphobe: Ping timeout: 276 seconds
14:31 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
14:31 (quit) karswell: Read error: Connection reset by peer
14:35 (join) dnolen
14:37 (join) karswell
14:47 (join) mizu_no_oto
14:47 (join) samth__
14:47 (quit) samth__: Remote host closed the connection
14:49 samth_: mithos28, pong
14:49 samth_: mithos28, samth is logged in at my desk at work
14:49 mithos28: samth_: I eventually sent the pr, and we talked over email
14:50 samth_: mithos28, ok, cool
15:04 (quit) cdidd: Remote host closed the connection
15:05 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
15:07 (join) mizu_no_oto
15:09 (quit) mizu_no_oto: Client Quit
15:11 (join) mizu_no_oto
15:31 (quit) myx: Quit: ушёл
15:35 (quit) anonymou1: Ping timeout: 245 seconds
15:36 (quit) anonymou3: Ping timeout: 244 seconds
15:45 (quit) mithos28: Quit: mithos28
16:03 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
16:04 (join) RacketCommitBot
16:04 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/NahlIg
16:04 RacketCommitBot: racket/master 2c35a98 Robby Findler: Adjust keybinding code to fall back from...
16:04 (part) RacketCommitBot
16:29 (quit) francisl: Quit: francisl
16:32 (quit) vkz: Quit: vkz
16:38 (quit) bjz: Quit: Bye!
16:42 (join) bjz
16:43 (quit) soegaard: Quit: soegaard
16:46 (join) dyoo
16:47 (join) anonymou1
16:47 dyoo: mithos28: nailed that xrepl 100% CPU bug.  Let me know if it works for you!  https://github.com/plt/racket/pull/235
16:47 (join) anonymou2
16:49 (quit) z0lt: Ping timeout: 248 seconds
16:50 (quit) rins: Ping timeout: 246 seconds
16:59 (join) rins
17:00 (join) francisl
17:07 (join) mithos28
17:13 (quit) anonymou2: Read error: Operation timed out
17:14 (quit) anonymou1: Ping timeout: 240 seconds
17:23 (quit) dyoo: Quit: dyoo
17:26 (quit) mye: Quit: mye
17:32 (join) anonymou1
17:37 (join) anonymou2
17:44 (join) danking
17:44 (join) gridaphobe
17:44 (join) jao
17:44 (quit) bitonic: Ping timeout: 252 seconds
17:44 (quit) jao: Changing host
17:44 (join) jao
17:46 danking: So. in Typed Racket, how do I deal with an identifier that comes from a macro and is guaranteed (by the docs) to be a string but Typed Racket thinks its Any?
17:47 mithos28: danking: Can you give a paste
17:54 danking: mithos28: I can, just a moment.
17:57 danking: mithos28: https://gist.github.com/danking/4747479
17:57 danking: It's the command line parser, which isn't very functional anyway. It seems to require mutation to set the values.
17:57 danking: So, I have a further problem with Typed Racket not realizing that control will never reach the (values ...) form if any of the output values are not Strings.
17:58 mithos28: which variable will always be a string?
17:59 (join) Kaylin
18:01 danking: mithos28: `filename'
18:02 danking: mithos28: The docs claim that the ids positioned after the flag description will be strings representing the values from the command line.
18:02 mithos28: does this syntax work, #{v : t}?
18:02 danking: But I don't know how to tell TypedRacket to believe me when I say that.
18:02 mithos28: so it would be  ["-p" #{filename : String} "the pattern image"
18:04 mithos28: so that works for me, you then need to do nested ifs instead of unlesses
18:05 mithos28: TR doesn't yet understand that error doesn't return and propagate that
18:06 (join) tcsc
18:07 danking: mithos28: Works for me too. It's a shame because the nested if's don't fit as well with the style of programming this macro uses.
18:08 danking: Merh. I ought to write a new command line parser that doesn't work in a mutative style.
18:09 mithos28: danking: Hopefully TR will get that soon, but there are only so many hours in the day and the day job takes up a lot of them
18:09 mithos28: you could keep the unlesses and use assert or cast
18:10 danking: mithos28: Oh sure, I didn't intend that as a complaint. My gripe is with the command line parsing library.
18:12 mithos28: danking: I didn't take it in a bad way, it is a known bug that I dislike aswell.
18:17 (quit) mithos28: Quit: mithos28
18:20 (quit) Kaylin: Quit: Leaving.
18:20 (quit) didi: Ping timeout: 246 seconds
18:31 (quit) karswell: Read error: Connection reset by peer
18:31 (join) bitonic
18:32 (join) karswell
18:43 (join) jeapostrophe
18:43 (quit) jeapostrophe: Changing host
18:43 (join) jeapostrophe
18:58 (quit) anonymou1: Quit: Lost terminal
18:58 (quit) anonymou2: Quit: Lost terminal
18:59 (join) dyoo
19:11 (quit) tcsc: Quit: computer sleeping
19:12 (quit) jeapostrophe: Ping timeout: 264 seconds
19:13 (quit) francisl: Quit: francisl
19:25 (join) tcsc
19:25 (quit) bitonic: Ping timeout: 252 seconds
19:27 (join) Fare
19:36 (quit) dyoo: Quit: dyoo
19:40 asumu: Hmm, I guess require/typed with structs does not work at the REPL.
19:44 (join) bitonic
19:46 (join) zacts
19:50 (join) mizu_no_oto
19:55 (quit) mizu_no_oto: Ping timeout: 252 seconds
19:57 (join) mizu_no_oto
20:05 samth_: asumu, the top level is hopeless
20:06 (quit) bitonic: Ping timeout: 240 seconds
20:10 (join) RacketCommitBot
20:10 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/_bpV2w
20:10 RacketCommitBot: racket/master 59eb1ad Asumu Takikawa: Use up-to-date struct syntax in example
20:10 (part) RacketCommitBot
20:36 (join) acarrico
20:56 asumu: If (lambda (x) x) is unary, (lambda () 0) nullary, what is (case-lambda)?
21:01 chandler: muary?
21:03 offby1: chandler: best. answer. evar.
21:06 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
21:09 asumu: That makes me think of FFV. :p
21:11 asumu: Interesting, both Guile and Chicken disallow (case-lambda)
21:11 (join) mizu_no_oto
21:17 (quit) tcsc: Quit: computer sleeping
21:19 (join) francisl
21:19 (quit) samth_: Ping timeout: 246 seconds
21:21 bremner: and racket considers it standard enough to talk about in the Guide.
21:21 asumu: Oh, I just meant the unapplicable special case. They both have the form itself.
21:21 asumu: rudybot: ((case-lambda))
21:21 rudybot: asumu: your sandbox is ready
21:21 rudybot: asumu: error: #<case-lambda-procedure>: no clause matching 0 arguments
21:22 bremner: oh, I see. My ignorance is showing again ;)
21:22 asumu: I was just unclear. Also, it's a weird special case.
21:22 asumu: The R6RS macro definition of case-lambda actually allows this case too.
21:23 bremner: Can that case do anything useful?
21:23 asumu: Nope.
21:26 (join) didi
21:27 offby1: rudybot, alas, is stuck in 5.2.900-land
21:27 rudybot: *offby1: Alas, there are too many.
21:27 offby1: rudybot, when I use a comma, I'm not talking to you; so stfu.
21:27 rudybot: *offby1: promises to stfu about git IRL.
21:29 (join) tcsc
21:30 asumu: offby1: I got it to run on 5.3.2 without doing anything special.
21:36 (quit) Fare: Quit: Leaving
21:36 offby1: !
21:37 offby1: asumu: thanks for telling me that; I didn't even bother trying
21:37 offby1 downloads 5.3.2 forthwith
21:37 asumu: offby1: did it not work on 5.3 or 5.3.1?
21:38 offby1: nope
21:38 offby1: crashes soon after startup
21:38 offby1: I've never spent the time to figure out why
21:38 asumu: Hmm, weird.
21:40 offby1: yep
21:42 offby1: trying now
21:43 (join) RacketCommitBot
21:43 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/acZwtw
21:43 RacketCommitBot: racket/master 246939f Robby Findler: tighten up the checks in the place where the framework receives...
21:43 (part) RacketCommitBot
22:01 (join) rudybot_
22:02 (join) rmathews
22:16 (quit) zacts: Quit: leaving
22:16 (quit) gridaphobe: Remote host closed the connection
22:17 (join) gridaphobe
22:17 (quit) gridaphobe: Read error: Connection reset by peer
22:17 (join) gridaphobe
22:43 (join) Kaylin
22:43 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
22:44 (join) noam_
22:46 (quit) noam: Ping timeout: 264 seconds
22:48 (join) mizu_no_oto
22:58 (quit) tcsc: Quit: computer sleeping
23:00 (join) anonymou1
23:01 anonymou1: > (let* ((a 3) (b 4)) (print a))
23:01 anonymou1: 3
23:01 anonymou1: > a
23:01 anonymou1: a: undefined; cannot reference an identifier before its definition
23:01 anonymou1: What am I doing wrong?
23:02 anonymou1: Why a is undefined?
23:02 didi: rudybot: (let* ((a 3) (b 4)) (print a))
23:02 rudybot: didi: your sandbox is ready
23:02 rudybot: didi: ; stdout: "3"
23:02 didi: anonymou1: Nothing, apparently.
23:02 anonymou1: rudybot: a
23:02 rudybot: anonymou1: eh?  Try "rudybot: help".
23:02 anonymou1: didi: I want a to be defined after the let*
23:03 anonymou1: The bindings of a let form are available only in the body of the let, so the binding clauses cannot refer to each other. The let* form, in contrast, allows later clauses to use earlier bindings:
23:03 didi: anonymou1: "after" or "in"?
23:03 anonymou1: (http://docs.racket-lang.org/guide/syntax-overview.html)
23:03 anonymou1: didi: after
23:03 didi: anonymou1: That's impossible.
23:03 didi: With `let', I mean.
23:03 anonymou1: But The Racket Guide says...
23:04 anonymou1: didi: I mean not let, I mean let*
23:04 didi: anonymou1: `let*' let you do this:
23:04 didi: rudybot: (let* ((a 4) (b a)) b)
23:04 rudybot: didi: ; Value: 4
23:04 didi: Where `let':
23:04 didi: rudybot: (let ((a 4) (b a)) b)
23:04 rudybot: didi: error: reference to an identifier before its definition: a in module: 'program
23:04 anonymou1: rudybot: (let ((a 4 ) (b a)) b)
23:04 rudybot: anonymou1: your sandbox is ready
23:04 rudybot: anonymou1: error: reference to an identifier before its definition: a in module: 'program
23:05 anonymou1: thx
23:05 didi: np
23:05 anonymou1: rudybot: (let ((a 3) (b 4)) (print a))
23:05 rudybot: anonymou1: ; stdout: "3"
23:05 anonymou1: hm...
23:05 anonymou1 is going to re-read
23:10 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
23:12 anonymou1: ah..
23:25 (quit) francisl: Quit: francisl
23:28 anonymou1: Is it possible to do anything like it:
23:28 anonymou1: (define (a b) 3) (#<procedure:a> 2) ?
23:29 anonymou1: - to call a function by its more "deep" name?
23:30 jonrafkind: im pretty sure no
23:30 jonrafkind: why would you want that?
23:31 jonrafkind: #<procedure:a> is just how the value is printed
23:32 anonymou1: jonrafkind: I think it is trivial, but if it is possible - I'd like to know.
23:33 (quit) Shviller: Ping timeout: 240 seconds
23:34 (join) Shviller
23:35 (quit) didi: Ping timeout: 240 seconds
23:36 (quit) anonymou1: Quit: Lost terminal
23:40 (join) dyoo
23:51 (join) tcsc