summaryrefslogtreecommitdiff
path: root/src/GF/Compile/CheckGrammar.hs
AgeCommit message (Collapse)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
2009-11-13for 'lincat C = T' the typechecker should check that T is a valid typekrasimir
2009-11-07check grammar should process the definitions in dependency order. This also ↵krasimir
ensures that the list of parameters for some parameter type is complete
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 ↵krasimir
in different subfolders in GF.Compile
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 ↵krasimir
module is module without concrete syntax
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-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-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 ↵krasimir
quiet mode and the prefix "Warning" is added automatically
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 ↵krasimir
module update
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 ↵aarne
matching in grammar compilation
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 ↵aarne
the heuristic is misleading
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 ↵aarne
warning guaranteed if this is because restricted inheritance)
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
path
2007-11-08partial check of dependencies with restricted inheritanceaarne
2007-10-21the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by ↵aarne
commenting out)
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