diff options
| author | Alasdair Armstrong | 2018-10-31 16:53:18 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-10-31 16:53:18 +0000 |
| commit | 1eedc27eeca4496bada669b700a59283cc6932e9 (patch) | |
| tree | 966e5d7b1bb25998935b618aad5457b770607e83 /src/parse_ast.ml | |
| parent | 001e28b487c8a4cb2a25519a3acc8ac8c1aaabf5 (diff) | |
Remove Parse_ast.Int, add unique locations
Remove Parse_ast.Int (for internal locations) as this was unused. Add
a Parse_ast.Unique constructor to create unique locations. Change
locate_X functions to take a function modifying locations, rather than
just replacing them and add a function unique : l -> l that makes
locations unique, such that `locate unique X` will make a locations in
X unique.
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 3317c196..d19e85ed 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -56,7 +56,7 @@ type text = string type l = | Unknown - | Int of string * l option + | Unique of int * l | Generated of l | Range of Lexing.position * Lexing.position | Documented of string * l |