diff options
| author | Robert Norton | 2018-01-29 17:09:16 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-01-29 17:09:24 +0000 |
| commit | 15f43a1324fbb1edb0087b828e0fc6137e9de94a (patch) | |
| tree | b137a5b097b4b74fd575d67ff701c91beecb5c1d /src/pattern_completeness.mli | |
| parent | b62d7ea2b81b5fe4428b69cc1571703c76b98d27 (diff) | |
riscv: fix warnings about incomplete patterns. Add a check target in Makefile which is useful because ocaml generation currently produces some spurious warnings due to running type checker between rewritings.
Diffstat (limited to 'src/pattern_completeness.mli')
0 files changed, 0 insertions, 0 deletions