Commit Graph

18 Commits

Author SHA1 Message Date
bringert
49849d7fe3 Regenerated transfer bnfc stuff with latest bnfc, happy and alex, to be able to compile on GHC CVS. 2006-05-20 01:41:53 +00:00
bringert
145e0a4c82 Transfer: Removed PType from source and core languages. 2006-03-03 10:34:15 +00:00
bringert
e22275d467 Regenerate Transfer abstract syntaxes with updated BNFC. 2006-01-03 10:29:47 +00:00
bringert
ccfe7fb119 Transfer: changed syntax to remove the mandatory type annotation in let. 2005-12-09 11:45:57 +00:00
bringert
1094204640 Transfer: Fixed BNFC's layout resolver to not insert semicolon at end of line if there is one already. 2005-12-06 16:19:29 +00:00
bringert
5be879dd54 Transfer: Changed BNFC's layout syntax resolver to add a semicolon at EOF if 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-06 15:57:43 +00:00
bringert
747271941a Added tuple expressions and patterns. 2005-12-05 16:44:56 +00:00
bringert
983aef132b Transfer added guards and Eq derivation. 2005-12-02 18:33:08 +00:00
bringert
396cc63cfc Added list patterns. Added som simple prelude functions. 2005-12-01 17:27:06 +00:00
bringert
56f62f31d8 Transfer: Added Double type. 2005-12-01 16:55:57 +00:00
bringert
635845eed8 Transfer: added support for disjunctive patterns. 2005-12-01 15:37:47 +00:00
bringert
938318d72b Fixed layout stop word bug. 2005-11-30 21:30:36 +00:00
bringert
7dfa184285 Added bind operators, do-notation, a cons operator and list sytnax. 2005-11-30 20:27:01 +00:00
bringert
9a2dea46d1 Use rec and sig for records. 2005-11-29 18:16:33 +00:00
bringert
eef20fa404 Added meta variables to transfer front-end and core. 2005-11-29 15:48:13 +00:00
bringert
5d7bcac1e5 Changed precedence of projection to be higher than application. 2005-11-28 21:45:58 +00:00
bringert
5a82068ddc Regenerated transfer layout syntax module with bug-fixed BNFC. Fixed printing of tokens in correct positions in the layout test program. 2005-11-28 21:25:03 +00:00
bringert
dbe8e61acc Move transfer into the GF repo. 2005-11-25 16:36:19 +00:00