diff options
| author | Pierre-Marie Pédrot | 2016-05-10 09:59:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-10 19:28:24 +0200 |
| commit | 810afe7c16ca2d18ac7fb39b1d3bd1a3db1c1331 (patch) | |
| tree | 3f0e5d4cb1186f2e68e2635020c5247dc01d12e3 /kernel/nativelambda.ml | |
| parent | 61f79019be6082c3ebabd503c322fb2edb05a99a (diff) | |
Type-safe constr notations.
This removes the last call to unsafe_grammar_extend, so that all handwritten
grammar extensions are now type-safe. Grammars defined by CAMLPX EXTEND are
still using the unsafe interface, but as they insert explicit casts they are
deemed safe.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions