1975 Commits

Author	SHA1	Message	Date
aarne	70308bb549	command vt -mk for displaying overload-style function names	2009-11-15 20:03:28 +00:00
krasimir	7f407e8e32	lookupResType should always return the precomputed CncFun type	2009-11-14 09:21:34 +00:00
krasimir	a2452fce56	bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructors	2009-11-13 21:52:53 +00:00
krasimir	2ddefec2bc	for 'lincat C = T' the typechecker should check that T is a valid type	2009-11-13 10:25:31 +00:00
krasimir	5a63f221d7	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	28e6c021e7	parteval -> partial evaluation	2009-11-12 20:12:59 +00:00
krasimir	1c4525d763	bugfix: GF.Compile.GrammarToGFCC should not strip the parameter values	2009-11-12 20:09:59 +00:00
aarne	454dc5dd54	questions, relatives, numerals - most of Dutch syntax soon in place	2009-11-11 20:34:09 +00:00
krasimir	fad4c66451	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	8e623175a6	bugfix: if a concrete module has operations then they also should be optimized	2009-11-07 15:18:25 +00:00
krasimir	83eca99da1	check for cyclic parameters, operations and dependent types	2009-10-28 17:44:50 +00:00
krasimir	3f006ab7d9	refactoring in GF.Grammar.Lookup	2009-10-28 17:10:43 +00:00
krasimir	526e75fce1	restructure ResParam and ResValue	2009-10-28 16:47:01 +00:00
krasimir	d99e134fed	bugfix in GF.Compile.CheckGrammar	2009-10-28 09:10:58 +00:00
krasimir	7656ff29b5	simplify the Term again	2009-10-27 15:45:05 +00:00
krasimir	f0ab7463e8	fix the compilation of MorphoService.hs	2009-10-27 09:10:50 +00:00
krasimir	6e0ed0f4d4	strip some redundant constructors from GF.Grammar.Grammar	2009-10-25 18:01:04 +00:00
krasimir	038b2c9f2d	small refactoring in GF.Compile.CheckGrammar	2009-10-25 15:20:44 +00:00
krasimir	6cb3228a04	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	9c0b693aec	refactoring in GF.Compile.Optimize	2009-10-24 16:08:00 +00:00
krasimir	73e1f0e81e	added tree visualizations in TranslateApp	2009-10-24 10:38:21 +00:00
krasimir	cc69abd7b6	expose the tree visualization via PGF API	2009-10-24 09:03:40 +00:00
krasimir	604c6e44f2	fix typo	2009-10-23 12:16:29 +00:00
krasimir	4e7a5bb297	experimental robust parser	2009-10-23 08:35:32 +00:00
aarne	1141be0972	fix for multiword phrases in Malt format	2009-10-20 19:27:42 +00:00
aarne	6fc1ea5922	MaltParser input	2009-10-20 14:45:02 +00:00
aarne	0b220af720	Malt parser .conll format by vd -output=malt	2009-10-20 13:04:33 +00:00
aarne	f37d5a0f65	labels read from config files for dependency trees, eg lib/src/dep.labels	2009-10-19 15:53:30 +00:00
aarne	79e4d6ebf8	one missing case in dep trees	2009-10-19 12:47:31 +00:00
aarne	650aab234a	labels in dep trees (preliminary)	2009-10-19 08:47:44 +00:00
aarne	4f7595b1f5	improved printing of dependency trees	2009-10-18 19:24:01 +00:00
krasimir	fb60cc36d1	added smart constructors for types in PGF	2009-10-15 16:21:26 +00:00
krasimir	3cf44aaa74	make the GF server to compile after that changes in the PGF runtime	2009-10-15 11:32:25 +00:00
aarne	fa8bcda821	rudimentary dependency tree by command vd	2009-10-08 07:03:29 +00:00
aarne	deb905bbdb	parse tree visualization command vp	2009-10-07 16:18:33 +00:00
krasimir	f607cd0108	remove duplicated function from GF.Grammar.Macros	2009-10-07 09:33:57 +00:00
krasimir	7ba65bb0d4	fix the error message for overload resolution	2009-10-06 14:59:02 +00:00
krasimir	1a58e32362	hopefully the last revision of the relative paths handling algorithm	2009-10-06 10:27:34 +00:00
krasimir	d258b72719	another attempt to get the paths handling right	2009-10-05 14:58:13 +00:00
aarne	6a744bfb5f	paths in Symbol modules; present in ResRon (not complete)	2009-10-05 12:54:17 +00:00
krasimir	da177ed66a	bugfix in extendPathEnv	2009-10-03 07:39:06 +00:00
krasimir	f000f30714	merge GF.Grammar.API into GF.Grammar	2009-10-02 23:34:35 +00:00
krasimir	9b2c81436c	refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well	2009-10-02 22:52:14 +00:00
krasimir	2732a7a22e	Implicit arguments in GF. Works only in PGF for now.	2009-10-02 13:25:12 +00:00
krasimir	40373704ff	refactoring in GF.Grammar.Macros	2009-09-21 06:56:39 +00:00
krasimir	c2ef7ed35d	syntax for implicit arguments in GF	2009-09-20 13:47:08 +00:00
krasimir	7c805b8ff7	rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGF	2009-09-20 10:28:27 +00:00
krasimir	73e11a60c5	remove the Read instances from GF.Grammar.Grammar	2009-09-20 10:16:59 +00:00
krasimir	94068df3fb	rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF	2009-09-20 10:15:39 +00:00
krasimir	1dfa67a30a	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