diff options
| author | Nadrieril | 2019-11-11 13:36:30 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:37 +0000 |
| commit | d28d114552e6c6cb913dce48893fa87e87bf11e2 (patch) | |
| tree | 94965fc87a814de636705944b5a6f143855235b4 /dhall/tests/type-errors | |
| parent | 575adf9a7a87ba5d75548f7cd4efdec53c1fe17c (diff) | |
Propagate more spans
Diffstat (limited to 'dhall/tests/type-errors')
0 files changed, 0 insertions, 0 deletions