Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Errors from typed racket don't get displayed immediately #11

Open
offby1 opened this issue Dec 1, 2011 · 1 comment
Open

Errors from typed racket don't get displayed immediately #11

offby1 opened this issue Dec 1, 2011 · 1 comment
Assignees

Comments

@offby1
Copy link
Owner

offby1 commented Dec 1, 2011

version
ef84911

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

@ghost ghost assigned offby1 Dec 1, 2011
@offby1
Copy link
Owner Author

offby1 commented Sep 28, 2013

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant