git.iko.soy/Idris-dev
on 562da7b help sign in
Idris-dev/src/IRTS
2 folders, 14 files
../ Java/Fix for language-java 0.2.7 JavaScript/javascript: wrap exceptions in function BCImp.hsAdd a Cabal library Bytecode.hsMerge branch 'master' of github.com:idris-lang/Idris-dev CodegenC.hsRename float negation primitive for more uniformity CodegenCommon.hsAdd CodegenInfo structure, give CGs uniform types CodegenJava.hsPropagate constructor updates to bytecode CodegenJavaScript.hsjavascript: fix backend to support new inliner Compiler.hsFactor out LLVM backend Defunctionalise.hsFind updatable constructors after destructive case DumpBC.hsPropagate constructor updates to bytecode Inliner.hsAdd a Cabal library Lang.hsRename float negation primitive for more uniformity LangOpts.hsRe-enable inlining in Lang IR Simplified.hsPropagate constructor updates to bytecode System.hsSupport builds that doesn't use cabal for libs and rts