From 41934e2011a7375aafe698231195173e2ed1680f Mon Sep 17 00:00:00 2001 From: Martin Fredin Date: Thu, 25 May 2023 10:18:02 +0200 Subject: [PATCH] Updata lambda calculus example --- demo/lambda_calculus.crf | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/demo/lambda_calculus.crf b/demo/lambda_calculus.crf index f483cb2..d9ab5fe 100644 --- a/demo/lambda_calculus.crf +++ b/demo/lambda_calculus.crf @@ -26,10 +26,9 @@ insert x v cxt = case cxt of eval : Cxt -> Exp -> Val eval cxt exp = case exp of - EVar x => case lookup x cxt of - VInt i => VInt i - VClosure delta x e => eval delta e EAbs x e => VClosure cxt x e + EVar x => case lookup x cxt of + VClosure delta x e => eval delta e EApp e1 e2 => case eval cxt e1 of VClosure delta x f => let v = VClosure cxt x e2 in