[r2004-06-28 03:37:47 by afrisch] Detect polymorphic values

Original author: afrisch
Date: 2004-06-28 03:37:47+00:00

ocamliface/mltypes.ml

@@ -103,7 +103,7 @@ let rec unfold seen constrs ty =
 		    | _ -> assert false)
 	       rd.row_fields in
 	   PVariant fields
-       | Tvar -> assert false
+       | Tvar ->  failwith "Polymorphic value"
        | Tconstr (p,args,_) ->
 	   let args = List.map loop args in
 	   let pn = Path.name p in