You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Anonymous records in constructors would help remembering the meanings of AST node components and also with standardizing the naming scheme of AST node components.
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.
The text was updated successfully, but these errors were encountered: