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

Filling out the WAT inline alias syntax #351

Open
lukewagner opened this issue Apr 30, 2024 · 0 comments
Open

Filling out the WAT inline alias syntax #351

lukewagner opened this issue Apr 30, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@lukewagner
Copy link
Member

(Filing this for consideration later in a polish phase before 1.0; I don't expect this is a high priority until then since it's additive and I haven't heard anyone asking for it.)

#276 pointed out that it might be nice for the inline alias syntax to be co-expressive with out-of-line aliases and, as part of what this syntax would look like, that we don't necessarily need explicit export or outer tokens to discriminate the two cases (b/c they are lexically distinct).

Thus, a complete set of inline alias syntaxes could be:

(sort 1 2)    ~> (alias outer 1 2 (sort))
(sort $C 2)   ~> (alias outer $C 2 (sort))
(sort 1 $f)   ~> (alias outer 1 $f (sort))
(sort $f)     ~> (alias outer $f (sort))
(sort $C "e") ~> (alias export $C "e" (sort))
(sort 1 "e")  ~> (alias export 1 "e" (sort))
@lukewagner lukewagner added the enhancement New feature or request label Apr 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant