summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Collapse)Author
2010-07-07report type errors in the shell from command "p"krasimir
2010-07-01the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hskrasimir
2010-07-01reorganize the modules in GF.Compile.*krasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-30compilation of pattern matching using the algorithm of Lennart Augustsson. ↵krasimir
Not used yet
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> ↵krasimir
fid(String|Int|Float)
2010-06-22fix the compilation of literal categories in GeneratePMCFG.hskrasimir
2010-06-20addFCoercion -> addCoercion in GeneratePMCFGkrasimir
2010-06-20getFCats -> getFIds in GeneratePMCFGkrasimir
2010-06-20removed debugging code in GeneratePMCFG.hskrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-18the automatically generated printnames were just junks. Now we store ↵krasimir
printnames only if they are explicitly specified.
2010-06-17rename GF.Grammar.Predef.isPredefCat to isLiteralCatkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work ↵krasimir
well with metavariables and high-order abstract syntax
2010-06-08fixed bug in the recompilation checker which caused the phrasebook to be ↵krasimir
recompiled each time
2010-06-08bugfix for flag -no-recompkrasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-05-26since now we don't do common subexpression elimination for PGF we could ↵krasimir
simplify the PMCFG generation
2010-05-08spacing of German numeralsaarne
2010-04-30for backward compatibility we have the old parse function again. the old ↵krasimir
functionality is exposed by parse_
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-03-31fixed a deep bug in TypeCheck due to swap of arguments; print empty record ↵aarne
as <> instead of {} to distinguish from empty record type
2010-03-24bugfix in the lProlog generatorkrasimir
2010-03-24partial support for def-rules in the Lambda Prolog generationkrasimir
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-23typo in CheckGrammarkrasimir
2010-03-23use the new more accurate location information for some error messageskrasimir
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-22produce optimized Lambda Prolog codekrasimir
2010-03-20added experimental generation of Lambda Prolog code. Could be used for ↵krasimir
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-02-17fix the Haskell code generationkrasimir
2010-02-16no need to keep the list of constructors per category in .gfokrasimir
2010-02-06in verbose mode print the rule names when compiling PMCFGkrasimir
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-28example_based returns the list of all unknown wordsaarne
2010-01-28in example-based grammar conversion, warnings about unknown wordsaarne
2010-01-27command eb for example-based grammar conversion; see 'help eb' and the ↵aarne
example in examples/animals/QuestionsI.gfe
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-16small code cleanup in GeneratePMCFG.hskrasimir
2010-01-12move the definitions of _B and _V to PGF.Macroskrasimir
2010-01-05store the label names in PMCFGkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-24 14:20:21 +0000