offby1/rudybot — Issue #11: Errors from typed racket don't get displayed immediately
Author: offby1
Created: 2011-12-01 17:04:40+00:00
State: open

version
ef84911

2011-11-30T16:03:03Z <= ((prefix #"samth!~samth@punge.ccs.neu.edu") (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 #"samth!~samth@punge.ccs.neu.edu") (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 #"samth!~samth@punge.ccs.neu.edu") (command #"PRIVMSG") (params (param #"#racket") (param #"stamourv: like that")))
...
2011-11-30T20:32:15Z <= ((prefix #"samth!~samth@punge.ccs.neu.edu") (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 #"samth!~samth@punge.ccs.neu.edu") (command #"PRIVMSG") (params (param #"#racket") (param #"oh, rudybot, how your bugs entertain me")))
2011-11-30T20:32:44Z <= ((prefix #"samth!~samth@punge.ccs.neu.edu") (command #"PRIVMSG") (params (param #"#racket") (param #"offby1: ^")))