[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PROCLAIM and type declarations



I believe that the sentences from page 156 about PROCLAIM covers
the case currently under debate:

  Any variable names mentioned are assumed to refer to the dynamic values
  of the variable.... Similarly, any function names mentioned are assumed
  to refer to the global function definition.

In a later paragraph it is noted that PROCLAIM of SPECIAL is given an
unusual interpretation.

--Guy