git.iko.soy/Idris-dev
on 85cf83f help sign in
Idris-dev/src/IRTS
1 folder, 13 files
../ JavaScript/javascript: wrap exceptions in function BCImp.hsAdd a Cabal library Bytecode.hsMerge branch 'master' of github.com:idris-lang/Idris-dev CodegenC.hsDon't give up when compiling Types CodegenCommon.hsOptimisation options CodegenJavaScript.hsAdd missing case in needsBigInt in JS back end Compiler.hsMerge pull request #1743 from jfdm/fix/lift-fixme-todo-1 Defunctionalise.hsFind updatable constructors after destructive case DumpBC.hsAdded FIXME for DumbBc.hs 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.hsCall gcc using rawSystem