Fix a grevious error in InstEnv: Trac #5095
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 3 Aug 2011 15:22:06 +0000 (16:22 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 3 Aug 2011 15:22:06 +0000 (16:22 +0100)
commit9d251f5ec83be41fdc3a7f1104ea8968fa9e5ebe
treef7f4dc8bff703b3a32d565cbc3d352d1e729772e
parent882e439b80110917b83aaaae3cf88fdb4ef3bd6a
Fix a grevious error in InstEnv: Trac #5095

An claimed short-cut optimisation was actually an error.
The optimisation was this: when looking up (C a b), where
'a' and 'b' are type variables, we were returning [] immediately
if the instance environment had no instances of form (C a b).
Why? Because the thing being looked up definitely won't match
(C Int Bool), say.

BUT it will *unify* with (C Int Bool) and we care very much
about things it might unify with.  If we neglect them we may
silently allow incoherent instance selection, and that is
exactly what happened in #5095.

The fix is easy: remove the "optimisation".
compiler/types/InstEnv.lhs