-ptdef (Newtype qtcon tbinds (coercion,cTbs,k) tyopt) =
- text "%newtype" <+> pqname qtcon <+> (hsep (map ptbind tbinds))
- $$ indent (axiomclause $$ repclause)
- where axiomclause = char '^' <+> parens (pqname coercion <+>
- (hsep (map ptbind cTbs)) <+>
- text "::"
- <+> peqkind k)
- repclause = case tyopt of
- Just ty -> char '=' <+> pty ty
- Nothing -> empty
+ptdef (Newtype qtcon coercion tbinds tyopt) =
+ text "%newtype" <+> pqname qtcon <+> pqname coercion
+ <+> (hsep (map ptbind tbinds)) $$ indent repclause
+ where repclause = char '=' <+> pty tyopt