DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH PRINT BOOK
 

(r5rs.info.gz) Output

Info Catalog (r5rs.info.gz) Input (r5rs.info.gz) Input and output (r5rs.info.gz) System interface
 
 6.6.3 Output
 ------------
 
 
 
 
 
 
 
 
  -- library procedure: write obj
  -- library procedure: write obj port
      Writes a written representation of OBJ to the given PORT.  Strings
      that appear in the written representation are enclosed in
      doublequotes, and within those strings backslash and doublequote
      characters are escaped by backslashes.  Character objects are
      written using the `#\' notation.  `Write' returns an unspecified
      value.  The PORT argument may be omitted, in which case it
      defaults to the value returned by `current-output-port'.
 
 
  -- library procedure: display obj
  -- library procedure: display obj port
      Writes a representation of OBJ to the given PORT.  Strings that
      appear in the written representation are not enclosed in
      doublequotes, and no characters are escaped within those strings.
      Character objects appear in the representation as if written by
      `write-char' instead of by `write'.  `Display' returns an
      unspecified value.  The PORT argument may be omitted, in which
      case it defaults to the value returned by `current-output-port'.
 
           _Rationale:_ `Write' is intended for producing
           machine-readable output and `display' is for producing
           human-readable output.  Implementations that allow
           "slashification" within symbols will probably want `write'
           but not `display' to slashify funny characters in symbols.
 
 
  -- library procedure: newline
  -- library procedure: newline port
      Writes an end of line to PORT.  Exactly how this is done differs
      from one operating system to another.  Returns an unspecified
      value.  The PORT argument may be omitted, in which case it
      defaults to the value returned by `current-output-port'.
 
 
  -- procedure: write-char char
  -- procedure: write-char char port
      Writes the character CHAR (not an external representation of the
      character) to the given PORT and returns an unspecified value.  The
      PORT argument may be omitted, in which case it defaults to the
      value returned by `current-output-port'.
 
 
Info Catalog (r5rs.info.gz) Input (r5rs.info.gz) Input and output (r5rs.info.gz) System interface
automatically generated byinfo2html