diff options
Diffstat (limited to 'app/Compiler.hs')
| -rw-r--r-- | app/Compiler.hs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/app/Compiler.hs b/app/Compiler.hs index 849afdb..749ecdb 100644 --- a/app/Compiler.hs +++ b/app/Compiler.hs @@ -74,12 +74,7 @@ compileArg (VarI x _) = [U (LocalRef x)] compileArg (VoidI) = [U VoidRef] seqGoals :: [Code] -> Code -seqGoals [] = [NoGoal] -seqGoals [[Cut]] = [Cut, NoGoal] -seqGoals [x] = [Goal] ++ x ++ [LastCall] -seqGoals [x, [Cut]] = [Goal] ++ x ++ [LastCall, Cut] -seqGoals ([Cut]:xs) = [Cut] ++ seqGoals xs -seqGoals (x:xs) = [Goal] ++ x ++ [Call] ++ seqGoals xs +seqGoals = (++ [Done]) . concat heapStructPrlgInt :: Monad m => m PrlgInt -> Heap -> Int -> m PrlgInt heapStructPrlgInt heaperr heap ref = heapStruct atom struct hrec heap ref |