5 \{-classdict-} [] [parseFile.t178
9 forced.t182] -> parseFile.t178
10 Main.Parse.parseLine =
12 \{-classdict-} [] [parseFile.t178
16 forced.t182] -> parseLine.t179
19 \{-classdict-} [] [parseFile.t178
23 forced.t182] -> parse.t180
24 Main.Parse.parseType =
26 \{-classdict-} [] [parseFile.t178
30 forced.t182] -> parseType.t181
33 \{-classdict-} [] [parseFile.t178
37 forced.t182] -> forced.t182
39 defm.Main.Parse.parseFile =
41 AbsBinds [a.t183] [d.Main.Parse.t184] [(parseFile.t185, parseFile.t186)]
42 (d.Main.Parse.t197, d.Main.Parse.t184)
43 (Main.Parse.parseLine.t193,
44 Main.Parse.parseLine a.t183 d.Main.Parse.t197)
45 (d.Main.Parse.t198, d.Main.Parse.t197)
46 (Main.Parse.forced.t196, Main.Parse.forced a.t183 d.Main.Parse.t198)
48 parseFile.t185 :: String -> [a.t183]
51 | (all a.t183) Main.Parse.forced.t196 x.r24 = x.r24
53 AbsBinds [] [] [(x.t189, x.r24)]
57 = (map [String, a.t183])
58 Main.Parse.parseLine.t193
59 (Main.lines' string.r23)
62 defm.Main.Parse.parseLine =
64 AbsBinds [a.t199] [d.Main.Parse.t200] [(parseLine.t201, parseLine.t202)]
65 (d.Main.Parse.t217, d.Main.Parse.t200)
66 (Main.Parse.parse.t215, Main.Parse.parse a.t199 d.Main.Parse.t217)
68 parseLine.t201 :: String -> a.t199
70 = ((.) [String, (a.t199, String), a.t199])
71 (pl.r25 [String, a.t199]) Main.Parse.parse.t215
73 AbsBinds [tt208, tt207] [] [(pl.t204, pl.r25)]
75 pl.t204 :: (tt207, tt208) -> tt207
81 defm.Main.Parse.parse =
83 AbsBinds [a.t218] [d.Main.Parse.t219] [(parse.t220, parse.t221)]
84 (d.Main.Parse.t228, d.Main.Parse.t219)
85 (Main.Parse.parseType.t226,
86 Main.Parse.parseType a.t218 d.Main.Parse.t228)
88 parse.t220 :: String -> (a.t218, String)
90 = ((.) [String, String, (a.t218, String)])
91 Main.Parse.parseType.t226 Main.whiteSpace
93 defm.Main.Parse.forced =
95 AbsBinds [a.t229] [d.Main.Parse.t230] [(forced.t231, forced.t232)]
97 forced.t231 :: a.t229 -> Bool
101 defm.Main.Parse.parseType =
103 \{-dict-} d.Main.Parse.t235 ->
104 (error (String -> (a.t234, String)))
105 "No default method for \"Main.Parse.defm.Main.Parse.parseType\"\n"
107 dfun.Main.Parse.Char =
110 [const.Main.Parse.Char.parseFile,
111 const.Main.Parse.Char.parseLine,
112 const.Main.Parse.Char.parse,
113 const.Main.Parse.Char.parseType,
114 const.Main.Parse.Char.forced])
115 const.Main.Parse.Char.parseType :: String -> (Char, String)
116 const.Main.Parse.Char.parseType
119 const.Main.Parse.Char.forced :: Char -> Bool
120 const.Main.Parse.Char.forced
122 const.Main.Parse.Char.parseFile =
123 defm.Main.Parse.parseFile Char dfun.Main.Parse.Char
124 const.Main.Parse.Char.parseLine =
125 defm.Main.Parse.parseLine Char dfun.Main.Parse.Char
126 const.Main.Parse.Char.parse = defm.Main.Parse.parse Char dfun.Main.Parse.Char
128 dfun.Main.Parse.Int =
131 [const.Main.Parse.Int.parseFile,
132 const.Main.Parse.Int.parseLine,
133 const.Main.Parse.Int.parse,
134 const.Main.Parse.Int.parseType,
135 const.Main.Parse.Int.forced])
136 const.Main.Parse.Int.parseType :: String -> (Int, String)
137 const.Main.Parse.Int.parseType
138 str.r67 = (pl.r68 [Char]) ((Main.span' Char) isDigit str.r67)
140 AbsBinds [tt135] [] [(pl.t131, pl.r68)]
142 pl.t131 :: (String, tt135) -> (Int, tt135)
145 = (Main.strToInt l.r69, r.r70)
147 const.Main.Parse.Int.forced :: Int -> Bool
148 const.Main.Parse.Int.forced
149 n.r71 | n.r71 >=.t140 lit.t142 = True
150 const.Main.Parse.Int.parseFile =
151 defm.Main.Parse.parseFile Int dfun.Main.Parse.Int
152 const.Main.Parse.Int.parseLine =
153 defm.Main.Parse.parseLine Int dfun.Main.Parse.Int
154 const.Main.Parse.Int.parse = defm.Main.Parse.parse Int dfun.Main.Parse.Int
158 [(d.Main.Parse.t146, dfun.Main.Parse.List)]
160 (d.Main.Parse.t175, d.Main.Parse.t145)
161 (Main.Parse.parseLine.t169, Main.Parse.parseLine a.t173 d.Main.Parse.t175)
162 (d.Main.Parse.t176, d.Main.Parse.t175)
163 (Main.Parse.forced.t174, Main.Parse.forced a.t173 d.Main.Parse.t176)
168 [parseFile.t147, parseLine.t148, parse.t149, parseType.t150, forced.t151])
169 parseType.t150 :: String -> ([a.t173], String)
171 more.r73 = ((map [String, a.t173])
172 Main.Parse.parseLine.t169
173 (Main.seperatedBy ',' (((++) Char) l.r74 ",")),
176 AbsBinds [] [] [(l.t155, l.r74), (out.t156, out.r75)]
178 (l.t155, (']' : out.t156)) :: ([Char], [Char])
179 (l.t155, (']' : out.t156))
181 (\ x.r76 -> x.r76 /=.t163 ']')
182 ((tail Char) more.r73)
184 forced.t151 :: [a.t173] -> Bool
185 forced.t151 = (all a.t173) Main.Parse.forced.t174
186 parseFile.t147 = defm.Main.Parse.parseFile [a.t173] d.Main.Parse.t146
187 parseLine.t148 = defm.Main.Parse.parseLine [a.t173] d.Main.Parse.t146
188 parse.t149 = defm.Main.Parse.parse [a.t173] d.Main.Parse.t146
194 AbsBinds [a.t2] [] [(span'.t1, Main.span')]
196 span'.t1 :: (a.t2 -> Bool) -> [a.t2] -> ([a.t2], [a.t2])
198 p.r95 [] = ([] (a.t2), [] (a.t2))
200 p.r96 (x.r97 : xs'.r98)
202 (fixLeak.r99 [a.t2, [a.t2]]) x.r97 (span'.t1 p.r96 xs'.r98)
204 AbsBinds [tt18, tt17] [] [(fixLeak.t12, fixLeak.r99)]
206 fixLeak.t12 :: tt18 -> ([tt18], tt17) -> ([tt18], tt17)
208 x.r100 (xs.r101, ys.r102)
209 = (((:) tt18) x.r100 xs.r101, ys.r102)
213 = ([] (a.t2), xs.r103)
214 AbsBinds [] [] [(seperatedBy.t28, Main.seperatedBy)]
217 seperatedBy.t28 :: Char -> String -> [String]
226 (\ x.r94 -> x.r94 /=.t49 ch.r88)
229 AbsBinds [] [] [(twaddle.t35, twaddle.r90)]
231 twaddle.t35 :: Char -> (String, [Char]) -> [String]
233 ch.r91 (l.r92, (_ : r.r93))
235 l.r92 (seperatedBy.t28 ch.r91 r.r93)
237 AbsBinds [] [] [(whiteSpace.t52, Main.whiteSpace)]
239 whiteSpace.t52 :: String -> String
240 whiteSpace.t52 = (dropWhile Char) isSpace
241 AbsBinds [] [] [(lines'.t55, Main.lines')]
244 lines'.t55 :: [Char] -> [[Char]]
248 s.r104 = plumb.r105 ((Main.span' Char) ((/=.t72) '\n') s.r104)
250 AbsBinds [] [] [(plumb.t59, plumb.r105)]
252 plumb.t59 :: ([Char], [Char]) -> [[Char]]
257 (if (null Char) s'.r107 then
260 lines'.t55 ((tail Char) s'.r107))
262 AbsBinds [] [] [(charToInt.t74, Main.charToInt)]
265 charToInt.t74 :: Char -> Int
267 x.r113 = (ord x.r113) -.t77 (ord '0')
268 AbsBinds [] [] [(strToInt.t80, Main.strToInt)]
270 (d.Integral.t124, dfun.Integral.Int)
272 strToInt.t80 :: String -> Int
274 x.r108 = strToInt'.r109.t117
275 (((length Char) x.r108) -.t119 lit.t122) x.r108
280 [(strToInt'.t83, strToInt'.r109)]
281 (d.Real.t115, sdsel.Integral.Real a.t96 d.Integral.t114)
282 (d.Num.t111, sdsel.Real.Num a.t96 d.Real.t115)
283 (fromInt.t110, fromInt a.t96 d.Num.t111)
284 (lit.t107, fromInt.t110 (MkInt 1#))
285 (d.Num.t112, d.Num.t111)
286 (-.t105, (-) a.t96 d.Num.t112)
287 (d.Num.t113, dfun.Num.Int)
288 (^.t98, (^) [a.t96, Int] [d.Num.t113, d.Integral.t114])
292 strToInt'.t83 :: a.t96 -> [Char] -> Int
296 x.r112 (a.r110 : l.r111)
297 = ((Main.charToInt a.r110)
298 *.t95 (lit.t100 ^.t98 x.r112))
300 (x.r112 -.t105 lit.t107) l.r111)
302 strToInt'.r109.t117 = strToInt'.r109 Int d.Integral.t124