summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorFintanH2019-07-31 14:06:11 +0100
committerFintanH2019-07-31 14:06:11 +0100
commitdceabb85e407b8e0e52105a725f3bb782fa474de (patch)
tree624682285e55f0768c7837197ae11784b09ca5d7 /dhall/src
parentf806ad6bf0fad5a720c9b87310d86838612f3b7a (diff)
Add unreachable call for RightBasedRecordMerge case
Diffstat (limited to '')
-rw-r--r--dhall/src/phase/typecheck.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 9107e36..ecd0a69 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -663,6 +663,7 @@ fn type_last_layer(
NaturalTimes => Natural,
TextAppend => Text,
ListAppend => unreachable!(),
+ RightBiasedRecordMerge => unreachable!(),
_ => return Err(mkerr(Unimplemented)),
})?;