From 5dfda62ad10639d1493ed57d709786ad9291bec1 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 31 Mar 2010 22:05:12 +0000 Subject: fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type --- src/compiler/GF/Grammar/Printer.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/compiler/GF/Grammar') diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 1db1eb4f3..8c5b06d9b 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -176,6 +176,7 @@ ppTerm q d (EInt n) = integer n ppTerm q d (EFloat f) = double f ppTerm q d (Meta _) = char '?' ppTerm q d (Empty) = text "[]" +ppTerm q d (R []) = text "<>" -- to distinguish from {} empty RecType ppTerm q d (R xs) = braces (fsep (punctuate semi [ppLabel l <+> fsep [case mb_t of {Just t -> colon <+> ppTerm q 0 t; Nothing -> empty}, equals <+> ppTerm q 0 e] | (l,(mb_t,e)) <- xs])) -- cgit v1.2.3