问对"ghci“和”堆栈ghci“使用不同的配置
EN

Stack Overflow用户

提问于 2016-06-10 13:10:58

回答 1查看 376关注 0票数 2

我经常使用ghci进行小计算，并使用stack ghci处理实际项目。

为了简化第一个步骤，我编写了一个包含大量导入模块的.ghci文件，但是这些模块中有一些没有出现在我的堆栈项目中，而且我遇到了严重的错误。

目前我使用了别名stackghci="stack ghci --ghci-options -ignore-dot-ghci"，但是我又有了默认的提示符，等等。

是否有一种方法可以指定两个.ghci文件:一个用于堆栈，一个用于ghci

回答已采纳

发布于 2016-06-10 14:21:36

ghci支持--ghci-script标志，用于指定启动时要读取的附加脚本。

--ghci-script文档：(链接)

票数 5

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/37749186

复制

相似问题

问对"ghci“和”堆栈ghci“使用不同的配置EN