diff options
| author | Maxime Dénès | 2014-06-06 14:17:13 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-07-22 18:05:01 -0400 |
| commit | b481063272e15949abe7fc16e2ba47b16bc2197c (patch) | |
| tree | 08ff321f60d3984cb671800a1cfd0fe7d497571c /checker/type_errors.ml | |
| parent | 84b9df8b08ce26d8aef973ba29c7e50c227fd1ff (diff) | |
Revert "Propagate size info through pattern matching in predicates, for the"
This reverts commit 6a3bcd3ae320e65347cbd6ef4bac458f073d02ea.
Apply again if this kind of dependently typed programming idioms are needed.
Diffstat (limited to 'checker/type_errors.ml')
0 files changed, 0 insertions, 0 deletions