summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
AgeCommit message (Expand)Author
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
2006-12-21length test in overloadaarne
2006-12-21overload rules and their documentationaarne
2006-12-19overload resolution with value type, for experimentaarne
2006-12-19partial application in overload resolution, with priority for full appaarne
2006-11-18overloading API and examplesaarne
2006-11-18normalize record types in overload resolutionaarne
2006-11-18overload syntax; type printing in CheckGrammaraarne
2006-11-17oper overloading: first implemenatation using recordsaarne
2006-11-14internal representation for param value indexaarne
2006-09-01the Error type; better lexer error reportingaarne
2006-06-18restored lock fields with a clearer warningaarne
2006-06-03check circularities in lnaarne
2006-05-30lincat typecheck and abstract-interface extension fixedaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 18:35:53 +0000