compiler/MachDeps.h · dd1be88bbf1cb4da5256e39406d68c052cc83712 · sheaf / GHC

Forked from Glasgow Haskell Compiler / GHC

Source project has a limited visibility.

3 years ago

Default kind vars in tyfams with -XNoPolyKinds · 28334b47

sheaf authored 3 years ago

  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

28334b47

History

Default kind vars in tyfams with -XNoPolyKinds

sheaf authored 3 years ago

  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

Code owners

Assign users and groups as approvers for specific file changes. Learn more.