diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-10-10 03:47:49 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-10-10 03:47:49 +0200 |
| commit | 21e6b15991212e21a0bd9928890e8e8518f367e8 (patch) | |
| tree | 3859320d916ff6c2e2fbe2f022375827fa28997c /thirdparty/URI.js/prettify/lang-hs.js | |
| parent | 02fa518542328183f35ae04d389b61226f4c4e30 (diff) | |
| parent | d5194154335d6cb30edca9b648083069faf9778c (diff) | |
Merge commit 'd5194154335d6cb30edca9b648083069faf9778c' as 'thirdparty/URI.js'
Diffstat (limited to 'thirdparty/URI.js/prettify/lang-hs.js')
| -rw-r--r-- | thirdparty/URI.js/prettify/lang-hs.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/thirdparty/URI.js/prettify/lang-hs.js b/thirdparty/URI.js/prettify/lang-hs.js new file mode 100644 index 000000000..9d77b0838 --- /dev/null +++ b/thirdparty/URI.js/prettify/lang-hs.js @@ -0,0 +1,2 @@ +PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t-\r ]+/,null,"\t\n \r "],["str",/^"(?:[^\n\f\r"\\]|\\[\S\s])*(?:"|$)/,null,'"'],["str",/^'(?:[^\n\f\r'\\]|\\[^&])'?/,null,"'"],["lit",/^(?:0o[0-7]+|0x[\da-f]+|\d+(?:\.\d+)?(?:e[+-]?\d+)?)/i,null,"0123456789"]],[["com",/^(?:--+[^\n\f\r]*|{-(?:[^-]|-+[^}-])*-})/],["kwd",/^(?:case|class|data|default|deriving|do|else|if|import|in|infix|infixl|infixr|instance|let|module|newtype|of|then|type|where|_)(?=[^\d'A-Za-z]|$)/, +null],["pln",/^(?:[A-Z][\w']*\.)*[A-Za-z][\w']*/],["pun",/^[^\d\t-\r "'A-Za-z]+/]]),["hs"]); |