summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Grammar/Printer.hs
AgeCommit message (Expand)Author
2021-07-07Replace tabs for whitespace in source codeJohn J. Camilleri
2019-03-26bugfix in the pretty printerkrangelov
2018-04-18Fixes for GHC 8.4.1 compatibilityThomas Hallgren
2017-03-07GF.Grammar.Printer now has a Terse mode which prints record types with lock f...krasimir
2015-02-16Changes for compatibility with ghc-7.10-rc2hallgren
2014-10-21Renaming SourceGrammar to Grammar and similarly for some related typeshallgren
2014-10-16More haddock documentation improvementshallgren
2014-07-27Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Loca...hallgren
2014-06-12PGF library: expose only PGF and PGF.Internal instead of all moduleshallgren
2014-02-01new overload resolution, taking care of ad hoc overloading.aarne
2013-11-06the content of ParseEngAbs3.probs is now merged with ParseEngAbs.probs. The l...kr.angelov
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
2013-10-30added the linref construction in GF. The PGF version number is now bumpedkr.angelov
2013-02-27Faster regular expression pattern matching in the grammar compiler.hallgren
2013-02-27GF grammar pretty printer improvementshallgren
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