summaryrefslogtreecommitdiff
path: root/src/PGF
AgeCommit message (Collapse)Author
2008-10-28even more compact binary representation. saldo < 19MBkrasimir
2008-10-28remove some traces that I left by incidentkrasimir
2008-10-28remove some redundant imports of GF.Text.UTF8krasimir
2008-10-28forgot to add PGF.Binarykrasimir
2008-10-28binary serialization for PGFkrasimir
2008-10-28define Read and Show instances for Expr and Treekrasimir
2008-10-21efficient and nicer implementation for literal categorieskrasimir
2008-10-20the literal categories were slowing down the parser 3 times. this is quick ↵krasimir
and dirty workaround until I find something cleverer.
2008-10-20Added PGF.Macros.mapConcretesbjorn
2008-10-20Added Read and Show instances for CId. Also added readCId :: String -> Maybe ↵bjorn
CId, and use that for readLanguage.
2008-10-20Added Read and Show instances for Type. This required moving some code around.bjorn
2008-10-20Replace Category with Type in the PGF API. Added readLanguage and showLanguage.bjorn
2008-10-20preparation for dep. types. The -cat option can take any type instead of ↵krasimir
just a category. The PGF API is generalized as well.
2008-10-20add parser and pretty printer for typeskrasimir
2008-10-19move the literal category names to PGF.Macroskrasimir
2008-10-19move PGF.Quiz to GF.Quiz. It is not part of the PGF APIkrasimir
2008-10-16Moved parser building in the PGF interpreter to PGF.hs from ↵bjorn
PGF/Raw/Convert.hs, in preparation for doing something more clever about it (e.g. looking at the parser flag).
2008-10-16code tweak: use Map.findWithDefault in PGF.Macros.lookMapbjorn
2008-10-15restored the possibility to compile .cf files to gfaarne
2008-10-15high-order syntax in PMCFGkrasimir
2008-10-15threat category _Var as a literal categorykrasimir
2008-10-15generate metavariables in the tree extraction for PMCFGkrasimir
2008-10-15store the total number of PMCFG categories in the PGF filekrasimir
2008-10-14literal categories in the incremental parserkrasimir
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
2008-10-14pass the full Tokn type to the add function not just the KS stringkrasimir
2008-10-14paraphrase works a little better now ; added examples/paraphrase for testingaarne
2008-10-14the new optimized incremental parser and the common subexpression ↵krasimir
elimination optimization in PMCFG
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, ↵aarne
and step by step; doesn't work properly yet
2008-10-10added a note on refreshing variables in AbsComputeaarne
2008-10-10a first version of PGF.AbsComputeaarne
2008-10-06simplified 1.5 by removing mathematical/aarne
2008-10-03Merge mine and aarne's variants linearization changes.bjorn
2008-10-03Don't build FV terms if there is exactly one variant.bjorn
2008-10-03made variants checking symmetric for Ints m == Ints n in PGF.Checkaarne
2008-10-03fixed the over-expansion of record variants in PGF.Linearizeaarne
2008-10-03Fixed variants semantics in PGF linearization to expand make variants of ↵bjorn
argument lists, to get things like Auto/Wagen gender right.
2008-10-03Handle concatenations with variants in PGF.ShowLinearize, fixes ↵bjorn
http://trac.haskell.org/gf/ticket/23
2008-10-01added mode 'gf --run' for running silently a script ; made quizzes handle ↵aarne
character encoding correctly ; for this end, collected coding functions in GF.Text.Coding
2008-09-26Added isLiteralCat function to PGF.Macros.bjorn
2008-09-16build parsers on demand if they aren't in the PGF filekrasimir
2008-09-16fix the segmentation fault with Swedishkrasimir
2008-08-19Fix order in the cncnames list in unionPGF. It was made in reverse.bjorn
2008-08-18When producing PGF, do UTF-8 encoding of the whole file after pretty ↵bjorn
printing instead of walking through the PGF structure before pretty-printing. The old code was brittle, and only converted strings in the lins and opers, not in printnames and parsers. The old code also double encoded some grammars when using gfc to combine PGF files.
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne