reset_pattern in partial_pred

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-12-14 02:00:20 +00:00 · 2010-12-14 02:00:20 +00:00 · 1f26019d5e
parent 23df39a27a
commit 1f26019d5e
1 changed files with 2 additions and 1 deletions
--- a/typing/typecore.ml
+++ b/typing/typecore.ml
@ -740,7 +740,8 @@ let type_pat
   to type check gadt nonexhaustiveness *) 
 let partial_pred ~lev env expected_ty constrs labels p = 
  let snap = snapshot () in 
-  try 
+  try
+    reset_pattern None true;
    let typed_p =
      type_pat ~allow_existentials:true ~lev
        ~constrs ~labels (ref env) p expected_ty