From 58d081da8c1c8da376674589d15709cbf3fc7115 Mon Sep 17 00:00:00 2001 From: Yuri Tatishchev Date: Wed, 4 Feb 2026 11:20:46 -0800 Subject: [PATCH] 1 --- lab03/interp.lhs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/lab03/interp.lhs b/lab03/interp.lhs index 5c6af06..2704bd3 100644 --- a/lab03/interp.lhs +++ b/lab03/interp.lhs @@ -84,7 +84,7 @@ You must complete the other cases. > evaluate :: Exp -> Val > evaluate ETrue = VTrue -> evaluate EFalse = error "TBD" +> evaluate EFalse = VFalse > evaluate (Eif e1 e2 e3) = error "TBD" @@ -111,5 +111,3 @@ you add in support the expressions 'succ e', 'pred e', and integers. With this change, it is possible for evaluate to get 'stuck', e.g. pred true. For a first pass, simply use the error function in these cases. - -