git.iko.soy/Idris-dev
on 0417eae help sign in
Idris-dev/src/IRTS
12 files
../ BCImp.hsSet up for adding new compiler back ends more easily Bytecode.hsSome tiny RTS optimisations CodegenC.hsCorrect codegen for bitstring complements CodegenCommon.hsDisambiguate catch explicitly in CodegenCommon CodegenJava.hsFix a few missing module references Compiler.hsPrimitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them Defunctionalise.hsBetter IO + faster compilation by avoiding needless cases in EVAL/APPLY DumpBC.hsMerge pull request #120 from DanielWaterworth/master Inliner.hsFix unification error that led to some trivial things not checking LParser.hsFix Integer matching bug Lang.hsRemainder primitives for bits Simplified.hsSome tiny RTS optimisations