Sto provando ad abilitare XRankNTypesin GHCi. Come faccio a fare questo?
Sto provando ad abilitare XRankNTypesin GHCi. Come faccio a fare questo?
Risposte:
:set -XRankNTypes. La -Xparte è un interruttore del compilatore, a proposito, l'estensione è chiamata solo RankNTypes.
run, ho un elenco di possibili completamenti popping up (in un progetto particolare che le importazioni di cereali), come run{Get,Put}{,Lazy}, runPutMe così via
:set -XGHCi otterrai effettivamente il completamento con tabulazioni per le estensioni disponibili, il che è utile quando non ricordi dove hanno deciso di utilizzare le abbreviazioni ("MultiParam") o gli acronimi ("GADT") invece di scrivere le cose in full ("MonomorphismRestriction") ...