Re: [racket-users] Unexpected error in output of :print-type

2019-06-05 Thread Sam Tobin-Hochstadt
This is definitely a bug. I'm looking into it. On Wed, Jun 5, 2019 at 5:11 AM James Geddes wrote: > > Dear All, > > The following output from Typed Racket is unexpected -- to me! -- can someone > confirm whether I should have expected it or that it's (perhaps) a bug or > known limitation? > >

[racket-users] Unexpected error in output of :print-type

2019-06-05 Thread James Geddes
Dear All, The following output from Typed Racket is unexpected -- to me! -- can someone confirm whether I should have expected it or that it's (perhaps) a bug or known limitation? > % racket -I typed/racket > > Welcome to Racket v7.3. > > > (for/vector ([i (in-range 5)]) i) > - : (Vectorof