Add kind equalities to GHC.
[ghc.git] / compiler / basicTypes / IdInfo.hs-boot
index 2e98629..0fabad3 100644 (file)
@@ -5,4 +5,6 @@ data IdDetails
 
 vanillaIdInfo :: IdInfo
 coVarDetails :: IdDetails
+isCoVarDetails :: IdDetails -> Bool
 pprIdDetails :: IdDetails -> SDoc
+