diff options
| author | Brian Campbell | 2017-12-05 11:51:46 +0000 |
|---|---|---|
| committer | Brian Campbell | 2017-12-06 17:36:59 +0000 |
| commit | efdb1665f7aed6bc1b9781c55eaef14f34c26fb0 (patch) | |
| tree | 29296638694773537a11dfdb975a13f56d8f15ff /src/monomorphise.ml | |
| parent | c497bef0d49ec32afae584c63a0cee0730cb90b1 (diff) | |
Rework case checking to only introduce guards when necessary
Diffstat (limited to 'src/monomorphise.ml')
0 files changed, 0 insertions, 0 deletions