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