40 do,else,enum,extends,extension,false,final,finally,% |
40 do,else,enum,extends,extension,false,final,finally,% |
41 for,given,if,implicit,import,lazy,match,mixin,% |
41 for,given,if,implicit,import,lazy,match,mixin,% |
42 new,null,object,override,package,% |
42 new,null,object,override,package,% |
43 private,protected,requires,return,sealed,% |
43 private,protected,requires,return,sealed,% |
44 super,this,then,throw,trait,true,try,% |
44 super,this,then,throw,trait,true,try,% |
45 type,val,var,while,with,yield,write,read},% |
45 type,using,val,var,while,with,yield,write,read},% |
46 literate={==>}{{\mbox{\color{codepurple}{\textbf{\texttt{==>}}}}}}2,% |
46 literate={==>}{{\mbox{\color{codepurple}{\textbf{\texttt{==>}}}}}}2,% |
47 otherkeywords={=>,<-,<\%,<:,>:,\#},% |
47 otherkeywords={=>,<-,<\%,<:,>:,\#},% |
48 sensitive=true,% |
48 sensitive=true,% |
49 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
49 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
50 %moredelim=*[directive]:,% |
50 %moredelim=*[directive]:,% |