64fc043Fix overenthuiastic unused argument removal problem (Wasn't checking case analysis where the scrutinee was the result of a projection)Edwin Brady14 years ago 2616a69Fix call graph generationEdwin Brady14 years ago 449bb27Fix allocation of big integersEdwin Brady14 years ago 29c67e9Pattern matching on strings, big integers and charactersEdwin Brady14 years ago a52bb30Separate 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.Edwin Brady14 years ago 9e58e28Type safe message passing concurrencyEdwin Brady14 years ago 9affb75Totality 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 possibleEdwin Brady14 years ago ebb75fbCalculate size change graphsEdwin Brady14 years ago fb2b17dAdd collapsing optimisation and more aggressive erasureEdwin Brady14 years ago 5a6299bUnification fix Specifically to stop it filling in things which are given by the programmer (caused by a bug replacing nullary constructors with terms!)Edwin Brady14 years ago 8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin Brady14 years ago 76442a7Better rendering of case trees in debug infoEdwin Brady14 years ago 72d4d96Starting unused argument analysisEdwin Brady14 years ago 6d7c9bcCall graph changeEdwin Brady14 years ago 0f957f6Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortlyEdwin Brady14 years ago 0679225Tweak match compilation (right to left, rather than l to r) Now matches on values before indices, to give a chance of erasing indices.Edwin Brady14 years ago bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady14 years ago 7c75851Test file for new VM, hook up parserEdwin Brady14 years ago 19495edCheck patterns are inaccessibleEdwin Brady15 years ago 489ea6fPass pattern variable names to match compilerEdwin Brady15 years ago 09f2abdFix let overloading bug with do blocksEdwin Brady15 years ago b1e95cbFix coverage checkerEdwin Brady15 years ago 6dcf4c3Build a call graph and only compile things which are usedEdwin Brady15 years ago c08dff7Fix circular dependenciesEdwin Brady15 years ago 6807cf4Unreachable case warningEdwin 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 10ea548Inline type class applications where possible to reduce overheadEdwin Brady15 years ago 0bc69fbAdded prelude.strings, made believe_me primitiveEdwin Brady15 years ago dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady15 years ago bbaa193Better representation of namesEdwin Brady15 years ago 4931c20Added Integer (but an Epic bug prevents them compiling properly)Edwin Brady15 years ago ffc64e3Add mechanism for simplification and function optionsEdwin Brady15 years ago 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady15 years ago bf368abFirst attempt at with ruleEdwin Brady15 years ago 3b115b2Fixed pattern matching and delaborator bugEdwin Brady15 years ago a805f47Added constants and some primitive operationsEdwin Brady15 years ago c637850Pattern matcher, evaluation of 2+2 now worksEdwin Brady15 years ago