14 Commits

Author	SHA1	Message	Date
krasimir	38e04d0872	bugfix in GF.Grammar.Printer	2010-05-28 09:43:58 +00:00
krasimir	0b6b30d4a8	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
aarne	5d75073313	fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type	2010-03-31 22:05:12 +00:00
krasimir	20d25c23cd	fix checkInfoType in Parser.y	2010-03-22 23:49:15 +00:00
krasimir	d3a84f994b	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	b2c785edfa	fix the precedence for patterns ~, - and @	2010-03-18 19:52:45 +00:00
krasimir	0c2944fa7f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	46c04f4c91	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	e876fad3fa	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	899ed163a1	no need to keep the list of constructors per category in .gfo	2010-02-16 09:34:02 +00:00
krasimir	8c4fd9de9b	allow negative integers in the grammar syntax	2010-02-08 12:59:22 +00:00
krasimir	e33447aadd	fix the tabular printing when there is a V constructor	2010-02-03 17:33:55 +00:00
krasimir	4485e97181	refactor GF.Infra.Modules for better error messages	2010-01-31 15:54:25 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00