From 408bba76bd95a2aabd49046443950a37771f6008 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 4 May 2019 16:13:18 +0200
Subject: Thread Spans through the AST

---
 dhall/src/typecheck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall')

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index ce4ca96..732f7bc 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -350,7 +350,7 @@ fn type_of_const(c: Const) -> Result<Type, TypeError> {
     }
 }
 
-fn type_of_builtin<N, E>(b: Builtin) -> Expr<N, E> {
+fn type_of_builtin<E>(b: Builtin) -> Expr<X, E> {
     use dhall_syntax::Builtin::*;
     match b {
         Bool | Natural | Integer | Double | Text => dhall::expr!(Type),
-- 
cgit v1.2.3