search

sdiehl / kaleidoscope

Haskell LLVM JIT Compiler Tutorial
http://www.stephendiehl.com/llvm
Other
1.03k stars 131 forks source link

Idris does not use LLVM by default #21

Closed hellerve closed 8 years ago

hellerve commented 9 years ago

In the end of chapter 1 there is a list of languages using LLVM as backend. Idris in the list, but does not use LLVM by default, but rather a backend that generates C code. There is, however, a backend targetting LLVM, but the module seems to be unmaintained and long broken.

Cheers

sdiehl commented 9 years ago

It wasn't unmaintained at the time of writing, which was a few years ago.

hellerve commented 9 years ago

I will issue a pull request then, if you want me to. I also fixed a few typos and the like.

sdiehl commented 8 years ago

Removed Idris.