diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-05 13:14:17 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-05 13:14:17 +0000 |
| commit | 10b0a9032372201d26b448a550fc31932e845321 (patch) | |
| tree | 0f5b1ed10a6e1278d4c9177d5e6d53ac283cd1a4 | |
| parent | 993ceb63bcec89295485b831bdb974bd7b47c6bc (diff) | |
print semicolon after the ind statement
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index 80b9b9e70..e55841704 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -120,7 +120,7 @@ ppJudgement q (id, CncFun ptype pdef pprn) = (case pprn of
Just prn -> text "printname" <+> text "fun" <+> ppIdent id <+> equals <+> ppTerm q 0 prn <+> semi
Nothing -> empty)
-ppJudgement q (id, AnyInd cann mid) = text "ind" <+> ppIdent id <+> equals <+> (if cann then text "canonical" else empty) <+> ppIdent mid
+ppJudgement q (id, AnyInd cann mid) = text "ind" <+> ppIdent id <+> equals <+> (if cann then text "canonical" else empty) <+> ppIdent mid <+> semi
ppTerm q d (Abs v e) = let (vs,e') = getAbs e
in prec d 0 (char '\\' <> commaPunct ppIdent (v:vs) <+> text "->" <+> ppTerm q 0 e')
|