Prevent solveFlatWanteds from losing insolubles when using typechecker plugins
authorAdam Gundry <adam@well-typed.com>
Thu, 4 Dec 2014 13:31:08 +0000 (13:31 +0000)
committerAdam Gundry <adam@well-typed.com>
Thu, 4 Dec 2014 13:33:31 +0000 (13:33 +0000)
commitd6f92769a89c29a05127cdf5f19dee56fc65dc40
tree42bae81538584d239ccd8c1ec4d61e499bec2fce
parentcc071ecfab52396e7ecf54eb69abef57c3a63626
Prevent solveFlatWanteds from losing insolubles when using typechecker plugins

Summary: I've added a Note explaining the problem.

Test Plan:
validate; we don't have a very good story for testing plugins yet,
but I've verified that this does at least fix the bug in my plugin.

Reviewers: simonpj, austin

Reviewed By: austin

Subscribers: carter, thomie, gridaphobe, yav

Differential Revision: https://phabricator.haskell.org/D552
compiler/typecheck/TcInteract.hs