1 files changed, 81 insertions, 0 deletions
diff --git a/testsuite/tests/unboxedsums/unboxedsums1.hs b/testsuite/tests/unboxedsums/unboxedsums1.hs
new file mode 100644
index 0000000000..42a04ae94e
--- /dev/null
+++ b/testsuite/tests/unboxedsums/unboxedsums1.hs
@@ -0,0 +1,81 @@
+{-# LANGUAGE UnboxedSums, MagicHash #-}
+
+module Main where
+
+import GHC.Prim
+import GHC.Types
+
+import System.Mem (performMajorGC)
+
+type Either1 a b = (# a | b #)
+
+showEither1 :: (Show a, Show b) => Either1 a b -> String
+showEither1 (# left | #)  = "Left " ++ show left
+showEither1 (# | right #) = "Right " ++ show right
+
+showEither2 :: (# Int# | Float# #) -> String
+showEither2 (# i | #) = "Left " ++ show (I# i)
+showEither2 (# | f #) = "Right " ++ show (F# f)
+
+showEither3 :: Show a => (# a | Int# #) -> String
+showEither3 (# a | #) = "Left " ++ show a
+showEither3 (# | i #) = "Right " ++ show (I# i)
+
+type T = (# Int | Bool | String | Char | Either Int Bool | Int# | Float# #)
+
+showEither4 :: T -> String
+showEither4 (# i | | | | | | #) = "Alt0: " ++ show i
+showEither4 (# | b | | | | | #) = "Alt1: " ++ show b
+showEither4 (# | | s | | | | #) = "Alt2: " ++ show s
+showEither4 (# | | | c | | | #) = "Alt3: " ++ show c
+showEither4 (# | | | | e | | #) = "Alt4: " ++ show e
+showEither4 (# | | | | | i | #) = "Alt5: " ++ show (I# i)
+showEither4 (# | | | | | | f #) = "Alt6: " ++ show (F# f)
+
+main :: IO ()
+main = do
+    putStrLn (showEither1 e1_1)
+    putStrLn (showEither1 e1_2)
+    putStrLn (showEither2 e2_1)
+    putStrLn (showEither2 e2_2)
+    putStrLn (showEither3 e3_1)
+    putStrLn (showEither3 e3_2)
+
+    putStrLn (showEither4 e4_1)
+    putStrLn (showEither4 e4_2)
+    putStrLn (showEither4 e4_3)
+    putStrLn (showEither4 e4_4)
+    putStrLn (showEither4 e4_5)
+    putStrLn (showEither4 e4_6)
+    putStrLn (showEither4 e4_7)
+
+    -- make sure we don't put pointers to non-pointer slots
+    performMajorGC
+
+    -- make sure pointers in unboxed sums are really roots
+    putStrLn (showEither1 e1_1)
+  where
+    -- boxed types only
+    e1_1, e1_2 :: Either1 String Int
+    e1_1 = (# "error" | #)
+    e1_2 = (# | 10 #)
+
+    -- prim types only
+    e2_1, e2_2 :: (# Int# | Float# #)
+    e2_1 = (# 10# | #)
+    e2_2 = (# | 1.2# #)
+
+    -- a mix of prim and boxed types
+    e3_1, e3_2 :: (# String | Int# #)
+    e3_1 = (# "OK" | #)
+    e3_2 = (# | 123# #)
+
+    -- big arity
+    e4_1, e4_2, e4_3, e4_4, e4_5, e4_6, e4_7 :: T
+    e4_1 = (# 10 | | | | | | #)
+    e4_2 = (# | False | | | | | #)
+    e4_3 = (# | | "ok" | | | | #)
+    e4_4 = (# | | | 'a' | | | #)
+    e4_5 = (# | | | | Right True | | #)
+    e4_6 = (# | | | | | 123# | #)
+    e4_7 = (# | | | | | | 54.3# #)