Lines Matching defs:lines
66 fun phase1 lines =
68 NONE => (lines, false)
70 ("\n"::s::lines, true)
71 else phase1 (s::lines)
72 fun phase2 (lines, dirlines, cnt) =
74 NONE => (if length lines > lastlines then List.take(lines, lastlines)
75 else lines, false)
83 val (lines, cnt) =
85 (s :: List.take(lines, lastlines - 1), lastlines)
87 (s::lines, cnt + 1)
89 phase2 (lines, dirlines, cnt)