summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/Forest.hs
AgeCommit message (Expand)Author
2020-10-02fix parsing with HOASkrangelov
2018-12-20save the original concrete category in BracketedStringKrasimir Angelov
2018-11-30Fix deprecations from containers >= 0.4.0.0Peter LjungloĢˆf
2015-08-28Comment out some dead code found with -fwarn-unused-bindshallgren
2014-08-11a partial support for def rules in the C runtimekr.angelov
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
2013-10-30linref is now used by the linearizer. The visible change is that the 'l' comm...kr.angelov
2013-09-27a major refactoring in the C and the Haskell runtimes. Note incompatible chan...kr.angelov
2013-09-03fix in the GF compiler and runtime which let us to define pre construct detec...kr.angelov
2012-08-29Use nub' instead of nub in some places, remove some unused nub importspeter.ljunglof
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract sy...kr.angelov
2012-03-18PGF run-time library: function names in BracketedString (experimental)hallgren
2011-12-19the parser now use nub instead of nubsort which means that the abstract synta...kr.angelov
2010-12-14optimization in the parser for large lexicons. Now, the parser is slightly sl...krasimir
2010-10-21change the TcM monad to continuation passing style. The old monad caused stac...krasimir
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20fixed typo which broke the parsing with -openclasskrasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding comma...krasimir
2010-10-18now we use the GF reasoner to fillin meta variables in the abstract trees gen...krasimir
2010-10-14now since the type checking monad TcM is nondeterministic we can use the same...krasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-07-13fix the loopchecking in PGF.Forest.bracketedToknkrasimir
2010-06-05Changing rec to rec_ in PGFjordi.saludes
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-01refactor BracketedStringkrasimir
2010-04-30first incarnation of the bracketed string APIkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:46:29 +0000