From ba950aab14782e95b41f378df4de014b38347665 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 13 Sep 2006 16:49:23 +0000 Subject: lambda in GFCC --- src/GF/Canon/GFCC/PrintGFCC.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Canon/GFCC/PrintGFCC.hs') 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 ")")]) -- cgit v1.2.3