diff options
| author | Brian Campbell | 2019-03-19 11:38:16 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-19 11:38:16 +0000 |
| commit | 675dbaf2634bfd21043484e97918ab537a563e86 (patch) | |
| tree | 2a345e3dd7f998f552ff743102c1f16de35259a9 /src/pattern_completeness.ml | |
| parent | 4a720666bc5fb20c128e39d63f73aeb0a5cd6f0d (diff) | |
Don't expand set constraints when substituting vars for vars
It helps the Coq backend if the shape of constraints embedded in types
doesn't change too much.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions