119 Commits

Author	SHA1	Message	Date
krasimir	d8b049fdf8	rename GF.Grammar.Predef.isPredefCat to isLiteralCat	2010-06-17 15:08:12 +00:00
krasimir	183c878173	GF.Grammar.Lookup.allParamValues now works for table types as well	2010-06-17 09:51:10 +00:00
krasimir	e8428b3d67	revert change in GF.Grammar.Printer that was intended for debugging only	2010-06-08 09:53:13 +00:00
krasimir	c3f4c3eba7	refactoring in GF.Grammar.Grammar	2010-05-28 14:15:15 +00:00
krasimir	f9f2491fcc	composOp should iterate under ImplArg	2010-05-28 12:19:04 +00:00
krasimir	ee6fdbf68f	bugfix in GF.Grammar.Printer	2010-05-28 09:43:58 +00:00
krasimir	6313244eac	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
aarne	5dfda62ad1	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	e7f01aa5f0	fix checkInfoType in Parser.y	2010-03-22 23:49:15 +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	985bb550c0	fix the precedence for patterns ~, - and @	2010-03-18 19:52:45 +00:00
krasimir	f870c4d80f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	21b10f91cb	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	d2988814a8	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	19b17dceb6	no need to keep the list of constructors per category in .gfo	2010-02-16 09:34:02 +00:00
krasimir	64da1c2021	allow negative integers in the grammar syntax	2010-02-08 12:59:22 +00:00
krasimir	b90e56a94e	fix the tabular printing when there is a V constructor	2010-02-03 17:33:55 +00:00
krasimir	be6465a2eb	refactor GF.Infra.Modules for better error messages	2010-01-31 15:54:25 +00:00
krasimir	f85232947e	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00