diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-04-21 23:57:33 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-29 01:39:19 -0400 |
| commit | 0e3361ca414012e3ec40a260c2323986ce770db6 (patch) | |
| tree | 2d76064448dd4d24444a9a2232dbd8f09f15217f /compiler/GHC/Core/SimpleOpt.hs | |
| parent | bbeb2389596df61ace5778ec580895ea32cc3c6f (diff) | |
| download | haskell-0e3361ca414012e3ec40a260c2323986ce770db6.tar.gz | |
Make Lint check return type of a join point
Consider
join x = rhs in body
It's important that the type of 'rhs' is the same as the type of
'body', but Lint wasn't checking that invariant.
Now it does! This was exposed by investigation into !3113.
Diffstat (limited to 'compiler/GHC/Core/SimpleOpt.hs')
0 files changed, 0 insertions, 0 deletions