• Guillaume Melquiond's avatar
    Homogenize constructor names. · 6ef0273e
    Guillaume Melquiond authored
    The pattern-matching construct in the logic is now systematically named
    "Tcase" in constructors (Ptree.Tmatch -> Tcase). The one in the
    programs (supporting exceptions) is now systematically named "Ematch"
    (Expr.Ecase -> Ematch, Dexpr.DEcase -> DEmatch). They are now homogeneous
    with the other constructors: Term.Tcase, Dterm.DTcase, Ptree.Ematch,
    Mltree.Ematch. Smart constructor Expr.e_case was renamed accordingly.
    6ef0273e
Name
Last commit
Last update
..
glob.ml Loading commit data...
glob.mli Loading commit data...
lexer.mli Loading commit data...
lexer.mll Loading commit data...
parser.mly Loading commit data...
ptree.ml Loading commit data...
typing.ml Loading commit data...
typing.mli Loading commit data...