From 3f9b4e7855cf4594708a9fbad194c89540d2cf1e Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 31 Mar 2004 12:30:34 +0000
Subject: Added support for cf and ebnf formats

---
 src/GF/Grammar/PrGrammar.hs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'src/GF/Grammar/PrGrammar.hs')

diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs
index aa155c966..1a3754f04 100644
--- a/src/GF/Grammar/PrGrammar.hs
+++ b/src/GF/Grammar/PrGrammar.hs
@@ -68,12 +68,17 @@ prContext co = unwords $ map prParenth [prt x +++ ":" +++ prt t | (x,t) <- co]
 instance Print A.Exp where prt = C.printTree
 instance Print A.Term where prt = C.printTree
 instance Print A.Case where prt = C.printTree
-instance Print A.Atom where prt = C.printTree
 instance Print A.CType where prt = C.printTree
 instance Print A.Label where prt = C.printTree
 instance Print A.Module where prt = C.printTree
 instance Print A.Sort where prt = C.printTree
 
+instance Print A.Atom where 
+  prt = C.printTree
+  prt_ (A.AC c) = prt_ c
+  prt_ (A.AD c) = prt_ c
+  prt_ a = prt a
+
 instance Print A.Patt where 
   prt = C.printTree
   prt_ = prPatt
@@ -174,7 +179,7 @@ instance Print Atom where
   prt (AtV i) = prt i
   prt (AtL s) = s
   prt (AtI i) = show i
-  prt_ (AtC f) = prQIdent_ f 
+  prt_ (AtC (_,f)) = prt f 
   prt_ a = prt a
 
 prQIdent :: QIdent -> String
-- 
cgit v1.2.3