diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-01-07 18:12:39 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-01-07 18:12:39 +0100 |
| commit | d50ec6414ac487ad057bbcd5644ca6bf370183fc (patch) | |
| tree | ca4721fe0d6b657b1f36eefd752e64798d70ceab | |
| parent | 3aa85f6a93b6ebec7beb7e590e6385754d60e920 (diff) | |
| download | prlg-d50ec6414ac487ad057bbcd5644ca6bf370183fc.tar.gz prlg-d50ec6414ac487ad057bbcd5644ca6bf370183fc.tar.bz2 | |
fix clause order
| -rw-r--r-- | app/Builtins.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/app/Builtins.hs b/app/Builtins.hs index 34cc665..a273660 100644 --- a/app/Builtins.hs +++ b/app/Builtins.hs @@ -274,12 +274,12 @@ modDef :: ([Code] -> Maybe [Code]) -> IR.Id -> PrlgEnv () modDef fn struct = modify $ \s -> s {defs = M.alter (maybe (fn []) fn) struct $ defs s} -addClauseZ :: Code -> IR.Id -> PrlgEnv () -addClauseZ code = modDef $ Just . ([code] ++) - addClauseA :: Code -> IR.Id -> PrlgEnv () addClauseA code = modDef $ Just . (code :) +addClauseZ :: Code -> IR.Id -> PrlgEnv () +addClauseZ code = modDef $ Just . (++ [code]) + addProcedure :: [Code] -> IR.Id -> PrlgEnv () addProcedure heads = modDef $ Just . const heads |