[r2004-06-28 12:54:57 by afrisch] Cosmque

Original author: afrisch
Date: 2004-06-28 12:54:57+00:00

ocamliface/mlstub.ml

@@ -2,7 +2,6 @@
 
 (* TODO:
    - optimizations: generate labels and atoms only once.
-   - MD5 checksum
    - translate record to open record on positive occurence
 *)
 

ocamliface/mltypes.ml

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