diff options
| author | Thomas Bauereiss | 2017-12-19 11:40:49 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-12-19 12:02:58 +0000 |
| commit | 5c0b807f89b99b1f7adb2a2f6aebdea52a8bdd80 (patch) | |
| tree | 82f78f2629a89167faa1c32aa5b68230d7311773 /src/rewriter.ml | |
| parent | dfd6d278deb29e5fd39e3246a52bb0999451a47c (diff) | |
Add rewriting step for numeral patterns
Pattern matching against literal numbers is not well supported by Lem or
Isabelle. This rewriting step turns them into guarded patterns (which can be
picked up by the guarded pattern rewriting to if-expressions).
Diffstat (limited to 'src/rewriter.ml')
0 files changed, 0 insertions, 0 deletions