Simon Peyton Jones pushed to branch wip/T20264 at Glasgow Haskell Compiler / GHC
Commits:
-
c7a75ca9
by Simon Peyton Jones at 2025-04-22T22:20:00+01:00
1 changed file:
Changes:
| ... | ... | @@ -867,11 +867,13 @@ idEntityInfo vid = S.fromList $ [EntityTypeVariable | isTyVar vid] <> [EntityFun |
| 867 | 867 | -- | Get the `EntityInfo` for a `TyThing`
|
| 868 | 868 | tyThingEntityInfo :: TyThing -> S.Set EntityInfo
|
| 869 | 869 | tyThingEntityInfo ty = case ty of
|
| 870 | - AnId vid -> idEntityInfo vid
|
|
| 870 | + AnId vid -> idEntityInfo vid
|
|
| 871 | + ATyVar {} -> S.singleton EntityTypeVariable
|
|
| 871 | 872 | AConLike con -> case con of
|
| 872 | 873 | RealDataCon _ -> S.singleton EntityDataConstructor
|
| 873 | 874 | PatSynCon _ -> S.singleton EntityPatternSynonym
|
| 874 | - ATyCon tyCon -> S.fromList $ [EntityTypeSynonym | isTypeSynonymTyCon tyCon] <> [EntityTypeFamily | isFamilyTyCon tyCon]
|
|
| 875 | + ATyCon tyCon -> S.fromList $ [EntityTypeSynonym | isTypeSynonymTyCon tyCon]
|
|
| 876 | + <> [EntityTypeFamily | isFamilyTyCon tyCon]
|
|
| 875 | 877 | <> [EntityTypeClass | isClassTyCon tyCon] <> [EntityTypeConstructor]
|
| 876 | 878 | ACoAxiom _ -> S.empty
|
| 877 | 879 |