structure FileExtra = struct fun read file = let val inStream = TextIO.openIn file in (* TextIO.inputAll returns a TextIO.vector, which is a string. *) TextIO.inputAll inStream end; end;