From f36b3eae454723346db973871c48e4df148fb7ad Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 2 Feb 2020 09:10:34 +0100 Subject: vhdl-sem_assocs: check conversion functions have only one parameter. --- src/vhdl/vhdl-sem_assocs.adb | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src') diff --git a/src/vhdl/vhdl-sem_assocs.adb b/src/vhdl/vhdl-sem_assocs.adb index 74faad959..3f4800a85 100644 --- a/src/vhdl/vhdl-sem_assocs.adb +++ b/src/vhdl/vhdl-sem_assocs.adb @@ -1339,6 +1339,14 @@ package body Vhdl.Sem_Assocs is Error_Msg_Sem (+Loc, "interface of function must be a constant interface"); end if; + if Get_Chain (Inter) /= Null_Iir then + -- LRM08 6.5.7 Association lists + -- In this case, the function name shall denote a function + -- whose single parameter is of the type of the formal + -- and [...] + Error_Msg_Sem + (+Loc, "conversion function must have only one parameter"); + end if; end; end if; -- cgit v1.2.3