3 --================================================================================
6 scsel_Ord'ShouldSucceedEq'{-aIr,x-} =
7 _/\_ a{-r3B-} -> \ tpl_B1 ->
8 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
10 _/\_ a{-r3B-} -> \ tpl_B1 ->
11 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
16 [([a{-aIf-}], $mlt{-rHm,x-}, lt_aIa)]
17 AbsBinds [] [] [([], lt_aIa, lt_aIc)]
19 = GHCerr.noDefaultMethodError{-8k,p-}
22 -> PrelBase.Bool{-34,p-}) "Class Ord' Method lt"
25 _/\_ a{-r3G-} -> \ tpl_B1 ->
31 [([a{-aIq-}], $mdoubleeq{-rHn,x-}, doubleeq_aIl)]
32 AbsBinds [] [] [([], doubleeq_aIl, doubleeq_aIn)]
34 = GHCerr.noDefaultMethodError{-8k,p-}
37 -> PrelBase.Bool{-34,p-}) "Class Eq' Method doubleeq"
39 AbsBinds [] [] [([], $d1{-rIs,x-}, d.Ord'_aHL)]
42 AbsBinds [] [] [([], lt_aIt, lt_aHO)]
45 = PrelBase.True{-5E,p-}{i}
47 ({-dict-} [d.Eq'_aHP] [lt_aIt])
49 AbsBinds [] [] [([], $d2{-rIu,x-}, d.Eq'_aHZ)]
50 AbsBinds [] [] [([], doubleeq_aIv, doubleeq_aI2)]
53 = PrelBase.True{-5E,p-}{i}
55 ({-dict-} [] [doubleeq_aIv])
60 [d.Ord'_aHD, d.Num_aHG]
61 [([t{-aHw-}, t{-aHB-}], f{-r3H,x-}, f_aHl)]
67 PrelBase.fromInt{-8R,p-}
71 fromInt_aIx PrelBase.I#{-5b,p-}{i} 1#
74 | [lt_aIy x_r3h lit_aIw] =
75 PrelBase.True{-5E,p-}{i}
76 | [PrelBase.otherwise{-818,p-}] =
77 PrelBase.False{-58,p-}{i}
79 ghc: module version changed to 1; reason: no old .hi file
80 _interface_ ShouldSucceed 1
84 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 otherwise 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
85 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
87 ShouldSucceed f Eq'(doubleeq) Ord'(lt);
89 instance {Ord' PrelBase.Int} = $d1;
90 instance {Eq' PrelBase.Int} = $d2;
92 1 $d1 _:_ {Ord' PrelBase.Int} ;;
93 1 $d2 _:_ {Eq' PrelBase.Int} ;;
94 1 $mdoubleeq _:_ _forall_ [a] {Eq' a} => a -> a -> PrelBase.Bool ;;
95 1 $mlt _:_ _forall_ [a] {Ord' a} => a -> a -> PrelBase.Bool ;;
96 1 class Eq' r3G where {doubleeq :: r3G -> r3G -> PrelBase.Bool} ;
97 1 class {Eq' r3B} => Ord' r3B where {lt :: r3B -> r3B -> PrelBase.Bool} ;
98 1 f _:_ _forall_ [a b] {Ord' a, PrelBase.Num a} => a -> b -> PrelBase.Bool ;;