GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

pretty printing of qualified identifiers

Browse Source
This commit is contained in:
krasimir
2009-01-23 06:11:41 +00:00
parent 62a6156405
commit b10c9c0f83
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/GF/Grammar/Printer.hs
View File

@@ -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