From 90886461bf9d41abffdb3a347166f8bce13fe513 Mon Sep 17 00:00:00 2001 From: Nathaniel Starkman Date: Fri, 28 Jun 2024 16:30:13 -0400 Subject: [PATCH] add deprecation message --- plum/parametric.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plum/parametric.py b/plum/parametric.py index 42c2652..66829d8 100644 --- a/plum/parametric.py +++ b/plum/parametric.py @@ -632,7 +632,7 @@ def get(self): Kind = kind() #: A default kind provided for convenience. -@deprecated +@deprecated("Use typing.Literal[val] instead.") @parametric class Val: """A parametric type used to move information from the value domain to the type