diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-08-30 16:19:37 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-08-31 08:16:58 +0100 |
| commit | 2c133b67df374c73bc8069cefd7d57e1d2a14fc3 (patch) | |
| tree | 01305aaf0cb46f36511adfd10d586f217263f3ba /compiler/utils/FastString.hs | |
| parent | 3790ea906da400cd7ff6dbc0ec061bd99afaf84a (diff) | |
| download | haskell-2c133b67df374c73bc8069cefd7d57e1d2a14fc3.tar.gz | |
Really fix Trac #14158
I dug more into how #14158 started working. I temporarily reverted the
patch that "fixed" it, namely
commit a6c448b403dbe8720178ca82100f34baedb1f47e
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date: Mon Aug 28 17:33:59 2017 +0100
Small refactor of getRuntimeRep
Sure enough, there was a real bug, described in the new
TcExpr Note [Visible type application zonk]
In general, syntactic substituion should be kind-preserving!
Maybe we should check that invariant...
Diffstat (limited to 'compiler/utils/FastString.hs')
0 files changed, 0 insertions, 0 deletions