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=96ca3b3e16950d94646364c13f6fec6f5204a564;hp=dc7bf5e1ec190ef04af142c48e18a5fd2d5cc9e6;hb=b076da6047bf4c6b3d74a97c6c5fd59ed3bdd114;hpb=6f573eb5dedb0625d1df9a6fdf9839bcaa9cba8e diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs index dc7bf5e..96ca3b3 100644 --- a/compiler/typecheck/TcRnTypes.lhs +++ b/compiler/typecheck/TcRnTypes.lhs @@ -793,7 +793,7 @@ data Implication -- given evidence variables ic_wanted :: WantedConstraints, -- The wanted - ic_insol :: Bool, -- True iff insolubleWC ic_wantted is true + ic_insol :: Bool, -- True iff insolubleWC ic_wanted is true ic_binds :: EvBindsVar -- Points to the place to fill in the -- abstraction and bindings