diff options
author | Paul Phillips <paulp@improving.org> | 2011-05-20 17:53:03 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-05-20 17:53:03 +0000 |
commit | 2beeb23cc71273a2b6a262317a95a06df3491fbf (patch) | |
tree | 126f7b1701af7a0ab6768c28e3b8b5ea75d26060 /src/swing | |
parent | be355453547d9a8436d58af7f6ab2a737cc0d376 (diff) | |
download | scala-2beeb23cc71273a2b6a262317a95a06df3491fbf.tar.gz scala-2beeb23cc71273a2b6a262317a95a06df3491fbf.tar.bz2 scala-2beeb23cc71273a2b6a262317a95a06df3491fbf.zip |
Fix #4599: XMLEventReader issue with input stream.
Makes MarkupParser.nextch lazy, only reaching out for the next char when
calling ch or eof. To make it possible, nextch now returns Unit instead
of Char. As it happens, that's how it is used almost everywhere.
Contributed by Daniel Sobral, no review.
Diffstat (limited to 'src/swing')
0 files changed, 0 insertions, 0 deletions