diff options
| author | Maxime Dénès | 2014-06-06 02:25:19 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-07-22 18:05:01 -0400 |
| commit | 84b9df8b08ce26d8aef973ba29c7e50c227fd1ff (patch) | |
| tree | 2a4112221a87f3f10b6b8f42764b222aacc480be /checker/type_errors.ml | |
| parent | b5ed7e2a5700da0ee7930069c0e58c35f2af410c (diff) | |
Propagate size info through pattern matching in predicates, for the
commutative cut rule.
The error messages of the guard checker are now sometimes not
informative enough.
Diffstat (limited to 'checker/type_errors.ml')
0 files changed, 0 insertions, 0 deletions