scrutinee. If the scrutinee is a complex expression, this might result
in duplicate hardware. An extra condition to only apply this
transformation when the scrutinee is already simple (effectively
scrutinee. If the scrutinee is a complex expression, this might result
in duplicate hardware. An extra condition to only apply this
transformation when the scrutinee is already simple (effectively
\in{section}[sec:transformation:caseremoval].
\subsubsection[sec:transformation:caseremoval]{Case removal}
\in{section}[sec:transformation:caseremoval].
\subsubsection[sec:transformation:caseremoval]{Case removal}
matching, causing a state input to be unpacked multiple times or
be unpacked and repacked only in some of the code paths.
matching, causing a state input to be unpacked multiple times or
be unpacked and repacked only in some of the code paths.
Without going into detail about the exact problems (of which
there are probably more than have shown up so far), it seems
unlikely that these problems can be solved entirely by just
Without going into detail about the exact problems (of which
there are probably more than have shown up so far), it seems
unlikely that these problems can be solved entirely by just
of course mean that the intended normal form definition must be
extended as well to be more specific about how state handling
should look like in normal form.
of course mean that the intended normal form definition must be
extended as well to be more specific about how state handling
should look like in normal form.
\section[sec:normalization:properties]{Provable properties}
When looking at the system of transformations outlined above, there are a
\section[sec:normalization:properties]{Provable properties}
When looking at the system of transformations outlined above, there are a