3 ================================================================================
5 ONE{-r7,x-}{i} = ONE{-r7,x-}{i} {}
6 TWO{-r6,x-}{i} = TWO{-r6,x-}{i} {}
7 AbsBinds [] [] [([], $d1{-rCq,x-}, d.Eval_aCf)]
8 d.Eval_aCf = ({-dict-} [] [])
9 scsel_EQShouldSucceedORD{-aCr,x-} =
10 _/\_ t12 -> \ tpl_B1 ->
11 case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
13 scsel_EQPrelBaseShow{-aCs,x-} =
14 _/\_ t12 -> \ tpl_B1 ->
15 case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
18 _/\_ t12 -> \ tpl_B1 ->
19 case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
21 AbsBinds [taCm] [d.EQ_aCi] []
22 scsel_ORDPrelBaseNum{-aCt,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
23 AbsBinds [taCn] [d.ORD_aCl] []
24 ghc: module version changed to 1; reason: no old .hi file
25 _interface_ ShouldSucceed 1
29 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 Eq 1 Eval 1 Num 1 Show 1 String 1;
30 PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
32 ShouldSucceed EQ(===) NUM(ONE TWO) ORD;
34 instance {PrelBase.Eval NUM} = $d1;
36 1 $d1 _:_ {PrelBase.Eval NUM} ;;
37 1 class {ORD a, PrelBase.Show a} => EQ a where {=== :: a -> a -> PrelBase.Bool} ;
38 1 data NUM = ONE | TWO ;
39 1 class {PrelBase.Num a} => ORD a ;