diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-07-30 10:44:33 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-02 08:14:47 -0400 |
| commit | 1b9d32b8b8d55335bed7fb3677054327c6072768 (patch) | |
| tree | 36a22b007672e910a7ef89135e45f0c00ac2ddea /compiler/codeGen | |
| parent | 9552114006ea81e379228706caf30cbe3323e1d2 (diff) | |
| download | haskell-1b9d32b8b8d55335bed7fb3677054327c6072768.tar.gz | |
Rip out 9-year-old pattern variable hack (#17007)
GHC had an ad hoc validity check in place to rule out pattern
variables bound by type synonyms, such as in the following example:
```hs
type ItemColID a b = Int -- Discards a,b
get :: ItemColID a b -> ItemColID a b
get (x :: ItemColID a b) = x :: ItemColID a b
```
This hack is wholly unnecessary nowadays, since OutsideIn(X) is more
than capable of instantiating `a` and `b` to `Any`. In light of this,
let's rip out this validity check.
Fixes #17007.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions