3 ShouldSucceed.Eq2.deq =
4 /\ a.t38 -> \{-classdict-} [] [deq.t39 foo.t40] -> deq.t39
5 ShouldSucceed.Eq2.foo =
6 /\ a.t38 -> \{-classdict-} [] [deq.t39 foo.t40] -> foo.t40
8 defm.ShouldSucceed.Eq2.deq =
10 \{-dict-} d.ShouldSucceed.Eq2.t42 ->
11 (error (a.t41 -> a.t41 -> Bool))
12 "No default method for \"ShouldSucceed.Eq2.defm.ShouldSucceed.Eq2.deq\"\n"
13 defm.ShouldSucceed.Eq2.foo =
15 \{-dict-} d.ShouldSucceed.Eq2.t44 ->
16 (error (a.t43 -> a.t43))
17 "No default method for \"ShouldSucceed.Eq2.defm.ShouldSucceed.Eq2.foo\"\n"
19 dfun.ShouldSucceed.Eq2.Int =
22 [const.ShouldSucceed.Eq2.Int.deq, const.ShouldSucceed.Eq2.Int.foo])
23 const.ShouldSucceed.Eq2.Int.deq :: Int -> Int -> Bool
24 const.ShouldSucceed.Eq2.Int.deq
27 const.ShouldSucceed.Eq2.Int.foo :: Int -> Int
28 const.ShouldSucceed.Eq2.Int.foo
32 [d.ShouldSucceed.Eq2.t15]
33 [(d.ShouldSucceed.Eq2.t16, dfun.ShouldSucceed.Eq2.List)]
34 (d.ShouldSucceed.Eq2.t34, d.ShouldSucceed.Eq2.t16)
35 (ShouldSucceed.Eq2.foo.t32,
36 ShouldSucceed.Eq2.foo [a.t14] d.ShouldSucceed.Eq2.t34)
37 (d.ShouldSucceed.Eq2.t35, d.ShouldSucceed.Eq2.t34)
38 (ShouldSucceed.Eq2.deq.t30,
39 ShouldSucceed.Eq2.deq [a.t14] d.ShouldSucceed.Eq2.t35)
40 (d.ShouldSucceed.Eq2.t36, d.ShouldSucceed.Eq2.t15)
41 (ShouldSucceed.Eq2.foo.t28,
42 ShouldSucceed.Eq2.foo a.t14 d.ShouldSucceed.Eq2.t36)
43 (d.ShouldSucceed.Eq2.t37, d.ShouldSucceed.Eq2.t36)
44 (ShouldSucceed.Eq2.deq.t26,
45 ShouldSucceed.Eq2.deq a.t14 d.ShouldSucceed.Eq2.t37)
47 d.ShouldSucceed.Eq2.t16 = ({-dict-} [] [deq.t17, foo.t18])
48 deq.t17 :: [a.t14] -> [a.t14] -> Bool
50 (a.r33 : as.r34) (b.r35 : bs.r36)
51 = if ShouldSucceed.Eq2.deq.t26
52 a.r33 (ShouldSucceed.Eq2.foo.t28 b.r35) then
53 ShouldSucceed.Eq2.deq.t30
54 as.r34 (ShouldSucceed.Eq2.foo.t32 bs.r36)
57 foo.t18 :: [a.t14] -> [a.t14]
60 AbsBinds [tt5] [d.Num.t8, d.ShouldSucceed.Eq2.t10] [(f.t1, ShouldSucceed.f)]
61 (fromInt.t7, fromInt tt5 d.Num.t8)
62 (lit.t6, fromInt.t7 (MkInt 1#))
63 (d.ShouldSucceed.Eq2.t9,
64 dfun.ShouldSucceed.Eq2.List tt5 d.ShouldSucceed.Eq2.t10)
65 (ShouldSucceed.Eq2.deq.t4,
66 ShouldSucceed.Eq2.deq [tt5] d.ShouldSucceed.Eq2.t9)
69 f.t1 x.r65 = ShouldSucceed.Eq2.deq.t4 x.r65 ([lit.t6] (tt5))