Hi Ray, Thanks for the report and insight into refinement type usage "in the wild"! =)
It looks like this particular program type checks if you add `#:with-refinements` to the #lang line at the top of the file. i.e., make the first line `#:lang typed/racket #:with-refinements` I would recommend adding that line any time your using refinement types -- it makes the type checker work a little harder and be better prepared to reason about refinement type usages. Even though that fixes the error, the message it was printing was still pretty bizarre, so I've opened a GitHub issue (https://github.com/racket/typed-racket/issues/696) and will find some time to look into it. Feel free to log as many issues there as you see fit while trying to make use of refinement types! =) Best, Andrew -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
