Typecheck merge

1 files changed, 7 insertions, 0 deletions

diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs
index bb1acbd..3efa77e 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/error/mod.rs
@@ -62,6 +62,13 @@ pub(crate) enum TypeMessage {
     BinOpTypeMismatch(BinOp, Typed),
     NoDependentTypes(Normalized, Normalized),
     InvalidTextInterpolation(Typed),
+    Merge1ArgMustBeRecord(Typed),
+    Merge2ArgMustBeUnion(Typed),
+    MergeEmptyNeedsAnnotation,
+    MergeHandlerMissingVariant(Label),
+    MergeVariantMissingHandler(Label),
+    MergeAnnotMismatch,
+    MergeHandlerTypeMismatch,
     Sort,
     Unimplemented,
 }