blob: 46ed1c13c1ccd8c0d92fd44a14ed6b6d8a752f28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE UnboxedSums #-}
module UnboxedSumsTH_Fail where
import Data.Proxy
import Language.Haskell.TH
-- (# | #) is not a valid data constructor,
-- as it doesn't indicate which alternative we are taking.
testDC :: (# Integer | Bool #)
testDC = $( conE '(# | #) `appE` litE (IntegerL 77) )
|
