From 2b2ae6cf08d080f489ded560689e4000c5035ece Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 May 2005 18:59:59 +0000 Subject: [PATCH] printing % --- src/GF/Source/PrintGF.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/GF/Source/PrintGF.hs b/src/GF/Source/PrintGF.hs index d84fce863..51f120c2a 100644 --- a/src/GF/Source/PrintGF.hs +++ b/src/GF/Source/PrintGF.hs @@ -27,11 +27,13 @@ render d = rend 0 (map ($ "") $ d []) "" where "[" :ts -> showChar '[' . rend i ts "(" :ts -> showChar '(' . rend i ts + "%" :ts -> showChar '%' . rend i ts "{" :ts -> showChar '{' . new (i+1) . rend (i+1) ts "}" : ";":ts -> new (i-1) . space "}" . showChar ';' . new (i-1) . rend (i-1) ts "}" :ts -> new (i-1) . showChar '}' . new (i-1) . rend (i-1) ts ";" :ts -> showChar ';' . new i . rend i ts t : "," :ts -> showString t . space "," . rend i ts + t : "%" :ts -> showString t . showChar '%' . rend i ts t : ")" :ts -> showString t . showChar ')' . rend i ts t : "]" :ts -> showString t . showChar ']' . rend i ts t :ts -> space t . rend i ts