summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/GrammarToPGF.hs
AgeCommit message (Collapse)Author
2010-07-01reorganize the modules in GF.Compile.*krasimir
2010-06-30compilation of pattern matching using the algorithm of Lennart Augustsson. ↵krasimir
Not used yet
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work ↵krasimir
well with metavariables and high-order abstract syntax
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-03-24now for every category we store, in PGF, the list of functions for it in ↵krasimir
source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-03-22store and propagate the exact source location for all judgements in the ↵krasimir
grammar. It may not be used accurately in the error messages yet
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 ↵krasimir
to match the preliminary specification
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-06-25 04:09:26 +0000