90eb6a2Library changes: Please read details below!Edwin Brady13 years ago dcd4007Normalise pattern types when typecheckingEdwin Brady13 years ago 3c32b65Whitespace cleanup.George Leontiev13 years ago 93992c3Compile Nat as Int, (and plus/mult/fromInteger)Edwin Brady13 years ago 1d4d226Optimise datatypes with one constructor and one argument No need to pack them up (because we're strict!) so just treat them as a newtype would be in Haskell.Edwin Brady13 years ago a807a34Remove the unused arg from lookup functionsDavid Christiansen14 years ago 8624d06Fix collapsibility bugEdwin Brady14 years ago 3a27fdeArguments under type constructors are not forceable!Edwin Brady14 years ago fb2b17dAdd collapsing optimisation and more aggressive erasureEdwin Brady14 years ago 489ea6fPass pattern variable names to match compilerEdwin Brady15 years ago 1112fe4Coverage checker Not quite complete - a bug (which I know how to fix) makes some things appear not covering even though they are. Results currently used only for pruning case trees in compiled code. There is a small performance penalty - coverage checking can be disable with --nocoverageEdwin Brady15 years ago baaba44Run-time forcing optimisationEdwin Brady15 years ago 02881b1Implemented forcing optimisation Constructor arguments which are inferrable from the indices in the constructor type are erased both at compile-time and run-timeEdwin Brady15 years ago