Skip to content

Commit

Permalink
Add missing HT types to lint.py (#58)
Browse files Browse the repository at this point in the history
  • Loading branch information
pelijah authored Apr 16, 2024
1 parent 23dcdda commit e106047
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion src/lint.py
Original file line number Diff line number Diff line change
Expand Up @@ -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(
Expand Down

0 comments on commit e106047

Please sign in to comment.