summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-05-04 16:13:18 +0200
committerNadrieril2019-05-04 16:13:18 +0200
commit408bba76bd95a2aabd49046443950a37771f6008 (patch)
tree327804cebc1d60477c1c2c9f80ae6e08446c63ef /dhall
parent1b1c34b90bb4bf3859b05b1da6db2dcb374996bb (diff)
Thread Spans through the AST
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/typecheck.rs2
1 files changed, 1 insertions, 1 deletions
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),