
DIRECTORY
IntCodeDefs USING [Handler, Label, Node, NodeList, Var],
MimCode USING [CodeList, LabelInfo, StoreOptions],
MobDefs USING [Link, ModuleIndex],
SourceMap USING [Loc],
Symbols USING [BTIndex, CBTIndex, ContextLevel, CSEIndex, ISEIndex, SEIndex, Type, typeANY],
Tree USING [Index, Link];
MimP5: DEFINITIONS = { 
OPEN IntCodeDefs, MimCode, Symbols;


CountedAllocate: PROC [zone: Node, type: Symbols.SEIndex, catch: Tree.Link, size: Node]
RETURNS [Node];
SysError: PROC RETURNS [Node];
ZoneOp: PROC [zone: Node, which: ZoneOpSelector, args: NodeList, catch: Tree.Link]
RETURNS [Node];
ZoneOpSelector: TYPE = {alloc, free};


inInline: BOOL;
MakeGlobal: PROC [bits: INT, type: Type м typeANY]
RETURNS [v: Var, sei: ISEIndex];
MakeString: PROC [t: Tree.Link] RETURNS [Node];
ProcDescForBti: PROC [bti: CBTIndex, body: BOOL м FALSE] RETURNS [Node];
ProcLabelForBti: PROC [bti: CBTIndex, direct: BOOL м TRUE] RETURNS [Node];
PushContext: PROC [label: Label, cl: CodeList, inner: PROC];
SignalForSei: PROC [sei: ISEIndex] RETURNS [Node];
VarForInterface: PROC [mod: MobDefs.ModuleIndex] RETURNS [Var];
VarForLink: PROC [link: MobDefs.Link, bits: INT] RETURNS [Var];
visibleContext: REF VisibalContextArray;
VisibalContextArray: TYPE = ARRAY Symbols.ContextLevel OF IntCodeDefs.Label;

FlowExp: PROC [node: Tree.Index] RETURNS [Node];
GetLabelMark: PROC RETURNS [LabelInfo];
LabelCreate: PROC [t: Tree.Link];
LabelList: PROC [cl: CodeList, t: Tree.Link, elabel: Label, mark: LabelInfo];
MakeExitLabel: PROC RETURNS [exit, loop: Label];

All: PROC [t: Tree.Link, node: Tree.Index, options: StoreOptions] RETURNS [Node];
Construct: PROC [t: Tree.Link, node: Tree.Index, options: StoreOptions] RETURNS [Node];
ListCons: PROC [node: Tree.Index] RETURNS [Node];
New: PROC [node: Tree.Index] RETURNS [Node];
RowCons: PROC [t: Tree.Link, node: Tree.Index, options: StoreOptions] RETURNS [Node];
VariantConstruct: PROC [t1, t2: Tree.Link, options: StoreOptions] RETURNS [Node];


BindStmtExp: PROC [root: Tree.Index, isExp: BOOL] RETURNS [Node];
CaseStmtExp: PROC [root: Tree.Index, isExp: BOOL] RETURNS [Node];
Clarify: PROC [type: Type] RETURNS [CSEIndex];
Normalize: PROC [type: Type] RETURNS [CSEIndex];
Exp: PROC [t: Tree.Link] RETURNS [IntCodeDefs.Node];
ExpList: PROC [t: Tree.Link, wordPad: BOOL] RETURNS [head, tail: NodeList м NIL];
GetCanonicalType: PROC [tree: Tree.Index] RETURNS [Node];
NarrowExp: PROC [tree: Tree.Index] RETURNS [Node];
TypeRel: PROC [tree: Tree.Index] RETURNS [Node];
VarForSei: PROC [sei: ISEIndex] RETURNS [Var];


DeclList: PROC [cl: CodeList, t: Tree.Link];
SCatchPhrase: PROC [t: Tree.Link] RETURNS [Handler];
StatementList: PROC [cl: CodeList, t: Tree.Link];
StatementTree: PROC [t: Tree.Link] RETURNS [Node];
WrapSource: PROC [node: Node, loc: SourceMap.Loc] RETURNS [Node];
WrapSourceBlock: PROC [cl: CodeList, bti: BTIndex, hasDecls: BOOL] RETURNS [Node];

}.

  ╬  
