Fred Fu

support prop:evt

1

- [x] support structures associated with `prop:procedure` and `prop:evt` at the same time - [ ] properly handle polymorphic structure types - [ ] change the documentation - [ ]...

### What version of Racket are you using? Racket 8.2.0.8 ### What program did you run? ``` (: hi (All (r #:row) (-> r r))) (define (hi a) a) ```...

closes #1171

I've found that either of these two tests fail 9 out of 10 times when I run the integrated tests with all the threads via '-j n` (n = 12...

checking expanded forms at the top level might be problematic

1

### What version of Racket are you using? Need TR to be patched by https://github.com/racket/typed-racket/pull/1120 ### What program did you run? ``` > (struct foo () #:property prop:custom-write 10) ```...

[rendered] [rendered]: https://github.com/capfredf/typed-racket/blob/rfc-typing-generic/rfcs/text/0003-typing-generic-interfaces.md

For a function that has optional parameter types [t1, t2, t_i ... t_n], if each of [t_i ... t_n] is a supertype of the first rest parameter type, add to...

a slowdown probably caused by equal-always

5

**What version of Racket are you using?** [8.5.0.2](https://github.com/racket/racket/commit/c0fb670a72) [8.5.0.3](https://github.com/racket/racket/commit/5d3df2829fd02221db03807210d61601de0da533) **What program did you run?** use [this version](https://github.com/racket/typed-racket/commit/f6be8cd1e30c71e71ba9415fd2a295580b093268) of Typed Racket. run `racket -l typed-racket-test -- --int -j 16 --excl slow-parser.rkt...