summaryrefslogtreecommitdiff
path: root/parsing/parsetree.mli
diff options
context:
space:
mode:
authorhhugo <hugo.heuzard@gmail.com>2019-07-12 18:18:28 +0800
committerThomas Refis <thomas.refis@gmail.com>2019-07-12 12:18:28 +0200
commite57912913311342d957583b78c82821671210770 (patch)
treeaa1837f61a7830661af699ad1d09954da6fc0860 /parsing/parsetree.mli
parentef8d8a70554a5d85c946376ff106f3a25b9e9b51 (diff)
downloadocaml-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.mli8
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] *)
}