Fred Fu

My initial investigation shows this issue has nothing to do with subtyping. Type generalization indeed promotes `(MPair String Null)` to`(MList String)` , but it is not the culprit. The real...

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...

Match is not well supported in Typed Racket, because it is too complicated. I would use `cond` or `if` to do this kind of reasoning. ``` (match arg [(? number?...

Sorry for the delay. Reviewing this pr is on my to-do list, but somehow I forgot it. I will take a look asap this week

@bennn seems like `racket -l typed-racket-test -- --unit` don't run those failed tests found by DrDr

Thanks for the report. `(:kind List)` and `(:kind List*)` need special treatments. I forgot about it and I will fix it later this week. `All`, on the other hand, is...

duplicate of #691

The problem is the type-checker now only treats each arrow individually and it doesn't see the combined domain of all the arrows, so to speak. Here is a minimum non-working...

Probably related to #671

I bet @samth @rmculpepper @mflatt have some ideas to help me solve this issue.