Commit cf221897 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: afrisch
Date: 2004-06-28 03:37:47+00:00
parent 5c999eca
...@@ -103,7 +103,7 @@ let rec unfold seen constrs ty = ...@@ -103,7 +103,7 @@ let rec unfold seen constrs ty =
| _ -> assert false) | _ -> assert false)
rd.row_fields in rd.row_fields in
PVariant fields PVariant fields
| Tvar -> assert false | Tvar -> 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