diff --git a/grammars/language-idris.cson b/grammars/language-idris.cson index 320bd39..34562e6 100644 --- a/grammars/language-idris.cson +++ b/grammars/language-idris.cson @@ -106,7 +106,7 @@ patterns: } { name: 'keyword.operator.function.infix.idris' - begin: '`' + begin: '`(?![\{|\(])' beginCaptures: 0: name: 'punctuation.definition.entity.idris'