Skip to content
Snippets Groups Projects
Commit 51bbe15f authored by Juan J. Quintela's avatar Juan J. Quintela
Browse files

[project @ 1997-12-02 18:08:00 by quintela]

Deleted NAmedThing Constraint of Outputable InPat
parent 8af88215
No related merge requests found
......@@ -127,11 +127,16 @@ data OutPat tyvar uvar id
[id] -- methods
\end{code}
Now name in Inpat is not need to be in NAmedThing to be Outputable.
Needed by ../deSugar/Check.lhs
JJQC-2-12-97
\begin{code}
instance (Outputable name, NamedThing name) => Outputable (InPat name) where
instance (Outputable name) => Outputable (InPat name) where
ppr = pprInPat
pprInPat :: (Outputable name, NamedThing name) => PprStyle -> InPat name -> Doc
pprInPat :: (Outputable name) => PprStyle -> InPat name -> Doc
pprInPat sty (WildPatIn) = char '_'
pprInPat sty (VarPatIn var) = ppr sty var
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment