18

有没有办法使用生成库而不是可执行文件idris？如果我尝试在没有 的情况下进行编译main，则会收到如下错误：

main:0:0:When elaborating an application of function run__IO:
    No such variable Main.main

如果我可以生成一个库，那么有没有办法从 C 代码中调用它？我查看了生成的 C 代码，但它看起来不像是打算在外部调用。

4

1 回答 1

2
于 2015-10-17T17:21:23.430 回答