next up previous contents
Next: Symbol Up: Type Previous: Procedure Types   Contents


Qualified Types

    concrete QualifiedType : Type
      {
        DataType * reference base_type;
        searchable_list<LString> qualifications;
      };

Qualified types add information about storage, such as ``const'' or ``volatile''. Note that properties of the storage have no meaning for the value itself; it does not make sense to talk about a value returned by an add instruction, say, as being const or volatile.



SUIF Nightly Build
2000-08-14