首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >从cont肋骨库导入失败

从cont肋骨库导入失败
EN

Stack Overflow用户
提问于 2022-04-28 11:01:01
回答 2查看 56关注 0票数 1

我遵循Idris 2中的TDD手册,在线文件给出了以下建议:

对于练习4中的VList视图,在第10-2章之后,从contrib库导入Data.List.Views.Extra

所以我把这个导入放到一个源文件中(example.idr)

代码语言:javascript
运行
复制
import Data.List.Views.Extra

但是运行idris2 example.idr失败了

代码语言:javascript
运行
复制
Error: Module Data.List.Views.Extra not found

我相信控制库的安装是正确的,因为contrib (0.5.1)出现在idris2 --list-packages打印的列表中。

如何使Idris 2能够接受来自contrib库的导入?

EN

回答 2

Stack Overflow用户

回答已采纳

发布于 2022-05-01 07:00:59

除了在命令行(如在-p中)显式提供这个答案之外,还可以使用IPKG文件为项目指定定义包,在该文件中可以指定依赖项。

最小的示例,放置在项目的顶层目录中:

代码语言:javascript
运行
复制
package type-driven-development
depends = contrib

然后您可以使用idris2 --find-ipkg Example.idr调用Idris 2,并且所有的depends都将被包含,就好像您已经为每个depends指定了-p一样。

Idris 2 CLI还可以为您生成一个模板IPKG文件。idris2 --init命令将为您提供交互式提示,以填充一些基本值。

票数 1
EN

Stack Overflow用户

发布于 2022-04-28 11:08:28

idris2二进制文件接受--package-p参数作为依赖项添加包。

使用idris2 -p contrib example.idr调用解释器可以正确解析导入。

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

https://stackoverflow.com/questions/72042512

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档