Stefan pushed to branch main at Stefan / Typer
Commits: 272e5346 by Stefan Monnier at 2022-11-16T12:48:06-05:00 * src/opslexp.ml (conv_p'): Make sure fold_left2 gets args of eq length
- - - - -
1 changed file:
- src/opslexp.ml
Changes:
===================================== src/opslexp.ml ===================================== @@ -398,7 +398,8 @@ 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 - conv_p f1 f2 && conv_arglist_p args1 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 = match fields1, fields2 with
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/272e5346f0e77a4c2d22c4ae2ac2e55fc1...