blob: 5bf912bc11ac3c17d68f0ba3f9e771b90bce75b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE UnboxedSums #-}
module UnboxedSumsTH where
import Data.Proxy
import Language.Haskell.TH
-- Check that we can quote the type constructor (# | #).
testTC :: Proxy (# | #)
testTC = $( conE 'Proxy `appTypeE` conT ''(# | #) )
|