summaryrefslogtreecommitdiff
path: root/src/Transfer
AgeCommit message (Collapse)Author
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. ↵bringert
Created CompilerAPI.
2005-11-30Moved class stuff to prelude.bringert
2005-11-30Remove more useless pattern matching and variable bindings in transfer ↵bringert
compilation.
2005-11-29Use rec and sig for records.bringert
2005-11-29Transfer: let expressions caused non-termination due to excessive ↵bringert
strictness, fixed.
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 ↵bringert
expressions.
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 ↵bringert
single type argument.
2005-11-28Changed precedence of projection to be higher than application.bringert
2005-11-28Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed ↵bringert
printing of tokens in correct positions in the layout test program.
2005-11-28Cleaned up closure stuff in the transfer interpreter.bringert
2005-11-25Added evaluateExp and builtin to InterpreterAPI. Check for EOF in ↵bringert
interactive transfer interpreter mode.
2005-11-25Move transfer into the GF repo.bringert