3 ================================================================================
5 AbsBinds [] [] [([], $d1{-rlY,x-}, d.Ord'_alb)]
6 d.Eq'_alg = $d3{-rm0,x-}
7 AbsBinds [] [] [([], lt_am2, lt_alf)]
8 lt_alf x_r3j y_r3k = PrelBase.True{-5E,w-}{i}
9 d.Ord'_alb = ({-dict-} [d.Eq'_alg] [lt_am2])
10 AbsBinds [taly] [d.Eq'_alB] [([taly], $d2{-rlZ,x-}, d.Eq'_alr)]
11 AbsBinds [] [] [([], doubleeq_am3, doubleeq_alv)]
12 doubleeq_alv x_r3s y_r3t = PrelBase.True{-5E,w-}{i}
13 d.Eq'_alr = ({-dict-} [] [doubleeq_am3])
14 AbsBinds [] [] [([], $d3{-rm0,x-}, d.Eq'_alI)]
15 AbsBinds [] [] [([], doubleeq_am4, doubleeq_alM)]
16 doubleeq_alM x_r3z y_r3A = PrelBase.True{-5E,w-}{i}
17 d.Eq'_alI = ({-dict-} [] [doubleeq_am4])
18 scsel_Ord'ShouldSucceedEq'{-am1,x-} =
19 _/\_ t12 -> \ tpl_B1 ->
20 case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
22 _/\_ t12 -> \ tpl_B1 ->
23 case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
24 AbsBinds [talW] [d.Ord'_alS] []
25 doubleeq{-r3I,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
26 AbsBinds [talX] [d.Eq'_alV] []
27 ghc: module version changed to 1; reason: no old .hi file
28 _interface_ ShouldSucceed 1
32 ShouldSucceed Eq'(doubleeq) Ord'(lt);
34 instance {Ord' PrelBase.Int} = $d1;
35 instance _forall_ [a] {Eq' a} => {Eq' [a]} = $d2;
36 instance {Eq' PrelBase.Int} = $d3;
38 1 $d1 _:_ {Ord' PrelBase.Int} ;;
39 1 $d2 _:_ _forall_ [a] {Eq' a} => {Eq' [a]} ;;
40 1 $d3 _:_ {Eq' PrelBase.Int} ;;
41 1 class Eq' a where {doubleeq :: a -> a -> PrelBase.Bool} ;
42 1 class {Eq' a} => Ord' a where {lt :: a -> a -> PrelBase.Bool} ;