on a52bb30 help sign in
10 files
../ BCImp.hsSet up for adding new compiler back ends more easily Bytecode.hsAdd Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly CodegenC.hsType safe message passing concurrency CodegenJava.hsSet up for adding new compiler back ends more easily Compiler.hsSeparate compile time and run time inlinings Run time can be more aggressive - compile time needs to be careful since over aggressive inline can make the termination check harder, especially for type class instances. Defunctionalise.hsErase unused arguments when compiling Inliner.hsFix unification error that led to some trivial things not checking LParser.hsAdded --dumpc flag Lang.hs'par' primitive in builtins (not yet implemented) Simplified.hsAdd Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly