247 Commits

Author	SHA1	Message	Date
aarne	3e108b98dd	subex elim in gfr generation	2008-01-01 23:31:12 +00:00
bringert	070ccd045d	Added newlines and ends of some files. This makes sed happy.	2007-12-20 17:07:56 +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	61a9bdbe34	removed dep. on GFCCRaw	2007-12-14 09:25:18 +00:00
aarne	03589b5a3c	restored CanonToGFCC as a wrapper of GFCC generation	2007-12-14 07:31:53 +00:00
aarne	095018c8e4	new GFCC concrete syntax in place everywhere	2007-12-13 20:19:47 +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
bernardy	cd75d0ed13	Slightly nicer output when reading old grammars	2007-10-15 08:05:33 +00:00
kr.angelov	6bc3dc45b6	FCat is just a plain integer now	2007-10-12 16:00:37 +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	d24f495274	cleaned up obsolete GFCC references	2007-10-06 07:37:44 +00:00
aarne	122546b9d6	gf works with the new gfcc format	2007-10-05 12:54:29 +00:00
aarne	99d9def10e	order of FCFGS in shell state.	2007-09-28 07:06:53 +00:00
kr.angelov	cd213f3e56	remove FTypes module and move all definitions to Formalism.FCFG	2007-09-24 08:12:11 +00:00
kr.angelov	9efddd16ce	remove some redundant dependencies from FCFG	2007-09-23 20:01:25 +00:00
aarne	121c247d15	compact printing of gf files	2007-09-20 21:51:54 +00:00
aarne	7fd4e067fa	adapted GFCC2FCFG to other uses of GFCC, made it to default parser	2007-09-19 13:49:12 +00:00
kr_angelov	82ca4a89df	GFCC to FCFG conversion	2006-12-28 16:45:57 +00:00
aarne	1bf0acb2be	bud fix in reading gfc without gfr	2007-09-17 06:58:41 +00:00
aarne	4d2992d69f	strict reading of files; bug fix in readFiles in ShellState	2007-09-16 20:52:27 +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	219c686633	extended functor syntax	2007-06-19 18:12:35 +00:00
aarne	f5b929acfc	fixed the mysterious "file..gfc" error	2007-06-18 21:21:13 +00:00
aarne	6d22ade8a8	overloading in ParadigmsFre	2007-06-18 18:31:02 +00:00
aarne	3adf824e8e	checking name conflicts; some RGs don't work now	2007-06-17 21:56:27 +00:00
aarne	333cf5e0e6	pattern matching optimization; trace of fun in compilation with -v	2007-06-08 12:50:01 +00:00
aarne	b24ecdfcba	syntax interfaces	2007-05-31 18:46:29 +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	2f9319d7fd	fix in etaexpand optimization	2007-01-11 11:42:39 +00:00
aarne	575a49620f	a slight optimization in eta expand	2007-01-10 21:27:15 +00:00
aarne	9b1fb0c1c0	semantics of variants	2007-01-10 21:03:18 +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	dbb2afd461	rename patterns bug fix	2006-11-24 09:32:16 +00:00
aarne	6f54f86253	Constructors documented	2006-11-21 18:18:54 +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	7fc40d2b7a	bug fix with ** in Evaluation	2006-11-13 23:55:50 +00:00
aarne	fbd9b862e2	thread EEnv into ShellState	2006-11-12 13:24:13 +00:00
aarne	28686eeba9	i -eval bug fixed: should work now	2006-11-12 11:31:08 +00:00