summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dhall/src/core/value.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs
index 20a6021..845596b 100644
--- a/dhall/src/core/value.rs
+++ b/dhall/src/core/value.rs
@@ -107,7 +107,7 @@ impl Value {
))
};
(λ($var:ident : $($ty:tt)*) -> $($rest:tt)*) => {
- rc(ExprF::Pi(
+ rc(ExprF::Lam(
stringify!($var).into(),
make_expr!($($ty)*),
make_expr!($($rest)*)