summaryrefslogtreecommitdiff
path: root/src/GF/Grammar
AgeCommit message (Expand)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
2009-11-17slight optimization in GF.Grammar.Lexerkrasimir
2009-11-14lookupResType should always return the precomputed CncFun typekrasimir
2009-11-07check grammar should process the definitions in dependency order. This also e...krasimir
2009-10-28check for cyclic parameters, operations and dependent typeskrasimir
2009-10-28refactoring in GF.Grammar.Lookupkrasimir
2009-10-28restructure ResParam and ResValuekrasimir
2009-10-27simplify the Term againkrasimir
2009-10-25strip some redundant constructors from GF.Grammar.Grammarkrasimir
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-07remove duplicated function from GF.Grammar.Macroskrasimir
2009-10-06hopefully the last revision of the relative paths handling algorithmkrasimir
2009-10-05another attempt to get the paths handling rightkrasimir
2009-10-02merge GF.Grammar.API into GF.Grammarkrasimir
2009-10-02refactor GF.Infra.CheckM and use the CheckM monad in the renamer as wellkrasimir
2009-10-02Implicit arguments in GF. Works only in PGF for now.krasimir
2009-09-21refactoring in GF.Grammar.Macroskrasimir
2009-09-20syntax for implicit arguments in GFkrasimir
2009-09-20rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGFkrasimir
2009-09-20remove the Read instances from GF.Grammar.Grammarkrasimir
2009-09-20rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGFkrasimir
2009-09-17fix in GF.Grammar.Printerkrasimir
2009-09-17remove the transfer modules. We don't need anything special, a transfer modul...krasimir
2009-09-14clean up the GF.Grammar APIkrasimir
2009-09-14Use GF.Grammar.Printer everywhere instead of PrGrammarkrasimir
2009-09-14CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that w...krasimir
2009-08-18let the GF.Grammar.Printer printer output the unicode symbols directlykrasimir
2009-06-20the construct lin C t now replaces lock fields (in source code; still tempor ...aarne
2009-05-25fixed pre expressions, parsing {} patterns, and the path in resource Make.hsaarne
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-18pattern macros: oper f : pattern T = # p ; used as #f in patternsaarne
2009-05-15new pre syntax (as alternative): pre {"o" | "i" => "an" ; _ => "a"}aarne
2009-04-06warning for overshadowed patterns, temporal solutionaarne
2009-04-02raise better error message when decode GFO filekrasimir
2009-03-28examples of file conversion with psaarne
2009-03-17add the compiled Haskell sources for Parser and Lexerkrasimir
2009-03-16incomplete support for record types in the abstract syntaxkrasimir
2009-03-16use new parser which supports the syntax in GF.Grammar.Grammar directlykrasimir
2009-03-15export ppLabel from GF.Grammar.Printerkrasimir
2009-03-15code cleanup in the typecheckerkrasimir
2009-03-14fix typo cs1 -> c2. the whole typechecker was broken before thatkrasimir
2009-03-05print semicolon after the ind statementkrasimir
2009-03-05in GF.Grammar.Update - remove the indirection before to print the error messagekrasimir
2009-03-04GF.Grammar.Printer: parenthesis around single identifier are not necessarykrasimir
2009-03-04another missing case in GF.Grammar.Printerkrasimir
2009-03-04qualified/unqualified mode for GF.Grammar.Printer. Used in the "cc" commandkrasimir
2009-03-04added few missing cases in GF.Grammar.Printerkrasimir