diff options
Diffstat (limited to 'static/base/highlight/languages/flix.min.js')
-rw-r--r-- | static/base/highlight/languages/flix.min.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/static/base/highlight/languages/flix.min.js b/static/base/highlight/languages/flix.min.js new file mode 100644 index 0000000..d6f0f02 --- /dev/null +++ b/static/base/highlight/languages/flix.min.js @@ -0,0 +1,10 @@ +/*! `flix` grammar compiled for Highlight.js 11.3.1 */ +(()=>{var e=(()=>{"use strict";return e=>({name:"Flix",keywords:{ +keyword:["case","class","def","else","enum","if","impl","import","in","lat","rel","index","let","match","namespace","switch","type","yield","with"], +literal:["true","false"]}, +contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,{className:"string", +begin:/'(.|\\[xXuU][a-zA-Z0-9]+)'/},{className:"string",variants:[{begin:'"', +end:'"'}]},{className:"function",beginKeywords:"def",end:/[:={\[(\n;]/, +excludeEnd:!0,contains:[{className:"title",relevance:0, +begin:/[^0-9\n\t "'(),.`{}\[\]:;][^\n\t "'(),.`{}\[\]:;]+|[^0-9\n\t "'(),.`{}\[\]:;=]/ +}]},e.C_NUMBER_MODE]})})();hljs.registerLanguage("flix",e)})();
\ No newline at end of file |