peter.ljunglof
b416f5bbf7
Use nub' instead of nub in some places, remove some unused nub imports
2012-08-29 21:48:34 +00:00
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
kr.angelov
bb6905e36f
the parser now use nub instead of nubsort which means that the abstract syntax trees will be returned lazily
2011-12-19 13:10:33 +00:00
krasimir
7d58efb660
optimization in the parser for large lexicons. Now, the parser is slightly slower for grammars with a small lexicon but 3-4 times faster for the English Resource Grammar used in combination with Oxford Advanced Learners Dictionary
2010-12-14 08:46:22 +00:00
krasimir
822a70cf7a
change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces
2010-10-21 15:01:52 +00:00
krasimir
82edf7bebb
support for proof search with high-order functions
2010-10-21 12:47:26 +00:00
krasimir
d45b4ae426
fixed typo which broke the parsing with -openclass
2010-10-20 09:04:48 +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
702b4aad3b
now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser
2010-10-18 15:55:14 +00:00
krasimir
05a52d6937
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
2010-10-14 14:28:40 +00:00
krasimir
de0354f991
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +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
b0e110cf4f
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
krasimir
3ca0b6a976
fix the loopchecking in PGF.Forest.bracketedTokn
2010-07-13 12:04:06 +00:00
jordi.saludes
4061674fae
Changing rec to rec_ in PGF
...
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources
from PGF folder.
2010-06-05 11:02:51 +00:00
krasimir
e0dc9c80a6
now every BracketedString also has reference to the source expression(s)
2010-05-19 13:32:39 +00:00
krasimir
1743e88192
added function lengthBracketedString
2010-05-19 12:40:07 +00:00
krasimir
31856ebb4c
now the parser could return partial parse results
2010-05-19 12:31:36 +00:00
krasimir
4e85f8ada3
refactor BracketedString
2010-05-01 21:02:32 +00:00
krasimir
8460598801
first incarnation of the bracketed string API
2010-04-30 14:36:06 +00:00
