Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Embellishment argspec should not return a group #48

Closed
siefkenj opened this issue Sep 28, 2023 · 2 comments · Fixed by #49
Closed

Embellishment argspec should not return a group #48

siefkenj opened this issue Sep 28, 2023 · 2 comments · Fixed by #49

Comments

@siefkenj
Copy link
Owner

An argspec of e{{x}} is treated the same as e{x}. The embellishment token list should be ['x'], not [{type: "group", content: ['x']}].

@siefkenj siefkenj mentioned this issue Sep 28, 2023
siefkenj added a commit that referenced this issue Sep 28, 2023
Fix #48, remove nested groups from embellishment argspec
@theseanl
Copy link
Contributor

theseanl commented Jan 1, 2024

But e{{{x}}} is not the same as e{{x}}

@siefkenj
Copy link
Owner Author

siefkenj commented Jan 4, 2024

Is e{{{x}}} allowed? How is it treated?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants