XRankNTypes
J'essaye d'activer dans GHCi. Comment puis-je faire cela?
XRankNTypes
J'essaye d'activer dans GHCi. Comment puis-je faire cela?
Réponses:
:set -XRankNTypes
. La -X
partie est un commutateur de compilateur, en passant, l'extension est appelée juste RankNTypes
.
run
, je reçois une liste de commandes possibles à apparaître (dans un projet particulier que les importations de céréales) telles que run{Get,Put}{,Lazy}
, runPutM
, etc.
:set -X
dans GHCi, vous obtiendrez en fait une tabulation pour les extensions disponibles, ce qui est pratique lorsque vous ne vous souvenez pas où ils ont décidé d'utiliser des abréviations ("MultiParam") ou des acronymes ("GADT") plutôt que d'épeler les choses dans full ("MonomorphismRestriction") ...