Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Cleanup. 

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Alain Frisch 2014-10-03 08:47:44 +00:00
parent 58cede37c8
commit 70d201c968
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
typing/datarepr.ml
View File

@ -47,7 +47,7 @@ let free_vars ty =
let newgenconstr path tyl = newgenty (Tconstr (path, tyl, ref Mnil))
let constructor_args path type_manifest rep cd_args cd_res =
let constructor_args cd_args cd_res path type_manifest rep =
let tyl =
match cd_args with
| Cstr_tuple l -> l
@ -120,8 +120,8 @@ let constructor_descrs ty_path decl cstrs =
| _ -> None
in
let existentials, cstr_args, cstr_inlined =
constructor_args (subpath ty_path) type_manifest
(Record_inlined idx_nonconst) cd_args cd_res
constructor_args cd_args cd_res
(subpath ty_path) type_manifest (Record_inlined idx_nonconst)
in
let cstr =
{ cstr_name = Ident.name cd_id;
@ -149,8 +149,8 @@ let extension_descr ?rebind path_ext ext =
| None -> newgenconstr ext.ext_type_path ext.ext_type_params
in
let existentials, cstr_args, cstr_inlined =
constructor_args path_ext rebind Record_extension
ext.ext_args ext.ext_ret_type
constructor_args ext.ext_args ext.ext_ret_type
path_ext rebind Record_extension
in
{ cstr_name = Path.last path_ext;
cstr_res = ty_res;