kr.angelov
f8fe23fda7
A basic infrastructure for generating Teyjus bytecode from the GF abstract syntax
2012-08-29 11:43:02 +00:00
hallgren
07af8988d3
PGF run-time library: function names in BracketedString (experimental)
...
+ 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.
2012-03-18 20:12:26 +00:00
hallgren
6c5ee3d666
PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happy
...
Also remove oddly named function forExample (topological sorting) from export
list.
2011-10-20 13:21:28 +00:00
ra.monique
bdc77bf0e4
added topological sort module to PGF - to be used in example based grammar writing
2011-09-15 16:32:49 +00:00
gdetrez
45ecae4b77
Adding a basic lexicon-based tokenizer and the asociated command in gf shell
2011-02-10 15:00:06 +00:00
aarne
dd6e0b1730
moved PGF.ToApi to GF.Compile.ToAPI
2010-12-07 18:05:13 +00:00
ra.monique
6268c2d7d9
added syntax to api translation module
2010-12-05 19:51:19 +00:00
ramona.enache
1f8a0f0876
added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments
2010-10-31 13:39:01 +00:00
krasimir
775e59dabe
added explicit depth parameter to the parsing API and the corresponding command in the shell
2010-10-18 16:51:25 +00:00
krasimir
cb8795c222
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
617ce3cce6
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
krasimir
1c9305e7a3
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
krasimir
d3a6866277
more advanced complete function in the PGFService
2010-08-24 15:58:22 +00:00
krasimir
94bd76df72
two new functions in the PGF API: mkAbs, unAbs
2010-07-31 16:40:16 +00:00
krasimir
067d908aa3
now the meta id of the meta variables is accessible via the PGF API
2010-07-31 12:52:20 +00:00
krasimir
b351c9d9dd
added function unType in PGF
2010-07-31 12:47:10 +00:00
krasimir
5ae7be358d
redesign the open-literals API
2010-07-01 08:51:59 +00:00
krasimir
272dcf6917
introduce the type synonym Token=String in the PGF API
2010-06-29 09:00:41 +00:00
krasimir
88d7631b62
preliminary version of API for Open Literals
2010-06-22 12:31:04 +00:00
krasimir
31856ebb4c
now the parser could return partial parse results
2010-05-19 12:31:36 +00:00
krasimir
9e7b914c3c
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
2010-04-30 20:18:26 +00:00
krasimir
8460598801
first incarnation of the bracketed string API
2010-04-30 14:36:06 +00:00
krasimir
d83c2d01d8
export fullFormLexicon from PGF
2010-03-31 11:09:12 +00:00
krasimir
68482aa7e9
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-03-24 11:11:55 +00:00
aarne
716a209f65
PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage
2010-03-22 19:03:06 +00:00
krasimir
f870c4d80f
syntax for inaccessible patterns in GF
2010-03-18 19:34:30 +00:00
krasimir
09da1013f9
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
2010-02-22 15:50:41 +00:00
krasimir
32f9499f2e
fix the PGF printer for abstract
2010-02-16 21:47:58 +00:00
aarne
510d511637
commands mq and tq can take a tree with metas to guide generation
2010-02-01 09:56:58 +00:00
aarne
e71545eab1
gt and gr can start from a tree with metavariables, just filling them
2010-01-30 18:01:18 +00:00
krasimir
3b7e39fa4a
bugfix in the PGF typechecker and more test cases
2010-01-29 21:10:14 +00:00
krasimir
890d455793
cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification
2010-01-27 09:39:14 +00:00
krasimir
9b362ff231
PGF is now real synchronous PMCFG
2010-01-17 21:35:36 +00:00
krasimir
3ed19a482e
printnames are now kept as String instead of Term in PGF
2010-01-05 07:05:41 +00:00
krasimir
c036459214
remove the old parsing code and the -erasing=on flag
2009-12-14 10:54:22 +00:00
krasimir
f85232947e
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
2009-12-13 18:50:29 +00:00
