\end{code}
-*********************************************************
-* *
+%*********************************************************
+%* *
\subsection{Patterns}
-* *
-*********************************************************
+%* *
+%*********************************************************
\begin{code}
-- externally abstract type of name makers,
badPun :: Located RdrName -> SDoc
badPun fld = vcat [ptext (sLit "Illegal use of punning for field") <+> quotes (ppr fld),
- ptext (sLit "Use -XRecordPuns to permit this")]
+ ptext (sLit "Use -XNamedFieldPuns to permit this")]
-- wrappers