Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 1 | " Vim syntax file |
| 2 | " Language: Clean |
| 3 | " Author: Pieter van Engelen <pietere@sci.kun.nl> |
| 4 | " Co-Author: Arthur van Leeuwen <arthurvl@sci.kun.nl> |
Bram Moolenaar | d5d015d | 2013-11-03 21:14:31 +0100 | [diff] [blame] | 5 | " Last Change: 2013 Oct 15 by Jurriƫn Stutterheim |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 6 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 7 | " quit when a syntax file was already loaded |
| 8 | if exists("b:current_syntax") |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 9 | finish |
| 10 | endif |
| 11 | |
Bram Moolenaar | b6b046b | 2011-12-30 13:11:27 +0100 | [diff] [blame] | 12 | let s:cpo_save = &cpo |
| 13 | set cpo&vim |
| 14 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 15 | " Some Clean-keywords |
| 16 | syn keyword cleanConditional if case |
| 17 | syn keyword cleanLabel let! with where in of |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 18 | syn keyword cleanSpecial Start |
| 19 | syn keyword cleanKeyword infixl infixr infix |
| 20 | syn keyword cleanBasicType Int Real Char Bool String |
| 21 | syn keyword cleanSpecialType World ProcId Void Files File |
| 22 | syn keyword cleanModuleSystem module implementation definition system |
| 23 | syn keyword cleanTypeClass class instance export |
| 24 | |
Bram Moolenaar | 56b45b9 | 2013-06-24 22:22:18 +0200 | [diff] [blame] | 25 | " Import highlighting |
| 26 | syn region cleanIncludeRegion start="^\s*\(from\|import\|\s\+\(as\|qualified\)\)" end="\n" contains=cleanIncludeKeyword keepend |
| 27 | syn keyword cleanIncludeKeyword contained from import as qualified |
| 28 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 29 | " To do some Denotation Highlighting |
| 30 | syn keyword cleanBoolDenot True False |
Bram Moolenaar | d5d015d | 2013-11-03 21:14:31 +0100 | [diff] [blame] | 31 | syn region cleanStringDenot start=+"+ skip=+\(\(\\\\\)\+\|\\"\)+ end=+"+ display |
| 32 | syn match cleanCharDenot "'\(\\\\\|\\'\|[^'\\]\)\+'" display |
| 33 | syn match cleanIntegerDenot "[\~+-]\?\<\(\d\+\|0[0-7]\+\|0x[0-9A-Fa-f]\+\)\>" display |
| 34 | syn match cleanRealDenot "[\~+-]\?\d\+\.\d\+\(E[\~+-]\?\d\+\)\?" display |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 35 | |
| 36 | " To highlight the use of lists, tuples and arrays |
| 37 | syn region cleanList start="\[" end="\]" contains=ALL |
| 38 | syn region cleanRecord start="{" end="}" contains=ALL |
| 39 | syn region cleanArray start="{:" end=":}" contains=ALL |
| 40 | syn match cleanTuple "([^=]*,[^=]*)" contains=ALL |
| 41 | |
| 42 | " To do some Comment Highlighting |
Bram Moolenaar | d5d015d | 2013-11-03 21:14:31 +0100 | [diff] [blame] | 43 | syn region cleanComment start="/\*" end="\*/" contains=cleanComment,cleanTodo fold |
| 44 | syn region cleanComment start="//.*" end="$" display contains=cleanTodo |
| 45 | syn keyword cleanTodo TODO FIXME XXX contained |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 46 | |
Bram Moolenaar | d5d015d | 2013-11-03 21:14:31 +0100 | [diff] [blame] | 47 | " Now for some useful type definition recognition |
| 48 | syn match cleanFuncTypeDef "\([a-zA-Z].*\|(\=[-~@#$%^?!+*<>\/|&=:]\+)\=\)\s*\(infix[lr]\=\)\=\s*\d\=\s*::.*->.*" contains=cleanSpecial,cleanBasicType,cleanSpecialType,cleanKeyword |
| 49 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 50 | |
| 51 | " Define the default highlighting. |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 52 | " Only when an item doesn't have highlighting yet |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 53 | |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 54 | " Comments |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 55 | hi def link cleanComment Comment |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 56 | " Constants and denotations |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 57 | hi def link cleanStringDenot String |
| 58 | hi def link cleanCharDenot Character |
| 59 | hi def link cleanIntegerDenot Number |
| 60 | hi def link cleanBoolDenot Boolean |
| 61 | hi def link cleanRealDenot Float |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 62 | " Identifiers |
| 63 | " Statements |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 64 | hi def link cleanTypeClass Keyword |
| 65 | hi def link cleanConditional Conditional |
| 66 | hi def link cleanLabel Label |
| 67 | hi def link cleanKeyword Keyword |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 68 | " Generic Preprocessing |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 69 | hi def link cleanIncludeKeyword Include |
| 70 | hi def link cleanModuleSystem PreProc |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 71 | " Type |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 72 | hi def link cleanBasicType Type |
| 73 | hi def link cleanSpecialType Type |
| 74 | hi def link cleanFuncTypeDef Typedef |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 75 | " Special |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 76 | hi def link cleanSpecial Special |
| 77 | hi def link cleanList Special |
| 78 | hi def link cleanArray Special |
| 79 | hi def link cleanRecord Special |
| 80 | hi def link cleanTuple Special |
Bram Moolenaar | 89bcfda | 2016-08-30 23:26:57 +0200 | [diff] [blame] | 81 | " Error |
| 82 | " Todo |
Bram Moolenaar | f37506f | 2016-08-31 22:22:10 +0200 | [diff] [blame] | 83 | hi def link cleanTodo Todo |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 84 | |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 85 | |
| 86 | let b:current_syntax = "clean" |
| 87 | |
Bram Moolenaar | b6b046b | 2011-12-30 13:11:27 +0100 | [diff] [blame] | 88 | let &cpo = s:cpo_save |
| 89 | unlet s:cpo_save |
Bram Moolenaar | 071d427 | 2004-06-13 20:20:40 +0000 | [diff] [blame] | 90 | " vim: ts=4 |