git.iko.soy/Idris-dev
on f2bf55d 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.hsjavascript: add plenty of bits primitives CodegenLLVM.hsFix compile error Compiler.hsAllow second argument of assert_smaller to be of different type than first argument since this could be useful for functions that are written with Universe-style pattern matching, i.e., where the rhs pattern has different type than the lhs expression. Defunctionalise.hsRemove pessimisation from Defunctionalisation 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