diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-15 00:12:16 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-15 00:12:16 +0100 |
| commit | 7d83fdea229b940ae198ddc5c179ac449defd2ef (patch) | |
| tree | a6a56a1eb11f0e86c4e14172208861fdf454e4fe /rts/hooks/StackOverflow.c | |
| parent | f4c327ad08d9df0fbafa0ad476a9ef26f8cd6abb (diff) | |
| download | haskell-7d83fdea229b940ae198ddc5c179ac449defd2ef.tar.gz | |
Bind "given" evidence to a variable, always
This was being done in xCtFlavor, but not in rewriteCtFlavor,
resulting in Trac #7238.
See Note [Bind new Givens immediately] in TcSMonad and
and Note [Coercion evidence terms] in TcEvidence.
Diffstat (limited to 'rts/hooks/StackOverflow.c')
0 files changed, 0 insertions, 0 deletions