From 7a44450b34f80b156b8d663d3310e33aa7519910 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 10 Nov 2003 14:57:51 +0000 Subject: Lin to tables. Lin to tables. New unicode flag. --- src/GF/Source/PrintGF.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Source') diff --git a/src/GF/Source/PrintGF.hs b/src/GF/Source/PrintGF.hs index e4238ceff..aa5909e33 100644 --- a/src/GF/Source/PrintGF.hs +++ b/src/GF/Source/PrintGF.hs @@ -17,10 +17,11 @@ render :: [String] -> String render = rend 0 where rend i ss = case ss of - --H these three are hand-written + --H these four are hand-written "{0" :ts -> cons "{" $ rend (i+1) ts t :"}0" :ts -> cons t $ space "}" $ rend (i-1) ts t : "." :ts -> cons t $ cons "." $ rend i ts + "\\" :ts -> cons "\\" $ rend i ts "[" :ts -> cons "[" $ rend i ts "(" :ts -> cons "(" $ rend i ts -- cgit v1.2.3