From: Matthijs Kooijman Date: Wed, 27 Jan 2010 15:19:05 +0000 (+0100) Subject: Fix typos in related work. X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=65710eed8d14ac473d4a2dacc32d5daa85f1b6db Fix typos in related work. --- diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs" index e824b76..b646e76 100644 --- "a/c\316\273ash.lhs" +++ "b/c\316\273ash.lhs" @@ -747,14 +747,14 @@ elements of Haskell, such as choice, can be used to guide the circuit generation. If a developer wants to insert a choice element inside an actual circuit he will have to specify this explicitly as a component. In this respect \CLaSH\ differs from Lava, in that all the choice elements, such as -case-statements and patter matching, are synthesized to choice elements in the +case-statements and pattern matching, are synthesized to choice elements in the eventual circuit. As such, richer control structures can both be specified and synthesized in \CLaSH\ compared to any of the languages mentioned in this section. The merits of polymorphic typing, combined with higher-order functions, are now also recognized in the `main-stream' hardware description languages, -exemplified by the new \VHDL\ 2008 standard~\cite{VHDL2008}. \VHDL-2008 has +exemplified by the new \VHDL\-2008 standard~\cite{VHDL2008}. \VHDL-2008 has support to specify types as generics, thus allowing a developer to describe polymorphic components. Note that those types still require an explicit generic map, whereas type-inference and type-specialization are implicit in