56 Commits

Author	SHA1	Message	Date
krasimir	d6f32b3bcd	dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax	2010-06-09 11:32:59 +00:00
krasimir	6313244eac	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
krasimir	bf74f50733	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
krasimir	9b362ff231	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	faa638d6fc	rename some modules that had GFCC in the name to PGF+something	2009-12-14 10:10:58 +00:00
krasimir	f85232947e	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00