Merge: Kill PushBackReader
authorJean Privat <jean@pryen.org>
Wed, 13 May 2015 17:56:03 +0000 (13:56 -0400)
committerJean Privat <jean@pryen.org>
Wed, 13 May 2015 17:56:03 +0000 (13:56 -0400)
commit90bb4774df00a81b50a778696a0ba8de9c8c48c9
treed148d6dc2b28c6185f1c8274c8da00e7d9eecaca
parent9a3c09d0df0653acd033511b255bcefcec9b7ef7
parentac05052cee9ef15e1f6666d6db760b4a1532b329
Merge: Kill PushBackReader

As part of the #1309 series, this is a first PR signaling the death of the PushBackReader, since its semantics were for the least, doubtful, and since its use was mainly for look-ahead parsers, it's been decided that a peek operation on BufferedReaders would be better.

Pull-Request: #1333
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
Reviewed-by: Jean Privat <jean@pryen.org>