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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
