diff --git a/.gitmodules b/.gitmodules index 3a100ec3..298eae72 100644 --- a/.gitmodules +++ b/.gitmodules @@ -701,3 +701,6 @@ [submodule "vendor/grammars/nix"] path = vendor/grammars/nix url = https://github.com/wmertens/sublime-nix +[submodule "vendor/grammars/idris"] + path = vendor/grammars/idris + url = https://github.com/idris-hackers/idris-sublime.git diff --git a/grammars.yml b/grammars.yml index 2ef2b282..b6242fc1 100755 --- a/grammars.yml +++ b/grammars.yml @@ -290,6 +290,8 @@ vendor/grammars/idl.tmbundle: - source.idl - source.idl-dlm - text.idl-idldoc +vendor/grammars/idris/: +- source.idris vendor/grammars/ini.tmbundle: - source.ini vendor/grammars/io.tmbundle: diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index d2f2259a..e807f9e1 100755 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -1532,7 +1532,7 @@ Idris: - .idr - .lidr ace_mode: text - tm_scope: none + tm_scope: source.idris Inform 7: type: programming diff --git a/vendor/grammars/idris b/vendor/grammars/idris new file mode 160000 index 00000000..1089032a --- /dev/null +++ b/vendor/grammars/idris @@ -0,0 +1 @@ +Subproject commit 1089032af66874410fb4c2fbe8a1f73806181cfe diff --git a/vendor/licenses/grammar/idris.txt b/vendor/licenses/grammar/idris.txt new file mode 100644 index 00000000..07b81a80 --- /dev/null +++ b/vendor/licenses/grammar/idris.txt @@ -0,0 +1,26 @@ +--- +type: grammar +name: idris +license: mit +--- +The MIT License + +Copyright (c) 2013-2015 Alexey Alekhin, Niklas Larsson + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in +all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN +THE SOFTWARE.