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 -I typed/racket
> >
> > Welcome to Racket v7.3.
> >
> > > (for/vector ([i (in-range 5)]) i)
> > - : (Vectorof Any) [more precisely: (Mutable-Vectorof Any)]
> > '#(0 1 2 3 4)
> >
> > > (:print-type (for/vector ([i (in-range 5)]) i))
> > ; /Applications/Racket
> > ; v7.3/share/pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt:854:36:
> > ; Type Checker: type mismatch;
> > ; mutation only allowed with compatible types
> > ; expected: Zero
> > ; given: Positive-Byte
> > ; in: (set! n new-n)
> > ; [,bt for context]
> > >
> >
>
> (For what it's worth, I'm on macOS 10.14.5.)
>
> The reason I did this at all was that I'm getting a segmentation fault in my
> Typed Racket program (but only when run via `racket` or from Emacs
> racket-mode, not when run in DrRacket). However, I'm struggling to get a
> minimal reproducible example that I can share and in trying to do so I ran
> into this one. (I will keep trying, however.)
>
> Many thanks,
>
> James
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/BAAD082B-539C-4BBF-B1C9-956F93A07649%40gmail.com.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BZML6RVQuMeq69NNOWRUFHAcFG3gfKghJDXwhfJgzhW_w%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
