From b4e96c8f0e55494d7249f4c7f68d8de625a1c819 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Sat, 13 Jul 2024 07:26:52 +0100 Subject: [PATCH] ;dev: .ghci: cleanup --- .ghci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ghci b/.ghci index 45ca3ff8e..293283e63 100644 --- a/.ghci +++ b/.ghci @@ -20,7 +20,7 @@ setEnv "NO_COLOR" "1" -- -- :reload and run commands in .ghci2 -- :def R \_ -> return ":reload\n:script .ghci2" --- Reload (to flush cached unsafe IO 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 -- -- run commands from a file, .ghci2 by default