summaryrefslogtreecommitdiff
path: root/src/runtime/haskell
AgeCommit message (Collapse)Author
2010-06-29in PGF.Printer special output format for SymLitkrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22preliminary version of API for Open Literalskrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-18the automatically generated printnames were just junks. Now we store ↵krasimir
printnames only if they are explicitly specified.
2010-06-18PGF.Printer now dumps the printnames as wellkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work ↵krasimir
well with metavariables and high-order abstract syntax
2010-06-09filter the duplications when doing 'l -table'krasimir
2010-06-05Changing rec to rec_ in PGFjordi.saludes
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources from PGF folder.
2010-05-29I switched back to the old algorithm for generating dependency trees. This ↵krasimir
required an ugly hack but there is no easy and quick other way :-(
2010-05-26since now we don't do common subexpression elimination for PGF we could ↵krasimir
simplify the PMCFG generation
2010-05-25some fixes for graphvizDependencyTreekrasimir
2010-05-25bugfix in the linearization algorithmkrasimir
2010-05-19now every BracketedString also has reference to the source expression(s)krasimir
2010-05-19added function lengthBracketedStringkrasimir
2010-05-19now the parser could return partial parse resultskrasimir
2010-05-17simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of ↵krasimir
plain pair of FId and LIndex
2010-05-11in PGF, when printing function and category definitions, add semicolonkrasimir
2010-05-06fixed two bugs in gtaarne
2010-05-01refactor BracketedStringkrasimir
2010-05-01bug fix for bracketedLinearize with HOAS and meta variableskrasimir
2010-05-01fixes in unStr,unInt,unDouble,isMetakrasimir
2010-04-30for backward compatibility we have the old parse function again. the old ↵krasimir
functionality is exposed by parse_
2010-04-30optimize/simplify the error reporting in the new APIkrasimir
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-04-23fix parsing of literalskrasimir
2010-04-22removed mention of 2.9 welcome, and some traces in visualizationaarne
2010-04-12fix the molto-molto-molto problemkrasimir
2010-04-04in the shell, permit 3-letter lang codes as concrete syntax namesaarne
2010-03-31export fullFormLexicon from PGFkrasimir
2010-03-28Action category, more doc in Phrasebookaarne
2010-03-24now for every category we store, in PGF, the list of functions for it in ↵krasimir
source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-03-22PGF.groupResults and the option l -groups, to show ambiguities grouped by ↵aarne
laguage
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-03-14bugfix in PGF.TypeCheckkrasimir
2010-03-13cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scopekrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵krasimir
to the meta store
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-17fix in PGF.Printerkrasimir
2010-02-17-output-format=pgf_pretty now prints the flags as wellkrasimir
2010-02-16fix the PGF printer for abstractkrasimir
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ↵aarne
make it compile
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
2010-01-31add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation ↵krasimir
and PGF.Expr.Patt
2010-01-30gt and gr can start from a tree with metavariables, just filling themaarne
2010-01-30code cleanup in PGF.TypeCheckkrasimir
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-28in example-based grammar conversion, warnings about unknown wordsaarne
2010-01-27cleanup the code of the PGF interpreter and polish the binary serialization ↵krasimir
to match the preliminary specification
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 14:03:34 +0000