[nongnu] elpa/idris-mode 71d3a07f62 07/10: Fix warning flycheck error pattern for Idris 1

[ELPA Syncer]

branch: elpa/idris-mode
commit 71d3a07f62f15ab535ab55d4a8d97d1b319191bb
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Fix warning flycheck error pattern for Idris 1
    
    Also ensure remove duplicates as it seems Idris1 produces warnings
    in output twice.
    
    Resolves: https://github.com/idris-hackers/idris-mode/issues/451
---
 flycheck-idris.el | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/flycheck-idris.el b/flycheck-idris.el
index aca30ffe4f..f74a80bbaf 100644
--- a/flycheck-idris.el
+++ b/flycheck-idris.el
@@ -32,8 +32,14 @@
             line
             ":"
             column
-            ":Warning - "
-            (message (and (* nonl) (* "\n" (not (any "/" "~")) (* nonl)))))
+            "-"
+            end-column
+            ":" line-end "\n"
+            (one-or-more blank) "|\n"
+            (one-or-more digit) (one-or-more blank) "|" (one-or-more 
not-newline) "\n"
+            (one-or-more blank) "|" (zero-or-more blank) (one-or-more "~") "\n"
+            "Warning - "(message (one-or-more not-newline)
+                                 (zero-or-more "\n" (one-or-more 
not-newline))))
    (error line-start
           (file-name)
           ":"
@@ -50,6 +56,7 @@
           (one-or-more blank) (one-or-more not-newline) "\n\n"
           (message (one-or-more not-newline)
                    (zero-or-more "\n" (one-or-more not-newline)))))
+  :error-filter delete-dups
   :modes idris-mode)