73 Commits

Author	SHA1	Message	Date
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
krasimir	850b897f08	added comment to every GF.Text.CPxxxx module about the purpose of the codepage	2010-03-23 12:19:34 +00:00
krasimir	e7f01aa5f0	fix checkInfoType in Parser.y	2010-03-22 23:49:15 +00:00
krasimir	bf74f50733	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
aarne	716a209f65	PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage	2010-03-22 19:03:06 +00:00
krasimir	2ac96a7643	transliteration for Urdu	2010-03-22 09:29:43 +00:00
krasimir	0da54cdf64	produce optimized Lambda Prolog code	2010-03-22 08:56:42 +00:00
krasimir	fba592ecf8	added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.	2010-03-20 07:26:53 +00:00
krasimir	973a0cacb7	pattern @ should be propagated to PGF	2010-03-18 20:21:57 +00:00
krasimir	985bb550c0	fix the precedence for patterns ~, - and @	2010-03-18 19:52:45 +00:00
krasimir	f870c4d80f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	21b10f91cb	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	d2988814a8	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	57c2a4dcd2	fix the Haskell code generation	2010-02-17 13:09:23 +00:00
krasimir	19b17dceb6	no need to keep the list of constructors per category in .gfo	2010-02-16 09:34:02 +00:00
krasimir	64da1c2021	allow negative integers in the grammar syntax	2010-02-08 12:59:22 +00:00
aarne	f0f9c0acfa	generalized tour to a variable language by the script MkTour	2010-02-08 10:52:08 +00:00
krasimir	9564d85fa5	command cc now works even without loaded grammar. useful for testing closed expressions	2010-02-07 19:23:26 +00:00
krasimir	2544ea8c8a	in verbose mode print the rule names when compiling PMCFG	2010-02-06 18:24:15 +00:00
krasimir	168d459c49	bugfix in GrammarToPGF related to the compilation of def rules	2010-02-05 22:16:44 +00:00
aarne	064cfef331	command eh ; lib/doc/tour started	2010-02-03 20:55:54 +00:00
krasimir	b90e56a94e	fix the tabular printing when there is a V constructor	2010-02-03 17:33:55 +00:00
aarne	510d511637	commands mq and tq can take a tree with metas to guide generation	2010-02-01 09:56:58 +00:00
aarne	26236652a6	command l -list ; fixed mq to work with the new tabularLinearizes	2010-01-31 16:05:23 +00:00
krasimir	be6465a2eb	refactor GF.Infra.Modules for better error messages	2010-01-31 15:54:25 +00:00
aarne	e71545eab1	gt and gr can start from a tree with metavariables, just filling them	2010-01-30 18:01:18 +00:00