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
Isn't the specification missing some sections giving semantics of equations and statements in the following form?
f(args);
For example, I can find the type rule for a simple equality equation in 8.3.1, but where is the type rule for the equation above?
I suppose a record constructor can never be used in this form, since the record constructor should be seen as a function with a single output for purposes of these rules (they are sometimes not seen as just a function with a single output, but is see no reason to make such an exception here).
Speaking of record constructors, is this a valid way to ignore a constructed record value (which is syntactically in the correct form for ignoring all outputs of a function call)?
() := R(1.0);
The text was updated successfully, but these errors were encountered:
Isn't the specification missing some sections giving semantics of equations and statements in the following form?
For example, I can find the type rule for a simple equality equation in 8.3.1, but where is the type rule for the equation above?
I suppose a record constructor can never be used in this form, since the record constructor should be seen as a function with a single output for purposes of these rules (they are sometimes not seen as just a function with a single output, but is see no reason to make such an exception here).
Speaking of record constructors, is this a valid way to ignore a constructed record value (which is syntactically in the correct form for ignoring all outputs of a function call)?
The text was updated successfully, but these errors were encountered: