85 Commits

Author	SHA1	Message	Date
krasimir	9275cd20c6	merge Lookup and LookAbs and move some lookup functions from PrGrammar to Lookup	2009-01-31 22:08:12 +00:00
krasimir	4f093feb49	refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removed	2009-01-19 13:23:03 +00:00
aarne	ca4c63c58f	data structures for param values with number, preparing optimized pattern matching in grammar compilation	2008-12-08 07:15:19 +00:00
aarne	be9ff0cbca	forced checking def definitions; accept pgf with no concretes	2008-10-05 15:21:08 +00:00
aarne	56c2c0e067	print full types instead of lock field heuristics in overload resolution if the heuristic is misleading	2008-10-03 18:18:21 +00:00
aarne	4b707dbf01	return error on undefined opers in instance and resource	2008-10-03 16:16:45 +00:00
aarne	279c0367d8	better error msg for missing record labels	2008-09-09 19:43:33 +00:00
aarne	b962c3a0d3	alternative prtType to help debugging overload resolution errors	2008-08-20 06:44:58 +00:00
aarne	1302960992	forgiving names in concrete that are not in abstract, with a warning (no warning guaranteed if this is because restricted inheritance)	2008-08-14 20:25:52 +00:00
aarne	c5c6d13546	changed names of resource-1.3; added a note on homepage on release	2008-06-25 16:54:35 +00:00
aarne	7d721eb16e	removed src for 2.9	2008-06-25 16:43:48 +00:00
aarne	799fd2c3e5	finalizing experiments with Finnish nouns	2008-01-04 15:54:40 +00:00
aarne	eb10ccbe7c	restored Int size and last ; added lib/prelude to be the last in any grammar path	2007-12-16 22:24:36 +00:00
aarne	16e52b231a	partial check of dependencies with restricted inheritance	2007-11-08 23:34:45 +00:00
aarne	01bc4c138e	the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by commenting out)	2007-10-21 10:01:14 +00:00
aarne	280493064c	removing a trace	2007-10-12 08:42:52 +00:00
aarne	674dea6d57	check circularity in param	2007-10-12 08:37:57 +00:00
aarne	1d72f0b1f8	hacky solution to name resolution warnings	2007-07-05 14:08:58 +00:00
aarne	e2b6f56d17	contravariance in forgiving lock fields	2007-07-02 11:53:04 +00:00
aarne	f5b929acfc	fixed the mysterious "file..gfc" error	2007-06-18 21:21:13 +00:00
aarne	d01dfff9d3	overload checking and messages; resource.txt modifs	2007-05-31 09:58:38 +00:00
aarne	1317c89fd4	started direct compiler from GF to GFCC	2007-05-15 16:35:13 +00:00
aarne	0b4017bd50	removed the Str/Tok distinction in CheckGrammar - obsolete anyway.	2007-05-03 13:55:34 +00:00
aarne	58f76dd1cf	length test in overload	2006-12-21 10:38:26 +00:00
aarne	453e7c5c42	overload rules and their documentation	2006-12-21 09:25:02 +00:00
aarne	7bba9d1491	overload resolution with value type, for experiment	2006-12-19 23:34:36 +00:00
aarne	339aeb8bf6	partial application in overload resolution, with priority for full app	2006-12-19 16:32:15 +00:00
aarne	756b7708af	overloading API and examples	2006-11-18 21:10:46 +00:00
aarne	8a55561cbf	normalize record types in overload resolution	2006-11-18 20:54:10 +00:00
aarne	9d3fd3c9cf	overload syntax; type printing in CheckGrammar	2006-11-18 16:54:23 +00:00
aarne	3f30dfd347	oper overloading: first implemenatation using records	2006-11-17 13:40:55 +00:00
aarne	4b28aa89fa	internal representation for param value index	2006-11-14 19:13:33 +00:00
aarne	fda42f61c4	the Error type; better lexer error reporting	2006-09-01 15:11:22 +00:00
aarne	e4a9b92b85	restored lock fields with a clearer warning	2006-06-18 19:23:00 +00:00
aarne	26f52e8380	check circularities in ln	2006-06-03 11:51:08 +00:00
aarne	516abb5d58	lincat typecheck and abstract-interface extension fixed	2006-05-30 12:19:19 +00:00
aarne	1595e31a28	bug fix in with-modules and gr checker; factoring out cats to Common	2006-05-23 22:20:00 +00:00
aarne	0bffc3c9f6	inherent features of Int	2006-04-04 14:44:46 +00:00
aarne	bac9c25a3b	tram using compiled resources	2006-02-22 22:29:11 +00:00
aarne	2f91205ba0	testing precompiled libraries	2006-02-22 11:13:42 +00:00
aarne	9b4c57b0dd	math API; lock field warnings	2006-01-31 17:10:31 +00:00
aarne	64409337c5	more french	2006-01-20 16:56:38 +00:00
aarne	de7e50a92a	started romance predication; some restructuring of modules; CheckGrammar value table bug fix	2006-01-20 10:54:38 +00:00
aarne	c40ad4e79f	workaround for a compilation bug for param defs (to be fixed)	2006-01-19 17:27:46 +00:00
aarne	cd4e4c2076	incompleteness warning and PNeg in CheckGrammar	2006-01-16 09:47:08 +00:00
aarne	17449e42ba	type checking pattern bindings	2006-01-13 13:47:15 +00:00
aarne	69e1668f16	regular expression patterns	2006-01-07 14:39:40 +00:00
aarne	16a4868efa	regex patterns for tokens	2006-01-07 12:26:11 +00:00
aarne	731aea1a03	concatenation string patterns	2006-01-06 21:49:25 +00:00
aarne	c2dde4e80f	float parsing fixed	2005-12-11 17:48:55 +00:00