MimP5.mesa
Copyright ╙ 1985, 1986, 1987, 1988, 1991 by Xerox Corporation.  All rights reserved.
Sweet, June 1, 1986 9:02:14 pm PDT
Satterthwaite, November 26, 1985 1:29:52 pm PST
Russ Atkinson (RRA) July 23, 1990 3:17:25 pm PDT
from MimCalls
from MimDriver
TRUE iff inside of INLINE expansion (inside of subst or substx)

returns the descriptor for the indicated procedure
body => return the body
~body => return the address of the body
returns a var with code location for the proc label
direct => for direct application
~direct => for proc desc body initialization
Enters a new context (reflected in visibleContext) for the given proc label and code list, calls inner, and then pops the context on the way out.  Useful for generating procedure bodies (see MimStmt.SCatchPhrase).
from MimFlow

from MimCons

from MimExpr
Removes layers of definition and opaque from the given type.
Removes layers of definition, subrange and opaque from the given type.
from MimStmt
Э╩S  ХNewlineDelimiter
Ц(cedarcode) styleЩ headЪЬ
Щ
IcodeЪЬ
╧eЬIЩTLЪ╧y"Щ"LЪЮ/Щ/LЩ0ЧШ Ъ╧k	Ш	LЪЬЯЬ'Ш8LЪЬЯЬ%Ш2LЪЬЯЬШ"LЪЬ
ЯЬШLЪЬЯЬOШ\LЪЬЯЬШЧЧЪ╧nЬЯЬШLЪЯЬШ#LШ ЧЪЬЩLШ LЪаЬЯЬBЯЬШgLЪаЬЯЬЯЬШЪаЬЯЬGЯЬШbLЪЬЯЬШ%ЧLШ ЧЪЬЩLШ ЪЬ
ЯЬШLЪЯЬЯЬ&Щ?LЩ ЧLЪа
ЬЯЬЯЬЯЬШSLЪа
ЬЯЬЯЬШ/Ъ
аЬЯЬЯЬЯЬЯЬШHЩ2LЪЬЩLЩ'ЧЧЪ
аЬЯЬЯЬЯЬЯЬШJЩ3LЪЬ Щ LЪЬ,Щ,ЧЧЪаЬЯЬ%ЯЬШ<LЪЬ╒Щ╒ЧLЪаЬЯЬЯЬШ2LЪаЬЯЬЯЬШ?LЪа
ЬЯЬЯЬЯЬШ?ЪЬЯЬШ(LЪЬЯЬЯЬЯЬШLЧLШ ЧЪЬЩLЩ LЪаЬЯЬЯЬШ0LЪаЬЯЬЯЬШ'LЪаЬЯЬШ!LЪа	ЬЯЬ>ШMLЪаЬЯЬЯЬШ0LШ ЧЪЬЩLЩ LЪаЬЯЬ9ЯЬШQLЪа	ЬЯЬ9ЯЬШWLЪаЬЯЬЯЬШ1LЪаЬЯЬЯЬШ,LЪаЬЯЬ9ЯЬШULЪаЬЯЬ,ЯЬШQLШ ЧЪЬЩLШ LЪаЬЯЬЯЬЯЬШALЪаЬЯЬЯЬЯЬШAЪаЬЯЬЯЬШ.LЩ<ЧЪа	ЬЯЬЯЬШ0LЩFЧLЪаЬЯЬЯЬШ4LЪ
аЬЯЬЯЬЯЬЯЬШQLЪаЬЯЬЯЬШ9LЪа	ЬЯЬЯЬШ2LЪаЬЯЬЯЬШ0LЪа	ЬЯЬЯЬШ.LШ ЧЪЬЩLШ LЪаЬЯЬШ,LЪаЬЯЬЯЬШ4LЪаЬЯЬШ1LЪаЬЯЬЯЬШ2LЪа
ЬЯЬ"ЯЬШALЪаЬЯЬ(ЯЬЯЬШRLШ ЧШLШ ЧЧ ЕЧ    P  q  