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 /test | |
| 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 'test')
0 files changed, 0 insertions, 0 deletions