Verified Commit fa34bd46 authored by Camil Staps's avatar Camil Staps 🚀

v0.1.28: fix boxed record type definitions

parent 5f3ded7d
Pipeline #41769 passed with stage
in 1 minute and 35 seconds
......@@ -504,6 +504,8 @@ var highlightRules = {
typeDefRhs: [
[/(\s*)(E)(\.)/, ['whitespace', 'existential', 'punctuation'], 'jump:typeDefRhsExi'],
[/(\s*)(\{)/, ['whitespace', 'punctuation'], 'jump:typeDefRecord'],
[/(\s*)(!)(\s*)(\{)/,
['whitespace', 'punctuation', 'whitespace', 'punctuation'], 'jump:typeDefRecord'],
[/(\s*)/, ['whitespace'], 'jump:typeDefADT']
],
typeDefRhsExi: [
......
{
"name": "clean-highlighter",
"version": "0.1.27",
"version": "0.1.28",
"description": "Clean language highlighter",
"keywords": ["clean","highlighter"],
"main": "clean.js",
......
-----
:: *InterpretationEnvironment = E.a: !
{ ie_finalizer :: !Finalizer
, ie_snode_ptr :: !Int
, ie_snodes :: !*{a}
}
-----
punctuation ::
whitespace
punctuation *
type InterpretationEnvironment
whitespace
punctuation =
whitespace
existential E
punctuation .
typevar a
punctuation :
whitespace
punctuation !
whitespace \n
punctuation {
whitespace
field ie_finalizer
whitespace
punctuation ::
whitespace
punctuation !
type Finalizer
whitespace \n
punctuation ,
whitespace
field ie_snode_ptr
whitespace
punctuation ::
whitespace
punctuation !
type Int
whitespace \n
punctuation ,
whitespace
field ie_snodes
whitespace
punctuation ::
whitespace
punctuation !*{
typevar a
punctuation }
whitespace \n
punctuation }
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment