diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-11-08 13:40:05 +0100 |
|---|---|---|
| committer | sheaf <sam.derbyshire@gmail.com> | 2021-11-08 13:40:05 +0100 |
| commit | 28334b475a109bdeb8d53d58c48adb1690e2c9b4 (patch) | |
| tree | 9ab0bc969b97b659b62669a405397e5861cbe35d /llvm-targets | |
| parent | 56705da84a8e954d9755270ca8bb37a43d7d03a9 (diff) | |
| download | haskell-28334b475a109bdeb8d53d58c48adb1690e2c9b4.tar.gz | |
Default kind vars in tyfams with -XNoPolyKinds
We should still default kind variables in type families
in the presence of -XNoPolyKinds, to avoid suggesting enabling
-XPolyKinds just because the function arrow introduced kind variables,
e.g.
type family F (t :: Type) :: Type where
F (a -> b) = b
With -XNoPolyKinds, we should still default `r :: RuntimeRep`
in `a :: TYPE r`.
Fixes #20584
Diffstat (limited to 'llvm-targets')
0 files changed, 0 insertions, 0 deletions