X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=c%CE%BBash.lhs;h=998e6a6896adbfb0fe7381a1ea3cc0271250bfcd;hp=c690e8ebc148dccd999bf6da2ad4ec376d07d5d2;hb=b838590367678681d4d7948a7463eb7dcfa82b42;hpb=be5b558f00c76c7190c5647d2f6e3e42003035fb

diff --git "a/c\316\273ash.lhs" "b/c\316\273ash.lhs"
index c690e8e..998e6a6 100644
--- "a/c\316\273ash.lhs"
+++ "b/c\316\273ash.lhs"
@@ -645,7 +645,7 @@ circuit~\cite{reductioncircuit} for floating point numbers.
 
     \begin{code}
     sumif pred a b = 
-      if pred == Eq then 
+      if pred == Equiv then 
         if a == b then a + b else 0
       else 
         if a != b then a + b else 0
@@ -676,10 +676,10 @@ circuit~\cite{reductioncircuit} for floating point numbers.
     versions of the example.
     
     \begin{code}
-    sumif Eq a b    | a == b      = a + b
-                    | otherwise   = 0
-    sumif Neq a b   | a != b      = a + b
-                    | otherwise   = 0
+    sumif Equiv     a b   | a == b      = a + b
+                          | otherwise   = 0
+    sumif NotEquiv  a b   | a != b      = a + b
+                          | otherwise   = 0
     \end{code}
 
     % \begin{figure}