[nongnu] elpa/idris-mode 48988fc219 04/10: [ flycheck ] Use source-original in error patterns

[ELPA Syncer]

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

    [ flycheck ] Use source-original in error patterns
    
    By default flycheck copy the source file to temporary file
    before running the checker.
    This leads to error in Idris:
    ```
    Uncaught error: Error: Error: Source file
    "/tmp/flycheckeNad7C/Flycheck.idr" is not in the source directory
    "/home/../idris-mode"
    ```
---
 flycheck-idris.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flycheck-idris.el b/flycheck-idris.el
index c961ac32e5..badd399560 100644
--- a/flycheck-idris.el
+++ b/flycheck-idris.el
@@ -24,7 +24,7 @@
             "--check" "--nocolor" "--warnpartial"
             ;; Compute the command-line options similarly to inferior-idris
             (eval (idris-compute-flags))
-            source)
+            source-original)
   :error-patterns
   ((warning line-start
             (file-name)
@@ -51,7 +51,7 @@
             "--check" "--no-colour"
             ;; Compute the command-line options similarly to inferior-idris
             (eval (idris-compute-flags))
-            source)
+            source-original)
   :error-patterns ((warning line-start
                             "Warning: "
                             (message (seq (and (* nonl)