@@ -23,7 +23,7 @@ syn match idrisType "\<\([A-Z][a-zA-Z0-9_]*\|_|_\)\>"
23syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
23syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$"
24syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
24syn match idrisMetaVar "?[a-z][A-Za-z0-9_]\+"
25syn match idrisLink "%\(lib\|link\|include\)"
25syn match idrisLink "%\(lib\|link\|include\)"
26−syn match idrisAccess "%access"
26+syn match idrisDirective "%\(access\|default\)"
27syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
27syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+
28syn region idrisBlockComment start="{-" end="-}"
28syn region idrisBlockComment start="{-" end="-}"
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
29syn region idrisProofBlock start="\(default\s\+\)\?proof *{" end="}" contains=idrisTactic
@@ -38,7 +38,7 @@ highlight def link idrisConditional Conditional
38highlight def link idrisProofBlock Macro
38highlight def link idrisProofBlock Macro
39highlight idrisTactic ctermfg=cyan
39highlight idrisTactic ctermfg=cyan
40highlight idrisLink ctermbg=yellow ctermfg=magenta
40highlight idrisLink ctermbg=yellow ctermfg=magenta
41−highlight idrisAccess ctermbg=magenta ctermfg=yellow
41+highlight idrisDirective ctermbg=magenta ctermfg=yellow
42highlight def link idrisNumber Number
42highlight def link idrisNumber Number
43highlight def link idrisFloat Float
43highlight def link idrisFloat Float
44highlight def link idrisDelimiter Delimiter
44highlight def link idrisDelimiter Delimiter