From 76f8d9550d32e52c1fdde66669cec5e991959c0b Mon Sep 17 00:00:00 2001 From: Markus Klink Date: Wed, 12 Sep 2018 17:22:28 +0200 Subject: [PATCH] onsider Elaboration in infix grammar Infix grammar handles multiline cases like `plus`. however elaboration scripts know the terms `(x), `{x} and `{{x}} resulting in unclosed backticks which trip the grammar. This is an attempt to exclude these special cases in the handling of infix functions. --- grammars/language-idris.cson | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'