diff options
author | Leo White <leo@lpw25.net> | 2018-02-08 17:51:47 +0000 |
---|---|---|
committer | Leo White <leo@lpw25.net> | 2018-11-21 03:39:34 -0500 |
commit | 111d4e18276dd1fe1605f0b9760d598a201ceb45 (patch) | |
tree | c4932dadceb152872c6979a47b0ee13d7e8b4ae7 /typing/types.ml | |
parent | 5daea807289deace6d53f10992ba3541e0e86bb8 (diff) | |
download | ocaml-111d4e18276dd1fe1605f0b9760d598a201ceb45.tar.gz |
Remove positions from paths
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/typing/types.ml b/typing/types.ml index 06a278bc35..13c57119c1 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -168,7 +168,7 @@ and record_representation = | Record_float (* All fields are floats *) | Record_unboxed of bool (* Unboxed single-field record, inlined or not *) | Record_inlined of int (* Inlined record *) - | Record_extension (* Inlined record under extension *) + | Record_extension of Path.t (* Inlined record under extension *) and label_declaration = { @@ -258,11 +258,11 @@ type module_type = Mty_ident of Path.t | Mty_signature of signature | Mty_functor of Ident.t * module_type option * module_type - | Mty_alias of alias_presence * Path.t + | Mty_alias of Path.t -and alias_presence = - | Mta_present - | Mta_absent +and module_presence = + | Mp_present + | Mp_absent and signature = signature_item list @@ -270,7 +270,7 @@ and signature_item = Sig_value of Ident.t * value_description | Sig_type of Ident.t * type_declaration * rec_status | Sig_typext of Ident.t * extension_constructor * ext_status - | Sig_module of Ident.t * module_declaration * rec_status + | Sig_module of Ident.t * module_presence * module_declaration * rec_status | Sig_modtype of Ident.t * modtype_declaration | Sig_class of Ident.t * class_declaration * rec_status | Sig_class_type of Ident.t * class_type_declaration * rec_status |