diff --git a/dist/flix.es.min.js b/dist/flix.es.min.js index 56b61e7..dc780e4 100644 --- a/dist/flix.es.min.js +++ b/dist/flix.es.min.js @@ -1,4 +1,4 @@ -/*! `flix` grammar compiled for Highlight.js 11.8.0 */ +/*! `flix` grammar compiled for Highlight.js 11.9.0 */ var hljsGrammar=(()=>{"use strict";return e=>{const t={scope:"number", begin:e.C_NUMBER_RE+"(f(32|64)|i(8|16|32|64)|ii)?",relevance:0},n={ scope:"string",begin:'"',end:'"',illegal:"\\n",contains:[e.BACKSLASH_ESCAPE,{ @@ -10,9 +10,9 @@ contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,a]},i={ scope:"title.function",beginKeywords:"def",end:/[(\[]/,excludeEnd:!0, contains:[a]},s={scope:"literal",variants:[{begin:/\?\?\?/},{begin:/\?/, contains:[a]}]};return{name:"Flix",keywords:{$pattern:e.IDENT_RE+"!?", -keyword:["alias","as","case","catch","default","def","do","eff","else","enum","for","forA","forM","force","foreach","from","get","if","import","inject","inline","instance","into","law","lawful","lazy","let","match","mod","namespace","object","override","par","project","pub","query","region","resume","sealed","select","set","solve","try","type","typematch","checked_cast","checked_ecast","unchecked_cast","use","where","with","without","yield"], +keyword:["alias","as","case","catch","checked_cast","checked_ecast","default","def","do","eff","else","enum","for","forA","forM","force","foreach","from","if","import","inject","inline","instance","into","java_get_field","java_new","java_set_field","law","lawful","lazy","let","match","mod","object","override","par","project","pub","query","region","resume","sealed","select","solve","trait","try","type","typematch","unchecked_cast","unchecked_ecast","use","where","with","without","yield"], literal:["()","true","false","Nil","Some","None","LessThan","EqualTo","GreaterThan","Ok","Err","null","static"], type:["Unit","Bool","Char","Float32","Float64","Int8","Int16","Int32","Int64","String","BigInt"], built_in:["debug","debug!","debug!!","IO","ef","ef1","ef2","Read","Write","Channel","Eq","PartialOrder","Order","Cmp","List","Map","Set","RedBlackTree","Result","Array","ToString","toString","flip","on","identity","fst","snd","swap",">>","|>","||>","!>","print","println","bug!","unreachable!","and","or","not","ref","deref"] },contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,n,t,i,r,{scope:"meta", -begin:"@[A-Za-z]+"},s]}}})();export default hljsGrammar; +begin:"@[A-Za-z]+"},s]}}})();export default hljsGrammar; \ No newline at end of file diff --git a/dist/flix.min.js b/dist/flix.min.js index 6315f6e..80c1026 100644 --- a/dist/flix.min.js +++ b/dist/flix.min.js @@ -1,4 +1,4 @@ -/*! `flix` grammar compiled for Highlight.js 11.8.0 */ +/*! `flix` grammar compiled for Highlight.js 11.9.0 */ (()=>{var e=(()=>{"use strict";return e=>{const t={scope:"number", begin:e.C_NUMBER_RE+"(f(32|64)|i(8|16|32|64)|ii)?",relevance:0},n={ scope:"string",begin:'"',end:'"',illegal:"\\n",contains:[e.BACKSLASH_ESCAPE,{ @@ -10,9 +10,9 @@ contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,a]},r={ scope:"title.function",beginKeywords:"def",end:/[(\[]/,excludeEnd:!0, contains:[a]},s={scope:"literal",variants:[{begin:/\?\?\?/},{begin:/\?/, contains:[a]}]};return{name:"Flix",keywords:{$pattern:e.IDENT_RE+"!?", -keyword:["alias","as","case","catch","default","def","do","eff","else","enum","for","forA","forM","force","foreach","from","get","if","import","inject","inline","instance","into","law","lawful","lazy","let","match","mod","namespace","object","override","par","project","pub","query","region","resume","sealed","select","set","solve","try","type","typematch","checked_cast","checked_ecast","unchecked_cast","use","where","with","without","yield"], +keyword:["alias","as","case","catch","checked_cast","checked_ecast","default","def","do","eff","else","enum","for","forA","forM","force","foreach","from","if","import","inject","inline","instance","into","java_get_field","java_new","java_set_field","law","lawful","lazy","let","match","mod","object","override","par","project","pub","query","region","resume","sealed","select","solve","trait","try","type","typematch","unchecked_cast","unchecked_ecast","use","where","with","without","yield"], literal:["()","true","false","Nil","Some","None","LessThan","EqualTo","GreaterThan","Ok","Err","null","static"], type:["Unit","Bool","Char","Float32","Float64","Int8","Int16","Int32","Int64","String","BigInt"], built_in:["debug","debug!","debug!!","IO","ef","ef1","ef2","Read","Write","Channel","Eq","PartialOrder","Order","Cmp","List","Map","Set","RedBlackTree","Result","Array","ToString","toString","flip","on","identity","fst","snd","swap",">>","|>","||>","!>","print","println","bug!","unreachable!","and","or","not","ref","deref"] },contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,n,t,r,i,{scope:"meta", -begin:"@[A-Za-z]+"},s]}}})();hljs.registerLanguage("flix",e)})(); +begin:"@[A-Za-z]+"},s]}}})();hljs.registerLanguage("flix",e)})(); \ No newline at end of file