Merge: File no buffered
authorJean Privat <jean@pryen.org>
Fri, 11 May 2018 20:01:08 +0000 (16:01 -0400)
committerJean Privat <jean@pryen.org>
Fri, 11 May 2018 20:01:08 +0000 (16:01 -0400)
Still as part of the Stream refactor, this commit removes the BufferedReader dependency for FileReader.

Note: last commit only to review, the previous one is from #2648

Pull-Request: #2649
Reviewed-by: Jean Privat <jean@pryen.org>

1  2 
lib/core/stream.nit

Simple merge