summaryrefslogtreecommitdiff
path: root/src/Transfer
AgeCommit message (Expand)Author
2006-01-03Regenerate Transfer abstract syntaxes with updated BNFC.bringert
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-06Transfer: Changed transfer program file extension from .tr to .tra to avoid c...bringert
2005-12-06Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of line...bringert
2005-12-06Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if ...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 Double type.bringert
2005-12-01Transfer: added support for disjunctive patterns.bringert
2005-11-30Fixed layout stop word bug.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-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 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: 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-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-28Changed precedence of projection to be higher than application.bringert
2005-11-28Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing...bringert
2005-11-28Cleaned up closure stuff in the transfer interpreter.bringert
2005-11-25Added evaluateExp and builtin to InterpreterAPI. Check for EOF in interactive...bringert
2005-11-25Move transfer into the GF repo.bringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:11:19 +0000