| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-06-12 | Handle partial matches in guarded pattern rewrite | Thomas Bauereiss | |
| Add a fallthrough case that fails to potentially partial pattern matches. This also helps to preserve any guard in the final match case, which might be needed for flow typing (see the discussion on issue #51). TODO: Merge with the MakeExhaustive rewrite, which currently does not support guarded patterns. | |||
| 2018-06-29 | Try to fix some tricky C compilation bugs, break everything instead | Alasdair Armstrong | |
| 2018-01-25 | Add mli file for pattern completeness module | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |