This indentation is wrong, I believe because cinaps is interpreting ]} as the close of a {[ ... ]} comment, rather than the close of a list followed by the close of a record.
(*$
{x=[]};
()
*)
(*$*)
I imagine there are similar problems with other formatting like {v ... v}.
This indentation is wrong, I believe because cinaps is interpreting
]}
as the close of a{[ ... ]}
comment, rather than the close of a list followed by the close of a record.I imagine there are similar problems with other formatting like
{v ... v}
.