git.iko.soy/Idris-dev
on d8fffa2 help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Compile Nat as Int, (and plus/mult/fromInteger) BCImp.hsSet up for adding new compiler back ends more easily Bytecode.hsRemoving useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0' CodegenC.hsBetter representation and rendering of generated names CodegenCommon.hsRemove old ifdefs for supporting base<4 since we require base>=4 CodegenJava.hsRemove Java RTS build in favor of the version hosted on Maven Central CodegenJavaScript.hsjavascript: reduce bitint constants CodegenLLVM.hsVerify that foreign symbols declared in multiple places have a consistent signature Compiler.hsFix missing case in Defunctionalise.hs Defunctionalise.hsFix missing case in Defunctionalise.hs DumpBC.hsMerge pull request #120 from DanielWaterworth/master Inliner.hsFix unification error that led to some trivial things not checking LParser.hsUse the ErrorT failure functions and attempt to preserve error structure Lang.hsSupport signed integer comparison by introducing new primitives Simplified.hsFix compilation of unqualified constructor names