308 Commits

Author	SHA1	Message	Date
krasimir	2d3340b48a	During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.	2010-10-25 11:31:16 +00:00
krasimir	775e59dabe	added explicit depth parameter to the parsing API and the corresponding command in the shell	2010-10-18 16:51:25 +00:00
krasimir	8970184578	added option -depth to command gr	2010-10-12 13:36:37 +00:00
krasimir	89ae7a3ac4	forgot to remove a trace message	2010-10-02 13:38:00 +00:00
krasimir	cb8795c222	refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax	2010-10-02 13:03:57 +00:00
aarne	709b0518fa	restored the .ebnf grammar format	2010-09-24 12:39:49 +00:00
krasimir	617ce3cce6	the first revision of exhaustive and random generation with dependent types. Still not quite stable.	2010-09-22 15:49:16 +00:00
krasimir	1c9305e7a3	cleanup and export the Probabilistic API from PGF	2010-09-22 09:06:19 +00:00
krasimir	fad0512c94	added missing case for GF.Compile.GeneratePMCFG.evalTerm	2010-08-30 07:54:53 +00:00
krasimir	b0e110cf4f	native representation for HOAS in PMCFG and incremental type checking of the parse forest	2010-08-09 10:10:08 +00:00
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