diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-03-13 13:18:10 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-03-13 13:18:54 +0100 |
commit | d868820ad1f00b896c5f44f18678fac2f8e0f720 (patch) | |
tree | 2312a62d9fd275d1c70b5e4fabcbe308826d5a05 /interp/constrexpr_ops.ml | |
parent | 7478ad7cc600753ba2609254657c87cacc27e8fc (diff) |
Supporting "(@foo) args" in patterns, where "@foo" has no arguments.
Diffstat (limited to 'interp/constrexpr_ops.ml')
-rw-r--r-- | interp/constrexpr_ops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/constrexpr_ops.ml b/interp/constrexpr_ops.ml index 9c577034e..c5730e626 100644 --- a/interp/constrexpr_ops.ml +++ b/interp/constrexpr_ops.ml @@ -66,7 +66,7 @@ let rec cases_pattern_expr_eq p1 p2 = Id.equal i1 i2 && cases_pattern_expr_eq a1 a2 | CPatCstr(_,c1,a1,b1), CPatCstr(_,c2,a2,b2) -> eq_reference c1 c2 && - List.equal cases_pattern_expr_eq a1 a2 && + Option.equal (List.equal cases_pattern_expr_eq) a1 a2 && List.equal cases_pattern_expr_eq b1 b2 | CPatAtom(_,r1), CPatAtom(_,r2) -> Option.equal eq_reference r1 r2 |