13 Commits

Author	SHA1	Message	Date
bringert	145e0a4c82	Transfer: Removed PType from source and core languages.	2006-03-03 10:34:15 +00:00
bringert	ccfe7fb119	Transfer: changed syntax to remove the mandatory type annotation in let.	2005-12-09 11:45:57 +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	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	dbe8e61acc	Move transfer into the GF repo.	2005-11-25 16:36:19 +00:00