[clean-list] files unique or not unique for reading?

[Wolfgang Jeltsch]

Hello,

Functional Programming in Clean, Part I as published via Clean's website, says 
on page 113: "The file from which characters are read is not required to be 
unique since no destructive update is involved in reading."  However, on page 
203, the File argument and File part of the result of freadc are declared as 
unique.  Why?

Best wishes,
Wolfgang Jeltsch