Merge: Extends chars, string and stream with some whitespace-related function
authorJean Privat <jean@pryen.org>
Sat, 7 Mar 2015 05:17:01 +0000 (12:17 +0700)
committerJean Privat <jean@pryen.org>
Sat, 7 Mar 2015 05:17:01 +0000 (12:17 +0700)
commit3ba9d3901c0e51c581ee3a92fca6238da870b14c
tree2964215c969db5f6212e2008c6bfc870381c5d15
parent6e549a2629c75122184fe861b8214922ddec2739
parentfa78deeed716b9d46eeb09f91c9d1389b58cb749
Merge: Extends chars, string and stream with some whitespace-related function

While thinking about the remaining task of #466 (simple parsing), I though that there useful functions where missing in order to have a sane `Reader::read_word` method

Pull-Request: #1179
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
lib/standard/kernel.nit
tests/sav/nituml_args3.res
tests/sav/nituml_args4.res