diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-23 06:11:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-23 06:11:41 +0000 |
| commit | b10c9c0f83d8109de054fc4c3dd89697e391ff3e (patch) | |
| tree | 49f012aec19509bf607003676df834623b5c4c3a | |
| parent | 62a6156405b60bbb1e6348273fb1487ae5297872 (diff) | |
pretty printing of qualified identifiers
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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
|