M2compiler-V3/compiler/tests/t_trap_range_arg.mod

MODULE TTrapRangeArg;
// A value actual outside the formal subrange must trap at the call.
TYPE I = [0..10];
PROCEDURE P (x: I);
BEGIN
END P;
BEGIN
  P(11)
END TTrapRangeArg.