diff options
| author | Brian Campbell | 2018-04-11 17:01:45 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-11 18:37:40 +0100 |
| commit | 8d584a625237a609a6860c257cc5e74e41ac0c3f (patch) | |
| tree | 4cc79e47154444015284c0ba62c52ab3c8847f6b /src/constraint.ml | |
| parent | 6286c2d026c4e707098fe52807d125b248e360fc (diff) | |
Make the atom to singleton type rewriter replace literals with guards
(previously the typechecker did this for all literal patterns, but now
it's only necessary for the rewritten arguments)
Diffstat (limited to 'src/constraint.ml')
0 files changed, 0 insertions, 0 deletions