either. To prevent the \VHDL\ generation from breaking on these
artifacts, this transformation removes them.
either. To prevent the \VHDL\ generation from breaking on these
artifacts, this transformation removes them.
There are a limited number of literals available in Haskell and Core.
\refdef{enumerated types} When using (enumerating) algebraic
data-types, a literal is just a reference to the corresponding data
There are a limited number of literals available in Haskell and Core.
\refdef{enumerated types} When using (enumerating) algebraic
data-types, a literal is just a reference to the corresponding data
\section{Unsolved problems}
The above system of transformations has been implemented in the prototype
and seems to work well to compile simple and more complex examples of
\section{Unsolved problems}
The above system of transformations has been implemented in the prototype
and seems to work well to compile simple and more complex examples of
system has not seen enough review and work to be complete and work for
every Core expression that is supplied to it. A number of problems
have already been identified and are discussed in this section.
system has not seen enough review and work to be complete and work for
every Core expression that is supplied to it. A number of problems
have already been identified and are discussed in this section.