Code:
TYPE =
MACHINE
DEPENDENT {
definition(200b), name,
record, structure, union, array, sequence, enumerated, subrange, opaque,
countedZone, uncountedZone,
list, relativeRef, ref, refAny, pointer, longPointer, descriptor, longDescriptor, --address--
port, process, program,
type,
nil,
any,
boolean,
unspecified,
globalFrame, localFrame,
procedure, signal, error, --transfer--
cardinal, integer, character, longInteger, longCardinal, --basic --
string, stringBody, text, atomRec,
mds, ordered, packed, readOnly, -- options
real,
paint,
leftParen, rightParen,
safeProc,
safe,
var,
longUnspecified,
code,
base,
dcard, dint, dreal
};
Create:
PROC [base: SymbolTable.Base, sei: Symbols.SEIndex, z:
UNCOUNTED
ZONE]
RETURNS [TypeString];
will complain if all of the necessary information isn't in base
ASSERTION: TypePack.Equivalent[[base1,sei1],[base2,sei2]]
IFF (Create[base1,sei1]=Create[base2,sei2])
}.