diff options
| -rw-r--r-- | src/errorout.ads | 4 | ||||
| -rw-r--r-- | src/vhdl/vhdl-sem.adb | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/src/errorout.ads b/src/errorout.ads index 16515d8af..b4207be4c 100644 --- a/src/errorout.ads +++ b/src/errorout.ads @@ -129,6 +129,9 @@ package Errorout is -- Missing association for a formal. Warnid_No_Assoc, + -- Lexical conformance + Warnid_Conformance, + -- Violation of staticness rules Warnid_Static, @@ -326,6 +329,7 @@ private | Warnid_Deprecated_Option | Warnid_Unexpected_Option | Warnid_Nowrite | Warnid_No_Wait | Warnid_Useless + | Warnid_Conformance | Msgid_Warning => (Enabled => True, Error => False), Warnid_Delta_Cycle | Warnid_Body | Warnid_Static | Warnid_Nested_Comment | Warnid_Universal | Warnid_Port_Bounds diff --git a/src/vhdl/vhdl-sem.adb b/src/vhdl/vhdl-sem.adb index e6c003003..1389cebb1 100644 --- a/src/vhdl/vhdl-sem.adb +++ b/src/vhdl/vhdl-sem.adb @@ -1704,8 +1704,9 @@ package body Vhdl.Sem is begin if not Are_Trees_Equal (Subprg, Spec) then -- FIXME: should explain why it does not conform ? - Error_Msg_Sem - (+Subprg, "body of %n does not conform with specification at %l", + Error_Msg_Sem_Relaxed + (Subprg, Warnid_Conformance, + "body of %n does not conform with specification at %l", (+Subprg, +Spec)); end if; end Check_Conformance_Rules; |