3 --================================================================================
6 scsel_Ord2ShouldSucceedEq2{-aJ0,x-} =
7 _/\_ a{-r3M-} -> \ tpl_B1 ->
8 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
10 _/\_ a{-r3M-} -> \ tpl_B1 ->
11 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
16 [([a{-aIO-}], $mlt{-rHw,x-}, lt_aIJ)]
17 AbsBinds [] [] [([], lt_aIJ, lt_aIL)]
19 = GHCerr.noDefaultMethodError{-8k,p-}
22 -> PrelBase.Bool{-34,p-}) "Class Ord2 Method lt"
25 _/\_ a{-r3Q-} -> \ tpl_B1 ->
31 [([a{-aIZ-}], $mdoubleeq{-rHx,x-}, doubleeq_aIU)]
32 AbsBinds [] [] [([], doubleeq_aIU, doubleeq_aIW)]
34 = GHCerr.noDefaultMethodError{-8k,p-}
37 -> PrelBase.Bool{-34,p-}) "Class Eq2 Method doubleeq"
41 [d.Eq2_aIb, d.Ord2_aIc]
42 [([a{-aI8-}], $d1{-rJ1,x-}, d.Eq2_aI2)]
43 AbsBinds [] [] [([], doubleeq_aJ2, doubleeq_aI5)]
46 = PrelBase.True{-5E,p-}{i}
48 ({-dict-} [] [doubleeq_aJ2])
50 AbsBinds [] [] [([], $d2{-rJ3,x-}, d.Ord2_aIk)]
53 AbsBinds [] [] [([], lt_aJ4, lt_aIn)]
56 = PrelBase.True{-5E,p-}{i}
58 ({-dict-} [d.Eq2_aIo] [lt_aJ4])
60 AbsBinds [] [] [([], $d3{-rJ5,x-}, d.Eq2_aIy)]
61 AbsBinds [] [] [([], doubleeq_aJ6, doubleeq_aIB)]
64 = PrelBase.True{-5E,p-}{i}
66 ({-dict-} [] [doubleeq_aJ6])
71 [d.Ord2_aHS, d.Num_aHV]
72 [([t{-aHI-}, t{-aHN-}], f{-r3R,x-}, f_aHv)]
74 scsel_Ord2ShouldSucceedEq2{-aJ0,x-}
80 [d.Eq2_aHR, d.Ord2_aHS]
86 PrelBase.fromInt{-8R,p-}
90 fromInt_aJ8 PrelBase.I#{-5b,p-}{i} 1#
93 = doubleeq_aJ9 x_r3h [lit_aJ7] (t{-aHI-})
95 ghc: module version changed to 1; reason: no old .hi file
96 _interface_ ShouldSucceed 1
100 PrelBase 1 :: $d1 1 $d11 1 $d15 1 $d2 1 $d21 1 $d27 1 $d3 1 $d32 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d46 1 $d54 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
101 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
103 ShouldSucceed f Eq2(doubleeq) Ord2(lt);
105 instance _forall_ [a] {Eq2 a, Ord2 a} => {Eq2 [a]} = $d1;
106 instance {Ord2 PrelBase.Int} = $d2;
107 instance {Eq2 PrelBase.Int} = $d3;
109 1 $d1 _:_ _forall_ [a] {Eq2 a, Ord2 a} => {Eq2 [a]} ;;
110 1 $d2 _:_ {Ord2 PrelBase.Int} ;;
111 1 $d3 _:_ {Eq2 PrelBase.Int} ;;
112 1 $mdoubleeq _:_ _forall_ [a] {Eq2 a} => a -> a -> PrelBase.Bool ;;
113 1 $mlt _:_ _forall_ [a] {Ord2 a} => a -> a -> PrelBase.Bool ;;
114 1 class Eq2 r3Q where {doubleeq :: r3Q -> r3Q -> PrelBase.Bool} ;
115 1 class {Eq2 r3M} => Ord2 r3M where {lt :: r3M -> r3M -> PrelBase.Bool} ;
116 1 f _:_ _forall_ [a b] {Ord2 a, PrelBase.Num a} => [a] -> b -> PrelBase.Bool ;;