Commit 2140e8a5 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Comments only

parent 1cf0c8ad
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment