diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-26 20:15:09 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-26 20:15:09 +0100 |
| commit | 32f6fe0291e289c88d29710e42da3e6aca47a3fa (patch) | |
| tree | 907462be1139c244b66a03a579354b83c92a51bd /app/Builtins.hs | |
| parent | d13fc60bf3d8d1b99ee37ba91f2da4b31df7f99f (diff) | |
| download | prlg-32f6fe0291e289c88d29710e42da3e6aca47a3fa.tar.gz prlg-32f6fe0291e289c88d29710e42da3e6aca47a3fa.tar.bz2 | |
fix minor stuff
Diffstat (limited to 'app/Builtins.hs')
| -rw-r--r-- | app/Builtins.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/app/Builtins.hs b/app/Builtins.hs index 64838bb..555623c 100644 --- a/app/Builtins.hs +++ b/app/Builtins.hs @@ -110,8 +110,7 @@ retractall = do {- adding the builtins -} addOp op = modify $ \s -> s {ops = op : ops s} -addClause struct code = do - lift . outputStrLn $ "Adding " ++ show struct ++ " with code " ++ show code +addClause struct code = modify $ \s -> s {defs = M.alter (Just . maybe [code] (\hs -> code : hs)) struct $ defs s} |