summaryrefslogtreecommitdiff
path: root/src/Transfer/SyntaxToCore.hs
AgeCommit message (Expand)Author
2008-06-26removed Transfer interpreteraarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
2008-06-25removed src for 2.9aarne
2005-12-09Transfer compiler: rename variables before doing any substitutions.bringert
2005-12-09Transfer: changed syntax to remove the mandatory type annotation in let.bringert
2005-12-08Transfer: fixed bug in prelude partition. Fixed naming of tuple field names, ...bringert
2005-12-05Added tuple expressions and patterns.bringert
2005-12-05Transfer: fixed Eq derivation to at least work for GF-generated Tree types.bringert
2005-12-02Transfer added guards and Eq derivation.bringert
2005-12-01Added list patterns. Added som simple prelude functions.bringert
2005-12-01Transfer: added support for disjunctive patterns.bringert
2005-11-30Added bind operators, do-notation, a cons operator and list sytnax.bringert
2005-11-30Transfer: derive instances, not functions.bringert
2005-11-30Transfer: reimplement operators with type classes.bringert
2005-11-30Moved class stuff to prelude.bringert
2005-11-30Remove more useless pattern matching and variable bindings in transfer compil...bringert
2005-11-29Use rec and sig for records.bringert
2005-11-29Transfer: added derive composFoldbringert
2005-11-29Transfer: don't eta-expand overshadowed constructors.bringert
2005-11-29Fixed type argument to recursive call in generated composOp.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-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-25Move transfer into the GF repo.bringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 10:00:00 +0000