From fc1b51aa95ec9e1a628b1255722202472484ee37 Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Thu, 17 Jan 2019 21:04:08 +0100 Subject: Adding -output-format canonical_gf This output format converts a GF grammar to a "canonical" GF grammar. A canonical GF grammar consists of - one self-contained module for the abstract syntax - one self-contained module per concrete syntax The concrete syntax modules contain param, lincat and lin definitions, everything else has been eliminated by the partial evaluator, including references to resource library modules and functors. Record types and tables are retained. The -output-format canonical_gf option writes canonical GF grammars to a subdirectory "canonical/". The canonical GF grammars are written as normal GF ".gf" source files, which can be compiled with GF in the normal way. The translation to canonical form goes via an AST for canonical GF grammars, defined in GF.Grammar.Canonical. This is a simple, self-contained format that doesn't cover everyting in GF (e.g. omitting dependent types and HOAS), but it is complete enough to translate the Foods and Phrasebook grammars found in gf-contrib. The AST is based on the GF grammar "GFCanonical" presented here: https://github.com/GrammaticalFramework/gf-core/issues/30#issuecomment-453556553 The translation of concrete syntax to canonical form is based on the previously existing translation of concrete syntax to Haskell, implemented in module GF.Compile.ConcreteToHaskell. This module could now be reimplemented and simplified significantly by going via the canonical format. Perhaps exports to other output formats could benefit by going via the canonical format too. There is also the possibility of completing the GFCanonical grammar mentioned above and using GF itself to convert canonical GF grammars to other formats... --- src/compiler/GF/Text/Pretty.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/compiler/GF/Text') diff --git a/src/compiler/GF/Text/Pretty.hs b/src/compiler/GF/Text/Pretty.hs index 29ca7f131..5c87ea6a3 100644 --- a/src/compiler/GF/Text/Pretty.hs +++ b/src/compiler/GF/Text/Pretty.hs @@ -20,6 +20,7 @@ instance Pretty a => Pretty [a] where ppList = fsep . map pp -- hmm render x = PP.render (pp x) +render80 x = renderStyle style{lineLength=80,ribbonsPerLine=1} x renderStyle s x = PP.renderStyle s (pp x) infixl 5 $$,$+$ -- cgit v1.2.3