From e106047c661faeb3e436310c8505588d8b4fe1c3 Mon Sep 17 00:00:00 2001 From: pelijah Date: Tue, 16 Apr 2024 12:05:27 +0300 Subject: [PATCH] Add missing HT types to lint.py (#58) --- src/lint.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/lint.py b/src/lint.py index 541cbaf..0cd90e3 100644 --- a/src/lint.py +++ b/src/lint.py @@ -164,7 +164,17 @@ def cursor_get_comment(cursor: Cursor, *, packed: bool = False) -> Optional[str] warn( f"Type comment at {stringify_location(cursor.location)} should not have pointer" ) - elif typeref_spelling in {"HtPP", "HtUP", "HtUU", "RBTree", "SdbList"}: + elif typeref_spelling in { + "HtPP", + "HtUP", + "HtUU", + "HtPU", + "HtSP", + "HtSS", + "HtSU", + "RBTree", + "SdbList", + }: pass else: warn(