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
Connector equations #2486
Connector equations #2486
Conversation
chapters/connectors.tex
Outdated
@@ -742,6 +742,9 @@ \subsection{Balancing Restriction and Size of Connectors}\doublelabel{balancing- | |||
variables of an overdetermined type or record class (see \autoref{overconstrained-equation-operators-for-connection-graphs}) | |||
is the size of the output argument of the corresponding | |||
\lstinline!equalityConstraint!() function. | |||
\begin{nonnormative} | |||
Expandable connector classes are excluded from this, since their component declarations are only a form of constraints. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"constraints" -> "constraint".
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Done.
see \autoref{record-constructor-functions}. Additionally, record components can be used as | ||
component references in expressions and in the left hand side of | ||
assignments, subject to normal type compatibility rules. The components | ||
see \autoref{record-constructor-functions}. The components | ||
directly declared in a record may only be of specialized class record |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"record and type" should probably be "record or type".
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, done!
Closes #2235
Please look at the discussion in that ticket. I might have missed something, but to me the general discussions regarding expressions was missing.