diff options
| author | Matthieu Sozeau | 2015-03-25 19:06:16 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-03-25 19:11:45 +0100 |
| commit | 1bafb18f64ab1c929abfaf9c1b75f691914d9a46 (patch) | |
| tree | f62b8ec2d334d23f7214ec4805f05f748f04e0aa /kernel/type_errors.ml | |
| parent | 5047734648d83890eb4fc4e5cff7ab77d46b48eb (diff) | |
Fix vm compiler to refuse to compile code making use of inductives with
more than 245 constructors (unsupported by OCaml's runtime).
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions