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/src/semantics/tck/mod.rs | |
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