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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/3d63f5e0e1f861b7957902e091fb776d37... You're receiving this email because of your account on gitlab.com.