idris-hackers / idris-llvm Goto Github PK

View Code? Open in Web Editor NEW

78.0 78.0 13.0 121 KB

Idris LLVM codegen factored out

License: Other

Haskell 85.50% C 12.58% Shell 0.22% Makefile 1.70%

idris-llvm's People

Contributors

Stargazers

Watchers

Forkers

markuspf jaredloomis heather jmars chobbes mattias-lundell melted slaven-s faineance john-ml stjordanis oberblastmeister

idris-llvm's Issues

idris-llvm is broken against latest Idris master

This seems to be due to the new FFI. It prints this error while compiling:

Building idris-llvm-0.0.0.1...
Preprocessing executable 'idris-llvm' for idris-llvm-0.0.0.1...
[1 of 4] Compiling Paths_idris_llvm ( dist/build/autogen/Paths_idris_llvm.hs, dist/build/idris-llvm/idris-llvm-tmp/Paths_idris_llvm.o )
[2 of 4] Compiling Util.System ( src/Util/System.hs, dist/build/idris-llvm/idris-llvm-tmp/Util/System.o )
[3 of 4] Compiling IRTS.CodegenLLVM ( src/IRTS/CodegenLLVM.hs, dist/build/idris-llvm/idris-llvm-tmp/IRTS/CodegenLLVM.o )
src/IRTS/CodegenLLVM.hs:597:18:
Not in scope: data constructor `LANG_C'
cabal: Error: some packages failed to install:
idris-llvm-0.0.0.1 failed during the building phase. The exception was:
ExitFailure 1

Unbox small Integers

Integer performance is presently quite slow because all values of Integer type are full heap-allocated boxed GMP integers. The standard optimization to use tagged pointers to unbox small integers should be applied. Due to the Nat -> Integer optimization Idris performs, this should improve general performance substantially.

Recommend Projects