00:28 (quit) dherman: Quit: dherman
00:59 (join) mithos28
01:07 (join) phao
01:07 (part) phao: "Fui embora"
01:15 (quit) dnolen_: Quit: dnolen_
01:23 (quit) martinhex: Ping timeout: 240 seconds
01:32 (join) martinhex
01:40 (join) bluezenix
01:40 (quit) bluezenix: Client Quit
01:53 (quit) mithos28: Quit: mithos28
02:04 (join) bluezenix
02:08 (quit) bluezenix: Ping timeout: 258 seconds
02:21 (quit) jonrafkind: Ping timeout: 260 seconds
02:28 (join) bluezenix
02:33 (quit) bluezenix: Ping timeout: 252 seconds
02:34 (join) bluezenix
02:36 (quit) bluezenix: Read error: Connection reset by peer
02:36 (join) bluezenix1
02:41 (quit) bluezenix1: Ping timeout: 252 seconds
02:42 (join) bluezenix
02:46 (quit) bluezenix: Ping timeout: 252 seconds
03:01 (join) bluezenix1
03:01 (quit) bluezenix1: Client Quit
03:09 (join) bluezenix
03:09 (quit) bluezenix: Client Quit
03:15 (join) littlebobby
03:17 (join) bluezenix1
03:21 (quit) bluezenix1: Ping timeout: 255 seconds
03:25 (join) bluezenix
03:29 (quit) bluezenix: Ping timeout: 252 seconds
03:30 (join) masm
03:33 (join) bluezenix1
03:37 (quit) bluezenix1: Ping timeout: 255 seconds
03:41 (join) bluezenix1
03:44 (quit) masm: Read error: Connection reset by peer
03:45 (join) masm
03:45 (quit) bluezenix1: Ping timeout: 252 seconds
03:47 (quit) rgee: Ping timeout: 255 seconds
04:11 (join) bluezenix
04:13 (join) bluezenix1
04:13 (quit) bluezenix1: Client Quit
04:15 (quit) bluezenix: Ping timeout: 252 seconds
04:19 (join) bluezenix
04:21 (join) bluezenix1
04:23 (quit) bluezenix: Ping timeout: 252 seconds
04:26 (quit) bluezenix1: Ping timeout: 252 seconds
04:29 (join) bluezenix1
04:29 (quit) bluezenix1: Client Quit
04:38 (join) bluezenix
04:42 (quit) bluezenix: Ping timeout: 252 seconds
04:43 (join) bluezenix
04:46 (join) bluezenix1
04:46 (quit) bluezenix1: Client Quit
04:47 (quit) bluezenix: Ping timeout: 252 seconds
05:02 (join) bluezenix1
05:02 (quit) bluezenix1: Client Quit
05:10 (join) bluezenix
05:14 (quit) bluezenix: Ping timeout: 252 seconds
05:17 (join) bluezenix
06:03 (quit) carleastlund: Quit: carleastlund
06:08 (quit) rekahsoft: Read error: Operation timed out
06:14 (quit) misterm: Ping timeout: 252 seconds
07:06 (join) misterm
07:10 (join) bluezenix1
07:11 (quit) littlebobby: Quit: Ex-Chat
07:13 (quit) bluezenix: Ping timeout: 255 seconds
07:32 (join) tfb
07:48 (quit) bluezenix1: Read error: Connection reset by peer
07:48 (join) bluezenix
07:49 (join) dnolen_
08:09 (join) carleastlund
08:11 (quit) tfb: Quit: sleeping
08:30 (quit) misterm: Ping timeout: 276 seconds
09:14 (join) dherman
09:22 (quit) dherman: Quit: dherman
09:39 (quit) dnolen_: Quit: dnolen_
09:48 JuanDaugherty just blew off a lead for paying scheme work.
09:51 (quit) carleastlund: Ping timeout: 255 seconds
10:08 (join) rgee
10:24 (join) racket
10:24 racket: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/7d103bdfd81d8099f35d3d3727308fcba0b18056
10:24 racket: [racket/master] Updates Redex history for v5.1.2 - Casey Klein
10:24 (part) racket
10:24 rudybot: http://tinyurl.com/3k6cnpw
10:37 (quit) bluezenix: Quit: Leaving.
10:39 (nick) samth_away -> samth
10:41 (join) MayDaniel
10:58 (join) realitygrill
11:06 (join) bluezenix
11:15 (quit) MayDaniel: Read error: Connection reset by peer
11:38 tonyg: I can't see a list of the numeric types available in Typed Racket. If I wanted to type something as an unsigned 16-bit integer, how would I go about that?
11:39 tonyg: Also is there a way to start command-line racket in typed racket mode?
11:39 stamourv: There's a list in the TR reference.
11:39 stamourv: racket -I typed/racket
11:39 stamourv: (for a TR REPL)
11:40 stamourv: As for 16-bit unsigned integers, there's no type that corresponds directly to that.
11:40 tonyg: huh. init-lib. OK. that wasn't obvious.
11:40 tonyg: ah
11:40 tonyg: ok
11:40 stamourv: Index is probably the closest.
11:40 tonyg: can I constrain it?
11:40 tonyg: contract-style?
11:40 stamourv: It contains from 0 to 2^(32 or 64)-2 -1
11:41 stamourv: Well, you can add range checks to your code.
11:41 tonyg: I want to type a struct that I have
11:41 stamourv: But there's currently no way to have the type system enforce the 16-bit width.
11:41 tonyg: ok.
11:41 (quit) rgee: Ping timeout: 255 seconds
11:42 stamourv: But given that 16-bit and 30/62-bit wide integers have the same overall closure properties, using the Index type will probably give you part of what you want.
11:42 tonyg: (incidentally, I haven't found the list you mentioned - can you send a link?)
11:42 (join) carleastlund
11:42 stamourv: As in, it will error if it can't guarantee that things will stay within bounds.
11:43 stamourv: Section 1.1.1 of the TR reference.
11:46 tonyg: oho, the *reference*
11:47 tonyg: heh
11:47 tonyg: sorry
11:47 tonyg: (hmm, Index isn't in that list - is Fixnum considered better style?)
11:49 stamourv: Index should be on the list for recent versions.
11:50 stamourv: Fixnum is signed.
11:50 tonyg: Nonnegative-Fixnum looks like what I want?
11:51 stamourv: Index is more restrictive than Fixnum, which leads to more optimizations. And since you're staying within 16-bit anyway, you may as well use it.
11:51 tonyg: ok
11:51 tonyg: thanks
11:56 (quit) petey-aw`: Ping timeout: 258 seconds
12:07 (join) mithos28
12:14 (quit) mithos28: Quit: mithos28
12:17 Daemmerung: DrDr - does one pronounce it "Deirdre," or "Doctah! Doctah!" (in a S Boston accent)?
12:21 tonyg: (define-type Nibble (U 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15))
12:26 (join) dherman
12:27 (join) mithos28
12:28 (join) mithos28_
12:28 (quit) mithos28: Read error: Connection reset by peer
12:28 (nick) mithos28_ -> mithos28
12:31 tonyg: How do I make reference to exn:fail:contract from typed/racket/base?
12:31 tonyg: Do I need to somehow import it with a type?
12:32 stamourv: Try a plain `require'. It may already have a type.
12:32 stamourv: If not, try `require/typed'.
12:32 tonyg: untyped identifier kernel:exn:fail:contract imported from module <(quote #%kernel)>
12:32 tonyg: ... is the error i was seeing
12:32 tonyg: should I require #%kernel?
12:32 tonyg: I'll try
12:33 tonyg: nope that doesn't work
12:38 tonyg: oh look! a lunch break. the perfect thing to compile racket in.
12:46 (join) rachekhan
12:58 (join) tfb
12:59 (join) littlebobby
12:59 (quit) littlebobby: Changing host
12:59 (join) littlebobby
13:05 (part) rachekhan
13:05 (quit) bluezenix: Read error: Connection reset by peer
13:05 (join) bluezenix
13:08 (quit) tfb: Quit: sleeping
13:09 (join) jonrafkind
13:19 (quit) mithos28: Quit: mithos28
13:25 (join) mithos28
13:26 (join) mithos28_
13:26 (quit) mithos28: Read error: Connection reset by peer
13:26 (nick) mithos28_ -> mithos28
13:27 (join) bluezenix1
13:28 (quit) bluezenix: Ping timeout: 252 seconds
13:33 (join) lucian
13:43 (quit) mithos28: Quit: mithos28
13:47 (join) aalix
13:47 (quit) aalix: Client Quit
14:25 (join) anRch
15:01 tauntaun: Unix-style install wants to overwrite debian's /usr/local/man symlink, which points to /usr/local/share/man.  The latter is empty, and man pages tend to be installed in /usr/share/man instead.  But still, isn't it risky to overwrite a symlink created by the system?
15:08 tauntaun: ...actually, the question is probably more suited to #debian.  Feel free to disregard...
15:10 stamourv: tauntaun: You can specify a path for the man directory when doing a Unix-style install.
15:13 tauntaun: stamourv: Thanks, it worked great.
15:13 (quit) dherman: Read error: Connection reset by peer
15:13 (join) dherman
15:19 (join) mithos28
15:20 (join) racket
15:20 racket: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/59f0732fa0ff7b386738bf6d2d33ec9bbb67ffbc
15:20 racket: [racket/master] fixed docs for >=; Closes PR 12066 - Matthias Felleisen
15:20 (part) racket
15:20 rudybot: http://tinyurl.com/3wkmkj5
15:23 (join) racket
15:23 racket: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/7a763a2da89a1432285c06cdf9d112d04b29c762
15:23 racket: [racket/master] Fix types of kernel struct constructors to include parent fields. - Sam Tobin-Hochstadt
15:23 (part) racket
15:23 rudybot: http://tinyurl.com/3r6u5b7
15:29 (join) racket
15:29 racket: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/30174b3c81371d36ef8ad065d9399b68942e40e3
15:29 racket: [racket/master] another try at Mac OS X 10.4 x86 libraries - Matthew Flatt
15:29 (part) racket
15:29 rudybot: http://tinyurl.com/3dcvqbp
15:37 eli: Ugh,
15:38 eli: offby1: ^
15:51 (quit) mithos28: Read error: Connection reset by peer
15:51 (join) mithos28_
15:59 (quit) anRch: Quit: anRch
16:05 (quit) littlebobby: Quit: Ex-Chat
16:14 (quit) mithos28_: Quit: mithos28_
16:31 (join) racket
16:31 racket: [racket] plt pushed 4 new commits to master: https://github.com/plt/racket/compare/30174b3...530bb1b
16:31 racket: [racket/master] fix bug in .zo writing - Matthew Flatt
16:31 racket: [racket/master] fix validation of top-level define-{syntaxes,values-for-syntax} - Matthew Flatt
16:31 racket: [racket/master] fix `raco ctool -e' for syntax taints - Matthew Flatt
16:31 (part) racket
16:54 (nick) elliottcable -> ec|fkn_away_nick
16:58 (quit) bluezenix1: Ping timeout: 255 seconds
17:07 (join) bluezenix
17:17 (join) tfb
17:25 (join) racket
17:25 racket: [racket] plt pushed 7 new commits to release: https://github.com/plt/racket/compare/533b8ed...4389a46
17:25 racket: [racket/release] Updates Redex history for v5.1.2 - Casey Klein
17:25 racket: [racket/release] Fix types of kernel struct constructors to include parent fields. - Sam Tobin-Hochstadt
17:25 racket: [racket/release] another try at Mac OS X 10.4 x86 libraries - Matthew Flatt
17:25 (part) racket
17:27 (join) misterm
17:27 samth: rudybot: source
17:27 rudybot: samth: git clone git://github.com/offby1/rudybot.git
17:50 (join) jao
18:08 (join) DT```
18:10 (quit) carleastlund: Quit: carleastlund
18:13 (quit) DT``: Ping timeout: 255 seconds
18:19 (quit) jao: Remote host closed the connection
18:23 (join) jao
18:25 (join) rgee
18:46 (join) rgrinberg_
18:47 (join) clklein_
18:49 (join) misterm_
18:54 (quit) rgee: *.net *.split
18:54 (quit) misterm: *.net *.split
18:54 (quit) dherman: *.net *.split
18:54 (quit) clklein: *.net *.split
18:59 (join) dherman
19:13 (quit) tfb: Quit: gone
19:38 (quit) lucian: Remote host closed the connection
19:42 (nick) samth -> samth_away
20:02 (quit) masm: Ping timeout: 252 seconds
20:19 (quit) dherman: Quit: dherman
20:32 (join) Nanakhiel
20:36 (quit) anti-anti-helix: Ping timeout: 276 seconds
20:49 (quit) bluezenix: Quit: Leaving.
20:56 (quit) misterm_: Read error: No route to host
21:24 (join) racket
21:24 racket: [racket] plt pushed 2 new commits to master: https://github.com/plt/racket/compare/530bb1b...1b914ea
21:24 racket: [racket/master] function == lambda. add new syntax for defining functions - Jon Rafkind
21:24 racket: [racket/master] add optional val before functions and arguments - Jon Rafkind
21:24 (part) racket
21:30 offby1: eli: why "ugh"?  Should the bot ignore the URLs from github?
21:38 (join) misterm
21:46 Daemmerung: offby1: the tinyurlage is kinda spammy, in my exalted opinion
21:52 (join) asumu
21:53 (nick) ec|fkn_away_nick -> elliottcable
22:00 (join) dherman
22:15 (part) tzhuang
22:34 (join) pbalduino
22:34 pbalduino: Hi there. How can I change the language of Racket to English?
22:46 pbalduino: Found it. Thanks.
22:46 (part) pbalduino
23:22 offby1: Daemmerung: mmph
23:23 offby1: hm,"umbrage.com" is available
23:50 (join) littlebobby