seq-compiler 3.0.6

Compiler for the Seq programming language
Documentation 
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
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151

# Default Seq Lint Rules
#
# These patterns detect common inefficiencies and suggest improvements.
# Phase 1: Syntactic patterns (word sequence matching)

# =============================================================================
# Redundant Operations (no-ops)
# =============================================================================

[[lint]]
id = "redundant-dup-drop"
pattern = "dup drop"
replacement = ""
message = "`dup drop` has no effect - remove both words"
severity = "warning"

[[lint]]
id = "redundant-swap-swap"
pattern = "swap swap"
replacement = ""
message = "consecutive `swap swap` cancel out - remove both"
severity = "warning"

[[lint]]
id = "redundant-over-drop"
pattern = "over drop"
replacement = ""
message = "`over drop` has no effect - remove both words"
severity = "warning"

[[lint]]
id = "redundant-dup-nip"
pattern = "dup nip"
replacement = ""
message = "`dup nip` has no effect - remove both words"
severity = "warning"

[[lint]]
id = "redundant-rot-rot-rot"
pattern = "rot rot rot"
replacement = ""
message = "three `rot` calls cancel out - remove all three"
severity = "warning"

# =============================================================================
# Prefer Idiomatic Words
# =============================================================================

[[lint]]
id = "prefer-nip"
pattern = "swap drop"
replacement = "nip"
message = "prefer `nip` over `swap drop`"
severity = "hint"

[[lint]]
id = "prefer-tuck"
pattern = "swap over"
replacement = "tuck"
message = "prefer `tuck` over `swap over`"
severity = "hint"

[[lint]]
id = "prefer-2dup"
pattern = "over over"
replacement = "2dup"
message = "prefer `2dup` over `over over`"
severity = "hint"

# =============================================================================
# Potentially Suspicious Patterns
# =============================================================================

[[lint]]
id = "drop-drop-drop"
pattern = "drop drop drop"
replacement = ""
message = "dropping three values in a row - consider using `3drop` or refactoring to avoid excess stack values"
severity = "hint"

# NOTE: "immediate-drop" pattern ([ drop) removed - it incorrectly matches
# across statement boundaries. Will be re-added when quotation-specific
# linting is implemented in Phase 2.

# =============================================================================
# Unchecked Error Returns
# =============================================================================
# Operations that return success flags should have their flags checked.
# Dropping the flag without checking can hide errors.

[[lint]]
id = "unchecked-chan-send"
pattern = "chan.send drop"
replacement = ""
message = "`chan.send` returns a success flag - dropping it hides send failures"
severity = "warning"

[[lint]]
id = "unchecked-chan-receive"
pattern = "chan.receive drop"
replacement = ""
message = "`chan.receive` returns (value Bool) - check the Bool before using the value"
severity = "warning"

[[lint]]
id = "unchecked-map-get"
pattern = "map.get drop"
replacement = ""
message = "`map.get` returns (value Bool) - check the Bool before using the value"
severity = "hint"

[[lint]]
id = "unchecked-file-slurp"
pattern = "file.slurp drop"
replacement = ""
message = "`file.slurp` returns (content Bool) - check the Bool before using the content"
severity = "hint"

[[lint]]
id = "unchecked-read-line"
pattern = "io.read-line drop"
replacement = ""
message = "`io.read-line` returns (String Bool) - check the Bool before using the String"
severity = "hint"

# =============================================================================
# Weave/Generator Resource Leaks
# =============================================================================
# Weaves must be either resumed to completion OR explicitly cancelled.
# Dropping a WeaveHandle without doing either causes the coroutine to hang.

[[lint]]
id = "weave-immediate-drop"
pattern = "strand.weave drop"
replacement = ""
message = "`strand.weave` handle dropped immediately - weave will hang forever. Use `strand.weave-cancel` or resume to completion."
severity = "error"

[[lint]]
id = "unchecked-resume"
pattern = "strand.resume drop drop drop"
replacement = ""
message = "`strand.resume` returns (handle value Bool) - check the Bool to detect weave completion and avoid resource leaks"
severity = "warning"

[[lint]]
id = "unchecked-resume-result"
pattern = "strand.resume drop drop"
replacement = ""
message = "`strand.resume` returns (handle value Bool) - the Bool indicates if the weave has more values"
severity = "hint"