Simon Génier pushed to branch main at Stefan / Typer
Commits: 3d63f5e0 by Simon Génier at 2023-02-10T10:22:27-05:00 * src/opslexp.ml: fix typo.
- - - - -
1 changed file:
- src/opslexp.ml
Changes:
===================================== src/opslexp.ml ===================================== @@ -398,7 +398,7 @@ and conv_p' (ctx : DB.lexp_context) (vs : set_plexp) e1 e2 : bool = -> eqp && ak1 = ak2 && (conv_erase && ak1 = P.Aerasable || conv_p t1 t2)) true args1 args2 in - List.length args1 == List.length.args2 + List.length args1 == List.length args2 && conv_p f1 f2 && conv_arglist_p args1 args2 | (Inductive (_, l1, args1, cases1), Inductive (_, l2, args2, cases2)) -> let rec conv_fields ctx vs fields1 fields2 =
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/3d63f5e0e1f861b7957902e091fb776d37...