1586 Commits

Author	SHA1	Message	Date
krasimir	ec2d7e2299	pass the full Tokn type to the add function not just the KS string	2008-10-14 13:29:45 +00:00
aarne	a11f1b1437	paraphrase works a little better now ; added examples/paraphrase for testing	2008-10-14 11:19:30 +00:00
krasimir	3fe0cccaf7	remove trace in the PMCFG compilation	2008-10-14 09:40:55 +00:00
krasimir	4573d10442	the new optimized incremental parser and the common subexpression elimination optimization in PMCFG	2008-10-14 08:00:50 +00:00
aarne	54f8fd9ec1	added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet	2008-10-13 16:41:21 +00:00
aarne	fbc72e3230	added a note on refreshing variables in AbsCompute	2008-10-10 16:01:07 +00:00
aarne	4e795bab9b	a first version of PGF.AbsCompute	2008-10-10 15:53:17 +00:00
bjorn	88798b2a23	Added option to treat some categories as lexical when generating Haskell data types.	2008-10-10 11:55:12 +00:00
aarne	e765b97fc4	simplified 1.5 by removing mathematical/	2008-10-06 12:49:13 +00:00
aarne	394050d9f7	added a command for tree operations and started a module for defining them	2008-10-05 19:49:26 +00:00
aarne	e88c7a28a7	adapted old AbsCompute for use with source GF terms	2008-10-05 18:01:42 +00:00
aarne	e20969ab5d	prevent pgf from being empty when there are no concrete syntaxes	2008-10-05 15:44:16 +00:00
aarne	21aa3cfa17	forced checking def definitions; accept pgf with no concretes	2008-10-05 15:21:08 +00:00
aarne	27de3c0e7b	print full types instead of lock field heuristics in overload resolution if the heuristic is misleading	2008-10-03 18:18:21 +00:00
aarne	4c08128503	return error on undefined opers in instance and resource	2008-10-03 16:16:45 +00:00
bjorn	5bc73e10bc	Merge mine and aarne's variants linearization changes.	2008-10-03 09:53:25 +00:00
bjorn	59cb392bda	Don't build FV terms if there is exactly one variant.	2008-10-03 08:18:24 +00:00
aarne	8290be0eb2	made variants checking symmetric for Ints m == Ints n in PGF.Check	2008-10-03 08:02:54 +00:00
aarne	759ee4f926	fixed the over-expansion of record variants in PGF.Linearize	2008-10-03 07:57:40 +00:00
bjorn	07b3870699	Fixed variants semantics in PGF linearization to expand make variants of argument lists, to get things like Auto/Wagen gender right.	2008-10-03 07:53:37 +00:00
bjorn	1e8699d159	Added | syntax for variants.	2008-10-03 07:35:26 +00:00
bjorn	b7fe4eacc9	Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23	2008-10-03 07:16:39 +00:00
bjorn	fa69bd8ab3	Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used, no hand-hacking is needed.	2008-10-02 14:11:41 +00:00
bjorn	9e501521b4	Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.	2008-10-02 13:42:24 +00:00
bjorn	86a30ef992	Converted GF/Source/*.hs to Unix line endings, to be able to see what happens when I regenerated the files.	2008-10-02 13:23:54 +00:00
bjorn	8fb068df6a	Fail more gracefully on unknown file name extensions.	2008-10-02 12:32:03 +00:00
aarne	429092ac6a	added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding	2008-10-01 16:01:51 +00:00
bjorn	203430ae6d	Use parantheses for precedence in pgf-pretty lincats.	2008-09-30 12:02:58 +00:00
bjorn	446aa1b5db	Added --cfg option for specifying which CFG transformations to use. Added startcatonly CFG trasnformation. Removed output formats that are now easily done with --cfg: "regular", "nolr".	2008-09-30 11:52:11 +00:00
bjorn	794fbd4a41	Fixed CFG start cats for categories with more than one constituent.	2008-09-30 10:53:36 +00:00
bjorn	3ca6c605b0	Use filtering in regular printer.	2008-09-30 09:39:09 +00:00
bjorn	41c95825f3	SRG conversion: print CFG when a unknown cat is found in renameCats. Do filtering in ebnf printer.	2008-09-30 09:32:16 +00:00
bjorn	8716e48c21	pgf-pretty: remove single field record lincat hack. handle f "" (S []) correctly.	2008-09-30 09:31:31 +00:00
bjorn	664bebf5ce	Some pgf-pretty fixes, including note by Peter about W "apa" (S []).	2008-09-30 07:24:01 +00:00
peb	b5ae83f899	Changes to the prolog output format	2008-09-25 07:32:39 +00:00
bjorn	ba321be3ff	Added pgf-pretty output-format	2008-09-26 15:21:32 +00:00
bjorn	0f4e8468be	Added isLiteralCat function to PGF.Macros.	2008-09-26 15:04:13 +00:00
bjorn	804232aebc	Added 'complete' function to the PGF API. This is a higher-level API to the completion functionality.	2008-09-26 13:17:21 +00:00
bjorn	b0dde31f00	Added semantic interpretation tag printing to the *bnf grammar printers.	2008-09-26 12:57:20 +00:00
bjorn	2f3b7d1c55	Use ebnf format for "regular" output-format.	2008-09-26 10:20:18 +00:00
bjorn	7a81b559fe	Changed nolr printer to use EBNF format.	2008-09-26 10:03:42 +00:00
bjorn	a372357adc	ebnf printer: print external cats first.	2008-09-26 09:58:57 +00:00
bjorn	86e94e3b1b	bnf and ebnf printer: align ::= symbols.	2008-09-26 09:54:09 +00:00
bjorn	a4ded76aa3	SRG category renaming: don't count the external cats when calculating indices.	2008-09-26 09:44:02 +00:00
bjorn	d1a2cdb948	Changed SRG category renaming to use GF cat + index among CFG cats for that GF cat, instead of the old Concrete syntax name + index among all CFG cats.	2008-09-26 09:39:48 +00:00
bjorn	65f302bb84	Oops, I accidentally disabled all CFG simplification and LR-removal with the ENBF printing patch.	2008-09-26 09:39:04 +00:00
bjorn	1bcffdce30	Change category naming in CFG generation: the number now starts from 1 for each GF category, instead of being the FCFG category number.	2008-09-26 09:28:03 +00:00
bjorn	92c76a6265	Added --output-format=ebnf.	2008-09-26 09:20:39 +00:00
bjorn	8fa99886b3	In CFG generation: don't add linrow number if the lincat has only a single constituent.	2008-09-26 09:06:52 +00:00
bjorn	b114cfda77	Added --output-format=nolr. Minor makeRegular refactoring.	2008-09-25 13:41:07 +00:00