From bf74436781a1304a937fb31a50c5495223468087 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 9 May 2019 16:56:17 +0200
Subject: Small utility SubExpr::from_builtin

---
 dhall_syntax/src/core/expr.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dhall_syntax')

diff --git a/dhall_syntax/src/core/expr.rs b/dhall_syntax/src/core/expr.rs
index 3b73d88..c509bae 100644
--- a/dhall_syntax/src/core/expr.rs
+++ b/dhall_syntax/src/core/expr.rs
@@ -338,6 +338,10 @@ impl<N, E> SubExpr<N, E> {
         SubExpr(Rc::new((x, None)))
     }
 
+    pub fn from_builtin(b: Builtin) -> Self {
+        SubExpr::from_expr_no_note(ExprF::Builtin(b))
+    }
+
     pub fn rewrap<E2>(&self, x: Expr<N, E2>) -> SubExpr<N, E2>
     where
         N: Clone,
-- 
cgit v1.2.3