../ BCImp.hsSet up for adding new compiler back ends more easily14 years ago Bytecode.hsAdd Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly14 years ago CodegenC.hsFixed believe_me compilation bug14 years ago CodegenJava.hsSet up for adding new compiler back ends more easily14 years ago Compiler.hsTotality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possible14 years ago Defunctionalise.hsErase unused arguments when compiling14 years ago Inliner.hsFix unification error that led to some trivial things not checking14 years ago LParser.hsAdded --dumpc flag14 years ago Lang.hs--dumpcases now dumps post unused arg erasure14 years ago Simplified.hsAdd Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortly14 years ago