Fixed, thanks for the report! Vincent
On Sun, 26 Apr 2015 04:59:15 -0500, Antonio Menezes Leitao wrote: > > 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. -- 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/m2r3i1lzu7.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
