Typo
[packages/base.git] / tests / dynamic001.hs
1 -- !!! Dynamic library regression tests
2 module Main(main) where
3
4 import Data.Dynamic
5
6 main :: IO ()
7 main = do
8 test "toDyn" toDyn_list
9 testIO "fromDyn" fromDyn_test
10
11 toDyn_list :: [Dynamic]
12 toDyn_list =
13 [ toDyn (1::Int)
14 , toDyn ('a')
15 , toDyn False
16 , toDyn ((-1.0)::Float)
17 , toDyn (0.0::Double)
18 , toDyn (1394::Integer)
19 , toDyn (print "hello")
20 , toDyn toDyn_list
21 , toDyn ([]::[Int])
22 , toDyn (Nothing :: Maybe Int)
23 , toDyn ((Just 2) :: Maybe Int)
24 , toDyn ((Just 2) :: Maybe Int)
25 , toDyn ((Left 3) :: Either Int Bool)
26 , toDyn ((Right 3) :: Either Char Int)
27 , toDyn ()
28 , toDyn LT
29 , toDyn ((),2::Int)
30 , toDyn ((),2::Int,'a')
31 , toDyn ((),2::Int,'a',1.0::Double)
32 , toDyn ((),2::Int,'a',1.0::Double,Nothing::Maybe Bool)
33 , toDyn ((+) :: Int -> Int -> Int)
34 , toDyn ((+) :: Integer -> Integer -> Integer)
35 , toDyn ((++) :: [Char] -> [Char] -> [Char])
36 ]
37
38 -- Testing the conversion from Dynamic values:
39 fromDyn_test :: IO ()
40 fromDyn_test = do
41 print (fromDyn (toDyn (1::Int)) (0::Int))
42 print (fromDyn (toDyn ('a'::Char)) (0::Int))
43 print (fromDyn (toDyn 'a') 'b')
44 print (fromDyn (toDyn (1::Float)) (0::Float))
45 print (fromDyn (toDyn (2::Float)) (0::Int))
46 print (fromDyn (toDyn (3::Double)) (0::Double))
47 print (fromDyn (toDyn (4::Double)) (0::Int))
48 print (fromDyn (toDyn (5::Integer)) (0::Integer))
49 print (fromDyn (toDyn (6::Integer)) False)
50 print (fromDyn (toDyn [1,3,5::Integer]) ([]::[Integer]))
51 print (fromDyn (toDyn (Just True)) (Nothing::Maybe Bool))
52 print (fromDyn (toDyn (Left True::Either Bool Bool)) (Right False :: Either Bool Bool))
53 print (fromDyn (toDyn LT) GT)
54 print (fromDyn (toDyn ((+1)::Int->Int)) False)
55 print ((fromDyn (toDyn ((+1)::Int->Int)) ((+2)::Int->Int)) 3)
56 print ((fromDyn (toDyn ((++)::[Int]->[Int]->[Int])) ((undefined)::[Int]->[Int]->[Int])) [1] [2])
57
58
59 -- Misc test utilities:
60 test :: Show a => String -> [a] -> IO ()
61 test str ls = do
62 putStrLn ("*** Testing: " ++ str ++ " ***")
63 putStrLn (showListLn ls)
64
65 testIO :: String -> IO () -> IO ()
66 testIO str tst = do
67 putStrLn ("*** Testing: " ++ str ++ " ***")
68 tst
69
70
71 -- showListLn presents a list in a diff-friendly format.
72 -- showListLn [a1,..an]
73 -- =>
74 -- [ a1
75 -- , a2
76 -- ..
77 -- , an
78 -- ]
79 --
80 showListLn :: Show a => [a] -> String
81 showListLn [] = ""
82 showListLn ls = '[' : ' ' : go ls
83 where
84 go [x] = show x ++ "\n]"
85 go (x:xs) = show x ++ '\n':',':' ':go xs
86
87 {-
88 test8 = toDyn (mkAppTy listTc)
89 test9 :: Float
90 test9 = fromDyn test8 0
91
92 printf :: String -> [Dynamic] -> IO ()
93 printf str args = putStr (decode str args)
94 where
95 decode [] [] = []
96 decode ('%':'n':cs) (d:ds) =
97 (\ v -> show v++decode cs ds) (fromDyn d (0::Int))
98 decode ('%':'c':cs) (d:ds) =
99 (\ v -> show v++decode cs ds) (fromDyn d ('\0'))
100 decode ('%':'b':cs) (d:ds) =
101 (\ v -> show v++decode cs ds) (fromDyn d (False::Bool))
102 decode (x:xs) ds = x:decode xs ds
103
104 test10 :: IO ()
105 test10 = printf "%n = %c, that much is %b\n" [toDyn (3::Int),toDyn 'a', toDyn False]
106
107 -}