From 8eb307e3e11a109aeae7f96ffcb7476d93493ffb Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Sat, 5 Nov 2022 18:02:14 +0100 Subject: interpreter interprets. --- app/Compiler.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'app/Compiler.hs') 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) -- cgit v1.2.3