Re: [std lib] question about read_lines() return value
- Posted by Jeremy Cowgar <jeremy at co?g?r.com> Apr 28, 2008
- 566 views
Jason Gade wrote: > > Jeremy, regarding your documentation for the read_lines() function, you have > it returning {{"line_1"}, {"line_2"}, {"line_3"}}. > > Aren't the extra braces redundant? Shouldn't the function return {"line_1", > "line_2", "line_3"}? Ops. That's a problem in the documentation. I looked at the unit tests and confirmed as well with a test program:
include file.e include misc.e sequence l l = read_lines("test.e") pretty_print(1, l, {2})
The output is: $ exu test.e { "include file.e", "include misc.e", "", "sequence l", "l = read_lines("test.e")", "pretty_print(1, l, {2})" } -- Jeremy Cowgar http://jeremy.cowgar.com