From 874495a339ddf0a6fb94f9dc7c0c85f6b509e305 Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Tue, 19 May 2020 18:32:37 +0300
Subject: [PATCH] Further "Idris" -> "Idris 2" renamings were done

---
 ftdetect/lidris.vim                |  1 -
 ftdetect/lidris2.vim               |  1 +
 syntax/idris2.vim                  |  4 ++--
 syntax/{lidris.vim => lidris2.vim} | 12 ++++++------
 syntax_checkers/idris2/idris2.vim  | 16 ++++++++--------
 5 files changed, 17 insertions(+), 17 deletions(-)
 delete mode 100644 ftdetect/lidris.vim
 create mode 100644 ftdetect/lidris2.vim
 rename syntax/{lidris.vim => lidris2.vim} (61%)

diff --git a/ftdetect/lidris.vim b/ftdetect/lidris.vim
deleted file mode 100644
index ea1e7f6..0000000
--- a/ftdetect/lidris.vim
+++ /dev/null
@@ -1 +0,0 @@
-au BufNewFile,BufRead *.lidr setf lidris
diff --git a/ftdetect/lidris2.vim b/ftdetect/lidris2.vim
new file mode 100644
index 0000000..ae8150d
--- /dev/null
+++ b/ftdetect/lidris2.vim
@@ -0,0 +1 @@
+au BufNewFile,BufRead *.lidr setf lidris2
diff --git a/syntax/idris2.vim b/syntax/idris2.vim
index e786918..c265818 100644
--- a/syntax/idris2.vim
+++ b/syntax/idris2.vim
@@ -1,7 +1,7 @@
-" syntax highlighting for idris (idris-lang.org)
+" syntax highlighting for Idris 2 (idris-lang.org)
 "
 " Heavily modified version of the haskell syntax
-" highlighter to support idris.
+" highlighter to support Idris 2.
 "
 " author: raichoo (raichoo@googlemail.com)
 
diff --git a/syntax/lidris.vim b/syntax/lidris2.vim
similarity index 61%
rename from syntax/lidris.vim
rename to syntax/lidris2.vim
index d662b51..d5fe070 100644
--- a/syntax/lidris.vim
+++ b/syntax/lidris2.vim
@@ -1,7 +1,7 @@
 " Vim syntax file
-" Language:    Literate Idris
-" Maintainer:  Idris Hackers (https://github.com/idris-hackers/idris-vim)
-" Last Change: 2014 Mar 4
+" Language:    Literate Idris 2
+" Maintainer:  Idris Hackers (https://github.com/edwinb/idris2-vim)
+" Last Change: 2020 May 19
 " Version:     0.1
 "
 " This is just a minimal adaption of the Literate Haskell syntax file.
@@ -9,9 +9,9 @@
 
 " Read Idris highlighting.
 if version < 600
-    syntax include @idrisTop <sfile>:p:h/idris.vim
+    syntax include @idrisTop <sfile>:p:h/idris2.vim
 else
-    syntax include @idrisTop syntax/idris.vim
+    syntax include @idrisTop syntax/idris2.vim
 endif
 
 " Recognize blocks of Bird tracks, highlight as Idris.
@@ -19,4 +19,4 @@ syntax region lidrisBirdTrackBlock start="^>" end="\%(^[^>]\)\@=" contains=@idri
 syntax match  lidrisBirdTrack "^>" contained
 hi def link   lidrisBirdTrack Comment
 
-let b:current_syntax = "lidris"
+let b:current_syntax = "lidris2"
diff --git a/syntax_checkers/idris2/idris2.vim b/syntax_checkers/idris2/idris2.vim
index aba3722..8a059e1 100644
--- a/syntax_checkers/idris2/idris2.vim
+++ b/syntax_checkers/idris2/idris2.vim
@@ -1,5 +1,5 @@
 "============================================================================
-"File:        idris.vim
+"File:        idris2.vim
 "Description: Syntax checking plugin for syntastic.vim
 "Maintainer:  raichoo <raichoo at googlemail dot com>
 "License:     This program is free software. It comes without any warranty,
@@ -16,7 +16,7 @@ endif
 let g:loaded_syntastic_idris_idris_checker=1
 
 function! SyntaxCheckers_idris_idris_IsAvailable()
-    return executable("idris")
+    return executable("idris2")
 endfunction
 
 if !exists("g:syntastic_idris_options")
@@ -25,11 +25,11 @@ endif
 
 function! SyntaxCheckers_idris_idris_GetLocList() dict
     let makeprg = self.makeprgBuild({
-        \ 'exe': 'idris',
-        \ 'args': "--client ':l". g:syntastic_idris_options,
+        \ 'exe': 'idris2',
+        \ 'args': "--find-ipkg --client ':l". g:syntastic_idris_options,
         \ 'post_args': "'",
-        \ 'filetype': 'idris',
-        \ 'subchecker': 'idris' })
+        \ 'filetype': 'idris2',
+        \ 'subchecker': 'idris2' })
 
     let errorformat =
         \ '"%f" (line %l\, column %c\):,' .
@@ -50,5 +50,5 @@ function! SyntaxCheckers_idris_idris_GetLocList() dict
 endfunction
 
 call g:SyntasticRegistry.CreateAndRegisterChecker({
-    \ 'filetype': 'idris',
-    \ 'name': 'idris'})
+    \ 'filetype': 'idris2',
+    \ 'name': 'idris2'})