iidy-hs/.stan.toml at main · tavisrudd/iidy-hs · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
# Stan static analysis configuration
# https://github.com/kowainik/stan

# Infinite list warnings — all lists in this codebase are finite
[[check]]
  id = "STAN-0101"  # reverse on infinite
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0102"  # isSuffixOf on infinite
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0103"  # length on infinite
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0104"  # genericLength on infinite
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0105"  # sum on infinite
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0106"  # product on infinite
  scope = "all"
  type = "Exclude"

# Text.length is O(n) but fine for short strings; "use ByteString" is wrong advice
[[check]]
  id = "STAN-0208"  # slow T.length
  scope = "all"
  type = "Exclude"

# Non-strict fields — most are IO-typed (intentionally lazy)
[[check]]
  id = "STAN-0206"
  scope = "all"
  type = "Exclude"

# Big tuples — intentional internal return types
[[check]]
  id = "STAN-0302"
  scope = "all"
  type = "Exclude"

# Partial Enum ops — all uses are bounded hex nibble encoders
[[check]]
  id = "STAN-0010"  # succ
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0011"  # pred
  scope = "all"
  type = "Exclude"

[[check]]
  id = "STAN-0012"  # toEnum
  scope = "all"
  type = "Exclude"

# Per-file ignores — safe in context, verified manually

# !! in tests: indexing known-length lists in assertions
[[check]]
  id = "STAN-0005"
  type = "Exclude"
  file = "test/Test/RendererTest.hs"

[[check]]
  id = "STAN-0005"
  type = "Exclude"
  file = "test/Test/Phase14FixTest.hs"

[[check]]
  id = "STAN-0005"
  type = "Exclude"
  file = "test/Test/DescribeStackTest.hs"

# nub in tests: small known lists
[[check]]
  id = "STAN-0209"
  type = "Exclude"
  file = "test/Test/ChangesetTest.hs"

[[check]]
  id = "STAN-0209"
  type = "Exclude"
  file = "test/Test/IntegrationTest.hs"

# read/unsafe in test fixture parsing
[[check]]
  id = "STAN-0009"
  type = "Exclude"
  file = "test/Test/ImportLoaderTest.hs"

[[check]]
  id = "STAN-0212"
  type = "Exclude"
  file = "test/Test/ImportLoaderTest.hs"

# maximum always called on (0 : ...) — non-empty by construction
[[check]]
  id = "STAN-0013"
  type = "Exclude"
  file = "src/Iidy/Output/Renderers/Interactive/Types.hs"

[[check]]
  id = "STAN-0013"
  type = "Exclude"
  file = "src/Iidy/Cli/Help.hs"

# minimumBy guarded by null check in caller
[[check]]
  id = "STAN-0016"
  type = "Exclude"
  file = "src/Iidy/Cfn/StackArgsLoader.hs"