gf-core.git/src/compiler/GF/Grammar/Printer.hs, branch master

Replace tabs for whitespace in source code

2021-07-07T07:40:41+00:00

bugfix in the pretty printer

2019-03-26T11:21:35+00:00

Fixes for GHC 8.4.1 compatibility

2018-04-18T17:18:10+00:00

* In GHC 8.4.1, the operator <> has become a method of the Semigroup class and is exported from the Prelude. This is unfortunate, since <> is also exported from the standard library module Text.PrettyPrint, so in any module that defines a pretty printer, there is likely to be an ambiguity. This affects ~18 modules in GF. Solution: import Prelude hiding (<>) This works also in older versions of GHC, since GHC does't complain if you hide something that doesn't exists. * In GHC 8.4.1, Semigroup has become a superclass of Monoid. This means that anywhere you define an instance of the Monoid class you also have to define an instance in the Semigroup class. This affects Data.Binary.Builder in GF. Solution: conditionally define a Semigroup instance if compiling with base>=4.11 (ghc>=8.4.1)

GF.Grammar.Printer now has a Terse mode which prints record types with lock fields with their corresponding abstract categories

2017-03-07T08:24:00+00:00

Changes for compatibility with ghc-7.10-rc2

2015-02-16T15:05:06+00:00

2 modules: Name clashes caused by Applicative-Monad change in Prelude 2 modules: Ambiguities caused by Foldable/Traversable in Prelude 2 modules: Backwards incompatible changes in time-1.5 for defaultTimeLocale 9 modules: {-# LANGUAGE FlexibleContexts #-} (because GHC checks inferred types now, in addition to explicitly given type signatures) Also silenced warnings about tab characters in source files.

Renaming SourceGrammar to Grammar and similarly for some related types

2014-10-21T14:42:31+00:00

Included renamings: SourceGrammar -> Grammar SourceModule -> Module SourceModInfo -> ModuleInfo emptySourceGrammar -> emptyGrammar Also introduces a type synonym (which might be good to turn into a newtype): type ModuleName = Ident The reason is to make types like the following more self documenting: type Module = (ModuleName,ModuleInfo) type QIdent = (ModuleName,Ident)

Introducing GF.Text.Pretty for more concise pretty printers and GF.Infra.Location for modularity

2014-07-27T22:06:23+00:00

GF.Text.Pretty provides the class Pretty and overloaded versions of the pretty printing combinators in Text.PrettyPrint, allowing pretty printable values to be used directly instead of first having to convert them to Doc with functions like text, int, char and ppIdent. Some modules have been converted to use GF.Text.Pretty, but not all. Precedences could be added to simplify the pretty printers for terms and patterns. GF.Infra.Location contains the types Location and L, factored out from GF.Grammar.Grammar, and the class HasSourcePath. This allowed the import of GF.Grammar.Grammar to be removed from GF.Infra.CheckM, making it more like a pure library module.

PGF library: expose only PGF and PGF.Internal instead of all modules

2014-06-12T14:43:18+00:00

PGF exports the public, stable API. PGF.Internal exports additional things needed in the GF compiler & shell, including the nonstardard version of Data.Binary.

new overload resolution, taking care of ad hoc overloading.

2014-02-01T13:17:52+00:00