Copyright Ó 1990 by Xerox Corporation. All rights reserved.

Hopcroft July 27, 1989 4:52:03 pm PDT

Last tweaked by Mike Spreitzer on August 31, 1990 9:20:58 am PDT

CedarCode USING [Operator],

CirioSyntacticOperations USING [ParseTree],

CirioTypes USING[CompilerContext, TypedCode];

CC: TYPE = CirioTypes.CompilerContext;

Operator: TYPE = CedarCode.Operator;

TypedCode: TYPE = CirioTypes.TypedCode;

ParseTree: TYPE = CirioSyntacticOperations.ParseTree;

RHSComma: PROC [left, right: ParseTree, cc: CC] RETURNS [TypedCode];

RHSCond: PROC [test, trueCase, falseCase: ParseTree, cc: CC] RETURNS [TypedCode];

AddUnaryOp: PROC [argTC: TypedCode, op: Operator, cc: CC] RETURNS [TypedCode];

END...