1 ==================== Typechecked ====================
4 [d.Ord'_aCU, d.Num_aCX]
5 [([taCS, taCN], f{-r3D,x-}, f_aCw)]
6 lt_aDz = lt{-r3E,x-} taCN d.Ord'_aCU
7 fromInt_aDy = PrelBase.fromInt{-8R,p-} taCN d.Num_aCX
8 lit_aDx = fromInt_aDy PrelBase.I#{-5b,w-}{i} 1#
10 | lt_aDz x_r3h lit_aDx = PrelBase.True{-5E,w-}{i}
11 | PrelBase.otherwise{-818,p-} = PrelBase.False{-58,w-}{i}
12 AbsBinds [] [] [([], $d1{-rDC,x-}, d.Ord'_aD2)]
13 d.Eq'_aD7 = $d2{-rDB,x-}
14 AbsBinds [] [] [([], lt_aDD, lt_aD6)]
15 lt_aD6 x_r3n y_r3o = PrelBase.True{-5E,w-}{i}
16 d.Ord'_aD2 = ({-dict-} [d.Eq'_aD7] [lt_aDD])
17 AbsBinds [] [] [([], $d2{-rDB,x-}, d.Eq'_aDh)]
18 AbsBinds [] [] [([], doubleeq_aDE, doubleeq_aDl)]
19 doubleeq_aDl x_r3u y_r3v = PrelBase.True{-5E,w-}{i}
20 d.Eq'_aDh = ({-dict-} [] [doubleeq_aDE])
21 scsel_Ord'ShouldSucceedEq'{-aDA,x-} =
22 _/\_ t12 -> \ tpl_B1 ->
23 case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
25 _/\_ t12 -> \ tpl_B1 ->
26 case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
27 AbsBinds [taDv] [d.Ord'_aDr] []
28 doubleeq{-r3G,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
29 AbsBinds [taDw] [d.Eq'_aDu] []
31 ghc: module version changed to 1; reason: no old .hi file
32 _interface_ ShouldSucceed 1
36 PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 otherwise 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
37 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
39 ShouldSucceed f Eq'(doubleeq) Ord'(lt);
41 instance {Ord' PrelBase.Int} = $d1;
42 instance {Eq' PrelBase.Int} = $d2;
44 1 $d1 _:_ {Ord' PrelBase.Int} ;;
45 1 $d2 _:_ {Eq' PrelBase.Int} ;;
46 1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
47 1 class {Eq' a} => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;
48 1 f _:_ _forall_ [ta tb] {Ord' tb, PrelBase.Num tb} => tb -> ta -> PrelBase.Bool ;;