diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2011-11-24 09:02:48 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2011-11-24 09:02:48 +0000 |
| commit | 6c78f42d365d3e8d385b2d24ad1749a65ac45b8e (patch) | |
| tree | 937031d4851dbf3b318fa8ffbc904000e0201368 /typing/datarepr.ml | |
| parent | 99451ca83e21bf89b23f230cebf45c77917e1106 (diff) | |
| download | ocaml-6c78f42d365d3e8d385b2d24ad1749a65ac45b8e.tar.gz | |
merge branches/gadts-devel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/datarepr.ml')
| -rw-r--r-- | typing/datarepr.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 8b8a1722fc..4b4f234c89 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -68,10 +68,7 @@ let constructor_descrs ty_res cstrs priv = | None -> [] | Some type_ret -> let res_vars = free_vars type_ret in - let arg_vars = - List.fold_left TypeSet.union TypeSet.empty - (List.map free_vars ty_args) - in + let arg_vars = free_vars (newgenty (Ttuple ty_args)) in TypeSet.elements (TypeSet.diff arg_vars res_vars) in let cstr = |