00:41 fds: He didn't say that... 00:44 offby1: em: I'm using a super-cheap EC2 instance for rudybot -- I think it's < $10 / month 00:52 Lajla: fds, yeah, but subconscously he thougt it. 01:00 offby1: em: seems to be more like $15/mo 01:10 (quit) evhan: Ping timeout: 240 seconds 01:32 (join) mithos28 01:44 (quit) mithos28: Quit: mithos28 02:28 (quit) rien: Quit: Computer has gone to sleep 03:01 jonrafkind: offby1, how does that work since you pay perhour? 03:01 jonrafkind: or do you just leave it up all the time 03:50 (join) PLT_Notify 03:50 PLT_Notify: racket: master Eli Barzilay * c945f5d (7 files in 4 dirs): New Racket version 5.1.0.1. - http://bit.ly/fRQEHK 03:50 (part) PLT_Notify 04:15 (quit) jonrafkind: Ping timeout: 240 seconds 04:58 MK_FG: Is there any reasonable way to tell which file racket was started with? I mean, like __file__ in python, or even $0 will do, I guess 04:58 MK_FG: Just thinking of how to better implement few relative (to the main script) imports 05:04 MK_FG: Nvm, guess just strings as module-path's will suffice 06:53 (quit) RyanRN: Quit: Leaving. 08:36 (join) stis 08:41 (join) grettke 08:42 (quit) grettke: 08:49 (join) PLT_Notify 08:49 PLT_Notify: racket: master Matthew Flatt * bc5ab1e (3 files in 3 dirs): fix problems with `read-language' error reporting - http://bit.ly/fxeDLK 08:49 (part) PLT_Notify 08:52 (join) MayDaniel 08:54 rapacity: hey eli, there are 2 broken links on the community page on racket's site, "release announcements" returns a 404 and, the irc-log returns a 403 09:36 (quit) MayDaniel: 10:33 (join) evhan 10:50 (quit) fmu: Quit: Coyote finally caught me 10:53 (join) fmu 11:00 (quit) fmu: Quit: Coyote finally caught me 11:04 (join) fmu 11:28 (join) mithos28 11:47 (quit) mithos28: Quit: mithos28 11:58 (join) mithos28 11:58 (join) mceier 12:04 eli: rapacity: I know, different problems for each. 12:12 (join) carleastlund 12:13 (join) PLT_Notify 12:13 PLT_Notify: racket: master Stephen Chang * 808361b (1 files in 1 dirs): fix lazy take bug -- invariant being tested on unforced argument 12:13 PLT_Notify: racket: master Stephen Chang * 08d99f4 (1 files in 1 dirs): add test for lazy take bug fix -- invariant being incorrectly tested on unforced arg 12:13 PLT_Notify: racket: master commits bc5ab1e...08d99f4 - http://bit.ly/h2toY3 12:13 (part) PLT_Notify 12:13 rapacity: oh, :p sorry then 12:18 (join) MayDaniel 12:24 (quit) MayDaniel: 12:26 (quit) mithos28: Quit: mithos28 12:58 (join) rien 13:05 (join) masm 13:17 (join) jonrafkind 13:23 (join) anRch 13:32 rapacity: hey jonrafkind, there's this bug report you closed http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=11662 I tried the code on 5.1.0.1 but it still throws an exeception 13:32 rudybot: http://tinyurl.com/6gy3qxs 13:32 jonrafkind: ok 13:36 jonrafkind: you're right now it errors for me 13:36 jonrafkind: i dont know what happened before 13:40 offby1: jonrafkind: rudybot's ec2 instance is indeed up all the time. 13:40 rapacity: ok cool :p then it's not just my machine throwing exceptions 13:41 offby1: When they first introduced ec2, I looked into it, but it was way too expensive -- I think it'd have been $70/month or something. But recently they've introduced an ultra-cheap flavor, which is what I now use 13:49 (quit) anRch: Ping timeout: 240 seconds 13:52 (join) mwolfe 13:52 (join) PLT_Notify 13:52 PLT_Notify: racket: master Eli Barzilay * 6b5e090 (4 files in 2 dirs): Reorganize, improve, and extend lazy tests. - http://bit.ly/fhU5iV 13:52 (part) PLT_Notify 13:58 (join) anRch 14:09 (join) mithos28 14:16 rapacity: rudybot: (printf "test~%a~%") 14:16 rudybot: rapacity: ; stdout: "test\na\n" 14:43 (join) tony___ 14:50 (nick) offby1 -> fqs 14:50 (nick) fqs -> Guest52342 14:52 (quit) anRch: Quit: anRch 14:54 (nick) Guest52342 -> offby1 14:54 rapacity: rudybot: (require typed/racket) 14:54 rudybot: rapacity: Done. 14:54 offby1 perks up 14:54 offby1: rudybot: you're still using a typewriter? 14:54 rudybot: *offby1: The term "tab stop" comes from typewriters. And you'll need to google "typewriter" if you never heard of one :D 14:55 rapacity: rudybot: (: test : Number -> String) (define (test n) (number->string n)) 14:55 rudybot: rapacity: Done. 14:55 rapacity: rudybot: (test "FF") 14:55 rudybot: rapacity: error: eval:1:6: Type Checker: Expected Complex, but got String in: (quote "FF") 14:55 (join) dzhus 14:56 rapacity: rudybot: (struct: posn ([y : Integer] [x : Integer]) #:transparent) 14:56 rudybot: rapacity: error: eval:1:9: dtsi*: expected struct name at: posn in: (dtsi* () posn ((y : Integer) (x : Integer)) #:maker posn) 14:56 (join) Gwyth 14:56 rapacity: rudybot: (test 1) 14:56 rudybot: rapacity: ; Value: "1" 14:57 rapacity: d: 15:05 offby1: some day I need to give typed scheme a real try-out 15:05 offby1: I get the feeling it's not quite ready for prime time yet 15:08 carleastlund: There are definitely still some rough edges on it, offby1, on the other hand it is still possible to get some serious programming done in it. I have. 15:11 offby1: I should "port" my little anagrams program to it 15:28 offby1: carleastlund: how can I get a typed racket prompt from the "racket" program? 15:29 carleastlund: offby1: racket -I typed/racket 15:30 carleastlund: If you have the same lousy font I do, that option is "dash capital-aye", not "dash lowercase-ell". 15:30 offby1: tx 15:30 carleastlund: If you have some other font, it was "semicolon arr emm dash arr eff" ;) 15:31 carleastlund: err, "... slash" 15:31 offby1: in my font, it looks like "blah blah blah Ginger blah blah blah" 15:33 (quit) mithos28: Quit: mithos28 15:36 (join) mithos28 15:54 offby1: carleastlund: would you be willing to look at a _tiny_ program and explain why it fails? http://ix.io/1rp 15:54 offby1: The failure is: typed-racket-whine:13:0: Type Checker: Error in macro expansion -- untyped variable: run/inner in: (define-test-suite hmm-tests (check-equal? (hmm (quote whatever)) 3)) 15:57 carleastlund: offby1, not all of the macros exported by typed/rackunit are 100% Typed Racket-compatible. That file just assigns types to the values and passes the macros through, and if they inject untyped variables there's not a whole lot to do about it without completely reimplementing RackUnit in Typed Racket. 15:58 offby1: figured it'd be something like that. 15:58 offby1: hence my suspicion about "not ready for prime time" 16:00 carleastlund: I dunno, I've used enough "prime time" software that had much bigger headaches than TR... but yes, I agree it's not as straightforward to use as regular ol' untyped Racket. 16:16 (quit) mithos28: Quit: mithos28 16:19 (join) mithos28 16:20 offby1: can you explain this? http://ix.io/1rr 16:20 offby1: I'd have expected to see (Vector Postive-Fixnum) at the end 16:21 (join) joe_shmo 16:21 joe_shmo: hey everyone 16:21 joe_shmo: I'm not exactly sure how to use the "macro stepper" 16:21 joe_shmo: like, when I click on it 16:21 joe_shmo: it doesn't actually step through any of my function applications? 16:22 offby1 never really understood it either 16:22 joe_shmo: lol.. 16:22 joe_shmo: works fine on lower levels 16:22 joe_shmo: like intermediate student 16:22 joe_shmo: and whatnot 16:23 joe_shmo: problem is I can't step down to those >_> 16:24 offby1: perhaps it's only meant to work for those levels 16:24 rapacity: that's really inconsistent d: 16:25 joe_shmo: yeah... 16:25 joe_shmo: why would you even call it a "stepper" then... 16:25 joe_shmo: anyways, thanks guy 16:25 joe_shmo: guys* 16:26 rapacity: rudybot: (require typed/racket) 16:26 rudybot: rapacity: your sandbox is ready 16:26 rudybot: rapacity: Done. 16:27 joe_shmo: wah.. 16:27 joe_shmo: what did you do? 16:27 rapacity: rudybot: (ann (vector 2) (Vector Positive-Fixnum)) 16:27 rudybot: rapacity: ; Value: #(2) 16:27 rapacity: what did I do :p? 16:27 joe_shmo: what is typed/racket? 16:27 rapacity: a variant of typed racket that's statically typed 16:27 rapacity: err a variant of racket* 16:28 joe_shmo: can I use the stepper with it? 16:28 rapacity: yeah, it works on it 16:28 rapacity: oh 16:28 rapacity: what stepper are you talking about? 16:28 rapacity: the macro stepper? 16:29 rapacity: if it's the macro stepper than yeah it works with it 16:38 joe_shmo: yeah macro stepper 16:38 joe_shmo: let me try that out 16:54 (quit) dzhus: Quit: tanks are rolling 16:55 (quit) joe_shmo: Ping timeout: 265 seconds 17:00 (quit) tony___: Ping timeout: 265 seconds 17:07 (join) shofetim 17:28 (quit) stis: Remote host closed the connection 17:29 (quit) mithos28: Quit: mithos28 17:30 (join) mithos28 17:37 (quit) mithos28: Quit: mithos28 17:38 (join) mithos28 17:40 (join) tony_____ 17:43 (quit) tony_____: Client Quit 17:49 (quit) mceier: Quit: leaving