From 6cd88eee88a4bfb81b4833819791f27171507cb3 Mon Sep 17 00:00:00 2001 From: sbosse Date: Mon, 21 Jul 2025 22:49:14 +0200 Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025 --- js/dos/ext/vis/docs/js/prettify/lang-hs.js | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 js/dos/ext/vis/docs/js/prettify/lang-hs.js diff --git a/js/dos/ext/vis/docs/js/prettify/lang-hs.js b/js/dos/ext/vis/docs/js/prettify/lang-hs.js new file mode 100644 index 0000000..00cea7c --- /dev/null +++ b/js/dos/ext/vis/docs/js/prettify/lang-hs.js @@ -0,0 +1,2 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\x0B\x0C\r ]+/,null,"\t\n\u000b\u000c\r "],["str",/^\"(?:[^\"\\\n\x0C\r]|\\[\s\S])*(?:\"|$)/,null,'"'],["str",/^\'(?:[^\'\\\n\x0C\r]|\\[^&])\'?/,null,"'"],["lit",/^(?:0o[0-7]+|0x[\da-f]+|\d+(?:\.\d+)?(?:e[+\-]?\d+)?)/i,null,"0123456789"]],[["com",/^(?:(?:--+(?:[^\r\n\x0C]*)?)|(?:\{-(?:[^-]|-+[^-\}])*-\}))/],["kwd",/^(?:case|class|data|default|deriving|do|else|if|import|in|infix|infixl|infixr|instance|let|module|newtype|of|then|type|where|_)(?=[^a-zA-Z0-9\']|$)/, +null],["pln",/^(?:[A-Z][\w\']*\.)*[a-zA-Z][\w\']*/],["pun",/^[^\t\n\x0B\x0C\r a-zA-Z0-9\'\"]+/]]),["hs"]) \ No newline at end of file