时间戳

首页 > 解决方案 > 程序编译时 Idris REPL 找不到导入

haskell-stack - 程序编译时 Idris REPL 找不到导入

问题描述

我克隆了这个 Idris 库，它使用必要的依赖项编译得很好。有一个example/目录，它利用了这个库（导入它的一些模块），它编译和运行也很好。但是，当我尝试在 Atom 中运行 REPL 时，会显示一条熟悉的错误消息：

Can't find import Graphics/Util/GlfwConfig

这很有趣，因为当make执行时，以下是输出行之一：

Installing Graphics/Util/Glfw.ibc to /home/jan/.stack/snapshots/x86_64-linux-tinfo6/lts-11.17/8.2.2/share/x86_64-linux-ghc-8.2.2/idris-1.3.0/libs/glfw/Graphics/Util

这似乎表明该模块已安装。

我可能误解了 Haskell/Idris/Stack 安装过程和 Idris 模块的某些部分，那么我应该在这里做什么/理解什么？

标签： haskell-stackidris

解决方案

我想问题很简单，项目包含两个ipkg文件。一个用于库，一个用于测试/示例。中的一个example/hello：

package test

opts = "-p effects -p glfw " 

executable = hello
main = Main

包括对 idris 包 glfw 的依赖关系，但如果您在顶级目录中调用 Atom，则 Atom 看不到。要验证，请切换到目录example/hello并从那里调用atom .并尝试。现在 ipkg 文件位于顶层目录中，将被 Atom 拾取。

推荐阅读