From 7c3ef7a6947a01c89c6e55c7e9d40b230ff26fd1 Mon Sep 17 00:00:00 2001
From: Georgiy Lukjanov <georgiylukjanov@gmail.com>
Date: Thu, 22 Oct 2015 22:16:42 +0300
Subject: [PATCH] Fix the highlighting of documentation comments

---
 grammars/language-idris.cson | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/grammars/language-idris.cson b/grammars/language-idris.cson
index cfe48a6..450cd23 100644
--- a/grammars/language-idris.cson
+++ b/grammars/language-idris.cson
@@ -24,6 +24,11 @@ patterns:
       match: '(--).*$\n?'
       comment: 'Line comment'
     }
+    {
+      name: 'comment.documentation.line.idris'
+      match: '(\\|\\|\\|).*$\n?'
+      comment: 'Line comment'
+    }
     {
       name: 'storage.type.function.idris'
       match: '\\?[-!#\\$%&\\*\\+\\.\\/<=>@\\\\\^\|~:]+|[-!#\\$%&\\*\\+\\.\\/<=>@\\\\\^\|~:\\?][-!#\\$%&\\*\\+\\.\\/<=>@\\\\\^\|~:]*'
@@ -50,11 +55,6 @@ patterns:
       match: '\\(\\)'
       name: 'constant.unit.idris'
     }
-    {
-      name: 'comment.documentation.line.idris'
-      match: '(\\|\\|\\|).*$\n?'
-      comment: 'Line comment'
-    }
     {
       name: 'comment.block.idris'
       begin: '\\{-'