diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-07-23 12:04:40 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-07-23 12:04:40 -0400 |
| commit | b3743cea116fb592a8fd7937376e9f87d3f5a26e (patch) | |
| tree | ec2aa235827cf17717183e0daa3e11354c729165 /compiler/nativeGen/PPC/Ppr.hs | |
| parent | 2aaa6ed7af81c872149bfabf0761be0b253e0fc9 (diff) | |
| download | haskell-wip/covar-holes.tar.gz | |
Don't reuse coercion holes as covars when deferring errorswip/covar-holes
Previously TcErrors would use the variable associated with a coercion
hole as a normal coercion variable when deferring type errors. This
resulted in a Core Lint error now since we distinguish coercion holes
from "vanilla" covars via their IdDetails.
Diffstat (limited to 'compiler/nativeGen/PPC/Ppr.hs')
0 files changed, 0 insertions, 0 deletions