Anri/mylloon.fr
1
0
Fork 0
Code Issues 21 Pull requests 4 Releases Packages 1 Activity Actions

add oz lang

Browse source
This commit is contained in:
Mylloon 2025-03-25 00:20:18 +01:00
parent cce5b87e5a
commit f80defe0c8
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
2 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

14
static/js/libs/hljs-languages/oz.js Normal file
View file

@ -0,0 +1,14 @@
hljs.registerLanguage("oz",(()=>{"use strict";return e=>{var a={
className:"symbol",variants:[{begin:"\\$|\\+|-|==|<=|>=|#|\\|",relevance:0},{
begin:"\\\\=",relevance:3},{begin:"=<",relevance:5}]};return{aliases:["oz"],
keywords:{
keyword:"andthen at attr case catch choice class cond declare define dis do div else elsecase elseif elseof end export fail feat finally from for functor if import in local lock meth mod not of or orelse prepare prop raise require self skip suchthat then thread try",
literal:"true false unit"},contains:[{
variants:[e.COMMENT("%","$"),e.COMMENT("/\\*","\\*/",{relevance:0})]},{
begin:"(fun|proc)( *lazy)?( *)?\\{",returnBegin:!0,end:"}",className:"function",
relevance:0,keywords:{keyword:"fun proc",meta:"lazy"},contains:[{begin:"{ *",
end:" *",contains:[{className:"title",variants:[{begin:"[A-Z][A-Za-z]*"},{
begin:"\\$"}]}],relevance:10},{begin:"!|\\?",className:"comment",relevance:10
},a]},a,e.QUOTE_STRING_MODE,{className:"keyword",begin:"\\[\\]"},{
className:"literal",begin:"'",end:"'",relevance:0},{className:"symbol",
begin:"`",end:"`"},{begin:"\\bnil\\b"}]}}})());

1
templates/libs/hljs_footer.html
View file

@ -3,6 +3,7 @@
<script src="//cdnjs.cloudflare.com/ajax/libs/highlightjs-line-numbers.js/2.8.0/highlightjs-line-numbers.min.js"></script>
<script src="/js/libs/hljs-languages/julia.js"></script>
<script src="/js/libs/hljs-languages/ocaml.js"></script>
<script src="/js/libs/hljs-languages/oz.js"></script>
<script src="/js/libs/hljs-languages/scala.js"></script>
<script src="/js/libs/hljs-languages/x86asm.js"></script>
<script src="/js/libs/hljs.js"></script>