151 lines
4.0 KiB
JavaScript
151 lines
4.0 KiB
JavaScript
(self.webpackChunkmermaid_live_editor =
|
|
self.webpackChunkmermaid_live_editor || []).push([
|
|
[1448],
|
|
{
|
|
11448: (e, t, o) => {
|
|
'use strict';
|
|
o.r(t), o.d(t, { conf: () => n, language: () => s });
|
|
var n = {
|
|
comments: { lineComment: '//', blockComment: ['(*', '*)'] },
|
|
brackets: [
|
|
['{', '}'],
|
|
['[', ']'],
|
|
['(', ')'],
|
|
['<', '>'],
|
|
],
|
|
autoClosingPairs: [
|
|
{ open: '{', close: '}' },
|
|
{ open: '[', close: ']' },
|
|
{ open: '(', close: ')' },
|
|
{ open: '<', close: '>' },
|
|
{ open: "'", close: "'" },
|
|
],
|
|
surroundingPairs: [
|
|
{ open: '{', close: '}' },
|
|
{ open: '[', close: ']' },
|
|
{ open: '(', close: ')' },
|
|
{ open: '<', close: '>' },
|
|
{ open: "'", close: "'" },
|
|
],
|
|
},
|
|
s = {
|
|
defaultToken: '',
|
|
tokenPostfix: '.cameligo',
|
|
ignoreCase: !0,
|
|
brackets: [
|
|
{ open: '{', close: '}', token: 'delimiter.curly' },
|
|
{ open: '[', close: ']', token: 'delimiter.square' },
|
|
{ open: '(', close: ')', token: 'delimiter.parenthesis' },
|
|
{ open: '<', close: '>', token: 'delimiter.angle' },
|
|
],
|
|
keywords: [
|
|
'abs',
|
|
'begin',
|
|
'Bytes',
|
|
'Crypto',
|
|
'Current',
|
|
'else',
|
|
'end',
|
|
'failwith',
|
|
'false',
|
|
'fun',
|
|
'if',
|
|
'in',
|
|
'let',
|
|
'let%entry',
|
|
'let%init',
|
|
'List',
|
|
'list',
|
|
'Map',
|
|
'map',
|
|
'match',
|
|
'match%nat',
|
|
'mod',
|
|
'not',
|
|
'operation',
|
|
'Operation',
|
|
'of',
|
|
'Set',
|
|
'set',
|
|
'sender',
|
|
'source',
|
|
'String',
|
|
'then',
|
|
'true',
|
|
'type',
|
|
'with',
|
|
],
|
|
typeKeywords: ['int', 'unit', 'string', 'tz'],
|
|
operators: [
|
|
'=',
|
|
'>',
|
|
'<',
|
|
'<=',
|
|
'>=',
|
|
'<>',
|
|
':',
|
|
':=',
|
|
'and',
|
|
'mod',
|
|
'or',
|
|
'+',
|
|
'-',
|
|
'*',
|
|
'/',
|
|
'@',
|
|
'&',
|
|
'^',
|
|
'%',
|
|
'->',
|
|
'<-',
|
|
],
|
|
symbols: /[=><:@\^&|+\-*\/\^%]+/,
|
|
tokenizer: {
|
|
root: [
|
|
[
|
|
/[a-zA-Z_][\w]*/,
|
|
{
|
|
cases: {
|
|
'@keywords': { token: 'keyword.$0' },
|
|
'@default': 'identifier',
|
|
},
|
|
},
|
|
],
|
|
{ include: '@whitespace' },
|
|
[/[{}()\[\]]/, '@brackets'],
|
|
[/[<>](?!@symbols)/, '@brackets'],
|
|
[
|
|
/@symbols/,
|
|
{ cases: { '@operators': 'delimiter', '@default': '' } },
|
|
],
|
|
[/\d*\.\d+([eE][\-+]?\d+)?/, 'number.float'],
|
|
[/\$[0-9a-fA-F]{1,16}/, 'number.hex'],
|
|
[/\d+/, 'number'],
|
|
[/[;,.]/, 'delimiter'],
|
|
[/'([^'\\]|\\.)*$/, 'string.invalid'],
|
|
[/'/, 'string', '@string'],
|
|
[/'[^\\']'/, 'string'],
|
|
[/'/, 'string.invalid'],
|
|
[/\#\d+/, 'string'],
|
|
],
|
|
comment: [
|
|
[/[^\(\*]+/, 'comment'],
|
|
[/\*\)/, 'comment', '@pop'],
|
|
[/\(\*/, 'comment'],
|
|
],
|
|
string: [
|
|
[/[^\\']+/, 'string'],
|
|
[/\\./, 'string.escape.invalid'],
|
|
[/'/, { token: 'string.quote', bracket: '@close', next: '@pop' }],
|
|
],
|
|
whitespace: [
|
|
[/[ \t\r\n]+/, 'white'],
|
|
[/\(\*/, 'comment', '@comment'],
|
|
[/\/\/.*$/, 'comment'],
|
|
],
|
|
},
|
|
};
|
|
},
|
|
},
|
|
]);
|