MODULE; IMPORT ObLib, ObValue, SynLocation; PROCEDURE ObInt GetArg (args : ObValue.ArgArray; idx : INTEGER; package : ObLib.T; opCode : ObLib.OpCode; loc : SynLocation.T) : INTEGER RAISES {ObValue.Error} = BEGIN TYPECASE args[idx] OF | ObValue.ValInt (node) => RETURN node.int; ELSE ObValue.BadArgType (idx, "int", package.name, opCode.name, loc); RETURN 0; (* ... only to suppress compiler warning *) END; END GetArg; BEGIN END ObInt.