From 165c9c39dee7d47f2cdfd77817cf623b7d14118d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Istv=C3=A1n=20Donk=C3=B3?= Date: Thu, 10 Dec 2020 13:19:58 +0100 Subject: [PATCH] Very minor typo fix I'm pretty sure that those were supposed to be capital Z's, otherwise why would `[a-z]` and `_` be added separately? --- syntax/idris2.vim | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/syntax/idris2.vim b/syntax/idris2.vim index b3e7bfc..e343ead 100644 --- a/syntax/idris2.vim +++ b/syntax/idris2.vim @@ -9,7 +9,7 @@ if exists("b:current_syntax") finish endif -syn match idrisTypeDecl "[a-zA-Z][a-zA-z0-9_']*\s\+:\s\+" +syn match idrisTypeDecl "[a-zA-Z][a-zA-Z0-9_']*\s\+:\s\+" \ contains=idrisIdentifier,idrisOperators syn region idrisParens matchgroup=idrisDelimiter start="(" end=")" contains=TOP,idrisTypeDecl syn region idrisBrackets matchgroup=idrisDelimiter start="\[" end="]" contains=TOP,idrisTypeDecl @@ -42,7 +42,7 @@ syn match idrisChar "'[^'\\]'\|'\\.'\|'\\u[0-9a-fA-F]\{4}'" syn match idrisBacktick "`[A-Za-z][A-Za-z0-9_']*`" syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=@Spell syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment,idrisTodo,@Spell -syn match idrisIdentifier "[a-zA-Z][a-zA-z0-9_']*" contained +syn match idrisIdentifier "[a-zA-Z][a-zA-Z0-9_']*" contained highlight def link idrisDeprecated Error highlight def link idrisIdentifier Identifier