3 ms·
> modulo bottom Since GHC 9.2, with UnliftedDatatypes you can define real uninhabited types! {-# LANGUAGE UnliftedDatatypes #-} import GHC.Exts da
by juxtapose 5y ago
> modulo bottom
Since GHC 9.2, with UnliftedDatatypes you can define real uninhabited types!
{-# LANGUAGE UnliftedDatatypes #-}
import GHC.Exts
data Void :: TYPE UnliftedRep where
Void :: { absurd :: forall a. a } -> Void
- whateveracct 5y agoResplendent!