Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
Forked from Glasgow Haskell Compiler / GHC
5067 commits behind the upstream repository.
  • Adam Gundry's avatar
    b84b91f5
    Representation-polymorphic HasField (fixes #22156) · b84b91f5
    Adam Gundry authored and Marge Bot's avatar Marge Bot committed 
    This generalises the HasField class to support representation polymorphism,
so that instead of

    type HasField :: forall {k} . k -> Type -> Type -> Constraint

we have

    type HasField :: forall {k} {r_rep} {a_rep} . k -> TYPE r_rep -> TYPE a_rep -> Constraint
    b84b91f5
    History
    Representation-polymorphic HasField (fixes #22156)
    Adam Gundry authored and Marge Bot's avatar Marge Bot committed 
    This generalises the HasField class to support representation polymorphism,
so that instead of

    type HasField :: forall {k} . k -> Type -> Type -> Constraint

we have

    type HasField :: forall {k} {r_rep} {a_rep} . k -> TYPE r_rep -> TYPE a_rep -> Constraint
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
base-exports.stdout-mingw32 931.27 KiB