1
2
3
4
5(function (Prism) {
// Pascaligo is a layer 2 smart contract language for the tezos blockchain
var braces = /\((?:[^()]|\((?:[^()]|\([^()]*\))*\))*\)/.source;
var type = /(?:\b\w+(?:<braces>)?|<braces>)/.source.replace(
/<braces>/g,
function () {
return braces;
}
);
var pascaligo = (Prism.languages.pascaligo = {
comment: /\(\*[\s\S]+?\*\)|\/\/.*/,
string: {
pattern: /(["'`])(?:\\[\s\S]|(?!\1)[^\\])*\1|\^[a-z]/i,
greedy: true,
},
'class-name': [
{
pattern: RegExp(
/(\btype\s+\w+\s+is\s+)<type>/.source.replace(/<type>/g, function () {
return type;
}),
'i'
),
lookbehind: true,
inside: null, // see below
},
{
pattern: RegExp(
/<type>(?=\s+is\b)/.source.replace(/<type>/g, function () {
return type;
}),
'i'
),
inside: null, // see below
},
{
pattern: RegExp(
/(:\s*)<type>/.source.replace(/<type>/g, function () {
return type;
})
),
lookbehind: true,
inside: null, // see below
},
],
keyword: {
pattern:
/(^|[^&])\b(?:begin|block|case|const|else|end|fail|for|from|function|if|is|nil|of|remove|return|skip|then|type|var|while|with)\b/i,
lookbehind: true,
},
boolean: {
pattern: /(^|[^&])\b(?:False|True)\b/i,
lookbehind: true,
},
builtin: {
pattern: /(^|[^&])\b(?:bool|int|list|map|nat|record|string|unit)\b/i,
lookbehind: true,
},
function: /\b\w+(?=\s*\()/,
number: [
// Hexadecimal, octal and binary
/%[01]+|&[0-7]+|\$[a-f\d]+/i,
// Decimal
/\b\d+(?:\.\d+)?(?:e[+-]?\d+)?(?:mtz|n)?/i,
],
operator:
/->|=\/=|\.\.|\*\*|:=|<[<=>]?|>[>=]?|[+\-*\/]=?|[@^=|]|\b(?:and|mod|or)\b/,
punctuation: /\(\.|\.\)|[()\[\]:;,.{}]/,
});
var classNameInside = [
'comment',
'keyword',
'builtin',
'operator',
'punctuation',
].reduce(function (accum, key) {
accum[key] = pascaligo[key];
return accum;
}, {});
pascaligo['class-name'].forEach(function (p) {
p.inside = classNameInside;
});
})(Prism);
|