From bd21e6e1a0d84260de6d55d0b90bd61cfa22bf54 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 11 Dec 2008 15:36:40 +0000
Subject: a dialogue-like editor loop

---
 src/PGF.hs | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/PGF.hs')

diff --git a/src/PGF.hs b/src/PGF.hs
index 29f713c8d..bd5627668 100644
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -42,7 +42,8 @@ module PGF(
            -- * Operations
            -- ** Linearization
            linearize, linearizeAllLang, linearizeAll,
-           
+           showPrintName,
+
            -- ** Parsing
            parse, canParse, parseAllLang, parseAll,
            
@@ -126,6 +127,9 @@ linearizeAll     :: PGF -> Tree -> [String]
 -- available in the grammar.
 linearizeAllLang :: PGF -> Tree -> [(Language,String)]
 
+-- | Show the printname of a type
+showPrintName :: PGF -> Language -> Type -> String
+
 -- | The same as 'parseAllLang' but does not return
 -- the language.
 parseAll     :: PGF -> Type -> String -> [[Tree]]
@@ -237,6 +241,8 @@ linearizeAll mgr = map snd . linearizeAllLang mgr
 linearizeAllLang mgr t = 
   [(lang,PGF.linearize mgr lang t) | lang <- languages mgr]
 
+showPrintName pgf lang (DTyp _ c _) = realize $ lookPrintName pgf lang c
+
 parseAll mgr typ = map snd . parseAllLang mgr typ
 
 parseAllLang mgr typ s = 
-- 
cgit v1.2.3