我正在尝试获得一个等价的配置,ghc -threaded -O2然后与一起运行my.exe +RTS -N4 -s。目前我有
executable my.exe
ghc-options:
-O3
-threaded
-rtsopts
-with-rtsopts="-N4"
main-is: Main.hs
Run Code Online (Sandbox Code Playgroud)
当我跑步时,my.exe它给了我unexpected RTS argument: -N4
对于多个选项,请将整个字段用引号引起来:
“ -with-rtsopts = -N4 -s”
或者,您可以单独添加每个选项:
-with-rtsopts = -N4
-with-rtsopts = -s