diff options
| author | Thomas Bauereiss | 2018-01-25 11:18:10 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-01-25 11:41:22 +0000 |
| commit | 54d18f2d19f33aae822dca53485afa8ba9e06e81 (patch) | |
| tree | d77b0a2f315ea48844e0933d6a471fdab2903f32 /src/pattern_completeness.ml | |
| parent | d87d4ad3a6d2ec2804cb7b20128fecb6d9df4e6e (diff) | |
Fix more type annotations in rewriter
Use consistent nesting of tuples when adding updated local mutable variables to
expressions. Add test case.
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions