summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Grammar/Printer.hs
AgeCommit message (Expand)Author
2012-11-23Fix a prededence bug in GF grammar pretty printerhallgren
2012-06-25printing ResValue judgements as comments, to provide useful information when ...aarne
2012-02-22gfse: experimental support for editing concrete syntax in text modehallgren
2011-11-29Sketch of the new type checker for the concrete syntax. Enabled only with -ne...kr.angelov
2011-11-15now the pretty printer in GF has a new mode called Internal. This is the most...kr.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-09-22change the precedence for the left argument of ->kr.angelov
2011-09-20module for analysing source grammarsaarne
2011-09-20command ss to show source (including gfo) in text; to be extendedaarne
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2010-11-12operations in the abstract syntaxkrasimir
2010-06-21GF.Grammar.Printer: print expressions with lincat and linkrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-08revert change in GF.Grammar.Printer that was intended for debugging onlykrasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-05-28bugfix in GF.Grammar.Printerkrasimir
2010-03-31fixed a deep bug in TypeCheck due to swap of arguments; print empty record as...aarne
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
2010-03-18fix the precedence for patterns ~, - and @krasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-02-22rule for pretty printing implicit argumentskrasimir
2010-02-22add pretty printing rule for implicit patternskrasimir
2010-02-16no need to keep the list of constructors per category in .gfokrasimir
2010-02-03fix the tabular printing when there is a V constructorkrasimir
2010-01-31refactor GF.Infra.Modules for better error messageskrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir