[nongnu] elpa/idris-mode 6272999465 09/10: [ flycheck ] Handle Idris2 reported "Uncought error"

[ELPA Syncer]

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

    [ flycheck ] Handle Idris2 reported "Uncought error"
    
    Example:
    ```
    Uncaught error: Error: Expected a capitalised identifier, got: bar.
    
    Empty:1:8--1:11
     1 | module bar
                ^^^
    ```
---
 flycheck-idris.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flycheck-idris.el b/flycheck-idris.el
index f0687d72aa..7de22a167e 100644
--- a/flycheck-idris.el
+++ b/flycheck-idris.el
@@ -78,6 +78,7 @@
                             "--" end-line
                             ":"  end-column)
                    (error line-start
+                          (zero-or-one "Uncaught error: ")
                           "Error: "
                           (zero-or-one "While processing" (one-or-more (not 
".")) ".")
                           (message (one-or-more not-newline)