testsuite/tests/th/T11046.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TemplateHaskell #-}
module T11046 where

import T11046_helper
import GHC.TypeLits
import Control.Monad(unless)

$(check "GHC.TypeLits.*")
$(check "GHC.TypeLits.+")
$(check "GHC.TypeLits.Nat")