X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs;fp=compiler%2Ftypecheck%2FTcRnTypes.lhs;h=dc7bf5e1ec190ef04af142c48e18a5fd2d5cc9e6;hp=fc781df6159b812546167e0d08cc97660ea9c41b;hb=5882c5ff503c5b3b425708621cbc3371cc36e5de;hpb=024aa13a0a6bfd2d68f4c551824357b87e732f5b diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs index fc781df..dc7bf5e 100644 --- a/compiler/typecheck/TcRnTypes.lhs +++ b/compiler/typecheck/TcRnTypes.lhs @@ -792,7 +792,7 @@ data Implication -- which is also the location of all the -- given evidence variables - ic_wanted :: WantedConstraints, -- The wanted + ic_wanted :: WantedConstraints, -- The wanted ic_insol :: Bool, -- True iff insolubleWC ic_wantted is true ic_binds :: EvBindsVar -- Points to the place to fill in the