From be6465a2ebb1aba43433cff29bf5bad6e2065e26 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 31 Jan 2010 15:54:25 +0000
Subject: refactor GF.Infra.Modules for better error messages

---
 src/compiler/GF/Grammar/Printer.hs | 3 ---
 1 file changed, 3 deletions(-)

(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 06cac9705..996a7a807 100644
--- a/src/compiler/GF/Grammar/Printer.hs
+++ b/src/compiler/GF/Grammar/Printer.hs
@@ -9,7 +9,6 @@
 
 module GF.Grammar.Printer
            ( TermPrintQual(..)
-           , ppIdent
            , ppLabel
            , ppModule
            , ppJudgement
@@ -256,8 +255,6 @@ ppDDecl q (_,id,typ)
   | id == identW = ppTerm q 6 typ
   | otherwise    = parens (ppIdent id <+> colon <+> ppTerm q 0 typ)
 
-ppIdent = text . showIdent
-
 ppQIdent q m id =
   case q of
     Qualified   -> ppIdent m <> char '.' <> ppIdent id
-- 
cgit v1.2.3