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

Use anonymous records for AST nodes #1160

Open
jubnzv opened this issue Aug 28, 2022 · 0 comments
Open

Use anonymous records for AST nodes #1160

jubnzv opened this issue Aug 28, 2022 · 0 comments
Labels
code style / refactoring enhancement New feature or request good first issue Good for newcomers
Milestone

Comments

@jubnzv
Copy link
Contributor

jubnzv commented Aug 28, 2022

Anonymous records in constructors would help remembering the meanings of AST node components and also with standardizing the naming scheme of AST node components.

Here is an example: https://github.com/mtt-lang/mtt-lang/blob/master/core/Ast.ml#L37

Probably, we could automatically rename ADT uses in pattern matching with comby.

@jubnzv jubnzv added the enhancement New feature or request label Aug 28, 2022
@jjcnn jjcnn added this to the Scilla 0.14.0 milestone Oct 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code style / refactoring enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

2 participants