1 --!!! Stress test for type checker
3 module ShouldSucceed where
5 import Prelude hiding (head)
15 absAnd a b = head [a,b]
18 = (absIf (absAnd (s_3_0 n) one)
20 (fac0 (absAnd (s_3_2 n) one) (absAnd (s_3_1 n) (s_2_1 a))))
26 = (absIf (absAnd (s_3_0 p) one)
27 (absAnd (s_1_0 x) (s_3_0 z))
29 (g0 (s_1_0 y) one one (absAnd (s_3_1 p) one))
30 (g1 (s_3_2 z) (s_3_1 z) one (absAnd (s_3_2 p) one))))
40 = (fac_rec fac_rec4 n a)
42 fac_rec4 n a = (fac_rec fac_rec3 n a)
43 fac_rec3 n a = (fac_rec fac_rec2 n a)
44 fac_rec2 n a = (fac_rec fac_rec1 n a)
45 fac_rec1 n a = (fac_rec fac_rec0 n a)
46 fac_rec0 n a = (bottom [n,a])
51 f_rec2 a = (f_rec f_rec1 a)
52 f_rec1 a = (f_rec f_rec0 a)
53 f_rec0 a = (bottom [a])
55 g x y z p = (g_rec g_rec8 g_rec8 x y z p)
58 g x y z p = (g_rec g_rec16 g_rec16 x y z p)
60 g_rec16 x y z p = (g_rec g_rec15 g_rec15 x y z p)
61 g_rec15 x y z p = (g_rec g_rec14 g_rec14 x y z p)
62 g_rec14 x y z p = (g_rec g_rec13 g_rec13 x y z p)
63 g_rec13 x y z p = (g_rec g_rec12 g_rec12 x y z p)
64 g_rec12 x y z p = (g_rec g_rec11 g_rec11 x y z p)
65 g_rec11 x y z p = (g_rec g_rec10 g_rec10 x y z p)
66 g_rec10 x y z p = (g_rec g_rec9 g_rec9 x y z p)
67 g_rec9 x y z p = (g_rec g_rec8 g_rec8 x y z p)
70 g_rec8 x y z p = (g_rec g_rec7 g_rec7 x y z p)
71 g_rec7 x y z p = (g_rec g_rec6 g_rec6 x y z p)
72 g_rec6 x y z p = (g_rec g_rec5 g_rec5 x y z p)
73 g_rec5 x y z p = (g_rec g_rec4 g_rec4 x y z p)
74 g_rec4 x y z p = (g_rec g_rec3 g_rec3 x y z p)
75 g_rec3 x y z p = (g_rec g_rec2 g_rec2 x y z p)
76 g_rec2 x y z p = (g_rec g_rec1 g_rec1 x y z p)
77 g_rec1 x y z p = (g_rec g_rec0 g_rec0 x y z p)
78 g_rec0 x y z p = (bottom [x,y,z,p])