testsuite/tests/numeric/should_compile/T14170.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

{-# LANGUAGE TypeApplications      #-}
{-# LANGUAGE PolyKinds             #-}
{-# LANGUAGE DataKinds             #-}

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