Rename `inductive_` to `typecons` and make it a special-form
* src/lexp.ml (ptypecons): New var. (lexp_unparse): Don't use Pinductive. * src/lparse.ml (infer): Move Pinductive case to sform_typecons. (sform_typecons): New function. (register_special_forms): Add it. * src/pexp.ml (pexp): Remove Pinductive. (pexp_parse): Don't recognize `inductive_` any more. (pexp_unparse): Move Pinductive case to lexp_unparse. * src/tweak.ml (Make.create): Use new name Array.make.
Loading
Please register or sign in to comment