3 --================================================================================
10 PrelBase.$d32{-rc8,p-}
13 [PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}]
14 [d.Eq_a11Z, d.Eq_a120]
16 PrelBase.$d27{-rc2,p-}
17 (PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})
20 PrelBase.$d27{-rc2,p-}
21 [(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})]
25 [[(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})]]
30 PrelBase.fromInt{-8R,p-}
34 fromInt_a12t PrelBase.I#{-5b,p-}{i} 1#
38 fromInt_a12r PrelBase.I#{-5b,p-}{i} 2#
40 PrelBase.$d33{-rc9,p-}
42 PrelBase.$d27{-rc2,p-}
47 [PrelBase.Char{-38,p-}]
52 PrelBase.$d27{-rc2,p-}
56 PrelBase.$d27{-rc2,p-}
57 [PrelBase.Int{-3g,p-}]
61 [[PrelBase.Int{-3g,p-}]]
70 fromInt_a12l PrelBase.I#{-5b,p-}{i} 3#
72 AbsBinds [] [] [([], main3{-r47,x-}, main3_aXA)]
74 = [[lit_a12n] (PrelBase.Int{-3g,p-}),
75 [lit_a12m] (PrelBase.Int{-3g,p-})] ([PrelBase.Int{-3g,p-}])
76 ==_a12o [[lit_a12j] (PrelBase.Int{-3g,p-})] ([PrelBase.Int{-3g,p-}])
79 AbsBinds [] [] [([], main2{-r48,x-}, main2_aYl)]
81 = "Hello" ==_a12p "Goodbye"
84 AbsBinds [] [] [([], main1{-r49,x-}, main1_aYv)]
87 PrelBase.True{-5E,p-}{i})] ((PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}))] ([(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})])
89 PrelBase.False{-58,p-}{i})] ((PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-}))] ([(PrelBase.Int{-3g,p-}, PrelBase.Bool{-34,p-})])
95 [([t{-aZp-}], mem3{-r4b,x-}, mem3_aZc), ([t{-aZp-}],
99 PrelBase.$d27{-rc2,p-}
107 x_r3V PrelBase.[]{-5i,p-}{i}
108 = PrelBase.False{-58,p-}{i}
110 x_r3Y (y_r40 PrelBase.:{-55,p-}{i} ys_r41)
111 = if [x_r3Y] (t{-aZp-}) ==_a12v [y_r40] (t{-aZp-}) then
112 mem4_aZd x_r3Y ys_r41
114 PrelBase.False{-58,p-}{i}
116 y_r43 (x_r45 PrelBase.:{-55,p-}{i} xs_r46)
117 = mem3_aZc y_r43 xs_r46
120 AbsBinds [] [] [([], oR1{-r4d,x-}, oR1_aZU)]
123 = if a_r3J then PrelBase.True{-5E,p-}{i} else b_r3L
126 AbsBinds [] [] [([], oR{-r4f,x-}, oR_a102)]
129 = if a_r3x then PrelBase.True{-5E,p-}{i} else b_r3z
135 [([t{-a10n-}], mem2{-r4c,x-}, mem2_a10a), ([t{-a10n-}],
145 x_r3N PrelBase.[]{-5i,p-}{i}
146 = PrelBase.False{-58,p-}{i}
148 x_r3Q (y_r3S PrelBase.:{-55,p-}{i} ys_r3T)
149 = (x_r3Q ==_a12x y_r3S) oR{-r4f,x-} (mem1_a10b x_r3Q ys_r3T)
151 x_r3B PrelBase.[]{-5i,p-}{i}
152 = PrelBase.False{-58,p-}{i}
154 x_r3E (y_r3G PrelBase.:{-55,p-}{i} ys_r3H)
155 = (x_r3E ==_a12w y_r3G) oR1{-r4d,x-} (mem2_a10a x_r3E ys_r3H)
161 [([t{-a10Z-}], mem{-r4g,x-}, mem_a10T)]
167 x_r3p PrelBase.[]{-5i,p-}{i}
168 = PrelBase.False{-58,p-}{i}
170 x_r3s (y_r3u PrelBase.:{-55,p-}{i} ys_r3v)
171 = (x_r3s ==_a12y y_r3u) oR{-r4f,x-} (mem_a10T x_r3s ys_r3v)
176 [d.Ord_a11J, d.Num_a11M]
177 [([riC{-a11y-}], fib{-r4h,x-}, fib_a11e)]
183 PrelBase.fromInt{-8R,p-}
187 fromInt_a12G PrelBase.I#{-5b,p-}{i} 2#
203 fromInt_a12C PrelBase.I#{-5b,p-}{i} 1#
209 n_r3n = if n_r3n <=_a12H lit_a12F then
212 (fib_a11e n_r3n -_a12D lit_a12B)
213 +_a12E (fib_a11e n_r3n -_a12A lit_a12z)
216 Warning: Possibly incomplete patterns
217 in the definition of function `mem4'
218 ghc: module version changed to 1; reason: no old .hi file
219 _interface_ ShouldSucceed 1
223 PrelBase 1 :: $d1 1 $d11 1 $d14 1 $d15 1 $d2 1 $d21 1 $d26 1 $d27 1 $d3 1 $d32 1 $d33 1 $d34 1 $d37 1 $d38 1 $d39 1 $d41 1 $d42 1 $d44 1 $d45 1 $d46 1 $d49 1 $d50 1 $d51 1 $d54 1 $d55 1 $d6 1 $d7 1 $d8 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
224 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
225 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
227 ShouldSucceed fib main1 main2 main3 mem mem1 mem2 mem3 mem4 oR oR1;
229 1 fib _:_ _forall_ [a] {PrelBase.Ord a, PrelBase.Num a} => a -> a ;;
230 1 main1 _:_ PrelBase.Bool ;;
231 1 main2 _:_ PrelBase.Bool ;;
232 1 main3 _:_ PrelBase.Bool ;;
233 1 mem _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
234 1 mem1 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
235 1 mem2 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
236 1 mem3 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
237 1 mem4 _:_ _forall_ [a] {PrelBase.Eq a} => a -> [a] -> PrelBase.Bool ;;
238 1 oR _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;
239 1 oR1 _:_ PrelBase.Bool -> PrelBase.Bool -> PrelBase.Bool ;;