17 do,else,extends,false,final,finally,% |
17 do,else,extends,false,final,finally,% |
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},% |
22 type,val,var,while,with,yield,write,read,lazy},% |
23 otherkeywords={=>,<-,<\%,<:,>:,\#},% |
23 otherkeywords={=>,<-,<\%,<:,>:,\#,==>},% |
24 sensitive=true,% |
24 sensitive=true,% |
25 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
25 %directives={Int,Char,Rexp,String,Boolean,BigInt,Unit,List,Set},% |
26 %moredelim=*[directive]:,% |
26 %moredelim=*[directive]:,% |
27 morecomment=[l]{//},% |
27 morecomment=[l]{//},% |
28 morecomment=[n]{/*}{*/}, |
28 morecomment=[n]{/*}{*/}, |