summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF.hs
AgeCommit message (Collapse)Author
2012-11-22PGFService.hs: fix type error caused by change to PGF.graphvizParseTreehallgren
Note that some of the graphviz functions have backwards incompatible changes that might also affect other clients of the PGF run-time library. Also added graphvizDefaults and export it together with GraphvizOptions from the PGF run-time library.
2012-09-18the Haskell runtime now exports 'functionsByCat' which returns the list of ↵kr.angelov
all functions for a given category
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵kr.angelov
syntax
2012-03-18PGF run-time library: function names in BracketedString (experimental)hallgren
+ Make room for function names in the BracketedString data structure. + Fill in function names when linearizing an abstract syntax tree to a BracketedString. + Fill in wildCId when it is not obvious what the function is. + Function bracketedLinearize: for compatibility with the other linearization functions, return Leaf "" instead of error "cannot linearize". + Export flattenBracketedString from module PGF. + PGFServce: make function names available in the JSON representation of BracketedString.
2011-10-20PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happyhallgren
Also remove oddly named function forExample (topological sorting) from export list.
2011-09-15added topological sort module to PGF - to be used in example based grammar ↵ra.monique
writing
2011-02-10Adding a basic lexicon-based tokenizer and the asociated command in gf shellgdetrez
2010-12-07moved PGF.ToApi to GF.Compile.ToAPIaarne
2010-12-05added syntax to api translation modulera.monique
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ↵ramona.enache
graphviz and giza alignments
2010-10-18added explicit depth parameter to the parsing API and the corresponding ↵krasimir
command in the shell
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
2010-09-22the first revision of exhaustive and random generation with dependent types. ↵krasimir
Still not quite stable.
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
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-01redesign the open-literals APIkrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22preliminary version of API for Open Literalskrasimir
2010-05-19now the parser could return partial parse resultskrasimir
2010-04-30for backward compatibility we have the old parse function again. the old ↵krasimir
functionality is exposed by parse_
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-03-31export fullFormLexicon from PGFkrasimir
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-18syntax for inaccessible patterns in GFkrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access ↵krasimir
to the meta store
2010-02-16fix the PGF printer for abstractkrasimir
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
2010-01-30gt and gr can start from a tree with metavariables, just filling themaarne
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-27cleanup the code of the PGF interpreter and polish the binary serialization ↵krasimir
to match the preliminary specification
2010-01-17PGF is now real synchronous PMCFGkrasimir
2010-01-05printnames are now kept as String instead of Term in PGFkrasimir
2009-12-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-08 04:24:29 +0000