rudybot icon indicating copy to clipboard operation
rudybot copied to clipboard

Errors from typed racket don't get displayed immediately

Open offby1 opened this issue 14 years ago • 1 comments

version ef84911

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: ^")))

offby1 avatar Dec 01 '11 17:12 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?

offby1 avatar Sep 28 '13 20:09 offby1