From 7c2b39ee68c3faa464293fc1f92735984585defe Mon Sep 17 00:00:00 2001 From: Titus Wormer Date: Sat, 4 Feb 2023 15:07:51 +0100 Subject: [PATCH] Remove `indent` on positions MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This isn’t used anywhere anymore. If someone else wants it, it’s better to put into `data`. Related-to: GH-16. --- readme.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/readme.md b/readme.md index 6d60400..da502ea 100644 --- a/readme.md +++ b/readme.md @@ -124,7 +124,6 @@ For example, in JavaScript, a tree can be passed through interface Position { start: Point end: Point - indent: [number >= 1]? } ``` @@ -137,9 +136,6 @@ after the parsed source region, whether it exists or not. The value of the `start` and `end` fields implement the **[Point][dfn-point]** interface. -The `indent` field of **Position** represents the start column at each index -(plus start line) in the source region, for elements that span multiple lines. - If the syntactic unit represented by a node is not present in the source *[file][term-file]* at the time of parsing, the node is said to be *[generated][term-generated]* and it must not have positional information.