From a2ccf1ce6965e93eff9a3d7bef064cb3cab448f5 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 20 Sep 2011 14:58:27 +0000
Subject: command ss to show source (including gfo) in text; to be extended

---
 src/compiler/GF/Grammar/Printer.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/compiler/GF/Grammar/Printer.hs')

diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs
index 3319f86e8..fc9d31802 100644
--- a/src/compiler/GF/Grammar/Printer.hs
+++ b/src/compiler/GF/Grammar/Printer.hs
@@ -10,6 +10,7 @@
 module GF.Grammar.Printer
            ( TermPrintQual(..)
            , ppLabel
+           , ppGrammar
            , ppModule
            , ppJudgement
            , ppTerm
@@ -33,6 +34,9 @@ import qualified Data.Map as Map
 
 data TermPrintQual = Qualified | Unqualified
 
+ppGrammar :: SourceGrammar -> Doc
+ppGrammar sgr = vcat $ map (ppModule Qualified) $ modules sgr
+
 ppModule :: TermPrintQual -> SourceModule -> Doc
 ppModule q (mn, ModInfo mtype mstat opts exts with opens _ jments) =
     hdr $$ nest 2 (ppOptions opts $$ vcat (map (ppJudgement q) defs)) $$ ftr
-- 
cgit v1.2.3