添加规则以处理模糊的多项式符号，要求在Poly_m后添加空格

Signed-off-by: szdytom <szdytom@qq.com>
2025-10-19 16:30:16 +00:00 · 2025-07-16 11:50:40 +08:00 · 2025-07-16 11:50:40 +08:00 · 8c6cfc02e5
commit 8c6cfc02e5
parent d805dc5e0f
1 changed files with 6 additions and 0 deletions
--- a/lint.toml
+++ b/lint.toml
@ -39,3 +39,9 @@ name = "forbid-对于所有"
 pattern = "对于所有"
 enforce = true
 comment = "Please use 对于任意 instead of 对于所有"
+
+[[rule]]
+name = "ambiguous-poly-notation"
+pattern = "Poly_[a-z]\\("
+enforce = true
+comment = "Missing space after Poly_m"