diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-10 10:53:41 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-18 12:26:34 +0100 |
| commit | 2140e8a5ce58bc619cdbeea0fb93b07779964b4f (patch) | |
| tree | e27b11d1214c3fbb05b70902e0386f3e387bb79e /compiler | |
| parent | 1cf0c8ad321d1d358cbec46d35be02566faf2d00 (diff) | |
| download | haskell-2140e8a5ce58bc619cdbeea0fb93b07779964b4f.tar.gz | |
Comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcInstDcls.lhs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs index 381c0823cc..6d4e620534 100644 --- a/compiler/typecheck/TcInstDcls.lhs +++ b/compiler/typecheck/TcInstDcls.lhs @@ -1358,6 +1358,9 @@ tcInstanceMethods dfun_id clas tyvars dfun_ev_vars inst_tys -- Notice that the dictionary bindings "..d1..d2.." must be generated -- by the constraint solver, since the <context> may be -- user-specified. +-- +-- See also Note [Newtype deriving superclasses] in TcDeriv +-- for why we don't just coerce the superclass = do { rep_d_stuff <- checkConstraints InstSkol tyvars dfun_ev_vars $ emitWanted ScOrigin rep_pred |