diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2019-08-20 09:53:05 +0100 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2020-03-05 13:34:12 +0100 |
commit | d52dd5c33ee405bdcae067dffba36bc13921778b (patch) | |
tree | 89cf63888cddf3bea0901bc2a87b345675b83433 /toplevel/topdirs.ml | |
parent | 9fb4b05f4b750d4116b3e51644ae9db1701aaf51 (diff) | |
download | ocaml-d52dd5c33ee405bdcae067dffba36bc13921778b.tar.gz |
Add a unique id to every signature item
Diffstat (limited to 'toplevel/topdirs.ml')
-rw-r--r-- | toplevel/topdirs.ml | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index 53b06e193c..9510533b4c 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -590,8 +590,9 @@ let () = ext_args = Cstr_tuple desc.cstr_args; ext_ret_type = ret_type; ext_private = Asttypes.Public; - Types.ext_loc = desc.cstr_loc; - Types.ext_attributes = desc.cstr_attributes; } + ext_loc = desc.cstr_loc; + ext_attributes = desc.cstr_attributes; + ext_uid = desc.cstr_uid; } in [Sig_typext (id, ext, Text_first, Exported)] else @@ -620,8 +621,10 @@ let () = ext_args = Cstr_tuple desc.cstr_args; ext_ret_type = ret_type; ext_private = Asttypes.Public; - Types.ext_loc = desc.cstr_loc; - Types.ext_attributes = desc.cstr_attributes; } + ext_loc = desc.cstr_loc; + ext_attributes = desc.cstr_attributes; + ext_uid = desc.cstr_uid; + } in [Sig_typext (id, ext, Text_exception, Exported)] ) |