diff options
| author | aarne <aarne@chalmers.se> | 2010-03-31 22:05:12 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-31 22:05:12 +0000 |
| commit | 5dfda62ad10639d1493ed57d709786ad9291bec1 (patch) | |
| tree | 9317b805c4c034f9aed142af749d66679baff57a /src/compiler/GF/Grammar/Printer.hs | |
| parent | fb0f77b6f11edb483fd79ee2a77c9cb0b7e059b1 (diff) | |
fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type
Diffstat (limited to 'src/compiler/GF/Grammar/Printer.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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]))
|