blob: b7e854d805389b60e48153c69a4a5ad039e9a31c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeInType #-}
module NatVal where
import Data.Proxy
import GHC.TypeLits
-- test that Nat type literals are statically converted into Integer literals
foo :: Integer
foo = natVal $ Proxy @0
|