summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
AgeCommit message (Expand)Author
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
2006-05-23bug fix in with-modules and gr checker; factoring out cats to Commonaarne
2006-04-04inherent features of Intaarne
2006-02-22tram using compiled resourcesaarne
2006-02-22testing precompiled librariesaarne
2006-01-31math API; lock field warningsaarne
2006-01-20more frenchaarne
2006-01-20started romance predication; some restructuring of modules; CheckGrammar valu...aarne
2006-01-19workaround for a compilation bug for param defs (to be fixed)aarne
2006-01-16incompleteness warning and PNeg in CheckGrammaraarne
2006-01-13type checking pattern bindingsaarne
2006-01-07regular expression patternsaarne
2006-01-07regex patterns for tokensaarne
2006-01-06concatenation string patternsaarne
2005-12-11float parsing fixedaarne
2005-12-06opers in cncaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 17:06:09 +0000