Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language
https://scilla-lang.org
GNU General Public License v3.0
241 stars 79 forks source link

Use anonymous records for AST nodes #1160

Open jubnzv opened 1 year ago

jubnzv commented 1 year ago

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.