Commit 6c8718d4 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: afrisch
Date: 2004-06-28 12:54:57+00:00
parent eb92159a
...@@ -2,7 +2,6 @@ ...@@ -2,7 +2,6 @@
(* TODO: (* TODO:
- optimizations: generate labels and atoms only once. - optimizations: generate labels and atoms only once.
- MD5 checksum
- translate record to open record on positive occurence - translate record to open record on positive occurence
*) *)
......
...@@ -114,9 +114,7 @@ let rec unfold seen constrs ty = ...@@ -114,9 +114,7 @@ let rec unfold seen constrs ty =
| _ -> assert false) | _ -> assert false)
rd.row_fields in rd.row_fields in
PVariant fields PVariant fields
| Tvar -> | Tvar -> Var (get_var ty.id)
Var (get_var ty.id)
(* failwith "Polymorphic value"*)
| Tconstr (p,args,_) -> | Tconstr (p,args,_) ->
let args = List.map loop args in let args = List.map loop args in
let pn = Path.name p in let pn = Path.name p in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment