diff options
| author | Brian Campbell | 2018-01-29 16:13:13 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-29 16:55:45 +0000 |
| commit | c89cc7e43d0f3f2a5106d193dfe8bf6525591e92 (patch) | |
| tree | ef1ef94bc8d72bd753ef0b41724d75a0618a93b2 /src/pattern_completeness.mli | |
| parent | ebe835cb795a2ebaa06cdb4880b80fdd1d981a56 (diff) | |
Leave pure if-conditions in place instead of pulling out let-bindings
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions