summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Grammar
AgeCommit message (Expand)Author
2011-12-02missing cases in GF.Grammar.Binarykr.angelov
2011-11-30more stuff in the new type checkerkr.angelov
2011-11-29Sketch of the new type checker for the concrete syntax. Enabled only with -ne...kr.angelov
2011-11-15fix in the versioning of the .gfo fileskr.angelov
2011-11-15now we store version number in every .gfo file. If the file is compiled with ...kr.angelov
2011-11-15now the pretty printer in GF has a new mode called Internal. This is the most...kr.angelov
2011-11-15more structured format for errors and warnings from the compilerkr.angelov
2011-11-10Now PMCFG is compiled per module and at the end we only link it. The new comp...kr.angelov
2011-11-02merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ...kr.angelov
2011-11-02Now the compiler maintains more precise information for the source locations ...kr.angelov
2011-10-20Introduce an explicit error value in the Term typehallgren
2011-10-20Some experiments with PSeq (left commented out)hallgren
2011-09-26don't count app nodes in term sizeaarne
2011-09-24bug fixes in code size analysisaarne
2011-09-22change the precedence for the left argument of ->kr.angelov
2011-09-22the sd -size command now shows the size of all code needed for defining an operaarne
2011-09-22documented the ss commandaarne
2011-09-21statistics on grammar size in terms of constructorsaarne
2011-09-21commands ss to show source, and sd to show the dependencies of a constantaarne
2011-09-20module for analysing source grammarsaarne
2011-09-20command ss to show source (including gfo) in text; to be extendedaarne
2011-09-07GF.Grammar.Macros: simplify composOp and composSafeOphallgren
2011-09-01GF.Grammar.*: generalized the type of some functions that can not fail from t...hallgren
2011-08-31GF.Infra.Modules: minor tweakshallgren
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2011-08-30GF.Grammar.Lookup: added function lookupQIdentInfohallgren
2011-08-30PatternMatch.hs: commented out suspicious unused function varsOfPatthallgren
2011-07-21GenIP, GenRP in Extra and any_Quant in ExtraEngaarne
2011-06-02Predef functions toUpper, toLower, isUpperaarne
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2011-03-03overloaded opers included in sorting of judgementsaarne
2011-02-28the command show_operations to inspect opers in scopeaarne
2010-12-14option cc -list addedaarne
2010-12-10preparing resource api for multilingual documentationaarne
2010-11-15bugfix for the abstract operationskrasimir
2010-11-12operations in the abstract syntaxkrasimir
2010-09-24restored the .ebnf grammar formataarne
2010-07-01redesign the open-literals APIkrasimir
2010-06-21GF.Grammar.Printer: print expressions with lincat and linkrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-17rename GF.Grammar.Predef.isPredefCat to isLiteralCatkrasimir
2010-06-17GF.Grammar.Lookup.allParamValues now works for table types as wellkrasimir
2010-06-08revert change in GF.Grammar.Printer that was intended for debugging onlykrasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-05-28composOp should iterate under ImplArgkrasimir
2010-05-28bugfix in GF.Grammar.Printerkrasimir
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-03-31fixed a deep bug in TypeCheck due to swap of arguments; print empty record as...aarne
2010-03-22fix checkInfoType in Parser.ykrasimir
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-04 17:51:23 +0000