Merge pull request #216 from justjoheinz/bug/188

justjoheinz · web-flow · commit bfdacccc9dd8 · 2018-09-12T17:25:30.000+02:00
Consider Elaboration in infix grammar
diff --git 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'

Original file line number	Diff line number	Diff line change
`@@ -106,7 +106,7 @@ patterns:`
`106`	`106`	`}`
`107`	`107`	`{`
`108`	`108`	`name: 'keyword.operator.function.infix.idris'`
`109`		- begin: '`'
	`109`	+ begin: '`(?![\{\|\(])'
`110`	`110`	`beginCaptures:`
`111`	`111`	`0:`
`112`	`112`	`name: 'punctuation.definition.entity.idris'`