summaryrefslogtreecommitdiff
path: root/src/GF/Compile
AgeCommit message (Expand)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
2009-12-11judgements lindef are now respected by both the parser and the linearizerkrasimir
2009-12-07Constructors.str2numeral for making numerals from stringsaarne
2009-11-13bugfix: In AppPredefined.hs, PTrue and PFalse should be declared as constructorskrasimir
2009-11-13for 'lincat C = T' the typechecker should check that T is a valid typekrasimir
2009-11-12before the optimizations OptParametrize and OptValues were applied twice. in ...krasimir
2009-11-12parteval -> partial evaluationkrasimir
2009-11-12bugfix: GF.Compile.GrammarToGFCC should not strip the parameter valueskrasimir
2009-11-07check grammar should process the definitions in dependency order. This also e...krasimir
2009-11-07bugfix: if a concrete module has operations then they also should be optimizedkrasimir
2009-10-28check for cyclic parameters, operations and dependent typeskrasimir
2009-10-28refactoring in GF.Grammar.Lookupkrasimir
2009-10-28restructure ResParam and ResValuekrasimir
2009-10-28bugfix in GF.Compile.CheckGrammarkrasimir
2009-10-27simplify the Term againkrasimir
2009-10-25strip some redundant constructors from GF.Grammar.Grammarkrasimir
2009-10-25small refactoring in GF.Compile.CheckGrammarkrasimir
2009-10-24split the abstract syntax specific and the concrete syntax specific modules i...krasimir
2009-10-24refactoring in GF.Compile.Optimizekrasimir
2009-10-06fix the error message for overload resolutionkrasimir
2009-10-06hopefully the last revision of the relative paths handling algorithmkrasimir
2009-10-05another attempt to get the paths handling rightkrasimir
2009-10-02merge GF.Grammar.API into GF.Grammarkrasimir
2009-10-02refactor GF.Infra.CheckM and use the CheckM monad in the renamer as wellkrasimir
2009-09-21refactoring in GF.Grammar.Macroskrasimir
2009-09-20syntax for implicit arguments in GFkrasimir
2009-09-20rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGFkrasimir
2009-09-20change the data types and the syntax in PGF to match the new syntax for impli...krasimir
2009-09-25bugfix: the identifiers in the output of l -table should not be qualifiedkrasimir
2009-09-17remove the transfer modules. We don't need anything special, a transfer modul...krasimir
2009-09-14clean up the GF.Grammar APIkrasimir
2009-09-14Use GF.Grammar.Printer everywhere instead of PrGrammarkrasimir
2009-09-14fix typo in CheckGrammarkrasimir
2009-09-14CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that w...krasimir
2009-09-11added wrapper functions for expression manipulations in PGF. The Haskell API ...krasimir
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type syno...krasimir
2009-09-07make the PMCFG generation lazy again. it was made strict when the profiler wa...krasimir
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ...krasimir
2009-09-05simple profiler for PMCFGkrasimir
2009-08-27if there is oper patt = #(...) then it also should be decoded to Unicodekrasimir
2009-08-18fix the unicode encoding problem with the cc commandkrasimir
2009-06-22cleaning up overshadow failure to warning, after testing resource compilationaarne
2009-06-22fixed warnings in present compilation of resource, esp. unreached patternsaarne
2009-06-20the construct lin C t now replaces lock fields (in source code; still tempor ...aarne
2009-06-20accepting + patterns in pre expressionsaarne
2009-06-16completely phrase based parser and support for pre {} in PMCFGkrasimir
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-22fix the handling of wildcardskrasimir
2009-05-22bugfix to the previous patcheskrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:43:33 +0000