summaryrefslogtreecommitdiff
path: root/src/GF/Compile
AgeCommit message (Collapse)Author
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 ↵krasimir
in different subfolders in GF.Compile
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 ↵krasimir
implict arguments
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 ↵krasimir
module is module without concrete syntax
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 ↵krasimir
was hiding the warnings
2009-09-11added wrapper functions for expression manipulations in PGF. The Haskell API ↵krasimir
now uses the wrappers
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type ↵krasimir
synonym of Expr
2009-09-07make the PMCFG generation lazy again. it was made strict when the profiler ↵krasimir
was introduced
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵krasimir
without bound variable
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
used internally); lock fields removed from english resource as an example
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
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2009-05-20more friendly error message when renaming patternskrasimir
2009-05-20fix the generation of warnings in CheckGrammar. They are printed even in ↵krasimir
quiet mode and the prefix "Warning" is added automatically
2009-05-18removed some debug traceskrasimir
2009-05-18added filtering for useless productions in PMCFGkrasimir
2009-05-18pattern macros: oper f : pattern T = # p ; used as #f in patternsaarne
2009-05-16the new PMCFG compilation scheme is pushed. the old version is kept in ↵krasimir
GeneratePMCFGOld.hs (for now).
2009-05-15the check for lincat C = <> is made more robustkrasimir
2009-05-15if the lincat is empty record the linearizations are derived automaticallykrasimir
2009-05-11-gfo-files is consulted not only when .gfo files are created but also when ↵krasimir
we search for them
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-25 00:12:06 +0000