summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/phase')
-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),
})
}