summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
authorNadrieril2019-11-11 13:36:30 +0000
committerNadrieril2019-11-11 13:50:37 +0000
commitd28d114552e6c6cb913dce48893fa87e87bf11e2 (patch)
tree94965fc87a814de636705944b5a6f143855235b4 /dhall/src/phase
parent575adf9a7a87ba5d75548f7cd4efdec53c1fe17c (diff)
Propagate more spans
Diffstat (limited to '')
-rw-r--r--dhall/src/phase/typecheck.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 9d2c69b..33919e4 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -586,7 +586,7 @@ fn type_last_layer(
l.get_type()?,
r.get_type()?,
),
- Span::PlaceHolder,
+ Span::Artificial,
)?),
BinOp(RecursiveRecordTypeMerge, l, r) => {
use crate::phase::normalize::merge_maps;
@@ -622,7 +622,7 @@ fn type_last_layer(
l.clone(),
r.clone(),
),
- Span::PlaceHolder,
+ Span::Artificial,
)
},
)?;
@@ -795,7 +795,7 @@ fn type_last_layer(
typ,
span,
),
- RetWhole(v) => v,
+ RetWhole(v) => v.with_span(span),
})
}