changeset 295 | 19f23c4c2167 |
parent 169 | 57df3d7b4a25 |
--- a/progs/app7.scala Sat Nov 01 16:19:05 2014 +0000 +++ b/progs/app7.scala Sun Nov 02 09:10:15 2014 +0000 @@ -2,8 +2,8 @@ def parse(ts: I): Set[(T, I)] def parse_all(ts: I) : Set[T] = - for ((head, tail) <- parse(ts); if (tail.isEmpty)) - yield head + for ((head, tail) <- parse(ts); + if (tail.isEmpty)) yield head }