Hey Devs,
I haven't worked on GHC before, so I'm having trouble finding an entry
point to implementing the AMP warnings (#8004). I only have a rough
working knowledge of GHC's inner workings, but it would be a shame if
the ticket wasn't resolved until the 7.8 deadline (which is somewhere in
I haven't played much with instances, but it looks to me like
tcInstDecls1, in typecheck/TcInstDecls.lhs, is a good place. Toward the
end of the body of that function is a bunch of checks in the style that
you will need to write (such as for bogus Typeable instances).
I hope this helps!