monaco-editor/src/cameligo/cameligo.ts

/*---------------------------------------------------------------------------------------------
 *  Copyright (c) Microsoft Corporation. All rights reserved.
 *  Licensed under the MIT License. See License.txt in the project root for license information.
 *--------------------------------------------------------------------------------------------*/

import type { languages } from '../fillers/monaco-editor-core';

export const conf: languages.LanguageConfiguration = {
	comments: {
		lineComment: '//',
		blockComment: ['(*', '*)']
	},
	brackets: [
		['{', '}'],
		['[', ']'],
		['(', ')'],
		['<', '>']
	],
	autoClosingPairs: [
		{ open: '{', close: '}' },
		{ open: '[', close: ']' },
		{ open: '(', close: ')' },
		{ open: '<', close: '>' },
		{ open: "'", close: "'" },
		{ open: "\"", close: "\""},
		{ open: "(*", close: "*)"},
	],
	surroundingPairs: [
		{ open: '{', close: '}' },
		{ open: '[', close: ']' },
		{ open: '(', close: ')' },
		{ open: '<', close: '>' },
		{ open: "'", close: "'" },
		{ open: "\"", close: "\""},
		{ open: "(*", close: "*)"},
	]
};

export const language = <languages.IMonarchLanguage>{
	defaultToken: '',
	tokenPostfix: '.cameligo',
	ignoreCase: true,

	brackets: [
		{ open: '{', close: '}', token: 'delimiter.curly' },
		{ open: '[', close: ']', token: 'delimiter.square' },
		{ open: '(', close: ')', token: 'delimiter.parenthesis' },
		{ open: '<', close: '>', token: 'delimiter.angle' }
	],

	keywords: [
		'abs',
		'assert',
		'block',
		'Bytes',
		'case',
		'Crypto',
		'Current',
		'else',
		'failwith',
		'false',
		'for',
		'fun',
		'if',
		'in',
		'let',
		'let%entry',
		'let%init',
		'List',
		'list',
		'Map',
		'map',
		'match',
		'match%nat',
		'mod',
		'not',
		'operation',
		'Operation',
		'of',
		'record',
		'Set',
		'set',
		'sender',
		'skip',
		'source',
		'String',
		'then',
		'to',
		'true',
		'type',
		'with',
	],

	typeKeywords: ['int', 'unit', 'string', 'tz', 'nat', 'bool'],

	operators: [
		'=',
		'>',
		'<',
		'<=',
		'>=',
		'<>',
		':',
		':=',
		'and',
		'mod',
		'or',
		'+',
		'-',
		'*',
		'/',
		'@',
		'&',
		'^',
		'%',
		'->',
		'<-',
		'&&',
		'||',
	],

	// we include these common regular expressions
	symbols: /[=><:@\^&|+\-*\/\^%]+/,

	// The main tokenizer for our languages
	tokenizer: {
		root: [
			// identifiers and keywords
			[
				/[a-zA-Z_][\w]*/,
				{
					cases: {
						'@keywords': { token: 'keyword.$0' },
						'@default': 'identifier'
					}
				}
			],

			// whitespace
			{ include: '@whitespace' },

			// delimiters and operators
			[/[{}()\[\]]/, '@brackets'],
			[/[<>](?!@symbols)/, '@brackets'],
			[
				/@symbols/,
				{
					cases: {
						'@operators': 'delimiter',
						'@default': ''
					}
				}
			],

			// numbers
			[/\d*\.\d+([eE][\-+]?\d+)?/, 'number.float'],
			[/\$[0-9a-fA-F]{1,16}/, 'number.hex'],
			[/\d+/, 'number'],

			// delimiter: after number because of .\d floats
			[/[;,.]/, 'delimiter'],

			// strings
			[/'([^'\\]|\\.)*$/, 'string.invalid'], // non-teminated string
			[/'/, 'string', '@string'],

			// characters
			[/'[^\\']'/, 'string'],
			[/'/, 'string.invalid'],
			[/\#\d+/, 'string']
		],
		/* */

		comment: [
			[/[^\(\*]+/, 'comment'],
			//[/\(\*/,    'comment', '@push' ],    // nested comment  not allowed :-(
			[/\*\)/, 'comment', '@pop'],
			[/\(\*/, 'comment']
		],

		string: [
			[/[^\\']+/, 'string'],
			[/\\./, 'string.escape.invalid'],
			[/'/, { token: 'string.quote', bracket: '@close', next: '@pop' }]
		],

		whitespace: [
			[/[ \t\r\n]+/, 'white'],
			[/\(\*/, 'comment', '@comment'],
			[/\/\/.*$/, 'comment']
		]
	}
};