blob: 2cac84767e572504221af3c6502a6a893e5bcbff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE UnboxedSums, MagicHash #-}
module Main where
type Ty = (# () | () #)
{-# NOINLINE showTy #-}
showTy :: Ty -> String
showTy (# _ | #) = "(# _ | #)"
showTy (# | () #) = "(# | () #)"
main :: IO ()
main = do
print (showTy (# undefined | #))
print (showTy (# | () #))
|
