Errors from typed racket don't get displayed immediately
2011-11-30T16:03:03Z <= ((prefix #"[email protected]") (command #"PRIVMSG") (params (param #"#racket") (param #"rudybot: init typed/racket"))) 2011-11-30T16:03:03Z Doing for samth: init ("typed/racket") 2011-11-30T16:03:05Z => PRIVMSG #racket :samth: your typed/racket sandbox is ready 2011-11-30T16:03:22Z <= ((prefix #"[email protected]") (command #"PRIVMSG") (params (param #"#racket") (param #"rudybot: (for ([i 7]) (display i))"))) 2011-11-30T16:03:22Z Doing for samth: eval ("(for" "([i" "7])" "(display" "i))") 2011-11-30T16:03:23Z => PRIVMSG #racket :samth: error: Type Checker: Summary: 2 errors encountered 2011-11-30T16:03:37Z <= ((prefix #"[email protected]") (command #"PRIVMSG") (params (param #"#racket") (param #"stamourv: like that"))) ... 2011-11-30T20:32:15Z <= ((prefix #"[email protected]") (command #"PRIVMSG") (params (param #"#racket") (param #"rudybot: (+ 3 4)"))) 2011-11-30T20:32:15Z Doing for samth: eval ("(+" "3" "4)") 2011-11-30T20:32:15Z => PRIVMSG #racket :samth: ; Value: 7 2011-11-30T20:32:16Z => PRIVMSG #racket :samth: ; stdout: "- : Integer [generalized from Positive-Index]\n" 2011-11-30T20:32:17Z => PRIVMSG #racket :samth: ; stderr: "Type Checker: Polymorphic function make-sequence could not be applied to arguments:\nDomains: Any (Sequenceof a b)\n Any (Sequenceof a)\nArguments: (List 'i) Positive-Byte\n in: #%top-interaction\n\nType Checker: Expression should produce 6 values, but produces 1 values of types Nothing in: #%top-interaction\n\n" 2011-11-30T20:32:40Z <= ((prefix #"[email protected]") (command #"PRIVMSG") (params (param #"#racket") (param #"oh, rudybot, how your bugs entertain me"))) 2011-11-30T20:32:44Z <= ((prefix #"[email protected]") (command #"PRIVMSG") (params (param #"#racket") (param #"offby1: ^")))
This doesn't seem to repro now, perhaps because of changes to typed racket:
<offby1> init typed/racket [20:28]
<rudybot> * your typed/racket sandbox is ready
<offby1> eval (for ([i 7]) (display i)
<rudybot> * error: #<undefined>:1:0: read: expected a `)' to close `('
<offby1> eval (for ([i 7]) (display i))
<rudybot> * ; stdout: "0123456"
<offby1> eval (+ 3 4) [20:29]
<rudybot> * ; Value: 7
<rudybot> * ; stdout: "- : Integer [generalized from Positive-Index]\n"
ERC>
Can you come up with another simple repro recipe?