diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-29 14:03:46 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-29 14:05:26 +0000 |
| commit | f8c8de8ebf73cd77faa0249d92f280e33a8d2624 (patch) | |
| tree | 7fde6168d426106ed02118b8fd7e8dcb91ff6601 /compiler/main/TidyPgm.hs | |
| parent | abd4a4c13e5dbaac8f1c28d8c9d9446e383f6037 (diff) | |
| download | haskell-f8c8de8ebf73cd77faa0249d92f280e33a8d2624.tar.gz | |
Zonk the free tvs of a RULE lhs to TyVars
Previously we were making them into skolem TcTyVars,
which is wrong for the output of the type checker, which
no TcTyVars should surive.
See Note [Zonking the LHS of a RULE] in TcHsSyn
This was flushed out by the new IfaceTcTyVar thing;
I found some more TcTyVars that were being serialised into
an interface file, which is wrong wrong wrong.
Diffstat (limited to 'compiler/main/TidyPgm.hs')
0 files changed, 0 insertions, 0 deletions