XRankNTypesJ'essaye d'activer dans GHCi. Comment puis-je faire cela?
XRankNTypesJ'essaye d'activer dans GHCi. Comment puis-je faire cela?
Réponses:
:set -XRankNTypes. La -Xpartie 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 -Xdans 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") ...