From 67cdda53d95057174b86878f22dbc0efc0255fd9 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 14 Aug 2019 22:55:00 +0200 Subject: Fix typo in normalization --- dhall/src/core/value.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dhall/src/core') 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)*) -- cgit v1.2.3