From cb40742e750ae18c67828321aa87f312dcee4d6a Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Tue, 22 Jan 2008 17:08:48 +0000
Subject: [PATCH] PR#4052 accept _ for all constructors

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8789 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 typing/typecore.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/typing/typecore.ml b/typing/typecore.ml
index 2c3a64ec6..aaec0353c 100644
--- a/typing/typecore.ml
+++ b/typing/typecore.ml
@@ -413,7 +413,7 @@ let rec type_pat env sp =
           None -> []
         | Some {ppat_desc = Ppat_tuple spl} when explicit_arity -> spl
         | Some {ppat_desc = Ppat_tuple spl} when constr.cstr_arity > 1 -> spl
-        | Some({ppat_desc = Ppat_any} as sp) when constr.cstr_arity > 1 ->
+        | Some({ppat_desc = Ppat_any} as sp) when constr.cstr_arity <> 1 ->
             replicate_list sp constr.cstr_arity
         | Some sp -> [sp] in
       if List.length sargs <> constr.cstr_arity then