3 ShouldSucceed.Eq'.doubleeq =
4 /\ a.t22 -> \{-classdict-} [] [doubleeq.t23] -> doubleeq.t23
6 defm.ShouldSucceed.Eq'.doubleeq =
8 \{-dict-} d.ShouldSucceed.Eq'.t25 ->
9 (error (a.t24 -> a.t24 -> Bool))
10 "No default method for \"ShouldSucceed.Eq'.defm.ShouldSucceed.Eq'.doubleeq\"\n"
12 ShouldSucceed.Ord'.lt =
13 /\ a.t26 -> \{-classdict-} [d.ShouldSucceed.Eq'.t28] [lt.t27] -> lt.t27
14 sdsel.ShouldSucceed.Ord'.ShouldSucceed.Eq' =
16 \{-classdict-} [d.ShouldSucceed.Eq'.t28] [lt.t27] ->
17 d.ShouldSucceed.Eq'.t28
19 defm.ShouldSucceed.Ord'.lt =
21 \{-dict-} d.ShouldSucceed.Ord'.t30 ->
22 (error (a.t29 -> a.t29 -> Bool))
23 "No default method for \"ShouldSucceed.Ord'.defm.ShouldSucceed.Ord'.lt\"\n"
25 dfun.ShouldSucceed.Eq'.Int =
26 ({-dict-} [] [const.ShouldSucceed.Eq'.Int.doubleeq])
27 const.ShouldSucceed.Eq'.Int.doubleeq :: Int -> Int -> Bool
28 const.ShouldSucceed.Eq'.Int.doubleeq
33 [d.ShouldSucceed.Eq'.t16, d.ShouldSucceed.Eq'.t17]
34 [(d.ShouldSucceed.Eq'.t18, dfun.ShouldSucceed.Eq'.List)]
36 d.ShouldSucceed.Eq'.t18 = ({-dict-} [] [doubleeq.t19])
37 doubleeq.t19 :: [a.t15] -> [a.t15] -> Bool
43 [d.Num.t9, d.ShouldSucceed.Eq'.t11]
44 [(f.t1, ShouldSucceed.f)]
45 (fromInt.t8, fromInt tt6 d.Num.t9)
46 (lit.t7, fromInt.t8 (MkInt 1#))
47 (d.ShouldSucceed.Eq'.t12, d.ShouldSucceed.Eq'.t11)
48 (d.ShouldSucceed.Eq'.t10,
49 dfun.ShouldSucceed.Eq'.List tt6
50 [d.ShouldSucceed.Eq'.t11, d.ShouldSucceed.Eq'.t12])
51 (ShouldSucceed.Eq'.doubleeq.t5,
52 ShouldSucceed.Eq'.doubleeq [tt6] d.ShouldSucceed.Eq'.t10)
54 f.t1 :: [tt6] -> ot3 -> Bool
56 = ShouldSucceed.Eq'.doubleeq.t5 x.r63 ([lit.t7] (tt6))