From 214993b70420d593c0f1ca51335bada29ea5caf6 Mon Sep 17 00:00:00 2001 From: rocky Date: Tue, 29 Oct 2024 13:59:15 -0400 Subject: [PATCH] One more type annotation correction/improvement --- mathics_scanner/feed.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mathics_scanner/feed.py b/mathics_scanner/feed.py index a4ef1f4..bedd480 100644 --- a/mathics_scanner/feed.py +++ b/mathics_scanner/feed.py @@ -5,7 +5,7 @@ """ from abc import ABCMeta, abstractmethod -from typing import Callable, Optional +from typing import Callable, List, Optional, Tuple class LineFeeder(metaclass=ABCMeta): @@ -20,7 +20,7 @@ def __init__(self, filename: str): :param filename: A string that describes the source of the feeder, i.e. the filename that is being feed. """ - self.messages: list = [] + self.messages: List[Tuple[str, str, List[str]]] = [] self.lineno = 0 self.filename = filename