414 Commits

Author	SHA1	Message	Date
krasimir	ee97e0b963	bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructors	2009-11-13 21:52:53 +00:00
krasimir	36d025877b	for 'lincat C = T' the typechecker should check that T is a valid type	2009-11-13 10:25:31 +00:00
krasimir	94171908c0	before the optimizations OptParametrize and OptValues were applied twice. in addition the values optimization is now always applied because it become very cheep	2009-11-12 21:11:51 +00:00
krasimir	3aa208dd2b	parteval -> partial evaluation	2009-11-12 20:12:59 +00:00
krasimir	3d838e0172	bugfix: GF.Compile.GrammarToGFCC should not strip the parameter values	2009-11-12 20:09:59 +00:00
krasimir	2a22325678	check grammar should process the definitions in dependency order. This also ensures that the list of parameters for some parameter type is complete	2009-11-07 15:30:57 +00:00
krasimir	7c513609f0	bugfix: if a concrete module has operations then they also should be optimized	2009-11-07 15:18:25 +00:00
krasimir	c330cac1db	check for cyclic parameters, operations and dependent types	2009-10-28 17:44:50 +00:00
krasimir	d130d30669	refactoring in GF.Grammar.Lookup	2009-10-28 17:10:43 +00:00
krasimir	980844a4ad	restructure ResParam and ResValue	2009-10-28 16:47:01 +00:00
krasimir	f2e5281602	bugfix in GF.Compile.CheckGrammar	2009-10-28 09:10:58 +00:00
krasimir	83bc6d4cda	simplify the Term again	2009-10-27 15:45:05 +00:00
krasimir	6753fdae72	strip some redundant constructors from GF.Grammar.Grammar	2009-10-25 18:01:04 +00:00
krasimir	d63be8ac72	small refactoring in GF.Compile.CheckGrammar	2009-10-25 15:20:44 +00:00
krasimir	8a0db59798	split the abstract syntax specific and the concrete syntax specific modules in different subfolders in GF.Compile	2009-10-24 17:42:02 +00:00
krasimir	873363ff9b	refactoring in GF.Compile.Optimize	2009-10-24 16:08:00 +00:00
krasimir	f1e39b52d1	fix the error message for overload resolution	2009-10-06 14:59:02 +00:00
krasimir	cbcdae9148	hopefully the last revision of the relative paths handling algorithm	2009-10-06 10:27:34 +00:00
krasimir	332dbf7b9b	another attempt to get the paths handling right	2009-10-05 14:58:13 +00:00
krasimir	4c77dcf938	merge GF.Grammar.API into GF.Grammar	2009-10-02 23:34:35 +00:00
krasimir	d64419f2f2	refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well	2009-10-02 22:52:14 +00:00
krasimir	af831e01a7	refactoring in GF.Grammar.Macros	2009-09-21 06:56:39 +00:00
krasimir	96786c1136	syntax for implicit arguments in GF	2009-09-20 13:47:08 +00:00
krasimir	a29a8e4f60	rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGF	2009-09-20 10:28:27 +00:00
krasimir	b1a51f46f5	change the data types and the syntax in PGF to match the new syntax for implict arguments	2009-09-20 11:43:41 +00:00
krasimir	726d160c8d	bugfix: the identifiers in the output of l -table should not be qualified	2009-09-25 08:53:27 +00:00
krasimir	bd2f46583c	remove the transfer modules. We don't need anything special, a transfer module is module without concrete syntax	2009-09-17 14:32:20 +00:00
krasimir	14dfbcc624	clean up the GF.Grammar API	2009-09-14 16:23:23 +00:00
krasimir	9f3534b3bb	Use GF.Grammar.Printer everywhere instead of PrGrammar	2009-09-14 15:13:11 +00:00
krasimir	4426120eff	fix typo in CheckGrammar	2009-09-14 12:34:46 +00:00
krasimir	62ef772a2c	CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that was hiding the warnings	2009-09-14 12:16:02 +00:00
krasimir	509d0cf8d8	added wrapper functions for expression manipulations in PGF. The Haskell API now uses the wrappers	2009-09-11 14:42:45 +00:00
krasimir	1cdf171251	polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr	2009-09-11 13:45:34 +00:00
krasimir	76517518a3	make the PMCFG generation lazy again. it was made strict when the profiler was introduced	2009-09-07 14:45:17 +00:00
krasimir	b97d6abb81	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	279ff9a6d2	PGF.Type.Hypo now can represent explicit and implicit arguments and argument without bound variable	2009-07-05 15:44:52 +00:00
krasimir	95a577d269	simple profiler for PMCFG	2009-09-05 14:04:39 +00:00
krasimir	b6abe5f8f5	if there is oper patt = #(...) then it also should be decoded to Unicode	2009-08-27 15:57:38 +00:00
krasimir	3ee04cc42d	fix the unicode encoding problem with the cc command	2009-08-18 07:08:44 +00:00
aarne	3049b59b35	cleaning up overshadow failure to warning, after testing resource compilation	2009-06-22 14:51:58 +00:00
aarne	f8fdaa7acc	fixed warnings in present compilation of resource, esp. unreached patterns	2009-06-22 14:30:55 +00:00
aarne	beb8cad7d8	the construct lin C t now replaces lock fields (in source code; still tempor used internally); lock fields removed from english resource as an example	2009-06-20 13:50:34 +00:00
aarne	48c7555975	accepting + patterns in pre expressions	2009-06-20 08:39:30 +00:00
krasimir	8bc8929c59	completely phrase based parser and support for pre {} in PMCFG	2009-06-16 11:56:08 +00:00
krasimir	41b263cf6a	some work on evaluation with abstract expressions in PGF	2009-05-22 18:54:51 +00:00
krasimir	a7900bfbc8	fix the handling of wildcards	2009-05-22 21:47:32 +00:00
krasimir	7f60804d5a	bugfix to the previous patches	2009-05-22 21:30:34 +00:00
krasimir	7db4b641ce	refactor the PGF.Expr type and the evaluation of abstract expressions	2009-05-20 21:03:56 +00:00
krasimir	8f2fb82750	more friendly error message when renaming patterns	2009-05-20 20:24:15 +00:00
krasimir	6de94f5300	fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically	2009-05-20 17:05:58 +00:00