aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-02-02 09:10:34 +0100
committerTristan Gingold <tgingold@free.fr>2020-02-02 09:10:34 +0100
commitf36b3eae454723346db973871c48e4df148fb7ad (patch)
tree59028056133128758d677b11bc4ff3b81dd3303b /src
parent5428d6e8537dbe4b9533a29b5d8124340471cb4c (diff)
downloadghdl-f36b3eae454723346db973871c48e4df148fb7ad.tar.gz
ghdl-f36b3eae454723346db973871c48e4df148fb7ad.tar.bz2
ghdl-f36b3eae454723346db973871c48e4df148fb7ad.zip
vhdl-sem_assocs: check conversion functions have only one parameter.
Diffstat (limited to 'src')
-rw-r--r--src/vhdl/vhdl-sem_assocs.adb8
1 files changed, 8 insertions, 0 deletions
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;