summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFintanH2019-08-01 00:20:07 +0100
committerFintanH2019-08-01 00:20:07 +0100
commit0cc150a43dc9a851e81a2b6278447400856c1aba (patch)
tree04477631be7871cfd61036aee53d7b579765b285
parenta53fc6e6767bba80bf1697d732d88c4a1e0e9e42 (diff)
Mark RecursiveRecordMerge as unreachable
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 7aaee42..c927ae2 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -687,6 +687,7 @@ fn type_last_layer(
NaturalTimes => Natural,
TextAppend => Text,
ListAppend => unreachable!(),
+ RecursiveRecordMerge => unreachable!(),
_ => return Err(mkerr(Unimplemented)),
})?;