diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-05 18:02:14 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-05 18:02:14 +0100 |
| commit | 8eb307e3e11a109aeae7f96ffcb7476d93493ffb (patch) | |
| tree | ac0ff172a8508268f0e93d3c869c910122b2303d /app/Compiler.hs | |
| parent | 8f47919624f0153ff9afa299d994d66bb63037ef (diff) | |
| download | prlg-8eb307e3e11a109aeae7f96ffcb7476d93493ffb.tar.gz prlg-8eb307e3e11a109aeae7f96ffcb7476d93493ffb.tar.bz2 | |
interpreter interprets.
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) |