diff options
| author | Nadrieril | 2020-02-17 18:24:06 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-17 18:24:19 +0000 |
| commit | da69fe3eef7e001a1a0bdd2a2f3ebefccc3426e3 (patch) | |
| tree | 6dc7c3c1745b90f303767bf6f60ad9acd11dc0b7 /dhall_syntax/src | |
| parent | cd5e172002ce724be7bdd52883e121efa8817f20 (diff) | |
Remove spans from Nir
That info was too unreliable: we need clean tracking mechanisms if we
want to improve error messages
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions