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. - -