diff options
author | hhugo <hugo.heuzard@gmail.com> | 2019-07-12 18:18:28 +0800 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2019-07-12 12:18:28 +0200 |
commit | e57912913311342d957583b78c82821671210770 (patch) | |
tree | aa1837f61a7830661af699ad1d09954da6fc0860 /parsing/parsetree.mli | |
parent | ef8d8a70554a5d85c946376ff106f3a25b9e9b51 (diff) | |
download | ocaml-e57912913311342d957583b78c82821671210770.tar.gz |
Add a type alias for location stack in the parsetree (#8803)
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r-- | parsing/parsetree.mli | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index ac5a3f2b89..4046249894 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -42,6 +42,8 @@ type constant = Suffixes are rejected by the typechecker. *) +type location_stack = Location.t list + (** {1 Extension points} *) type attribute = { @@ -79,7 +81,7 @@ and core_type = { ptyp_desc: core_type_desc; ptyp_loc: Location.t; - ptyp_loc_stack: Location.t list; + ptyp_loc_stack: location_stack; ptyp_attributes: attributes; (* ... [@id1] [@id2] *) } @@ -188,7 +190,7 @@ and pattern = { ppat_desc: pattern_desc; ppat_loc: Location.t; - ppat_loc_stack: Location.t list; + ppat_loc_stack: location_stack; ppat_attributes: attributes; (* ... [@id1] [@id2] *) } @@ -254,7 +256,7 @@ and expression = { pexp_desc: expression_desc; pexp_loc: Location.t; - pexp_loc_stack: Location.t list; + pexp_loc_stack: location_stack; pexp_attributes: attributes; (* ... [@id1] [@id2] *) } |