unison icon indicating copy to clipboard operation
unison copied to clipboard

Doc: closing inline delimiters can’t be followed by punctuation

Open aryairani opened this issue 3 years ago • 5 comments

triple_business = {{ __foo constructor__, __bar constructor__ }}

becomes the following after a round trip (added triple _s):

triple_business = {{ ___foo constructor__,__bar constructor___ }}

If I add the space back in after the comma, then it doesn't parse. Triple _s isn't a thing anyway.

triple_business = {{ ___foo constructor__, __bar constructor___ }}

aryairani avatar Feb 09 '22 22:02 aryairani

Hopefully will fix these definitions from [website]:

  • [ ] languageReference.userDefinedTypes

aryairani avatar Feb 10 '22 06:02 aryairani

I don’t know if this is new behavior since this ticket was opened, but

Triple _s isn't a thing anyway.

We parse any number of matching characters as an opening delimiter and then match the same number for closing.

sellout avatar Jul 08 '24 23:07 sellout

and I believe that if the closing side is short it borks the parser

stew avatar Jul 08 '24 23:07 stew

oh, hmm, maybe its when the closing side is long and the token gets split and the leftovers create a new open?

stew avatar Jul 08 '24 23:07 stew

The issue is that the closing delimiter isn’t followed by whitespace. I commented on a duplicate ticket – #3895, but am traversing all the issues before I start closing them.

sellout avatar Jul 08 '24 23:07 sellout