- ppr (UfValBinder name ty) = hsep [ppr name, ptext SLIT("::"), ppr ty]
- ppr (UfTyBinder name kind) = hsep [ppr name, ptext SLIT("::"), ppr kind]
+ ppr (UfValBinder name ty) = hsep [ppr name, dcolon, ppr ty]
+ ppr (UfTyBinder name kind) = hsep [ppr name, dcolon, ppr kind]