From 50e04050317e8385572c08772cd185cf25c6547d Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 9 Apr 2025 18:16:24 -1000
Subject: [PATCH] ;tools: silence ghci warning if user has defined :rmain

---
 .ghci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ghci b/.ghci
index 293283e63..a8c5492c2 100644
--- a/.ghci
+++ b/.ghci
@@ -21,7 +21,7 @@ setEnv "NO_COLOR" "1"
 -- :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
-:def rmain \args -> return $ ":reload\n:main "<>args
+:def! rmain \args -> return $ ":reload\n:main "<>args
 
 -- -- run commands from a file, .ghci2 by default
 -- :def s \f -> readFile $ if null f then ".ghci2" else f