-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
+ptdef (Newtype qtcon coercion tbinds tyopt) =
+ text "%newtype" <+> pqname qtcon <+> pqname coercion
+ <+> (hsep (map ptbind tbinds)) $$ indent repclause
+ where repclause = case tyopt of