[r2003-08-01 15:01:35 by cvscast] Bugfix: ill-formed patterns were accepted in...

[r2003-08-01 15:01:35 by cvscast] Bugfix: ill-formed patterns were accepted in tge toplevel because of
memoization

Original author: cvscast
Date: 2003-08-01 15:01:35+00:00

typing/typer.ml

@@ -568,9 +568,12 @@ and pat_node s : Patterns.node =
   try SlotTable.find pat_nodes s
   with Not_found ->
     let x = Patterns.make (fv_slot s) in
-    SlotTable.add pat_nodes s x;
-    Patterns.define x (pat (descr s));
-    x
+    try
+      SlotTable.add pat_nodes s x;
+      Patterns.define x (pat (descr s));
+      x
+    with exn -> SlotTable.remove pat_nodes s; raise exn
+      (* For the toplevel ... *)
 
 let register_types glb b =
   List.iter