Error in Typed Racket

[Antonio Menezes Leitao]

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.

[Vincent St-Amour]

Fixed, thanks for the report!

Vincent

> --
> 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 racket-dev+...@googlegroups.com.
> To post to this group, send email to racke...@googlegroups.com.
> 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.