summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/GrammarToPGF.hs
AgeCommit message (Expand)Author
2013-11-26Represent identifiers as UTF-8-encoded ByteStringshallgren
2013-11-06the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The l...kr.angelov
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
2013-10-30added the linref construction in GF. The PGF version number is now bumpedkr.angelov
2013-10-02something in the typeinferencer of the latest GHC has changed. I need to add ...kr.angelov
2013-09-23the compiler now sorts the list of sequences in the PGF fileskr.angelov
2013-09-23GrammarToPGF now looks only at the top modules for the PGF flagskr.angelov
2013-09-23GF.Grammar.Grammar.allExtends now returns a list of source modules instead of...kr.angelov
2013-09-19Introduce type RawIdent; only 9 imports of Data.ByteString.Char8 remainhallgren
2013-04-22a bit more informative error message in GrammarToPGFkr.angelov
2013-02-12now the beam size for the statistical parser can be configured by using the f...kr.angelov
2013-01-28Better error message for Predef.errorhallgren
2012-12-14The first prototype for exhaustive generation in the C runtime. The trees are...kr.angelov
2012-12-11partial evaluator workhallgren
2012-12-02produce error message instead of failure of irrefutable pattern Ok ty_C in Gr...aarne
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract sy...kr.angelov
2012-01-14sorted the list of funs and cats in GrammatToPGF to get the predef categories...aarne
2011-11-24now if some module is compiled with -no-pmcfg then the PMCFG code is generate...kr.angelov
2011-11-14bugfix in the new PGF generationkr.angelov
2011-11-10Now PMCFG is compiled per module and at the end we only link it. The new comp...kr.angelov
2011-11-02merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ...kr.angelov
2011-11-02Now the compiler maintains more precise information for the source locations ...kr.angelov
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2011-08-30GrammarToPGF.hs: comment out unused importshallgren
2011-03-12make later flags take priority over earlier ones in PGF generation aarne
2010-11-12operations in the abstract syntaxkrasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-07-01reorganize the modules in GF.Compile.*krasimir
2010-06-30compilation of pattern matching using the algorithm of Lennart Augustsson. No...krasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-03-24now for every category we store, in PGF, the list of functions for it in sour...krasimir
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-02-16no need to keep the list of constructors per category in .gfokrasimir
2010-02-05bugfix in GrammarToPGF related to the compilation of def ruleskrasimir
2010-01-31refactor GF.Infra.Modules for better error messageskrasimir
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 t...krasimir
2010-01-26fix the PGF generation when it is used from the shellkrasimir
2010-01-17PGF is now real synchronous PMCFGkrasimir
2010-01-17now the linearization is completely based on PMCFGkrasimir
2010-01-17prettier parameter names in PGFkrasimir
2010-01-05printnames are now kept as String instead of Term in PGFkrasimir
2009-12-16one step deeper into records in PGF generationaarne
2009-12-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-14rename some modules that had GFCC in the name to PGF+somethingkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-29 18:42:57 +0000