Built-in Natural literals in Core
[ghc.git] / testsuite / tests / numeric / should_compile / T14170.hs
1 {-# LANGUAGE TypeApplications #-}
2 {-# LANGUAGE TypeInType #-}
3
4 module NatVal where
5
6 import Data.Proxy
7 import GHC.TypeLits
8
9 -- test that Nat type literals are statically converted into Integer literals
10
11 foo :: Integer
12 foo = natVal $ Proxy @0