summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-08-14 22:55:00 +0200
committerNadrieril2019-08-14 22:55:00 +0200
commit67cdda53d95057174b86878f22dbc0efc0255fd9 (patch)
tree5c395fa7506de6c5f34fab785dc09d6c03cd1b6f
parent160b05778808976ab9bd79fa7a142ca2e94ac67a (diff)
Fix typo in normalization
Diffstat (limited to '')
-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)*)