summaryrefslogtreecommitdiff
path: root/parsing/parsetree.mli
diff options
context:
space:
mode:
authorHugo Heuzard <hugo.heuzard@gmail.com>2018-07-21 13:04:53 +0100
committerHugo Heuzard <hugo.heuzard@gmail.com>2018-08-06 13:19:28 +0100
commit80431444941fc722a4aaabcf36ca13e818ef5ade (patch)
tree1864d2a26212a69c65da4fecce9c5c858b05100e /parsing/parsetree.mli
parent35218bf9dfa9452cf7192344d4a3b9ece2c50118 (diff)
downloadocaml-80431444941fc722a4aaabcf36ca13e818ef5ade.tar.gz
Add locations to attributes
Changes fix typo
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r--parsing/parsetree.mli6
1 files changed, 5 insertions, 1 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli
index 9e2a582fd1..061a66fb42 100644
--- a/parsing/parsetree.mli
+++ b/parsing/parsetree.mli
@@ -39,7 +39,11 @@ type constant =
(** {1 Extension points} *)
-type attribute = string loc * payload
+type attribute = {
+ attr_name : string loc;
+ attr_payload : payload;
+ attr_loc : Location.t;
+ }
(* [@id ARG]
[@@id ARG]