Cannot set RTS flags
omelkonian opened this issue · comments
Currently it is not possible to set RTS flags when using agda2hs
, as we get the error:
agda2hs: Most RTS options are disabled. Link with -rtsopts to enable them.
Compiling Agda code to readable Haskell
omelkonian opened this issue · comments
Currently it is not possible to set RTS flags when using agda2hs
, as we get the error:
agda2hs: Most RTS options are disabled. Link with -rtsopts to enable them.