Open and read the entire contents of a file

Synopsis

• read_file ?-nonewline? fileName

Description

This procedure reads the file fileName and returns the contents as a string. If -nonewline is specified, then the last character of the file is discarded if it is a newline.