<div dir="ltr"><div>To: ghc-devs</div><div>Cc: some plugin authors I'm aware of</div><div><br></div>Today, I finally added a test that caused the type checker plugin I'm developing to fail because I'm ignoring the incoming Derived constraints. While investigating what exactly I should do with incoming Deriveds, I wrote up my notes in hopes they are helpful to other type checker plugin authors.<div><br></div><div>  <a href="https://gitlab.haskell.org/ghc/ghc/wikis/plugins/type-checker/notes">https://gitlab.haskell.org/ghc/ghc/wikis/plugins/type-checker/notes</a></div><div><br></div><div>It's a high-level summary of what the GHC constraint solver is doing, that dips down into the details a bit regarding Deriveds.</div><div><br></div><div>I would really appreciate it if you'd check that page for errors andr glaring omissions. Also, is there a better location for it? It seemed too sprawling for a source `Note`.</div><div><br></div><div>Thank you for your time. -Nick</div></div>