Definitions.mesa
Theimer, May 12, 1989 8:18:12 pm PDT
Last changed by Theimer on July 16, 1989 4:46:43 pm PDT
DIRECTORY
CirioTypes USING [CompilerContext, Type],
Rope USING [ROPE];
Definitions: CEDAR DEFINITIONS =
BEGIN
CC: TYPE = CirioTypes.CompilerContext;
Type: TYPE = CirioTypes.Type;
DefinitionTypeInfo: TYPE = REF DefinitionTypeInfoBody;
DefinitionTypeInfoBody: TYPE = RECORD [
underType: Type,
name: Rope.ROPE];
CreateDefinitionType: PROC [underType: Type, name: Rope.ROPE, cc: CC] RETURNS [Type];
CirioCode.GetTypeClass[type] = $definition
CCTypes.GetTypeRepresentation will return NIL.
END.