Matching on two constraints without an "anchor" (origin) is essentialy quadratic. On a large root there may be many typeof/expectType instances and it slows down the computation considerably. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Matching on two constraints without an "anchor" (origin) is essentialy quadratic. On a large root there may be many typeof/expectType instances and it slows down the computation considerably. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||