diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-17 20:09:22 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-17 20:09:22 +0000 |
| commit | 1d7e3b4a9eeef75c958dd04ffb224b7df64ba088 (patch) | |
| tree | 269ac897f95118eb5a09399899c1260034dffd64 | |
| parent | b8a7e50107ecc5a5b9cd1dbad6460a5fb3fbbf67 (diff) | |
fix in GF.Grammar.Printer
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index 9e760b4fd..6a09548cd 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -86,6 +86,7 @@ ppJudgement q (id, AbsFun ptype _ pexp) = Just typ -> text "fun" <+> ppIdent id <+> colon <+> ppTerm q 0 typ <+> semi
Nothing -> empty) $$
(case pexp of
+ Just [] -> empty
Just eqs -> text "def" <+> vcat [ppIdent id <+> hsep (map (ppPatt q 2) ps) <+> equals <+> ppTerm q 0 e <+> semi | (ps,e) <- eqs]
Nothing -> empty)
ppJudgement q (id, ResParam pparams) =
|