3 ================================================================================
6 scsel_NooShouldSucceedBoo{-aKl,x-} ::
10 {Noo{-r3B,x-} a{-r3n-}} -> {Boo{-r3o,x-} a{-r3n-}}
12 scsel_NooShouldSucceedBoo{-aKl,x-} =
13 _/\_ a{-r3n-} -> \ tpl_B1 ::
14 {Noo{-r3B,x-} a{-r3n-}}
17 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
22 {Noo{-r3B,x-} a{-r3n-}}
26 {PrelBase.Eq{-23,p-} b{-r3q-}} -> a{-r3n-} -> b{-r3q-} -> a{-r3n-})
29 _/\_ a{-r3n-} -> \ tpl_B1 ::
30 {Noo{-r3B,x-} a{-r3n-}}
33 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
38 {Noo{-r3B,x-} a{-r3n-}}
42 {PrelBase.Eq{-23,p-} b{-r3q-}} -> a{-r3n-} -> b{-r3q-} -> a{-r3n-})
45 _/\_ a{-aHc-} -> \ d.Noo_aH5 ::
46 {Noo{-r3B,x-} a{-aHc-}}
49 _/\_ b{-aHg-} -> \ d.Eq_aHi ::
50 {PrelBase.Eq{-23,p-} b{-aHg-}}
53 GHCerr.noDefaultMethodError{-8k,p-}
54 _@_ (a{-aHc-} -> b{-aHg-} -> a{-aHc-})
55 _string_ "Class Noo Method op2"
56 scsel_BooShouldSucceedFoo{-aKD,x-} ::
60 {Boo{-r3o,x-} a{-r3t-}} -> {Foo{-r3u,x-} a{-r3t-}}
62 scsel_BooShouldSucceedFoo{-aKD,x-} =
63 _/\_ a{-r3t-} -> \ tpl_B1 ::
64 {Boo{-r3o,x-} a{-r3t-}}
67 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B1;}
72 {Boo{-r3o,x-} a{-r3t-}} -> a{-r3t-} -> a{-r3t-}
75 _/\_ a{-r3t-} -> \ tpl_B1 ::
76 {Boo{-r3o,x-} a{-r3t-}}
79 case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
84 {Boo{-r3o,x-} a{-r3t-}} -> a{-r3t-} -> a{-r3t-}
87 _/\_ a{-aHs-} -> \ d.Boo_aHl ::
88 {Boo{-r3o,x-} a{-aHs-}}
91 GHCerr.noDefaultMethodError{-8k,p-}
92 _@_ (a{-aHs-} -> a{-aHs-}) _string_ "Class Boo Method op1"
97 {Foo{-r3u,x-} a{-r3y-}} -> a{-r3y-} -> a{-r3y-}
100 _/\_ a{-r3y-} -> \ tpl_B1 ::
101 {Foo{-r3u,x-} a{-r3y-}}
109 {Foo{-r3u,x-} a{-r3y-}} -> a{-r3y-} -> a{-r3y-}
112 _/\_ a{-aHD-} -> \ d.Foo_aHw ::
113 {Foo{-r3u,x-} a{-aHD-}}
116 GHCerr.noDefaultMethodError{-8k,p-}
117 _@_ (a{-aHD-} -> a{-aHD-}) _string_ "Class Foo Method op"
122 {Noo{-r3B,x-} a{-aGK-}}
123 -> {PrelBase.Eq{-23,p-} b{-aGQ-}}
129 _/\_ a{-aGK-} b{-aGQ-} -> \ d.Noo_aGY ::
130 {Noo{-r3B,x-} a{-aGK-}}
132 d.Noo_aGY d.Eq_aH0 ::
133 {PrelBase.Eq{-23,p-} b{-aGQ-}}
138 {Boo{-r3o,x-} a{-aGK-}}
141 scsel_NooShouldSucceedBoo{-aKl,x-}
142 _@_ a{-aGK-} d.Noo_aGY } in
145 {Foo{-r3u,x-} a{-aGK-}}
148 scsel_BooShouldSucceedFoo{-aKD,x-}
149 _@_ a{-aGK-} d.Boo_aH2 } in
156 _@_ a{-aGK-} d.Foo_aGW } in
162 {PrelBase.Eq{-23,p-} b{-aGM-}} -> a{-aGK-} -> b{-aGM-} -> a{-aGK-}
166 _@_ a{-aGK-} d.Noo_aGY } in
169 a{-aGK-} -> b{-aGQ-} -> a{-aGK-}
173 _@_ b{-aGQ-} d.Eq_aH0