From dceabb85e407b8e0e52105a725f3bb782fa474de Mon Sep 17 00:00:00 2001
From: FintanH
Date: Wed, 31 Jul 2019 14:06:11 +0100
Subject: Add unreachable call for RightBasedRecordMerge case

---
 dhall/src/phase/typecheck.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dhall')

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)),
             })?;
 
-- 
cgit v1.2.3