98 Commits

Author	SHA1	Message	Date
krasimir	712b113c9a	fix the algorithm for items cutting in the partial parser	2010-07-15 14:01:51 +00:00
krasimir	95f1d40c56	report type errors in the shell from command "p"	2010-07-07 12:23:21 +00:00
krasimir	710b8f1bf7	the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs	2010-07-01 15:38:16 +00:00
krasimir	e0231cbf5b	reorganize the modules in GF.Compile.*	2010-07-01 14:19:32 +00:00
krasimir	5ae7be358d	redesign the open-literals API	2010-07-01 08:51:59 +00:00
krasimir	706b215fce	compilation of pattern matching using the algorithm of Lennart Augustsson. Not used yet	2010-06-30 16:00:47 +00:00
krasimir	eb0bd54e68	rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)	2010-06-30 07:40:22 +00:00
krasimir	4c576ebbc9	forgot to fix the import in GF.Speech.CFG to get the Token type	2010-06-29 12:58:35 +00:00
krasimir	272dcf6917	introduce the type synonym Token=String in the PGF API	2010-06-29 09:00:41 +00:00
krasimir	a6b8c11905	fix the compilation of literal categories in GeneratePMCFG.hs	2010-06-22 11:29:20 +00:00
krasimir	e94a1c7408	GF.Grammar.Printer: print expressions with lincat and lin	2010-06-21 15:23:49 +00:00
krasimir	7e9b1ebfa4	addFCoercion -> addCoercion in GeneratePMCFG	2010-06-20 08:53:25 +00:00
krasimir	9995a834ae	getFCats -> getFIds in GeneratePMCFG	2010-06-20 08:45:31 +00:00
krasimir	a77815e35a	removed debugging code in GeneratePMCFG.hs	2010-06-20 08:30:00 +00:00
krasimir	992a7ffb38	Yay!! Direct generation of PMCFG from GF grammar	2010-06-18 12:55:58 +00:00
krasimir	5dfc9bbc0b	the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.	2010-06-18 10:19:05 +00:00
krasimir	d8b049fdf8	rename GF.Grammar.Predef.isPredefCat to isLiteralCat	2010-06-17 15:08:12 +00:00
krasimir	183c878173	GF.Grammar.Lookup.allParamValues now works for table types as well	2010-06-17 09:51:10 +00:00
aarne	74811193ed	case for pre in CF generation (ignores alternatives so far)	2010-06-03 21:43:35 +00:00
krasimir	d6f32b3bcd	dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax	2010-06-09 11:32:59 +00:00
krasimir	31cd91e67e	fixed bug in the recompilation checker which caused the phrasebook to be recompiled each time	2010-06-08 18:57:50 +00:00
krasimir	002965336a	bugfix for flag -no-recomp	2010-06-08 15:40:47 +00:00
krasimir	e8428b3d67	revert change in GF.Grammar.Printer that was intended for debugging only	2010-06-08 09:53:13 +00:00
krasimir	c3f4c3eba7	refactoring in GF.Grammar.Grammar	2010-05-28 14:15:15 +00:00
krasimir	f9f2491fcc	composOp should iterate under ImplArg	2010-05-28 12:19:04 +00:00
krasimir	ee6fdbf68f	bugfix in GF.Grammar.Printer	2010-05-28 09:43:58 +00:00
krasimir	6eda1118fc	since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation	2010-05-26 09:37:32 +00:00
krasimir	31856ebb4c	now the parser could return partial parse results	2010-05-19 12:31:36 +00:00
aarne	abfda7dd48	spacing of German numerals	2010-05-08 13:54:38 +00:00
aarne	c5b3de8825	Amharic transliteration by Markos	2010-05-07 12:23:57 +00:00
krasimir	9e7b914c3c	for backward compatibility we have the old parse function again. the old functionality is exposed by parse_	2010-04-30 20:18:26 +00:00
krasimir	8460598801	first incarnation of the bracketed string API	2010-04-30 14:36:06 +00:00
aarne	3148bc3d90	new option pg -funs	2010-04-28 19:09:59 +00:00
krasimir	68de1cead3	wf,vt,vp,vd,aw should store files in utf8	2010-04-28 17:37:53 +00:00
krasimir	c87bbcb8e4	fix the -view option for vt,vp,vd,aw to work on Windows	2010-04-27 20:01:54 +00:00
krasimir	2f62ab26e6	convert GF.Data.SortedList to UTF8	2010-04-24 09:13:26 +00:00
aarne	dc971bd051	removed mention of 2.9 welcome, and some traces in visualization	2010-04-22 06:36:37 +00:00
krasimir	50a7512c1b	fix command cc for Unicode	2010-04-19 15:41:23 +00:00
krasimir	7c67a90327	always use Haskeline. drop Readline & Editline	2010-04-19 15:12:52 +00:00
krasimir	6313244eac	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
aarne	ba13052d31	dependency graph can be restricted to some modules; added help dg	2010-04-06 08:53:44 +00:00
aarne	7a14507189	in the shell, permit 3-letter lang codes as concrete syntax names	2010-04-04 20:46:36 +00:00
aarne	cdd9efa559	Urdu transliteration fixed (by Shafqat)	2010-04-01 12:24:04 +00:00
aarne	5dfda62ad1	fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type	2010-03-31 22:05:12 +00:00
krasimir	9a1d0e8d11	bugfix in the lProlog generator	2010-03-24 20:54:20 +00:00
krasimir	14f19b9865	partial support for def-rules in the Lambda Prolog generation	2010-03-24 16:12:58 +00:00
krasimir	68482aa7e9	now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.	2010-03-24 11:11:55 +00:00
krasimir	76d155af0e	typo in CheckGrammar	2010-03-23 15:35:32 +00:00
krasimir	c80c403da2	use the new more accurate location information for some error messages	2010-03-23 15:24:48 +00:00
krasimir	1e51690b71	added codepage for Turkish	2010-03-23 13:44:17 +00:00