diff options
| author | Maxime Dénès | 2016-10-04 19:38:40 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-04 22:17:09 +0200 |
| commit | 1969e10f25df0c913600099b7b98ea273a064017 (patch) | |
| tree | 4caabf9dfc5f9454e0623ca82d6b1805415f657b /kernel/nativecode.ml | |
| parent | 9e8c57419b473fdb3f9fbb8251d1843ec0e6f884 (diff) | |
Fix #5048 - Casts in pattern raise an anomaly in Constrintern.
We protect the code against the presence of pattern casts where they are
not supported. Why we cannot make the pattern type reflect this is
a long story (described in this commit), but in the long term we
probably want to support them anywhere, like OCaml does. Of course, it
will require to adjust the pattern matching compiler.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions