lab03: impl evalueate if

2026-02-08 16:34:21 -08:00
parent 58d081da8c
commit 2818b21129
1 changed files with 4 additions and 1 deletions
--- a/lab03/interp.lhs
+++ b/lab03/interp.lhs
@@ -85,7 +85,10 @@ You must complete the other cases.
 > evaluate :: Exp -> Val
 > evaluate ETrue = VTrue
 > evaluate EFalse = VFalse
-> evaluate (Eif e1 e2 e3) = error "TBD"
+> evaluate (Eif e1 e2 e3) =
+>   case evaluate e1 of
+>     VTrue  -> evaluate e2
+>     VFalse -> evaluate e3


 And here we have a couple of programs to test.