2.1.4 Import Statements

Import statements come in a few forms:

‹import-stmt›: import ‹import-source› as NAME | import NAME (, NAME)* from ‹import-source› ‹import-source›: ‹import-special› | ‹import-name› | ‹import-string› ‹import-special›: NAME ( STRING (, STRING)* ) ‹import-name›: NAME ‹import-string›: STRING

The form with ‹import-name› looks for a file with that name in the built-in libraries of Pyret, and it is an error if there is no such library.

Example:

import equality as EQ
check:
  f = lam(): "" end
  equal-always3(f, f) is EQ.Unknown
end