From b12c312dcdc067982708193cedf43073483e5043 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 16 Apr 2019 20:57:15 +0200
Subject: Fix union constructor typechecking

---
 dhall_core/src/core.rs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dhall_core')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 16c64c7..6100981 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -447,6 +447,12 @@ impl<N: Clone> Expr<N, X> {
     }
 }
 
+impl<N: Clone> SubExpr<N, X> {
+    pub fn embed_absurd<T>(&self) -> SubExpr<N, T> {
+        rc(self.as_ref().embed_absurd())
+    }
+}
+
 impl<N, E> Clone for SubExpr<N, E> {
     fn clone(&self) -> Self {
         SubExpr(Rc::clone(&self.0))
-- 
cgit v1.2.3