diff options
| author | Alasdair | 2019-06-30 03:17:55 +0100 |
|---|---|---|
| committer | Alasdair | 2019-06-30 03:17:55 +0100 |
| commit | 3d68b0793965fb0a40a355671dc101df89920061 (patch) | |
| tree | c500f8cf3c7d4964cd5eb4f4c48e16f9322edeee /src/pattern_completeness.ml | |
| parent | 0c0344d5e1fc3e5215182b793026bc0f6a06509d (diff) | |
Fix bug with toplevel pattern in RISC-V duopod
Do this by making sure that generic pattern literal re-writing gets
applied to top-level function clauses. This requires re-ordering the
rewrites for most backends otherwise they break, which hopefully wo
anything.
After doing this re-ordering I had to turn off casting when rewriting
bitvector patterns, otherwise insane things can happen.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions