blob: 1b062f0309daed1f6070628c9c174656e366770a (
plain)
1
2
3
4
5
6
7
8
9
|
{-# language MagicHash #-}
import GHC.Integer.GMP.Internals
import GHC.Natural
main = print $ map isValidNatural [0, 1, maxWord, maxWord + 1, invalid]
where
maxWord = fromIntegral (maxBound :: Word)
invalid = NatJ# oneBigNat -- 1 would fit into the NatS# constructor.
|