;tools: silence ghci warning if user has defined :rmain

This commit is contained in:
Simon Michael 2025-04-09 18:16:24 -10:00
parent 9b6d3da677
commit 50e0405031

2
.ghci
View File

@ -21,7 +21,7 @@ setEnv "NO_COLOR" "1"
-- :def R \_ -> return ":reload\n:script .ghci2" -- :def R \_ -> return ":reload\n:script .ghci2"
-- Reload (to pick up code changes and flush cached unsafePerformIO values) and run main with the given args -- Reload (to pick up code changes and flush cached unsafePerformIO values) and run main with the given args
:def rmain \args -> return $ ":reload\n:main "<>args :def! rmain \args -> return $ ":reload\n:main "<>args
-- -- run commands from a file, .ghci2 by default -- -- run commands from a file, .ghci2 by default
-- :def s \f -> readFile $ if null f then ".ghci2" else f -- :def s \f -> readFile $ if null f then ".ghci2" else f