You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When defining an unlifted datatype or newtype, GHC helpfully tells me Suggested fix: Perhaps you intended to use UnliftedNewtypes or UnliftedDatatypes. But this does not happen with data families, as can be tested by comparing the errors for A, B, C, D:
{-# LANGUAGE TypeFamilies, MagicHash, DataKinds #-}
moduleNTwhereimportGHC.Exts{-newtype A = MkA Int#type B :: UnliftedTypedata B = MkB-}datafamilyC::TYPEIntRepnewtypeinstanceC=MkCInt#datafamilyD::UnliftedTypedatainstanceD=MkD
The text was updated successfully, but these errors were encountered:
When defining an unlifted datatype or newtype, GHC helpfully tells me
Suggested fix: Perhaps you intended to use UnliftedNewtypes
orUnliftedDatatypes
. But this does not happen with data families, as can be tested by comparing the errors forA
,B
,C
,D
:The text was updated successfully, but these errors were encountered: