blob: 62b6094e646edc54844c3feed04c27306c31d740 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE UnboxedTuples #-}
module Main where
type Null = (# #)
{-# NOINLINE showNull #-}
showNull :: Null -> String
showNull (# #) = "(# #)"
{-# NOINLINE showNullPair #-}
showNullPair :: (# Null, Null #) -> String
showNullPair (# n1, n2 #) = "(# " ++ showNull n1 ++ ", " ++ showNull n2 ++ " #)"
main :: IO ()
main = do
putStrLn (showNullPair (# (# #), (# #) #))
|
