git.iko.soy/Idris-dev
on 9a25dfa 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.hsAdd CodegenInfo structure, give CGs uniform types CodegenCommon.hsAdd CodegenInfo structure, give CGs uniform types CodegenJava.hsAdd CodegenInfo structure, give CGs uniform types CodegenJavaScript.hsAdd CodegenInfo structure, give CGs uniform types CodegenLLVM.hsFix compile error Compiler.hsAdd CodegenInfo structure, give CGs uniform types Defunctionalise.hsRemove pessimisation from Defunctionalisation DumpBC.hsAdd a Cabal library Inliner.hsAdd a Cabal library Lang.hsAdd ManagedPtr type Simplified.hsMake lookupCtxtExact return Maybe instead of List System.hsAdd more ifdefs for DragonFly