testsuite/tests/ffi/should_fail/T21305_fail.hs · 921fbf2fb601ff90cd9cbc0fb8fe3b1768a8f1d5 · Reinier Maas / GHC · GitLab

May 04, 2022
445d3657
Ensure Any is not levity-polymorphic in FFI · 445d3657
sheaf authored May 04, 2022 and Marge Bot committed May 04, 2022
```
The previous patch forgot to account for a type such as

  Any @(TYPE (BoxedRep l))

for a quantified levity variable l.
```
445d3657
Ensure Any is not levity-polymorphic in FFI
sheaf authored May 04, 2022 and Marge Bot committed May 04, 2022
```
The previous patch forgot to account for a type such as

  Any @(TYPE (BoxedRep l))

for a quantified levity variable l.
```