search

flix / book

The Flix Programming Book
Other
16 stars 22 forks source link

File.readLine should be Files.readLine #118

Closed vezhlys closed 8 months ago

vezhlys commented 8 months ago

Hi,

I am going through the book examples and got stuck on the second one in next-steps section, where File.readLines() supposed to be Files.readLines() instead (seems like it was renamed on the latest recent release(?)).

https://github.com/flix/book/blob/9745337eb9809b4d5ae124c44bf5e98925e16b79/src/next-steps.md?plain=1#L17

Same likely applies to https://github.com/flix/book/blob/9745337eb9809b4d5ae124c44bf5e98925e16b79/src/redundancy.md

magnus-madsen commented 8 months ago

Ah yes. Thanks! PRs are welcome :)