summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T15843.hs
blob: c08bd3e5e87144cf2a99076f4c4e6591ed2d743c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
{-# LANGUAGE TupleSections #-}
{-# LANGUAGE UnboxedTuples #-}
module Main where

import Language.Haskell.TH

import T15843a

ppr_and_show a = print a >> (putStrLn $ pprint a)

main :: IO ()
main = do
  mapM_ (\q -> runQ q >>= ppr_and_show)
        [first_of_2, second_of_2, empty_2, full_2, third_of_3]

  mapM_ (\q -> (runQ (unTypeCode q)) >>= ppr_and_show)
        [first_of_2_T, second_of_2_T]

  runQ (unTypeCode empty_2_T) >>= ppr_and_show
  runQ (unTypeCode full_2_T) >>= ppr_and_show
  runQ (unTypeCode third_of_3_T) >>= ppr_and_show

  print $ "(909,) applied to 'c' should be (909, 'c') ===> "
            ++ (show $ (909, 'c') == ($first_of_2 'c'))

  print $ "(,909) applied to False should be (False, 909) ===> "
            ++ (show $ (False, 909) == ($second_of_2 False))

  print $ "(,,909) applied to 606 and True should be (606, True, 909) ===> "
            ++ (show $ (606, True, 909) == ($third_of_3 606 True))

  mapM_ (\q -> runQ q >>= ppr_and_show)
        [unb0, unb1, unb2, unb3, unb4]