diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index 5c663e8c0..63cd6e2aa 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -160,6 +160,8 @@ ppTerm d (LiT id) = text "Lin" <+> ppIdent id ppTerm d (P t l) = prec d 5 (ppTerm 5 t <> char '.' <> ppLabel l) ppTerm d (Cn id) = ppIdent id ppTerm d (Vr id) = ppIdent id +ppTerm d (Q m id) = ppIdent m <> char '.' <> ppIdent id +ppTerm d (QC m id) = ppIdent m <> char '.' <> ppIdent id ppTerm d (Sort id) = ppIdent id ppTerm d (K s) = text (show s) ppTerm d (EInt n) = integer n