From 258331e91421c438e80c926e79833b1f4845ffe8 Mon Sep 17 00:00:00 2001
From: svenbarth <pascaldragon@googlemail.com>
Date: Sun, 26 Apr 2020 11:46:14 +0000
Subject: [PATCH] + add an explicit error message if a type is not supported
 for a generic constant parameter

git-svn-id: trunk@45090 -
---
 compiler/msg/errore.msg | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/msg/errore.msg b/compiler/msg/errore.msg
index dff4eb514b..5c9f4a3fbd 100644
--- a/compiler/msg/errore.msg
+++ b/compiler/msg/errore.msg
@@ -1617,7 +1617,7 @@ parser_e_generic_constraints_not_allowed_here=03355_E_Generic constraint not all
 %
 # Type Checking
 #
-# 04127 is the last used one
+# 04128 is the last used one
 #
 % \section{Type checking errors}
 % This section lists all errors that can occur when type checking is
@@ -2061,6 +2061,9 @@ type_e_forward_interface_type_does_not_match=04127_E_The interface type of the f
 % When declaring an interface forward, the interface type must be the same as at the actual declaration of the interface.
 % This is in particular important with regard to the parent interface which implicitly sets the interface type for the
 % child interface.
+type_e_generic_const_type_not_allowed=04128_E_Type not allowed for generic constant parameter: $1
+% Only types that can also be used (indirectly) for untyped constants can be used as a
+% type for a generic constant parameter.
 % \end{description}
 #
 # Symtable