freepascal.compiler/tests/tbf/tb0103.pp

{ %fail }
{$R+}
Type Directions = (North, East,South,West);

Var Go : Directions;

begin
  Go:=Pred(North); { must give compile time error }
end.