diff options
| author | aarne <unknown> | 2003-11-10 14:57:51 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 14:57:51 +0000 |
| commit | 7a44450b34f80b156b8d663d3310e33aa7519910 (patch) | |
| tree | 155a6c5163c0076e4c6e1ed4ba5fdc2898deced5 /src/GF/Source | |
| parent | c84ce99de2e9a17e2413f2f81cae0088170cc3b9 (diff) | |
Lin to tables.
Lin to tables.
New unicode flag.
Diffstat (limited to 'src/GF/Source')
| -rw-r--r-- | src/GF/Source/PrintGF.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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 |