summaryrefslogtreecommitdiff
path: root/src/Transfer
AgeCommit message (Expand)Author
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