Types.mesa
Theimer, May 12, 1989 8:18:12 pm PDT
Last changed by Theimer on July 16, 1989 4:47:13 pm PDT
DIRECTORY
CirioTypes USING [CompilerContext, Type, Node];
Types: CEDAR DEFINITIONS =
BEGIN
CC: TYPE = CirioTypes.CompilerContext;
Type: TYPE = CirioTypes.Type;
Node: TYPE = CirioTypes.Node;
CreateTypeType: PROC [cc: CC] RETURNS [Type];
CirioCode.GetTypeClass[type] = $type
CCTypes.GetTypeRepresentation will return NIL.
TypeIndirectNodeInfo: TYPE = REF TypeIndirectNodeInfoBody;
TypeIndirectNodeInfoBody: TYPE = RECORD [
getDefinitionType: PROC [data: REF ANY] RETURNS [Type],
data: REF ANY
];
CreateTypeIndirectNode: PUBLIC PROC [type: Type, info: REF ANY] RETURNS [Node];
END.