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: '\\{-'