InlineTestIllegal.mesa
mna 1/30/92
DIRECTORY
InlineTestIllegalDefs;
InlineTestIllegal: PROGRAM
IMPORTS InlineTestIllegalDefs
= BEGIN
callerType: TYPE = InlineTestIllegalDefs.callerType;
TestIllegalProcVariables: PROC = {
b: callerType = InlineProc;
Error: Assigning inline to proc var
c: callerType ← LOOPHOLE[InlineTestIllegalDefs.PreProcessorProc];
Error: Assigning cpp to proc var.
d: callerType ← InlineTestIllegalDefs.PreProcessorProc;
Error: Assigning cpp to proc var.
};
InlineProc: callerType = INLINE {
i ← i + 1;
RETURN [i];
};
SystemProc: callerType = MACHINE CODE {
"MumbleProc";
};
MumbleProc: callerType = {
j : INTEGER;
j ← 5;
RETURN [j];
};
END...