![]() |
1
3
您可以尝试将程序包装成类似这样的内容(已测试的工作代码):
还应该可以定义一个用户定义的ghci命令来为任何ghci命令执行此操作,但我还没有尝试过。见
here
为某人的。重定向命令的ghci
标准输出
使用用户定义的
|
![]() |
2
-1
我想你想要:
或
请参见这里: How to set a program's command line arguments for GHCi? |