From e57912913311342d957583b78c82821671210770 Mon Sep 17 00:00:00 2001 From: hhugo Date: Fri, 12 Jul 2019 18:18:28 +0800 Subject: [PATCH] Add a type alias for location stack in the parsetree (#8803) --- parsing/parsetree.mli | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index ac5a3f2b8..404624989 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] *) }