summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
AgeCommit message (Expand)Author
2009-10-28check for cyclic parameters, operations and dependent typeskrasimir
2009-10-28restructure ResParam and ResValuekrasimir
2009-10-28bugfix in GF.Compile.CheckGrammarkrasimir
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-06fix the error message for overload resolutionkrasimir
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-17remove the transfer modules. We don't need anything special, a transfer modul...krasimir
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-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-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-22fix the handling of wildcardskrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2009-05-20fix the generation of warnings in CheckGrammar. They are printed even in quie...krasimir
2009-05-18pattern macros: oper f : pattern T = # p ; used as #f in patternsaarne
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-04-06warning for overshadowed patterns, temporal solutionaarne
2009-03-16use new parser which supports the syntax in GF.Grammar.Grammar directlykrasimir
2009-03-15code cleanup in the typecheckerkrasimir
2009-02-23Perhaps -> Maybe refactoring and better error message for conflicts during mo...krasimir
2009-01-31merge Lookup and LookAbs and move some lookup functions from PrGrammar to Lookupkrasimir
2009-01-19refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removedkrasimir
2008-12-08data structures for param values with number, preparing optimized pattern mat...aarne
2008-10-05forced checking def definitions; accept pgf with no concretesaarne
2008-10-03print full types instead of lock field heuristics in overload resolution if t...aarne
2008-10-03return error on undefined opers in instance and resourceaarne
2008-09-09better error msg for missing record labelsaarne
2008-08-20alternative prtType to help debugging overload resolution errorsaarne
2008-08-14forgiving names in concrete that are not in abstract, with a warning (no warn...aarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
2008-06-25removed src for 2.9aarne
2008-01-04finalizing experiments with Finnish nounsaarne
2007-12-16restored Int size and last ; added lib/prelude to be the last in any grammar ...aarne
2007-11-08partial check of dependencies with restricted inheritanceaarne
2007-10-21the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by comme...aarne
2007-10-12removing a traceaarne
2007-10-12check circularity in paramaarne
2007-07-05hacky solution to name resolution warningsaarne
2007-07-02contravariance in forgiving lock fieldsaarne
2007-06-18fixed the mysterious "file..gfc" erroraarne
2007-05-31overload checking and messages; resource.txt modifsaarne
2007-05-15started direct compiler from GF to GFCCaarne
2007-05-03removed the Str/Tok distinction in CheckGrammar - obsolete anyway.aarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-21 04:50:00 +0000