From: Christiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Date: Mon, 8 Mar 2010 14:58:52 +0000 (+0100)
Subject: CλaSH support type classes and instances now, so update paper accordingly
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=9b33924eca5a2b90036d4c8cf2c9d3984bf6da21

CλaSH support type classes and instances now, so update paper accordingly
---

diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs"
index b903596..45ea296 100644
--- "a/c\316\273ash.lhs"
+++ "b/c\316\273ash.lhs"
@@ -990,19 +990,18 @@ eventual netlist representation is also highlighted.
     class, so we can use the addition operator (and thus the \hs{sum}
     function) with \hs{Signed} as well as with \hs{Unsigned}.
 
-    In \CLaSH, parametric polymorphism is completely supported. Any function 
-    defined can have any number of unconstrained type parameters. The \CLaSH\ 
-    compiler will infer the type of every such argument depending on how the 
-    function is applied. There is however one constraint: the top level 
-    function that is being translated can not have any polymorphic arguments. 
-    The arguments can not be polymorphic as the function is never applied and 
-    consequently there is no way to determine the actual types for the type 
-    parameters.
-
-    \CLaSH\ does \emph{currently} not support\emph{ user-defined} type 
-    classes, but does use some of the standard Haskell type classes for its 
-    built-in function, such as: \hs{Num} for numerical operations, \hs{Eq} for 
-    the equality operators, and \hs{Ord} for the comparison/order operators.
+    \CLaSH\ supports both parametric polymorphism and ad-hoc polymorphism. Any 
+    function defined can have any number of unconstrained type parameters. A
+    developer can also specify his own type classes and corresponding 
+    instances. The \CLaSH\ compiler will infer the type of every polymorphic 
+    argument depending on how the function is applied. There is however one 
+    constraint: the top level function that is being translated can not have 
+    any polymorphic arguments. The arguments can not be polymorphic as the 
+    function is never applied and consequently there is no way to determine 
+    the actual types for the type parameters. The members of some standard 
+    Haskell type classes are supported as built-in functions, including: 
+    \hs{Num} for numerical operations, \hs{Eq} for the equality operators, and 
+    \hs{Ord} for the comparison/order operators.
 
   \subsection{Higher-order functions \& values}
     Another powerful abstraction mechanism in functional languages, is