diff options
| author | Thomas Bauereiss | 2020-04-10 13:21:07 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 02:26:45 +0100 |
| commit | 42197879faa99536a58dc9b141f276f84c88f7cc (patch) | |
| tree | b9f8355594fd50356209beb8f6dbf354e3f8fe92 /test/ocaml | |
| parent | 329dd65ddf65ee3edc858200571973c713165e08 (diff) | |
Consider literals in pattern disjointness check
This check is used in the guarded pattern rewrite step, which would
previously generate some impossible matches (e.g. matching expression
"true" against pattern "false").
Diffstat (limited to 'test/ocaml')
0 files changed, 0 insertions, 0 deletions