From 0d9b3405021b956fad3a87fc7a8eced16968509d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 8 May 2019 23:23:09 +0200
Subject: Typecheck record projection

---
 dhall/src/error/mod.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dhall/src/error')

diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs
index 3efa77e..89568a3 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/error/mod.rs
@@ -69,6 +69,8 @@ pub(crate) enum TypeMessage {
     MergeVariantMissingHandler(Label),
     MergeAnnotMismatch,
     MergeHandlerTypeMismatch,
+    ProjectionMustBeRecord,
+    ProjectionMissingEntry,
     Sort,
     Unimplemented,
 }
-- 
cgit v1.2.3