2004-06-13 20:20:40 +00:00
|
|
|
" Vim syntax file
|
|
|
|
|
" Language: SML
|
|
|
|
|
" Filenames: *.sml *.sig
|
2022-04-08 17:45:08 +01:00
|
|
|
" Maintainer: Markus Mottl <markus.mottl@gmail.com>
|
|
|
|
|
" Previous Maintainer: Fabrizio Zeno Cornelli
|
|
|
|
|
" <zeno@filibusta.crema.unimi.it> (invalid)
|
|
|
|
|
" Last Change: 2022 Apr 01
|
2021-01-02 16:39:53 +01:00
|
|
|
" 2015 Aug 31 - Fixed opening of modules (Ramana Kumar)
|
|
|
|
|
" 2006 Oct 23 - Fixed character highlighting bug (MM)
|
2004-06-13 20:20:40 +00:00
|
|
|
|
2016-08-30 23:26:57 +02:00
|
|
|
" quit when a syntax file was already loaded
|
|
|
|
|
if exists("b:current_syntax")
|
2021-10-04 21:32:54 +01:00
|
|
|
finish
|
|
|
|
|
endif
|
2021-01-02 16:39:53 +01:00
|
|
|
|
|
|
|
|
" Disable spell checking of syntax.
|
|
|
|
|
syn spell notoplevel
|
|
|
|
|
|
2004-06-13 20:20:40 +00:00
|
|
|
" SML is case sensitive.
|
|
|
|
|
syn case match
|
|
|
|
|
|
|
|
|
|
" lowercase identifier - the standard way to match
|
|
|
|
|
syn match smlLCIdentifier /\<\(\l\|_\)\(\w\|'\)*\>/
|
|
|
|
|
|
|
|
|
|
syn match smlKeyChar "|"
|
|
|
|
|
|
|
|
|
|
" Errors
|
|
|
|
|
syn match smlBraceErr "}"
|
|
|
|
|
syn match smlBrackErr "\]"
|
|
|
|
|
syn match smlParenErr ")"
|
|
|
|
|
syn match smlCommentErr "\*)"
|
|
|
|
|
syn match smlThenErr "\<then\>"
|
|
|
|
|
|
|
|
|
|
" Error-highlighting of "end" without synchronization:
|
|
|
|
|
" as keyword or as error (default)
|
|
|
|
|
if exists("sml_noend_error")
|
|
|
|
|
syn match smlKeyword "\<end\>"
|
|
|
|
|
else
|
|
|
|
|
syn match smlEndErr "\<end\>"
|
|
|
|
|
endif
|
|
|
|
|
|
|
|
|
|
" Some convenient clusters
|
|
|
|
|
syn cluster smlAllErrs contains=smlBraceErr,smlBrackErr,smlParenErr,smlCommentErr,smlEndErr,smlThenErr
|
|
|
|
|
|
|
|
|
|
syn cluster smlAENoParen contains=smlBraceErr,smlBrackErr,smlCommentErr,smlEndErr,smlThenErr
|
|
|
|
|
|
|
|
|
|
syn cluster smlContained contains=smlTodo,smlPreDef,smlModParam,smlModParam1,smlPreMPRestr,smlMPRestr,smlMPRestr1,smlMPRestr2,smlMPRestr3,smlModRHS,smlFuncWith,smlFuncStruct,smlModTypeRestr,smlModTRWith,smlWith,smlWithRest,smlModType,smlFullMod
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" Enclosing delimiters
|
|
|
|
|
syn region smlEncl transparent matchgroup=smlKeyword start="(" matchgroup=smlKeyword end=")" contains=ALLBUT,@smlContained,smlParenErr
|
|
|
|
|
syn region smlEncl transparent matchgroup=smlKeyword start="{" matchgroup=smlKeyword end="}" contains=ALLBUT,@smlContained,smlBraceErr
|
|
|
|
|
syn region smlEncl transparent matchgroup=smlKeyword start="\[" matchgroup=smlKeyword end="\]" contains=ALLBUT,@smlContained,smlBrackErr
|
|
|
|
|
syn region smlEncl transparent matchgroup=smlKeyword start="#\[" matchgroup=smlKeyword end="\]" contains=ALLBUT,@smlContained,smlBrackErr
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" Comments
|
2021-01-02 16:39:53 +01:00
|
|
|
syn region smlComment start="(\*" end="\*)" contains=smlComment,smlTodo,@Spell
|
2004-06-13 20:20:40 +00:00
|
|
|
syn keyword smlTodo contained TODO FIXME XXX
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" let
|
|
|
|
|
syn region smlEnd matchgroup=smlKeyword start="\<let\>" matchgroup=smlKeyword end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr
|
|
|
|
|
|
|
|
|
|
" local
|
|
|
|
|
syn region smlEnd matchgroup=smlKeyword start="\<local\>" matchgroup=smlKeyword end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr
|
|
|
|
|
|
|
|
|
|
" abstype
|
|
|
|
|
syn region smlNone matchgroup=smlKeyword start="\<abstype\>" matchgroup=smlKeyword end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr
|
|
|
|
|
|
|
|
|
|
" begin
|
|
|
|
|
syn region smlEnd matchgroup=smlKeyword start="\<begin\>" matchgroup=smlKeyword end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr
|
|
|
|
|
|
|
|
|
|
" if
|
|
|
|
|
syn region smlNone matchgroup=smlKeyword start="\<if\>" matchgroup=smlKeyword end="\<then\>" contains=ALLBUT,@smlContained,smlThenErr
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
"" Modules
|
|
|
|
|
|
|
|
|
|
" "struct"
|
|
|
|
|
syn region smlStruct matchgroup=smlModule start="\<struct\>" matchgroup=smlModule end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr
|
|
|
|
|
|
|
|
|
|
" "sig"
|
|
|
|
|
syn region smlSig matchgroup=smlModule start="\<sig\>" matchgroup=smlModule end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr,smlModule
|
|
|
|
|
syn region smlModSpec matchgroup=smlKeyword start="\<structure\>" matchgroup=smlModule end="\<\u\(\w\|'\)*\>" contained contains=@smlAllErrs,smlComment skipwhite skipempty nextgroup=smlModTRWith,smlMPRestr
|
|
|
|
|
|
|
|
|
|
" "open"
|
2021-01-02 16:39:53 +01:00
|
|
|
syn region smlNone matchgroup=smlKeyword start="\<open\>" matchgroup=smlModule end="\<\w\(\w\|'\)*\(\.\w\(\w\|'\)*\)*\>" contains=@smlAllErrs,smlComment
|
2004-06-13 20:20:40 +00:00
|
|
|
|
|
|
|
|
" "structure" - somewhat complicated stuff ;-)
|
|
|
|
|
syn region smlModule matchgroup=smlKeyword start="\<\(structure\|functor\)\>" matchgroup=smlModule end="\<\u\(\w\|'\)*\>" contains=@smlAllErrs,smlComment skipwhite skipempty nextgroup=smlPreDef
|
|
|
|
|
syn region smlPreDef start="."me=e-1 matchgroup=smlKeyword end="\l\|="me=e-1 contained contains=@smlAllErrs,smlComment,smlModParam,smlModTypeRestr,smlModTRWith nextgroup=smlModPreRHS
|
|
|
|
|
syn region smlModParam start="([^*]" end=")" contained contains=@smlAENoParen,smlModParam1
|
|
|
|
|
syn match smlModParam1 "\<\u\(\w\|'\)*\>" contained skipwhite skipempty nextgroup=smlPreMPRestr
|
|
|
|
|
|
|
|
|
|
syn region smlPreMPRestr start="."me=e-1 end=")"me=e-1 contained contains=@smlAllErrs,smlComment,smlMPRestr,smlModTypeRestr
|
|
|
|
|
|
|
|
|
|
syn region smlMPRestr start=":" end="."me=e-1 contained contains=@smlComment skipwhite skipempty nextgroup=smlMPRestr1,smlMPRestr2,smlMPRestr3
|
|
|
|
|
syn region smlMPRestr1 matchgroup=smlModule start="\ssig\s\=" matchgroup=smlModule end="\<end\>" contained contains=ALLBUT,@smlContained,smlEndErr,smlModule
|
|
|
|
|
syn region smlMPRestr2 start="\sfunctor\(\s\|(\)\="me=e-1 matchgroup=smlKeyword end="->" contained contains=@smlAllErrs,smlComment,smlModParam skipwhite skipempty nextgroup=smlFuncWith
|
|
|
|
|
syn match smlMPRestr3 "\w\(\w\|'\)*\(\.\w\(\w\|'\)*\)*" contained
|
|
|
|
|
syn match smlModPreRHS "=" contained skipwhite skipempty nextgroup=smlModParam,smlFullMod
|
|
|
|
|
syn region smlModRHS start="." end=".\w\|([^*]"me=e-2 contained contains=smlComment skipwhite skipempty nextgroup=smlModParam,smlFullMod
|
|
|
|
|
syn match smlFullMod "\<\u\(\w\|'\)*\(\.\u\(\w\|'\)*\)*" contained skipwhite skipempty nextgroup=smlFuncWith
|
|
|
|
|
|
|
|
|
|
syn region smlFuncWith start="([^*]"me=e-1 end=")" contained contains=smlComment,smlWith,smlFuncStruct
|
|
|
|
|
syn region smlFuncStruct matchgroup=smlModule start="[^a-zA-Z]struct\>"hs=s+1 matchgroup=smlModule end="\<end\>" contains=ALLBUT,@smlContained,smlEndErr
|
|
|
|
|
|
|
|
|
|
syn match smlModTypeRestr "\<\w\(\w\|'\)*\(\.\w\(\w\|'\)*\)*\>" contained
|
|
|
|
|
syn region smlModTRWith start=":\s*("hs=s+1 end=")" contained contains=@smlAENoParen,smlWith
|
|
|
|
|
syn match smlWith "\<\(\u\(\w\|'\)*\.\)*\w\(\w\|'\)*\>" contained skipwhite skipempty nextgroup=smlWithRest
|
|
|
|
|
syn region smlWithRest start="[^)]" end=")"me=e-1 contained contains=ALLBUT,@smlContained
|
|
|
|
|
|
|
|
|
|
" "signature"
|
|
|
|
|
syn region smlKeyword start="\<signature\>" matchgroup=smlModule end="\<\w\(\w\|'\)*\>" contains=smlComment skipwhite skipempty nextgroup=smlMTDef
|
|
|
|
|
syn match smlMTDef "=\s*\w\(\w\|'\)*\>"hs=s+1,me=s
|
|
|
|
|
|
|
|
|
|
syn keyword smlKeyword and andalso case
|
|
|
|
|
syn keyword smlKeyword datatype else eqtype
|
|
|
|
|
syn keyword smlKeyword exception fn fun handle
|
|
|
|
|
syn keyword smlKeyword in infix infixl infixr
|
|
|
|
|
syn keyword smlKeyword match nonfix of orelse
|
|
|
|
|
syn keyword smlKeyword raise handle type
|
|
|
|
|
syn keyword smlKeyword val where while with withtype
|
|
|
|
|
|
|
|
|
|
syn keyword smlType bool char exn int list option
|
|
|
|
|
syn keyword smlType real string unit
|
|
|
|
|
|
|
|
|
|
syn keyword smlOperator div mod not or quot rem
|
|
|
|
|
|
|
|
|
|
syn keyword smlBoolean true false
|
|
|
|
|
syn match smlConstructor "(\s*)"
|
|
|
|
|
syn match smlConstructor "\[\s*\]"
|
|
|
|
|
syn match smlConstructor "#\[\s*\]"
|
|
|
|
|
syn match smlConstructor "\u\(\w\|'\)*\>"
|
|
|
|
|
|
|
|
|
|
" Module prefix
|
|
|
|
|
syn match smlModPath "\u\(\w\|'\)*\."he=e-1
|
|
|
|
|
|
2007-05-05 17:15:44 +00:00
|
|
|
syn match smlCharacter +#"\\""\|#"."\|#"\\\d\d\d"+
|
2004-06-13 20:20:40 +00:00
|
|
|
syn match smlCharErr +#"\\\d\d"\|#"\\\d"+
|
2021-01-02 16:39:53 +01:00
|
|
|
syn region smlString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=@Spell
|
2004-06-13 20:20:40 +00:00
|
|
|
|
|
|
|
|
syn match smlFunDef "=>"
|
|
|
|
|
syn match smlRefAssign ":="
|
|
|
|
|
syn match smlTopStop ";;"
|
|
|
|
|
syn match smlOperator "\^"
|
|
|
|
|
syn match smlOperator "::"
|
|
|
|
|
syn match smlAnyVar "\<_\>"
|
|
|
|
|
syn match smlKeyChar "!"
|
|
|
|
|
syn match smlKeyChar ";"
|
|
|
|
|
syn match smlKeyChar "\*"
|
|
|
|
|
syn match smlKeyChar "="
|
|
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
syn match smlNumber "\<-\=\d\+\>"
|
|
|
|
|
syn match smlNumber "\<-\=0[x|X]\x\+\>"
|
|
|
|
|
syn match smlReal "\<-\=\d\+\.\d*\([eE][-+]\=\d\+\)\=[fl]\=\>"
|
2004-06-13 20:20:40 +00:00
|
|
|
|
|
|
|
|
" Synchronization
|
|
|
|
|
syn sync minlines=20
|
|
|
|
|
syn sync maxlines=500
|
|
|
|
|
|
|
|
|
|
syn sync match smlEndSync grouphere smlEnd "\<begin\>"
|
|
|
|
|
syn sync match smlEndSync groupthere smlEnd "\<end\>"
|
|
|
|
|
syn sync match smlStructSync grouphere smlStruct "\<struct\>"
|
|
|
|
|
syn sync match smlStructSync groupthere smlStruct "\<end\>"
|
|
|
|
|
syn sync match smlSigSync grouphere smlSig "\<sig\>"
|
|
|
|
|
syn sync match smlSigSync groupthere smlSig "\<end\>"
|
|
|
|
|
|
|
|
|
|
" Define the default highlighting.
|
2016-08-30 23:26:57 +02:00
|
|
|
" Only when an item doesn't have highlighting yet
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlBraceErr Error
|
|
|
|
|
hi def link smlBrackErr Error
|
|
|
|
|
hi def link smlParenErr Error
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlCommentErr Error
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlEndErr Error
|
|
|
|
|
hi def link smlThenErr Error
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlCharErr Error
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlComment Comment
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlModPath Include
|
|
|
|
|
hi def link smlModule Include
|
|
|
|
|
hi def link smlModParam1 Include
|
|
|
|
|
hi def link smlModType Include
|
|
|
|
|
hi def link smlMPRestr3 Include
|
|
|
|
|
hi def link smlFullMod Include
|
2016-08-31 22:22:10 +02:00
|
|
|
hi def link smlModTypeRestr Include
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlWith Include
|
|
|
|
|
hi def link smlMTDef Include
|
2016-08-31 22:22:10 +02:00
|
|
|
|
|
|
|
|
hi def link smlConstructor Constant
|
|
|
|
|
|
2021-01-02 16:39:53 +01:00
|
|
|
hi def link smlModPreRHS Keyword
|
|
|
|
|
hi def link smlMPRestr2 Keyword
|
|
|
|
|
hi def link smlKeyword Keyword
|
|
|
|
|
hi def link smlFunDef Keyword
|
|
|
|
|
hi def link smlRefAssign Keyword
|
|
|
|
|
hi def link smlKeyChar Keyword
|
|
|
|
|
hi def link smlAnyVar Keyword
|
|
|
|
|
hi def link smlTopStop Keyword
|
|
|
|
|
hi def link smlOperator Keyword
|
|
|
|
|
|
|
|
|
|
hi def link smlBoolean Boolean
|
|
|
|
|
hi def link smlCharacter Character
|
|
|
|
|
hi def link smlNumber Number
|
|
|
|
|
hi def link smlReal Float
|
|
|
|
|
hi def link smlString String
|
|
|
|
|
hi def link smlType Type
|
|
|
|
|
hi def link smlTodo Todo
|
|
|
|
|
hi def link smlEncl Keyword
|
2016-08-31 22:22:10 +02:00
|
|
|
|
2004-06-13 20:20:40 +00:00
|
|
|
|
|
|
|
|
let b:current_syntax = "sml"
|
|
|
|
|
|
|
|
|
|
" vim: ts=8
|
