Hi, I noticed that in Racket-6.2.0.2 the function dup-output-port has the wrong type.
The error is in file share\pkgs\typed-racket-lib\typed-racket\base-env\base-env.rkt, where we can find: [dup-input-port (-Input-Port (B) . ->opt . -Input-Port)] [dup-output-port (-Output-Port (B) . ->opt . -Input-Port)] I presume the second line should be: [dup-output-port (-Output-Port (B) . ->opt . -Output-Port)] Best, António. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAJQmiZUw30BZnO7cq_wfR7A%2BLDX0cROG%3DeCKgLOtPT6dFHB5GA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
