kr.angelov
fd5220038d
A basic infrastructure for generating Teyjus bytecode from the GF abstract syntax
2012-08-29 11:43:02 +00:00
hallgren
c234e58a6a
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
5bbd1d6f73
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
8a0b3b8ba8
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
8c751d404f
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
09dde495ce
support for proof search with high-order functions
2010-10-21 12:47:26 +00:00
krasimir
6e23da41a2
fixed typo which broke the parsing with -openclass
2010-10-20 09:04:48 +00:00
krasimir
51452d4ef0
added explicit depth parameter to the parsing API and the corresponding command in the shell
2010-10-18 16:51:25 +00:00
krasimir
7fb5fddbb8
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
9fdc7134e8
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
95733f0b1b
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
krasimir
be9ad26aea
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
9aa7c88c5a
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
krasimir
ef68e209c2
fix the loopchecking in PGF.Forest.bracketedTokn
2010-07-13 12:04:06 +00:00
jordi.saludes
098dbc2c72
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
7e8a5d05ca
now every BracketedString also has reference to the source expression(s)
2010-05-19 13:32:39 +00:00
krasimir
8e01bc3118
added function lengthBracketedString
2010-05-19 12:40:07 +00:00
krasimir
529447f56f
now the parser could return partial parse results
2010-05-19 12:31:36 +00:00
krasimir
a9453c87ab
refactor BracketedString
2010-05-01 21:02:32 +00:00
krasimir
83528f15d7
first incarnation of the bracketed string API
2010-04-30 14:36:06 +00:00
