|
@@ -1015,9 +1015,11 @@ implementation
|
|
|
|
|
|
function try_consume_hintdirective(var moduleopt:tmoduleoptions; var deprecatedmsg:pshortstring):boolean;
|
|
function try_consume_hintdirective(var moduleopt:tmoduleoptions; var deprecatedmsg:pshortstring):boolean;
|
|
var
|
|
var
|
|
|
|
+ deprecated_seen,
|
|
last_is_deprecated:boolean;
|
|
last_is_deprecated:boolean;
|
|
begin
|
|
begin
|
|
try_consume_hintdirective:=false;
|
|
try_consume_hintdirective:=false;
|
|
|
|
+ deprecated_seen:=false;
|
|
repeat
|
|
repeat
|
|
last_is_deprecated:=false;
|
|
last_is_deprecated:=false;
|
|
case idtoken of
|
|
case idtoken of
|
|
@@ -1028,9 +1030,13 @@ implementation
|
|
end;
|
|
end;
|
|
_DEPRECATED :
|
|
_DEPRECATED :
|
|
begin
|
|
begin
|
|
|
|
+ { allow deprecated only once }
|
|
|
|
+ if deprecated_seen then
|
|
|
|
+ break;
|
|
include(moduleopt,mo_hint_deprecated);
|
|
include(moduleopt,mo_hint_deprecated);
|
|
try_consume_hintdirective:=true;
|
|
try_consume_hintdirective:=true;
|
|
last_is_deprecated:=true;
|
|
last_is_deprecated:=true;
|
|
|
|
+ deprecated_seen:=true;
|
|
end;
|
|
end;
|
|
_EXPERIMENTAL :
|
|
_EXPERIMENTAL :
|
|
begin
|
|
begin
|