russoul/idris2-lua

Lua backend for Idris 2

idris2-lua's Issues

Readme and requirements clarification

Hey, you've done a great job! I think at least two things should be added to the readme.

What is required/expected lua version? I've checked that your codegen does not work with 5.1 (accidentially installed on my machine).

Also, I think that it should be in the readme that not only Idris 2 should be installed but that Idris2 API library (i.e. those named idris2) should be installed also (e.g. using make install-api of Idris 2).

Readme instructions for installing `bigint`

This is more of a note than an "issue" as such.

I needed to specify CFLAGS='--stdlib=libc++' when installing bigint to silence a warning:

clang: warning: include path for libstdc++ headers not found; pass '-stdlib=libc++' on the command line to use the libc++ standard library instead [-Wstdlibcxx-not-found]

I'm not sure if this is due to some quirk of my own Mac Brew setup, or if it's common to some or all other setups.

Idea: Vis editor bindings

Hi, could this project be used to interface with the vis editor API?

Trying to brainstorm a use case for it.

Any advice or insight much appreciated.

Error: Module Libraries.Data.Bool.Extra not found

Trying to install with Idris 2, v0.3.0, and I get this:

$ make all && make install
idris2 --build idris2-lua.ipkg
1/4: Building LuaCommon (src\LuaCommon.idr)
2/4: Building OrderDefs (src\OrderDefs.idr)
3/4: Building LuaAst (src\LuaAst.idr)
Error: Module Libraries.Data.Bool.Extra not
found

LuaGen:9:1--9:33
 5 |
 6 | import Core.Context
 7 | import Core.Directory
 8 |
 9 | import Libraries.Data.Bool.Extra
     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

make: *** [Makefile:36: build/exec/idris2-lua] Error 1

Is Idris2-Lua compatible with v0.3.0?