index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Transfer
Age
Commit message (
Collapse
)
Author
2005-11-30
Transfer compiler: don't load the same module twice.
bringert
2005-11-30
Transfer compiler now has a search path. Use -ipath to add to the path. ↵
bringert
Created CompilerAPI.
2005-11-30
Moved class stuff to prelude.
bringert
2005-11-30
Remove more useless pattern matching and variable bindings in transfer ↵
bringert
compilation.
2005-11-29
Use rec and sig for records.
bringert
2005-11-29
Transfer: let expressions caused non-termination due to excessive ↵
bringert
strictness, fixed.
2005-11-29
Transfer: added derive composFold
bringert
2005-11-29
Transfer: support printing meta variable values.
bringert
2005-11-29
Transfer: don't eta-expand overshadowed constructors.
bringert
2005-11-29
Fixed type argument to recursive call in generated composOp.
bringert
2005-11-29
In transfer beta reduction optimization: reduce bottom-up instead of top-down.
bringert
2005-11-29
Added meta variables to transfer front-end and core.
bringert
2005-11-28
Transfer compiler: extended variable removal to variables bound in case ↵
bringert
expressions.
2005-11-28
Transfer compilation: Change varibles which are not used to wildcards.
bringert
2005-11-28
Fixed transfer composOp generation to support tree types that don't take a ↵
bringert
single type argument.
2005-11-28
Changed precedence of projection to be higher than application.
bringert
2005-11-28
Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed ↵
bringert
printing of tokens in correct positions in the layout test program.
2005-11-28
Cleaned up closure stuff in the transfer interpreter.
bringert
2005-11-25
Added evaluateExp and builtin to InterpreterAPI. Check for EOF in ↵
bringert
interactive transfer interpreter mode.
2005-11-25
Move transfer into the GF repo.
bringert