From 743b5b586b8910b4d8536a8e1b4ff9b74e346f6c Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Thu, 24 Feb 2022 08:57:28 +0100 Subject: add puzzle: x: Literal[3] = 1 + 2 --- puzzles/20_enum_in_literal.py | 8 -------- puzzles/20_literal_eval_expr.py | 3 +++ puzzles/21_literal_enum_name.py | 8 ++++++++ 3 files changed, 11 insertions(+), 8 deletions(-) delete mode 100644 puzzles/20_enum_in_literal.py create mode 100644 puzzles/20_literal_eval_expr.py create mode 100644 puzzles/21_literal_enum_name.py diff --git a/puzzles/20_enum_in_literal.py b/puzzles/20_enum_in_literal.py deleted file mode 100644 index a743168..0000000 --- a/puzzles/20_enum_in_literal.py +++ /dev/null @@ -1,8 +0,0 @@ -import enum -from typing import Literal - -class Color(enum.Enum): - Red = enum.auto() - Blue = enum.auto() - -c: Literal[Color.Red] = Color.Blue # error diff --git a/puzzles/20_literal_eval_expr.py b/puzzles/20_literal_eval_expr.py new file mode 100644 index 0000000..dce14aa --- /dev/null +++ b/puzzles/20_literal_eval_expr.py @@ -0,0 +1,3 @@ +from typing import Literal + +x: Literal[3] = 1 + 2 diff --git a/puzzles/21_literal_enum_name.py b/puzzles/21_literal_enum_name.py new file mode 100644 index 0000000..a743168 --- /dev/null +++ b/puzzles/21_literal_enum_name.py @@ -0,0 +1,8 @@ +import enum +from typing import Literal + +class Color(enum.Enum): + Red = enum.auto() + Blue = enum.auto() + +c: Literal[Color.Red] = Color.Blue # error -- cgit v1.2.3