diff options
Diffstat (limited to 'app/Compiler.hs')
| -rw-r--r-- | app/Compiler.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Compiler.hs b/app/Compiler.hs index 7684f80..08e4b24 100644 --- a/app/Compiler.hs +++ b/app/Compiler.hs @@ -43,8 +43,8 @@ seqGoals [x] = [Goal] ++ x ++ [LastCall] seqGoals [x, [Cut]] = [Goal] ++ x ++ [LastCall, Cut] seqGoals (x:xs) = [Goal] ++ x ++ [Call] ++ seqGoals xs -compileRule :: Id -> Id -> PrlgInt -> Code -compileRule proveop andop = go +compileClause :: Id -> Id -> PrlgInt -> Code +compileClause proveop andop = go where go :: PrlgInt -> Code go h@(CallI x args) |