Flycheck "Zum nächsten / vorherigen Fehler springen" zum Zyklus

Ich möchte, dass Mg n und Mg p durchlaufen, zumindest wenn ich sie mit Flycheck verwende. Diese Funktion erfordert das Schreiben einer benutzerdefinierten Funktion, da diese nicht unterstützt wird (wie unter https://github.com/flycheck/flycheck/issues/64 erwähnt und im Chat bestätigt), aber ich bin ein Elisp-Neuling.

Aus anderen Gründen (Arbeits um https://github.com/commercialhaskell/intero/issues/268 ), in flycheck-modeI Bypass next-errorund invoke flycheck-next-errordirekt. Ich kann mit dem normalen Kompilierungsmodus leben, ohne Rad zu fahren, da ich ihn selten benutze (obwohl dies wahrscheinlich ärgerlich wird, wenn ich den Kompilierungsmodus verwende).

Folgendes habe ich mir (als Noob) ausgedacht, nachdem ich etwas über condition-caseRatschläge universal-argumentund einige Interna von Flycheck gelernt hatte. Normalerweise schreibe ich keinen Code mit so wenig Ahnung, was ich tue, deshalb begrüße ich bessere Antworten.

Die auskommentierte Protokollierung bleibt erhalten, da ich dies nicht als abgeschlossen betrachte und für diejenigen, die die Ausführung dieses Codes verfolgen möchten.

Schließlich tut dies nichts für roh next-error, es wird nur aufgerufen, wenn Flycheck ist.

;; Optional: ensure flycheck cycles, both when going backward and forward.
;; Tries to handle arguments correctly.
;; Since flycheck-previous-error is written in terms of flycheck-next-error,
;; advising the latter is enough.
(defun flycheck-next-error-loop-advice (orig-fun &optional n reset)
  ; (message "flycheck-next-error called with args %S %S" n reset)
  (condition-case err
      (apply orig-fun (list n reset))
    ((user-error)
     (let ((error-count (length flycheck-current-errors)))
       (if (and
            (> error-count 0)                   ; There are errors so we can cycle.
            (equal (error-message-string err) "No more Flycheck errors"))
           ;; We need to cycle.
           (let* ((req-n (if (numberp n) n 1)) ; Requested displacement.
                  ; An universal argument is taken as reset, so shouldn't fail.
                  (curr-pos (if (> req-n 0) (- error-count 1) 0)) ; 0-indexed.
                  (next-pos (mod (+ curr-pos req-n) error-count))) ; next-pos must be 1-indexed
             ; (message "error-count %S; req-n %S; curr-pos %S; next-pos %S" error-count req-n curr-pos next-pos)
             ; orig-fun is flycheck-next-error (but without advise)
             ; Argument to flycheck-next-error must be 1-based.
             (apply orig-fun (list (+ 1 next-pos) 'reset)))
         (signal (car err) (cdr err)))))))

(advice-add 'flycheck-next-error :around #'flycheck-next-error-loop-advice)

Dies ist eine Momentaufnahme von https://gist.github.com/Blaisorblade/c7349438b06e7b1e034db775408ac4cb , in der ich jede aktualisierte Version platzieren werde.