diff options
Diffstat (limited to 'compiler/prelude/TysWiredIn.hs-boot')
| -rw-r--r-- | compiler/prelude/TysWiredIn.hs-boot | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/prelude/TysWiredIn.hs-boot b/compiler/prelude/TysWiredIn.hs-boot index 26e42010c9..b777fa187b 100644 --- a/compiler/prelude/TysWiredIn.hs-boot +++ b/compiler/prelude/TysWiredIn.hs-boot @@ -12,6 +12,8 @@ listTyCon :: TyCon typeNatKind, typeSymbolKind :: Type mkBoxedTupleTy :: [Type] -> Type +coercibleTyCon, heqTyCon :: TyCon + liftedTypeKind :: Kind constraintKind :: Kind |