7245290Some tiny RTS optimisationsEdwin Brady14 years ago bbbe563Merge pull request #114 from raichoo/wordEdwin Brady14 years ago f6451efword 8/16 primitive typesraichoo14 years ago 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin Brady14 years ago bbe9dc1Minor fixes for inlining and integer literalsEdwin Brady14 years ago 64fc043Fix overenthuiastic unused argument removal problem (Wasn't checking case analysis where the scrutinee was the result of a projection)Edwin Brady14 years ago 56223efDon't normalise everywhere!Edwin 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 7508b64'par' primitive in builtins (not yet implemented)Edwin Brady14 years ago 2541a16No need to store original patternsEdwin 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 54ad219Add size change termination Now deals with recursive functions (still only simple structural size changes spotted, however)Edwin Brady14 years ago bf8685eSeparate "productive" and "total" in totality checker Productive can call Total, but not vice versa. This is still a temporary solution - don't rely on anything yet!Edwin Brady14 years ago 30e4ed8Added simple productivity checker for coinductive definitions Recursive calls must be an argument to a coinductive constructorEdwin Brady14 years ago 5692e48Added "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.Edwin Brady14 years ago 8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin 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 bb76c6cMore aggressive simplification; fix case generation bugEdwin Brady14 years ago 16027ddFix with parsing bugEdwin Brady14 years ago 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady14 years ago c30e6ceNo need to qualify unambiguous names on :pEdwin Brady14 years ago 19495edCheck patterns are inaccessibleEdwin Brady15 years ago 489ea6fPass pattern variable names to match compilerEdwin Brady15 years ago dca8f9fNormalise types before applying forcingEdwin Brady15 years ago 3f13043Make compile time evaluator take advantage of laziness again (And update test001 to catch it if it goes wrong again)Edwin Brady15 years ago cd38cefEvaluator tinkeringEdwin Brady15 years ago a5b7eedAdded a 'boredom threshold' to the evaluator If it takes too long (probably because it's evaluating a non-terminating function) just returns the input. This is hopefully temporary until the totality checker works better...Edwin Brady15 years ago 4bcfa68Tinker with specialisationEdwin Brady15 years ago 09f2abdFix let overloading bug with do blocksEdwin Brady15 years ago 00d7c69Work towards making {static} arguments and specialisation work properlyEdwin Brady15 years ago 7142d7eTotality checker tweaksEdwin Brady15 years ago 7fb7decImproved termination check (gets ackermann now, but still no mutual recursive definitions)Edwin Brady15 years ago 392c225Check definitions structurally as well as by name in conversionEdwin Brady15 years ago fc6eb53Bug fixes; checking type names in data declsEdwin Brady15 years ago de6bb41Added 'total' keyword and positivity checkEdwin Brady15 years ago ae4be75Well founded recursion checkEdwin 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 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 201ade9Fixed accessibility bug; added some library functionsEdwin Brady15 years ago d6c53d9Fix pattern name bug where name is already a CAFEdwin Brady15 years ago 9265e7cAdded 'public', 'abstract' and 'private' modifiers 'public' means export everything (name and definition) 'abstract' means export just the name 'private' means export nothing for data types and classes, 'abstract' means export the type/class name but not the members.Edwin Brady15 years ago 8ea902dAdded %hide and %freeze directivesEdwin Brady15 years ago dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady15 years ago 8f77986Added some serialisationEdwin Brady15 years ago fa5f1cdNamespacesEdwin Brady15 years ago 8cd093fChanged lookup to return a list (preparation for namespaces)Edwin Brady15 years ago