openIn(String) -- open an input file

Synopsis

• Function: openIn

• Usage:

  openIn fn

• Inputs:
  • fn, a string
• Outputs:
  • a file, an open input file whose filename is fn. Filenames starting with ! or with $ are treated specially, see openInOut.

Description

i1 : "test-file" << "hi there" << close;

i2 : g = openIn "test-file"

o2 = test-file

o2 : File

i3 : fileLength g

o3 = 8

i4 : atEndOfFile g

o4 = false

i5 : read g

o5 = hi there

i6 : atEndOfFile g

o6 = true

i7 : close g

o7 = test-file

o7 : File

i8 : removeFile "test-file"

A filename starting with ~/ will have the tilde replaced by the user's home directory.

See also

• openOut -- open an output file
• openOutAppend -- open an output file for appending
• openInOut -- open an input output file
• fileLength -- the length of a file
• read -- read from a file
• close -- close a file
• atEndOfFile -- test for end of file
• File << Thing -- print to a file