summaryrefslogtreecommitdiff
path: root/src/Transfer
AgeCommit message (Collapse)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
2006-05-20Regenerated transfer bnfc stuff with latest bnfc, happy and alex, to be able ↵bringert
to compile on GHC CVS.
2006-03-03Transfer: Removed PType from source and core languages.bringert
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
made it 1-based as in docs, instead of 0-based as before.
2005-12-06Transfer: Changed transfer program file extension from .tr to .tra to avoid ↵bringert
collision with Troff file extension.
2005-12-06Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of ↵bringert
line if there is one already.
2005-12-06Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if ↵bringert
using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.
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. ↵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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:20:44 +0000