git.iko.soy/Idris-dev
on 340beed help sign in
Idris-dev/src/IRTS
14 files
../ BCImp.hsSet up for adding new compiler back ends more easily Bytecode.hsSome tiny RTS optimisations CodegenC.hsFix truncation of Integer in C codegen CodegenCommon.hsRemove old ifdefs for supporting base<4 since we require base>=4 CodegenJava.hsFix for conversion methods in the Java backend CodegenJavaScript.hsjavascript: make node backend use shebang CodegenLLVM.hsFix compatibility with llvm-general 3.3.2 and tighten version constraints to avoid future breakage Compiler.hsMerge branch 'llvm3' of https://github.com/Ralith/Idris-dev into Ralith-llvm3 Defunctionalise.hsRemove the unused arg from lookup functions DumpBC.hsMerge pull request #120 from DanielWaterworth/master Inliner.hsFix unification error that led to some trivial things not checking LParser.hsExpand integer primitive unification to encompass bigints Lang.hsjavascript: make FFI work with HOFs Simplified.hsRemove the unused arg from lookup functions