|
77 | 77 | (and (equal? src (syntax-source stx))
|
78 | 78 | src))
|
79 | 79 | ;; Definitions
|
80 |
| - (define/override (syncheck:add-definition-target src-obj start end id mods) |
| 80 | + (define/override (syncheck:add-definition-target _src-obj start end id _mods) |
81 | 81 | (hash-set! definitions id (Decl src id start end)))
|
82 | 82 | ;; Track requires
|
83 |
| - (define/override (syncheck:add-require-open-menu text start finish file) |
| 83 | + (define/override (syncheck:add-require-open-menu _text start finish file) |
84 | 84 | (interval-map-set! requires start finish file))
|
85 | 85 | ;; Mouse-over status
|
86 |
| - (define (hint-unused-variable src-obj text start finish) |
87 |
| - (define diag (Diagnostic #:range (Range #:start (abs-pos->Pos doc-text start) |
88 |
| - #:end (abs-pos->Pos doc-text finish)) |
89 |
| - #:severity Diag-Information |
90 |
| - #:source (path->uri src-obj) |
91 |
| - #:message "unused variable")) |
92 |
| - (set-add! warn-diags diag)) |
| 86 | + (define (hint-unused-variable src-obj start finish) |
| 87 | + (unless (string=? "_" (send doc-text get-text start (add1 start))) |
| 88 | + (define diag (Diagnostic #:range (Range #:start (abs-pos->Pos doc-text start) |
| 89 | + #:end (abs-pos->Pos doc-text finish)) |
| 90 | + #:severity Diag-Information |
| 91 | + #:source (path->uri src-obj) |
| 92 | + #:message "unused variable")) |
| 93 | + (set-add! warn-diags diag))) |
93 | 94 | (define/override (syncheck:add-mouse-over-status src-obj start finish text)
|
94 | 95 | ;; Infer a length of 1 for zero-length ranges in the document.
|
95 | 96 | ;; XXX This might not exactly match the behavior in DrRacket.
|
96 | 97 | (when (= start finish)
|
97 | 98 | (set! finish (add1 finish)))
|
98 | 99 | (when (string=? "no bound occurrences" text)
|
99 |
| - (hint-unused-variable src-obj text start finish)) |
| 100 | + (hint-unused-variable src-obj start finish)) |
100 | 101 | (interval-map-set! hovers start finish text))
|
101 | 102 | ;; Docs
|
102 |
| - (define/override (syncheck:add-docs-menu text start finish id label path def-tag url-tag) |
| 103 | + (define/override (syncheck:add-docs-menu _text start finish _id _label path def-tag url-tag) |
103 | 104 | (when url
|
104 | 105 | (when (= start finish)
|
105 | 106 | (set! finish (add1 finish)))
|
|
109 | 110 | [def-tag (struct-copy url path-url [fragment (def-tag->html-anchor-tag def-tag)])]
|
110 | 111 | [else path-url]))
|
111 | 112 | (interval-map-set! docs start finish (list (url->string link+tag) def-tag))))
|
112 |
| - (define/override (syncheck:add-jump-to-definition source-obj start end id filename submods) |
| 113 | + (define/override (syncheck:add-jump-to-definition _src-obj start end id filename _submods) |
113 | 114 | (define decl (Decl filename id 0 0))
|
114 | 115 | (interval-map-set! sym-bindings start (add1 end) decl))
|
115 | 116 | ;; References
|
116 |
| - (define/override (syncheck:add-arrow/name-dup start-src-obj start-left start-right |
117 |
| - end-src-obj end-left end-right |
118 |
| - actual? phase-level |
119 |
| - require-arrow? name-dup?) |
| 117 | + (define/override (syncheck:add-arrow/name-dup _start-src-obj start-left start-right |
| 118 | + _end-src-obj end-left end-right |
| 119 | + _actual? _phase-level |
| 120 | + require-arrow? _name-dup?) |
120 | 121 | (when (= start-left start-right)
|
121 | 122 | (set! start-right (add1 start-right)))
|
122 | 123 | (when (= end-left end-right)
|
|
130 | 131 | (define new-decl (Decl #f #f start-left start-right))
|
131 | 132 | (interval-map-set! sym-bindings end-left end-right new-decl)))
|
132 | 133 | ;; Unused requires
|
133 |
| - (define/override (syncheck:add-unused-require src left right) |
| 134 | + (define/override (syncheck:add-unused-require _src left right) |
134 | 135 | (define diag (Diagnostic #:range (Range #:start (abs-pos->Pos doc-text left)
|
135 | 136 | #:end (abs-pos->Pos doc-text right))
|
136 | 137 | #:severity Diag-Information
|
|
0 commit comments