diff options
| author | Alasdair | 2019-02-14 23:54:13 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-14 23:54:13 +0000 |
| commit | 96f0df85a129666e3b960d6d17df165de13b3024 (patch) | |
| tree | 89f7acd143c3aa3b1d2b8e813ae7415d5ca1d3a6 /src/pattern_completeness.ml | |
| parent | 7d34e41566f9c6a22debdcadc3a54c4b3b016b80 (diff) | |
Improve sizeof-rewriting performance
Simple heuristic to try local variables with the same name as type
variables first, roughly doubles typechecking speed.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions