Added description of parser implementation

This commit is contained in:
Vyacheslav Egorov 2021-05-10 14:22:55 +03:00
parent df0aa96b9a
commit 77ad1eda25

View file

@ -42,6 +42,9 @@ This feature can be found in other languages:
Implementation will store the names inside the function type description. Implementation will store the names inside the function type description.
Parsing the argument list will require a single-token lookahead that we already support.
Argument list parser will check if current token is an identifier and if the lookahead token is a colon, in which case it will consume both tokens.
Function type comparisons will ignore the argument names, this proposal doesn't change the semantics of the language and how typechecking is performed. Function type comparisons will ignore the argument names, this proposal doesn't change the semantics of the language and how typechecking is performed.
## Drawbacks ## Drawbacks