3 --================================================================================
8 _/\_ a{-r3l-} -> \ tpl_B1 ->
9 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
11 _/\_ a{-r3l-} -> \ tpl_B1 ->
12 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
17 [([a{-aI8-}], $mop1{-rGN,x-}, op1_aIG)]
18 AbsBinds [] [] [([], op1_aIG, op1_aI5)]
20 x_r3u = PrelBase.True{-5E,p-}{i}
24 [([a{-aI8-}], $mop2{-rGQ,x-}, op2_aIJ)]
31 AbsBinds [b{-aIm-}] [d.Ord_aIw] [([b{-aIm-}], op2_aIJ, op2_aIg)]
41 PrelBase.&&{-r3D,p-} (y_r3A <_aIL z_r3C) then
49 [([a{-aGT-}], $d1{-rIM,x-}, d.Foo_aGK)]
62 AbsBinds [] [] [([], op1_aGM, op1_aGP)]
65 AbsBinds [b{-aH7-}] [d.Ord_aHd] [([b{-aH7-}], op2_aGY, op2_aH1)]
75 ({-dict-} [] [op1_aGM, op2_aGY])
77 AbsBinds [] [] [([], $d2{-rIQ,x-}, d.Foo_aHq)]
78 AbsBinds [] [] [([], op1_aHs, op1_aHu)]
81 AbsBinds [b{-aHL-}] [d.Ord_aHR] [([b{-aHL-}], op2_aHC, op2_aHF)]
91 ({-dict-} [] [op1_aHs, op2_aHC])
105 ghc: module version changed to 1; reason: no old .hi file
110 PrelBase 1 :: $d14 1 $d15 1 $d26 1 $d27 1 $d32 1 $d34 1 $d49 1 $d51 1 $d6 1 $d7 1 && 1 Eq 1 Ord 1 Ordering 1;
111 PrelNum 1 :: $d17 1 $d18 1;
115 instance _forall_ [a] {Foo a} => {Foo [a]} = $d1;
116 instance {Foo PrelBase.Int} = $d2;
118 1 $d1 _:_ _forall_ [a] {Foo a} => {Foo [a]} ;;
119 1 $d2 _:_ {Foo PrelBase.Int} ;;
120 1 $mop1 _:_ _forall_ [a] {Foo a} => a -> PrelBase.Bool ;;
121 1 $mop2 _:_ _forall_ [a] {Foo a} => _forall_ [b] {PrelBase.Ord b} => a -> b -> b -> b ;;
122 1 class Foo r3l where {op1 :: r3l -> PrelBase.Bool; op2 :: _forall_ [r3p] {PrelBase.Ord r3p} => r3l -> r3p -> r3p -> r3p} ;