18 for,if,implicit,import,match,mixin,% |
18 for,if,implicit,import,match,mixin,% |
19 new,null,object,override,package,% |
19 new,null,object,override,package,% |
20 private,protected,requires,return,sealed,% |
20 private,protected,requires,return,sealed,% |
21 super,this,throw,trait,true,try,% |
21 super,this,throw,trait,true,try,% |
22 type,val,var,while,with,yield,write,read,lazy},% |
22 type,val,var,while,with,yield,write,read,lazy},% |
23 otherkeywords={=>,<-,<\%,<:,>:,\#,==>},% |
23 literate={==>}{{\mbox{\color{codepurple}{\textbf{\texttt{==>}}}}}}2,% |
|
24 otherkeywords={=>,<-,<\%,<:,>:,\#},% |
24 sensitive=true,% |
25 sensitive=true,% |
25 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
26 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
26 %moredelim=*[directive]:,% |
27 %moredelim=*[directive]:,% |
27 morecomment=[l]{//},% |
28 morecomment=[l]{//},% |
28 morecomment=[n]{/*}{*/}, |
29 morecomment=[n]{/*}{*/}, |