From b0dde31f00a5bc4df496d15008e6c3d525925d3a Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Fri, 26 Sep 2008 12:57:20 +0000
Subject: Added semantic interpretation tag printing to the *bnf grammar
 printers.

---
 src/GF/Speech/CFG.hs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/GF/Speech/CFG.hs')

diff --git a/src/GF/Speech/CFG.hs b/src/GF/Speech/CFG.hs
index 8e6c520d6..3e4db14d4 100644
--- a/src/GF/Speech/CFG.hs
+++ b/src/GF/Speech/CFG.hs
@@ -285,6 +285,18 @@ prProductions prods =
       maxLHSWidth = maximum $ 0:(map (length . fst) prods)
       rpad n s = s ++ replicate (n - length s) ' '
 
+prCFTerm :: CFTerm -> String
+prCFTerm = pr 0
+  where
+    pr p (CFObj f args) = paren p (prCId f ++ " (" ++ concat (intersperse "," (map (pr 0) args)) ++ ")")
+    pr p (CFAbs i t) = paren p ("\\x" ++ show i ++ ". " ++ pr 0 t)
+    pr p (CFApp t1 t2) = paren p (pr 1 t1 ++ "(" ++ pr 0 t2 ++ ")")
+    pr _ (CFRes i) = "$" ++ show i
+    pr _ (CFVar i) = "x" ++ show i
+    pr _ (CFMeta c) = "?" ++ prCId c
+    paren 0 x = x
+    paren 1 x = "(" ++ x ++ ")"
+
 --
 -- * CFRule Utilities
 --
-- 
cgit v1.2.3