M2compiler-V3/compiler/tests/t_trap_range_ret.mod

MODULE TTrapRangeRet;
// A returned value outside the function's subrange result must trap.
TYPE I = [0..10];
PROCEDURE F () : I;
BEGIN
  RETURN 11
END F;
VAR x : I;
BEGIN
  x := F()
END TTrapRangeRet.