00:03 (quit) mithos28: Quit: mithos28 00:05 (join) adu 00:07 (join) jonrafkind 00:27 (quit) DraX: Read error: Connection reset by peer 00:27 (join) DraX 00:27 (quit) DraX: Changing host 00:27 (join) DraX 00:42 (join) cdidd 00:50 (quit) SHODAN: Read error: Connection reset by peer 00:50 (join) SHODAN 00:51 (quit) dspt: Ping timeout: 260 seconds 00:52 (join) dspt 00:59 (quit) lebro: Read error: Connection reset by peer 01:04 (quit) cdidd: Remote host closed the connection 01:10 (quit) Kaylin: Quit: Leaving. 01:12 (quit) jeapostrophe: Ping timeout: 244 seconds 01:57 (join) mithos28 02:22 (join) lebro 02:31 (join) banseljaj 02:34 (quit) lebro: Ping timeout: 246 seconds 02:37 (quit) adu: Quit: adu 02:43 (quit) yoklov: Quit: computer sleeping 02:47 mithos28: Is there a built in contract combinator syntax-list/c? That works like syntax/c. 02:56 (join) lebro 03:01 (quit) jonrafkind: Ping timeout: 240 seconds 03:13 (quit) Shviller: Ping timeout: 250 seconds 03:14 (join) Shviller 03:23 (join) cdidd 03:30 (join) RacketCommitBot 03:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/0963d447079b2da7f3bf9bd21aeaf172eab1e9d7 03:30 RacketCommitBot: [racket/master] New Racket version 5.3.0.17. - Eli Barzilay 03:30 (part) RacketCommitBot 03:42 (quit) lebro: Ping timeout: 246 seconds 03:45 (quit) dsantiago: Quit: Computer has gone to sleep. 04:35 (quit) mithos28: Quit: mithos28 04:38 (quit) cdidd: Read error: Connection reset by peer 04:45 (join) MayDaniel 04:53 (join) masm 04:58 (quit) bjz: Quit: Leaving... 05:22 (join) bjz 05:22 (join) antithesis 07:14 (join) jesyspa 08:18 (join) cdidd 08:49 (quit) vu3rdd: Remote host closed the connection 09:00 (join) jeapostrophe 09:09 (join) anRch 09:16 (join) RacketCommitBot 09:16 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/34618708a640a06fb1f3ebad7e2f89d2cac46974 09:16 RacketCommitBot: [racket/master] give up on a (small) part of the repl test. - Robby Findler 09:16 (part) RacketCommitBot 09:24 (join) hash_table 09:45 (join) eli 09:45 (quit) eli: Changing host 09:45 (join) eli 10:05 (join) Kaylin 10:09 (quit) anRch: Quit: anRch 10:51 (quit) Kaylin: Quit: Leaving. 11:14 (quit) acarrico: Ping timeout: 246 seconds 11:18 (join) mithos28 11:30 (join) acarrico 12:00 (quit) anonus: Ping timeout: 246 seconds 12:00 (quit) Araq: Ping timeout: 245 seconds 12:00 (quit) bartbes: Remote host closed the connection 12:01 (join) bartbes 12:03 (join) anonus 12:03 (join) Araq_bnc 12:04 (nick) Araq_bnc -> Araq 12:15 (join) soegaard 12:38 (quit) jeapostrophe: Read error: Operation timed out 12:56 (join) jonrafkind 12:56 (quit) jonrafkind: Changing host 12:56 (join) jonrafkind 13:01 (join) knob 13:01 knob: Good afternoon everyone =) 13:02 mithos28: Hello, but it is still morning here. 13:02 knob: Question: Is there a keyboard shortcut for moving between "buffer" and the other window, when using DrRacket? 13:02 knob: Oh... then good morning to you Sire =) 13:03 mithos28: go to edit -> keybindings -> active-keybindings 13:04 soegaard: cmd+d 13:04 knob: cool =) 13:04 knob: on my way 13:04 knob: thanks 13:04 soegaard: and cmd+e 13:04 mithos28: there is move-to-interactions, but that might be move an sexpression to interactions 13:05 mithos28: soegaard: Those hide it in addition 13:05 soegaard: twice 13:05 mithos28: control-c: control-z moves directly to interactions for me 13:06 mithos28: But it doesn't look like there is a reverse 13:34 ozzloy: knob, you might try emacs + geiser 13:34 ozzloy: you can switch between the repl and the editing areas with ^X o 13:42 (join) em_ 13:45 (join) dzhus 13:45 (quit) em: Disconnected by services 13:46 (quit) em_: Client Quit 13:46 (join) Araq_bnc 13:47 (join) emma 13:59 (join) danking_ 14:04 (quit) Araq_bnc: *.net *.split 14:04 (quit) jamessan: *.net *.split 14:04 (quit) danking: *.net *.split 14:04 soegaard: rudybot: help 14:04 rudybot: soegaard: bug ..., help [], version, quote, source, url, seen , uptime, t8 ..., init [], eval ..., give ..., apropos ..., desc , doc 14:05 soegaard: rudybot: #lang typed/racket integer-sqrt/remainder 14:05 rudybot: soegaard: ok, i got it to work, by requiring "renamer.rkt" from typed-racket itself 14:05 mithos28: soegaard: what are you trying to do? 14:05 mithos28: rudybot: init typed/racket 14:05 rudybot: mithos28: your typed/racket sandbox is ready 14:06 mithos28: rudybot: integer-sqrt/remainder 14:06 rudybot: mithos28: error: #:1:0: Type Checker: untyped identifier integer-sqrt/remainder imported from module in: integer-sqrt/remainder 14:06 soegaard: I can't figure out how to declare a type for integer-sqrt/remainder. 14:06 mithos28: Ah, thats a bug 14:06 mithos28: use require/typed 14:06 mithos28: I'll look into fixing that 14:07 soegaard: Great. I'll try require/typed. 14:07 (quit) karswell: Remote host closed the connection 14:08 (join) karswell 14:09 mithos28: When was that function added? I thought I got all the easy to type functions. 14:09 (join) Araq_bnc 14:10 (join) jamessan 14:11 soegaard: I think it is old. I believe it got added when Matthew got the benchmark bug a couple of years ago. 14:12 (join) dzhus89 14:13 (quit) karswell: Remote host closed the connection 14:14 (quit) dzhus: Ping timeout: 246 seconds 14:15 mithos28: Yep, it somehow got past me last summer then. I might have not checked all the numeric functions 14:15 (join) dyoo 14:15 soegaard: https://gist.github.com/3266510 14:15 soegaard: mithos28: Any hints of how to use require/typed. 14:16 soegaard: The naive way doesn't work. 14:16 dyoo: running into issue on EC2: Racket appears to get into an infinite loop in get_ready_for_GC under conditions I haven't quite isolated yet 14:16 mithos28: Thats the wrong type 14:16 mithos28: (Natural -> (Values Natural Natural)) 14:16 soegaard: Well, not for me :_) 14:16 soegaard: Ah! 14:16 dyoo: how does one turn off places and futures through command line? 14:16 mithos28: dyoo: I think you need to do it in configure 14:17 soegaard: yep that works. 14:17 soegaard: Thank mithos28 14:17 dyoo: mithos28: darn: I was hoping it'd be easier than that. :) Ok, time to install gcc on those servers... 14:17 mithos28: Why cannot you cross compile? 14:18 (join) karswell 14:18 mithos28: Also why do you need them disabled? 14:19 dyoo: mithos28: trying to isolate the 100% CPU hang; the function where it's getting hung up might have to do with either futures or places, so I wanted to see if disabling them helped 14:19 dyoo: EC2 is virtual cloud computing stuff, so I might be hitting some strange incompatibility 14:20 mithos28: I'm assuming this is whalesong stuff, is it any closer to supporting racket/base? 14:21 dyoo: it's more for WeScheme; we're getting redundant compiler servers up 14:21 dyoo: since the actual compile service is done server-side, I need to have a racket web server running to service compile requests 14:22 dyoo: ideally, I want the service redundant, and that's where EC2 is coming into play 14:22 mithos28: Are you going to use separate availablity zones? 14:22 mithos28: wouldn't want it to fail if one went down 14:23 dyoo: so I've got the west coast running, and I'm trying to set up the east coast servers now 14:23 dyoo: the hilarious thing is that the west coast isn't exhibiting this 100% cpu hang on Racket startup, but the east coast is 14:23 dyoo: so I'm _really_ confused right now 14:23 soegaard: Might just be a different type of cpu ? 14:24 mithos28: Thats weird, since I am assuming you are using the same vm image right? 14:24 dyoo: possible. I'm now changing from the "m1.small" CPU type to the "m1.medium" type to see if that helps. Yes, I'm using the ubuntu 12 base image 14:24 mithos28: Does the bug always trigger? 14:25 dyoo: so far, yes. still investigating to see if i can get cause. It's reliably getting hung up on one of the GC functions, according to gdb 14:25 (quit) soegaard: Quit: soegaard 14:26 dyoo: Huh! Ok, so when I go to the m1.medium instance type, Racket's finally starting up ok 14:27 (join) anttih 14:27 mithos28: Ugh, buggy docs. Why cannot the documented contracts actually be checked by the implementation? 14:28 (join) soegaard 14:30 dyoo: samth: I'm glad that the racketcon videos are coming out; thanks 14:31 (nick) Araq_bnc -> Araq 14:32 (join) jeremyheiler 14:37 mithos28: rudybot: (integer-sqrt 0+1i) 14:37 rudybot: mithos28: error: integer-sqrt: expects argument of type ; given: 0+1i 14:38 mithos28: Another TR bug. 14:39 soegaard: Well, the docs say integer-sqrt only takes integers as input. 14:40 mithos28: Right, and my rudybot session is in TR 14:40 mithos28: rudybot: 1 14:40 rudybot: mithos28: ; Value: 1 14:40 rudybot: mithos28: ; stdout: "- : Integer [generalized from One]\n" 14:40 mithos28: So that should have been caught by TR 14:40 mithos28: I just made the fix 14:40 soegaard: rudybot: init racket 14:40 rudybot: soegaard: your sandbox is ready 14:41 mithos28: rudybot: (print-type: integer-sqrt) 14:41 rudybot: mithos28: error: #:1:1: Type Checker: untyped top-level identifier print-type: in: print-type: 14:41 soegaard: rudybot: (integer-sqrt 0+1i) 14:41 rudybot: soegaard: error: integer-sqrt: expects argument of type ; given: 0+1i 14:41 mithos28: right, I shouldn't get that. I should get a type error 14:41 soegaard: Now I get what you mean. 14:48 mithos28: Ugh, there is no Integer (only ExactInteger) type in TR. So this cannot be free of contract errors. 14:51 (quit) jeremyheiler: Quit: Computer has gone to sleep. 14:51 soegaard: Exact-Integer is the most likely use case though. 14:52 mithos28: True, the real problem is that integer? exists 14:52 soegaard: Ah. 14:52 soegaard: rudybot: exact-integer? 14:52 rudybot: soegaard: Oh yes, there is also EXACT-INTEGER? and PORT-CLOSED?, which are harmless enough, and something around current time, but exactly what is not yet decided. 14:53 soegaard: err 14:54 samth: mithos28: this is a long-standing issue 14:54 samth: my position it that the `integer?` predicate is a bad idea 14:54 mithos28: I agree 14:56 samth: so `integer-sqrt` should require `integer` arguments, I think 14:57 mithos28: It requires integer? arguments, and provides inexact output if given inexact input 14:58 mithos28: and until that changes, I think TR needs to support that even if it requires failing at runtime 15:03 mithos28: samth: I have the fix for integer-sqrt/remainder if you havn't done it already 15:03 samth: oh, i did it as well, but i didn't do the docs yet 15:03 samth: so feel free to send all that as a pull req 15:04 samth is currently finishing the final version of a paper 15:05 (join) anRch 15:12 (part) dyoo 15:19 (quit) jonrafkind: Ping timeout: 272 seconds 15:22 (quit) Shviller: Read error: Connection reset by peer 15:23 (join) Shviller 15:24 (join) RacketCommitBot 15:24 RacketCommitBot: [racket] plt pushed 1 new commit to release: https://github.com/plt/racket/commit/1a35b6d078b9d5250531874f42fd8d6194fb01da 15:24 RacketCommitBot: [racket/release] Fixed off-by-epsilon error; addresses issue with plateaus in contour-intervals and contour-intervals3d reported by Doug Williams - Neil Toronto 15:24 (part) RacketCommitBot 15:26 (nick) dzhus89 -> dzhus 15:29 (join) adu 15:34 (quit) antithesis: Quit: antithesis 16:03 (join) jonrafkind 16:03 (quit) jonrafkind: Changing host 16:03 (join) jonrafkind 16:08 (quit) mithos28: Quit: mithos28 16:09 (join) ASau 16:13 (join) snearch 16:22 (quit) anRch: Quit: anRch 16:25 (quit) cdidd: Read error: Connection reset by peer 16:26 (join) mithos28 16:26 (quit) adu: Quit: adu 16:35 (join) Kaylin 16:36 (quit) snearch: Quit: Verlassend 16:38 (join) adu 16:46 (quit) Kaylin: Read error: Connection reset by peer 16:57 (quit) jesyspa: Quit: leaving 17:17 (quit) adu: Quit: adu 17:33 (join) adu 17:37 mithos28: rudybot: (:print-type 2) 17:37 rudybot: mithos28: ; stdout: "(U 1 Byte-Larger-Than-One)\n" 17:38 mithos28: samth: If you are not busy writing that paper, can you explain why TR does a slight generalization here versus returning the value type (-val 2) 17:39 samth: numeric constants aren't given precise types, unless asked for, because it's mostly a pain 17:40 samth: you don't want (define x 17) to give x the type (-val 17) 17:40 mithos28: When would that be an issue? 17:43 mithos28: I cannot see it being user visible except in the error messages 17:43 (join) jeapostrophe 17:43 (quit) jeapostrophe: Changing host 17:43 (join) jeapostrophe 17:59 samth: mithos28: it can end up in the result of inference, for example 17:59 (nick) banseljaj -> imami|afk 17:59 mithos28: What goes wrong in that case? 18:00 mithos28: I don't see any test cases that break when I make the switch 18:02 (quit) soegaard: Quit: soegaard 18:03 mithos28: rudybot: (ann #hash((1 . foo)) (HashTable Integer Symbol)) 18:03 rudybot: mithos28: error: Type Checker: Internal Typed Racket Error : #(struct:exn:fail:contract:arity procedure check-below: expects 2 arguments, given 1: Integer #) in: here 18:04 samth: mithos28: consider a function with the type a -> b -> a 18:04 mithos28: Well thats not what I was expecting 18:04 samth: no, sorry, a -> a -> a 18:04 samth: then pass it a value with type `(-val 17)` 18:05 samth: then you get a function that requires 17 18:06 mithos28: Ok, but why do value types for symbols then? 18:06 mithos28: rudybot: (:print-type 'foo) 18:06 rudybot: mithos28: ; stdout: "'foo\n" 18:07 mithos28: Doesn't that have the same issue? 18:11 mithos28: rudybot: (: f (All (a) (a -> (a -> a)))) 18:11 rudybot: mithos28: Done. 18:12 mithos28: rudybot: (define f (lambda (x) (lambda (y) x))) 18:12 rudybot: mithos28: Done. 18:12 mithos28: ((f 'foo) 'bar) 18:12 mithos28: rudybot: ((f 'foo) 'bar) 18:12 rudybot: mithos28: ; Value: foo 18:12 rudybot: mithos28: ; stdout: "- : Symbol\n" 18:13 mithos28: ((f (ann 'foo 'foo)) (ann 'bar 'bar)) 18:13 mithos28: rudybot: ((f (ann 'foo 'foo)) (ann 'bar 'bar)) 18:13 rudybot: mithos28: ; Value: foo 18:13 rudybot: mithos28: ; stdout: "- : Symbol\n" 18:14 mithos28: rudybot: ((f (ann 17 17)) (ann 19 19)) 18:14 rudybot: mithos28: ; Value: 17 18:14 rudybot: mithos28: ; stdout: "- : Integer\n" 18:14 mithos28: rudybot: (f (ann 17 17)) 18:14 rudybot: mithos28: ; Value: # 18:14 rudybot: mithos28: ; stdout: "- : (Integer -> Integer)\n" 18:14 (quit) adu: Quit: adu 18:14 mithos28: rudybot: (ann 17 17) 18:14 rudybot: mithos28: ; Value: 17 18:14 rudybot: mithos28: ; stdout: "- : Integer [generalized from 17]\n" 18:15 mithos28: I'm not convinced of your argument anymore 18:17 (quit) jeapostrophe: Ping timeout: 246 seconds 18:18 (quit) MayDaniel: Read error: Connection reset by peer 18:25 samth: mithos28: symbols are much more commonly used for a particular symbol or set of symbols 18:25 samth: whereas numbers rarely are 18:28 mithos28: Ok. Makes sense. I'm cleaning up the tc code while trying to get the new inference system in 18:28 mithos28: and trying to clear away any cruft which is no longer used 18:28 mithos28: and make more things use the same code paths 18:30 samth: mithos28: great 18:32 mithos28: At some point I'll have a version ready for comments, because I know I am making some changes, and like this there might be good reasons for they way they were 18:38 (quit) knob: Ping timeout: 244 seconds 18:40 (join) knob 18:40 (quit) knob: Client Quit 19:05 (join) yoklov 19:11 (join) Kaylin 19:39 (quit) Kaylin: Quit: Leaving. 19:55 (quit) masm: Quit: Leaving. 20:24 (quit) bjz: Quit: Leaving... 20:35 (join) jhemann 20:49 (join) jeapostrophe 21:10 (join) RacketCommitBot 21:10 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/8a0b6549a5f9ca0baffc09707369df0ef72bd5d8 21:10 RacketCommitBot: [racket/master] adjust the contract error messages to follow the error message - Robby Findler 21:10 (part) RacketCommitBot 21:43 (join) jhemann_ 21:43 (quit) jhemann_: Read error: Connection reset by peer 21:44 (quit) jhemann: Ping timeout: 246 seconds 22:15 (join) bjz 22:16 (join) Kaylin 23:16 (join) dsantiago 23:25 (quit) cataska: Quit: leaving 23:34 mithos28: What is the cleanest way to do a filter over a list where the predicate needs to be updated as it progresses through the list 23:34 mithos28: I'm currently using a predicate that uses set! on internal state 23:39 (join) vu3rdd 23:39 (quit) vu3rdd: Changing host 23:39 (join) vu3rdd 23:40 (join) cataska 23:43 (quit) yoklov: Quit: computer sleeping 23:48 (quit) hash_table: Ping timeout: 272 seconds 23:55 (join) adu