unique. This is done by generating a fresh binder for every binder used. This
also replaces binders that did not cause any conflict, but it does ensure that
all binders within the function are generated by the same unique supply.
- \refdef{fresh binder}
\item Whenever a new binder must be generated, we generate a fresh binder that
is guaranteed to be different from \emph{all binders generated so far}. This
can thus never introduce duplication and will maintain the invariant.
\in{Example}[ex:trans:toplevelinline] shows a typical application of
the addition operator generated by \GHC. The type and dictionary
arguments used here are described in
- \in{Section}[section:prototype:polymorphism].
+ \in{Section}[sec:prototype:coretypes].
Without this transformation, there would be a \lam{(+)} entity
in the \VHDL\ which would just add its inputs. This generates a
\startitemize
\item An extractor case with a single alternative that picks a field
- from a datatype, \eg\ \lam{case x of (a, b) -> a}.
+ from a datatype, \eg\ \lam{case x of (a, b) ->
+ a}.\defref{extractor case}
\item A selector case with multiple alternatives and only wild binders, that
makes a choice between expressions based on the constructor of another
- expression, \eg\ \lam{case x of Low -> a; High -> b}.
+ expression, \eg\ \lam{case x of Low -> a; High ->
+ b}.\defref{selector case}
\stopitemize
For an arbitrary case, that has \lam{n} alternatives, with
actual transformations.
\subsubsection{Removing Polymorphism}
- As noted in \in{section}[sec:prototype:polymporphism],
+ As noted in \in{section}[sec:prototype:coretypes],
polymorphism is made explicit in Core through type and
dictionary arguments. To remove the polymorphism from a
function, we can simply specialize the polymorphic function for
outgoing edges (meaning no transformation applies to it). The set of
nodes without outgoing edges is called the \emph{normal set}. Similarly,
the set of nodes containing expressions in intended normal form
- \refdef{intended normal form} is called the \emph{intended normal set}.
+ \refdef{intended normal form definition} is called the \emph{intended normal set}.
From such a graph, we can derive some properties easily:
\startitemize[KR]