summaryrefslogtreecommitdiff
path: root/src/runtime/haskell
AgeCommit message (Expand)Author
2010-08-30PGF.Expr.normalForm does variable renamingkrasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-07-31two new functions in the PGF API: mkAbs, unAbskrasimir
2010-07-31now the meta id of the meta variables is accessible via the PGF APIkrasimir
2010-07-31added function unType in PGFkrasimir
2010-07-15fix the algorithm for items cutting in the partial parserkrasimir
2010-07-13fix the loopchecking in PGF.Forest.bracketedToknkrasimir
2010-07-13bugfix in the decoding of literals in PGF.Binarykrasimir
2010-07-07report type errors in the shell from command "p"krasimir
2010-07-07simplify the monad TcMkrasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int...krasimir
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 printnam...krasimir
2010-06-18PGF.Printer now dumps the printnames as wellkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-06-09filter the duplications when doing 'l -table'krasimir
2010-06-05Changing rec to rec_ in PGFjordi.saludes
2010-05-29I switched back to the old algorithm for generating dependency trees. This re...krasimir
2010-05-26since now we don't do common subexpression elimination for PGF we could simpl...krasimir
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 plai...krasimir
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 func...krasimir
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 sour...krasimir
2010-03-22PGF.groupResults and the option l -groups, to show ambiguities grouped by lag...aarne
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