summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-12-01making apply_transfer workaarne
2005-12-01Transfer: Added Double type.bringert
2005-12-01Transfer: remove disjunctive patterns from TODO.bringert
2005-12-01Transfer: added support for disjunctive patterns.bringert
2005-12-01Added binary numeral grammars.bringert
2005-12-01Transfer: removed some fixed TODOs.bringert
2005-12-01Transfer: moved stuff around in prelude. Added some new simple instances.bringert
2005-12-01Transfer: Added Add instance for lists.bringert
2005-11-30Fixed layout stop word bug.bringert
2005-11-30Transfer: added example which makes the layout resolver go wrong. Added binar...bringert
2005-11-30Added bind operators, do-notation, a cons operator and list sytnax.bringert
2005-11-30Added monad isntances for List and Maybe.bringert
2005-11-30Transfer: derive instances, not functions.bringert
2005-11-30Transfer: added monad class. fixed Compos class types.bringert
2005-11-30Transfer: reimplement operators with type classes.bringert
2005-11-30Transfer compiler: don't load the same module twice.bringert
2005-11-30Transfer compiler now has a search path. Use -ipath to add to the path. Creat...bringert
2005-11-30Moved transfer libraries to transfer/libbringert
2005-11-30Moved class stuff to prelude.bringert
2005-11-30darcs.txt: mention that several patches can be sent at once.bringert
2005-11-30Transfer: Ord extends Eq.bringert
2005-11-30Fixed typo in overload.tr.bringert
2005-11-30Transfer: fleshed out overloading examples.bringert
2005-11-30Added transfer Maybe module.bringert
2005-11-30Remove more useless pattern matching and variable bindings in transfer compil...bringert
2005-11-29Transfer: removed some fixed TODOs.bringert
2005-11-30added transfer casesaarne
2005-11-30transfer added to GF command interpreterarne
2005-11-29Added example of composOp overloading to overload.tr.bringert
2005-11-29Added patterns with guards to transfer TODO.bringert
2005-11-29Use rec and sig for records.bringert
2005-11-29Split widesnake example. Changed examples to use rec and sig keywords.bringert
2005-11-29Added stoneage transfer example.bringert
2005-11-29Transfer: let expressions caused non-termination due to excessive strictness,...bringert
2005-11-29Transfer: added derive composFoldbringert
2005-11-29Transfer: support printing meta variable values.bringert
2005-11-29Transfer: don't eta-expand overshadowed constructors.bringert
2005-11-29Fixed type argument to recursive call in generated composOp.bringert
2005-11-29Added numerals example.bringert
2005-11-29Made layout test example more compilcated.bringert
2005-11-29In transfer beta reduction optimization: reduce bottom-up instead of top-down.bringert
2005-11-29Added meta variables to transfer front-end and core.bringert
2005-11-29Transfer generation: cat constructors should not have tree types.bringert
2005-11-29Transfer data type generation now uses the Tree type constructor for data con...bringert
2005-11-29Added GrammarToTransfer. It works, except that the constructor types are miss...bringert
2005-11-28Added TODO about layout bug.bringert
2005-11-28Transfer compiler: extended variable removal to variables bound in case expre...bringert
2005-11-28Transfer compilation: Change varibles which are not used to wildcards.bringert
2005-11-28Fixed transfer composOp generation to support tree types that don't take a si...bringert
2005-11-28Changed precedence of projection to be higher than application.bringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-02 17:40:28 +0000