Suppose some Haskell file is executed with
runghc Queens.hs gecode_compile
Now, this fails, and I want to debug it with ghci. How
ghci
You can use the :set command:
:set
Prelude> :set args whatever
This will mean that getArgs returns ["whatever"].
getArgs
["whatever"]
So in your case you should just do this:
Prelude> :set args gecode_compile