Compare commits
3 Commits
main
...
f477fc16df
| Author | SHA1 | Date | |
|---|---|---|---|
| f477fc16df | |||
| 6506b4fcca | |||
| 65ef1c7e6d |
@@ -67,10 +67,9 @@ lookupExp =
|
||||
subst (Variable "if") ifExp .
|
||||
subst (Variable "equal") equalExp $ parse
|
||||
"\\c. rec lookup = \\xs. case xs of \
|
||||
\ -- TODO: Fix for Nil() \
|
||||
\ { Cons(b,bs) -> \
|
||||
\ case b of \
|
||||
\ { Branch(c', bs, e') -> if (equal c c') Pair(bs,e') (lookup bs) } \
|
||||
\ { Branch(c', xs, e') -> if (equal c c') Pair(xs,e') (lookup bs) } \
|
||||
\ }"
|
||||
|
||||
substsExp :: Exp
|
||||
|
||||
Reference in New Issue
Block a user