Я намагаюся включити XRankNTypes
в GHCi. Як це зробити?
Я намагаюся включити XRankNTypes
в GHCi. Як це зробити?
Відповіді:
:set -XRankNTypes
. -X
Частина являє собою ключ компілятора, до речі, розширення називається просто RankNTypes
.
run
я отримую список можливих завершень вискакують (в конкретному проекті , що імпорт зернових) , таких як run{Get,Put}{,Lazy}
, runPutM
і т.д.
:set -X
в GHCi ви фактично отримаєте заповнення вкладки для наявних розширень, що зручно, коли ви не можете згадати, де вони вирішили використовувати абревіатури ("MultiParam") або абревіатури ("GADT"), а не писати речі в повний ("МономорфізмРестрикція") ...