git.iko.soy/Idris-dev
on ee02ae9 help sign in
Idris-dev/src/IRTS
1 folder, 14 files
../ Java/Fix error in Java name mangling BCImp.hsAdd a Cabal library Bytecode.hsAdd a Cabal library CodegenC.hsSome clean up. CodegenCommon.hsAdd CodegenInfo structure, give CGs uniform types CodegenJava.hsAdd CodegenInfo structure, give CGs uniform types CodegenJavaScript.hsCall mainFun even if window and document aren't defined CodegenLLVM.hsFix compile error Compiler.hsMake totality a warning until compiling Defunctionalise.hsUpdate evaluated variable after EVAL DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsImprove --dumpcases. Simplified.hsDon't erase from unknown names. System.hsAdd more ifdefs for DragonFly