summaryrefslogtreecommitdiff
path: root/src/Transfer/Syntax
AgeCommit message (Collapse)Author
2006-03-03Transfer: Removed PType from source and core languages.bringert
2006-01-03Regenerate Transfer abstract syntaxes with updated BNFC.bringert
2005-12-09Transfer: changed syntax to remove the mandatory type annotation in let.bringert
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-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-29Use rec and sig for records.bringert
2005-11-29Added meta variables to transfer front-end and core.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 ↵bringert
printing of tokens in correct positions in the layout test program.
2005-11-25Move transfer into the GF repo.bringert