[r2006-04-25 15:56:21 by afrisch] Bug: type t = ([Int?] @ t)

Original author: afrisch
Date: 2006-04-25 15:56:21+00:00

typing/typepat.ml

@@ -698,7 +698,7 @@ let deferr s = raise (Patterns.Error s)
 	    (fun accu (t1,t2) -> mk_or accu (mk_prod (mk_type t1) (aux t2)))
 	    (if Types.Atom.has_atom t Sequence.nil_atom then q else iempty)
 	    (Types.Product.get t) in
-	n.desc <- d.desc;
+	n.desc <- ILink d;
 	n
     in
     aux t