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/src/phase') 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