From 0cc150a43dc9a851e81a2b6278447400856c1aba Mon Sep 17 00:00:00 2001
From: FintanH
Date: Thu, 1 Aug 2019 00:20:07 +0100
Subject: Mark RecursiveRecordMerge as unreachable

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