Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-17 08:40:40 -0700 (Mon, 17 Oct 2005)
Revision: 7916
Log message:

      Include Pervasives definitions to files at parse time.
      This means that the following code will work as expected.
      
          f() =
              stdout = ...
              ...
      
      Before, since stdout was unknown, this would have to be explicit.
      
          f() =
              Pervasives.stdout = ...
              ...
      
      Note, that variable definitions in functions are still chosen
      statically, and they default to private.  Consider the following
      code.
      
          open build/C    # Defines CFLAGS
          f(file) =
              CFLAGS = -g  # This will be a private definition, not C.CFLAGS
              $(file):
      
      There are good arguments for and against this approach.