diff options
-rwxr-xr-x | ski.hs | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -43,8 +43,8 @@ eval (Ap I x) = eval x -- (Ap (Ap _ _) _) -- -- so we just define that by recursing onto each branch of the Expr tree. But --- first we check for branch equality, to avoid infinite recursion: --- +-- first we check for equality, to avoid infinite recursion: + eval (Ap a b) = if a == a' && b == b' then (Ap a b) |