[nongnu] elpa/idris-mode dcf41da3e2 03/10: [ flycheck ] removed tests that did not work properly.

[ELPA Syncer]

branch: elpa/idris-mode
commit dcf41da3e29bfb45afe3d6d3d3f69659bd3bfd53
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Marek L <nospam.keram@gmail.com>

    [ flycheck ] removed tests that did not work properly.
---
 Makefile               |  6 ----
 idris-test-flycheck.el | 79 --------------------------------------------------
 2 files changed, 85 deletions(-)

diff --git a/Makefile b/Makefile
index 541d2c3ee9..4d31c9870f 100644
--- a/Makefile
+++ b/Makefile
@@ -54,12 +54,6 @@ test2: getdeps build
                -eval '(setq idris-interpreter-path (executable-find 
"idris2"))' \
                -l ert -l test/idris-tests.el -f ert-run-tests-batch-and-exit
 
-flycheck: getdeps build
-       $(BATCHEMACS) -L . \
-               -eval '(setq idris-interpreter-path (executable-find 
"idris2"))' \
-               -eval '(setq idris-repl-history-file 
"~/.idris2/idris2-history.eld")' \
-               -l ert -l idris-test-flycheck.el -f ert-run-tests-batch-and-exit
-
 clean:
        -${RM} -f $(OBJS)
        -${RM} -f test/test-data/*ibc
diff --git a/idris-test-flycheck.el b/idris-test-flycheck.el
deleted file mode 100644
index 92b2d228ea..0000000000
--- a/idris-test-flycheck.el
+++ /dev/null
@@ -1,79 +0,0 @@
-(require 'flycheck)
-(require 'flycheck-ert)
-(require 'idris-mode)
-(require 'flycheck-idris)
-(require 'idris-commands)
-(require 'inferior-idris)
-(require 'idris-ipkg-mode)
-(require 'cl-lib)
-(require 'idris-test-utils)
-
-;;; Code:
-
-(ert-deftest idris2-test-flycheck-warning ()
-  "Test parsing of warnings with flycheck."
-  (should (eql
-           (flycheck-parse-error-with-patterns
-            (concat "Warning: We are about to implicitly bind the following 
lowercase names.\n"
-                    "You may be unintentionally shadowing the associated 
global definitions:\n"
-                    "  plus is shadowing Main.plus, Prelude.Types.plus\n"
-                    "\n"
-                    "Temp:5:3--5:4\n"
-                    " 1 | plus : Nat -> Nat -> Nat    \n"
-                    " 2 | plus x y = plus x \"w\"      \n"
-                    " 3 |                             \n"
-                    " 4 | data Foo : Nat -> Type where\n"
-                    " 5 |   F : Foo plus              \n"
-                    "       ^                         \n"
-                    "\n\n")
-            (flycheck-checker-get 'idris2 'error-patterns) 'idris2)
-           (flycheck-error-new
-            :filename "Temp"
-            :checker 'idris2
-
-            :line 5
-            :column 3
-            :end-column 5
-            :level 'warning
-            :id nil
-            :message (concat
-                      "Warning: We are about to implicitly bind the following 
lowercase names.\n"
-                      "You may be unintentionally shadowing the associated 
global definitions:\n"
-                      "  plus is shadowing Main.plus, Prelude.Types.plus\n"
-                      "\n"))))
-  )
-
-;;; Hand tests
-
-(flycheck-parse-error-with-patterns
- (concat "Error: While processing right hand side of plus. Ambiguous 
elaboration. Possible results:\n"
-        "    Main.plus x (Builtin.fromString \"w\")          \n"
-        "    Prelude.plus x (Builtin.fromString \"w\")       \n"
-        "\n                                "
-        "Temp:2:12--2:16                 \n"
-        " 1 | plus : Nat -> Nat -> Nat   \n"
-        " 2 | plus x y = plus x \"w\"      \n"
-        "                ^^^^            \n"
-        "\n")
- (flycheck-checker-get 'idris2 'error-patterns)
- 'idris2)
-
-(flycheck-parse-error-with-patterns
- (concat "Error: While processing right hand side of double. Undefined name 
rhs.\n"
-         "\n"
-         "Temp:8:12--8:15                   \n"
-         " 4 | data Foo : Nat -> Type where \n"
-         " 5 |   F : Foo plus               \n"
-         " 6 |    a                          \n"
-         " 7 | double : Nat -> Nat          \n"
-         " 8 | double x = rhs x x           \n"
-         "                ^^^               \n"
-         "\n")
- (flycheck-checker-get 'idris2 'error-patterns)
- 'idris2)
-
-
-(null nil)
-
-(provide 'idris-test-flycheck)
-;;; idris-test-flycheck.el ends here