229 Commits

Author	SHA1	Message	Date
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
aarne	f5f59e4b4f	new compilation phase, not finished	2006-11-10 16:22:01 +00:00
aarne	03afcade3f	lookup with more information	2006-11-09 22:05:43 +00:00
aarne	5c4438409d	record order bug fix	2006-10-11 20:44:18 +00:00
aarne	623e05a94f	gfcc compilation: know bugs fixed	2006-10-01 15:41:32 +00:00
aarne	d4e1e2d192	bug fixes in multigrammar handling and GFCC generation	2006-09-16 18:42:46 +00:00
aarne	fda42f61c4	the Error type; better lexer error reporting	2006-09-01 15:11:22 +00:00
aarne	3fa9d5060f	romance ImpPlP1 corrected	2006-06-21 07:51:44 +00:00
aarne	a6cc18c8bd	resource.txt updates ; lock field and lookup book fixes	2006-06-20 15:05:22 +00:00
aarne	0333ba894b	made -fcfg default parser; added lexer textvars	2006-06-20 08:38:44 +00:00
aarne	e4a9b92b85	restored lock fields with a clearer warning	2006-06-18 19:23:00 +00:00
aarne	ea9dcc6b3c	bug fix in MkConcrete	2006-06-08 09:54:41 +00:00
aarne	477feb0af1	fixed a file reading bug ; improved pi	2006-06-03 13:03:17 +00:00
aarne	26f52e8380	check circularities in ln	2006-06-03 11:51:08 +00:00
aarne	3da949d3d7	also count lin in oper circ check (some problems remain)	2006-06-02 15:42:57 +00:00
peb	526ce96dfa	added -fcgf grammar printer	2006-06-02 10:44:41 +00:00
aarne	50326c7dcd	less recompilation of cf and morpho	2006-06-01 22:35:43 +00:00
kr.angelov	a5758468ed	add the FCFG parser	2006-06-01 11:19:47 +00:00
aarne	6f57b5b530	BronzeageDan	2006-05-30 14:36:40 +00:00