Guard rewritableTyVarsOfType
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 9 Feb 2017 12:12:21 +0000 (12:12 +0000)
committerBen Gamari <ben@smart-cactus.org>
Thu, 9 Feb 2017 21:34:01 +0000 (16:34 -0500)
commita5a6c527bed408d8ed43b83a1e9cd69693553779
treeee4c3edde6afdd73401be22a8ea8e88c21ff8226
parentc22cd7cc28238cf84f90dda9961064f5ea44761d
Guard rewritableTyVarsOfType

We only want to use rewriteableTyVarsOfType on CDictCan,
CFunEqCan (and maybe CIrredCan).  But not CTyEqCan.

But we were -- for insolubles.  So I narrowed the scope of
the insuluble kick-out.
compiler/typecheck/TcSMonad.hs
compiler/typecheck/TcType.hs
testsuite/tests/typecheck/should_fail/FrozenErrorTests.stderr