diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-09-13 16:49:23 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-09-13 16:49:23 +0000 |
| commit | ba950aab14782e95b41f378df4de014b38347665 (patch) | |
| tree | fa8a56bee9923c986020332ee811b1f9b3890d67 /src/GF/Canon/GFCC/PrintGFCC.hs | |
| parent | a64131afbec2ced7919dee28326beda827a38bee (diff) | |
lambda in GFCC
Diffstat (limited to 'src/GF/Canon/GFCC/PrintGFCC.hs')
| -rw-r--r-- | src/GF/Canon/GFCC/PrintGFCC.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Canon/GFCC/PrintGFCC.hs b/src/GF/Canon/GFCC/PrintGFCC.hs index 7511dffb8..c0ac02c1c 100644 --- a/src/GF/Canon/GFCC/PrintGFCC.hs +++ b/src/GF/Canon/GFCC/PrintGFCC.hs @@ -1,5 +1,4 @@ {-# OPTIONS -fno-warn-incomplete-patterns #-} - module GF.Canon.GFCC.PrintGFCC where -- pretty-printer generated by the BNF converter @@ -155,6 +154,8 @@ instance Print Term where V n -> prPrec i 0 (concatD [doc (showString "$") , prt 0 n]) C n -> prPrec i 0 (concatD [prt 0 n]) F cid -> prPrec i 0 (concatD [prt 0 cid]) + L cid -> prPrec i 0 (concatD [doc (showString "$") , prt 0 cid]) + A cid term -> prPrec i 0 (concatD [doc (showString "(") , prt 0 cid , doc (showString "->") , prt 0 term , doc (showString ")")]) FV terms -> prPrec i 0 (concatD [doc (showString "[|") , prt 0 terms , doc (showString "|]")]) W str term -> prPrec i 0 (concatD [doc (showString "(") , prt 0 str , doc (showString "+") , prt 0 term , doc (showString ")")]) |