| Age | Commit message (Expand) | Author |
|---|
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter f... | krasimir |
| 2009-11-13 | for 'lincat C = T' the typechecker should check that T is a valid type | krasimir |
| 2009-11-07 | check grammar should process the definitions in dependency order. This also e... | krasimir |
| 2009-10-28 | check for cyclic parameters, operations and dependent types | krasimir |
| 2009-10-28 | restructure ResParam and ResValue | krasimir |
| 2009-10-28 | bugfix in GF.Compile.CheckGrammar | krasimir |
| 2009-10-25 | small refactoring in GF.Compile.CheckGrammar | krasimir |
| 2009-10-24 | split the abstract syntax specific and the concrete syntax specific modules i... | krasimir |
| 2009-10-06 | fix the error message for overload resolution | krasimir |
| 2009-10-02 | refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well | krasimir |
| 2009-09-21 | refactoring in GF.Grammar.Macros | krasimir |
| 2009-09-20 | syntax for implicit arguments in GF | krasimir |
| 2009-09-17 | remove the transfer modules. We don't need anything special, a transfer modul... | krasimir |
| 2009-09-14 | Use GF.Grammar.Printer everywhere instead of PrGrammar | krasimir |
| 2009-09-14 | fix typo in CheckGrammar | krasimir |
| 2009-09-14 | CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that w... | krasimir |
| 2009-06-22 | cleaning up overshadow failure to warning, after testing resource compilation | aarne |
| 2009-06-22 | fixed warnings in present compilation of resource, esp. unreached patterns | aarne |
| 2009-06-20 | the construct lin C t now replaces lock fields (in source code; still tempor ... | aarne |
| 2009-05-22 | some work on evaluation with abstract expressions in PGF | krasimir |
| 2009-05-22 | fix the handling of wildcards | krasimir |
| 2009-05-20 | refactor the PGF.Expr type and the evaluation of abstract expressions | krasimir |
| 2009-05-20 | fix the generation of warnings in CheckGrammar. They are printed even in quie... | krasimir |
| 2009-05-18 | pattern macros: oper f : pattern T = # p ; used as #f in patterns | aarne |
| 2009-05-15 | the check for lincat C = <> is made more robust | krasimir |
| 2009-05-15 | if the lincat is empty record the linearizations are derived automatically | krasimir |
| 2009-04-06 | warning for overshadowed patterns, temporal solution | aarne |
| 2009-03-16 | use new parser which supports the syntax in GF.Grammar.Grammar directly | krasimir |
| 2009-03-15 | code cleanup in the typechecker | krasimir |
| 2009-02-23 | Perhaps -> Maybe refactoring and better error message for conflicts during mo... | krasimir |
| 2009-01-31 | merge Lookup and LookAbs and move some lookup functions from PrGrammar to Lookup | krasimir |
| 2009-01-19 | refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removed | krasimir |
| 2008-12-08 | data structures for param values with number, preparing optimized pattern mat... | aarne |
| 2008-10-05 | forced checking def definitions; accept pgf with no concretes | aarne |
| 2008-10-03 | print full types instead of lock field heuristics in overload resolution if t... | aarne |
| 2008-10-03 | return error on undefined opers in instance and resource | aarne |
| 2008-09-09 | better error msg for missing record labels | aarne |
| 2008-08-20 | alternative prtType to help debugging overload resolution errors | aarne |
| 2008-08-14 | forgiving names in concrete that are not in abstract, with a warning (no warn... | aarne |
| 2008-06-25 | changed names of resource-1.3; added a note on homepage on release | aarne |
| 2008-06-25 | removed src for 2.9 | aarne |
| 2008-01-04 | finalizing experiments with Finnish nouns | aarne |
| 2007-12-16 | restored Int size and last ; added lib/prelude to be the last in any grammar ... | aarne |
| 2007-11-08 | partial check of dependencies with restricted inheritance | aarne |
| 2007-10-21 | the lincat of Int simplified to SS again (Linear,Lookup,CheckGrammar by comme... | aarne |
| 2007-10-12 | removing a trace | aarne |
| 2007-10-12 | check circularity in param | aarne |
| 2007-07-05 | hacky solution to name resolution warnings | aarne |
| 2007-07-02 | contravariance in forgiving lock fields | aarne |
| 2007-06-18 | fixed the mysterious "file..gfc" error | aarne |
