Je cherche quelque chose commeComment passer la pile ghci RTS options?
$ stack ghci -- Main.hs +RTS -M20M
Cannot use 'stack ghci' with both file targets and build targets
Comme cette solution de contournement n'est pas recommandée (pourquoi?):
stack exec -- ghci Main.hs +RTS -M20M
Ah, c'est en effet un message d'erreur très faible. J'ai créé un problème pour ce - https://github.com/commercialhaskell/stack/issues/3342 - et mis en œuvre une solution, de sorte que la prochaine version de la pile va plutôt dire
Les erreurs suivantes sont survenues lors de l'analyse des cibles de construction: - Répertoire Introuvable: + RTS - Répertoire introuvable: -M20M
Notez que pour spécifier les options à passer à GHCi, utilisez le drapeau --ghci-options
en cours d'exécution au lieu stack ghci Main.hs --ghci-options '+RTS -M20M' avec pile libéré donnera:
GHC: inconnue Option RTS: -ghci-script =/tmp/ghci29580/ghci script
Parce que les arguments de l'utilisateur ne sont pas transmis à la fin. J'ai aussi réparé ça. Pour l'instant, vous pouvez utiliser stack ghci Main.hs --ghci-options '+RTS -M20M -RTS'