typed-racket

typed-racket copied to clipboard

• [x] support structures associated with prop:procedure and prop:evt at the same time
• [ ] properly handle polymorphic structure types
• [ ] change the documentation
• [ ] more tests

closes #167

The basic idea is 1. we should check prop:evt in the similar way as we check prop:procedure, and also we handle their differences correctly via a table + high order functions 2. so the structure type rep should store a list of extra types extracted from values for those properties.

I feel like my planned ad-hoc fixes/hacks would work, but I am planning to take a look at type families and see if I get some inspiration so we can solve this problem at a higher level.