From b838590367678681d4d7948a7463eb7dcfa82b42 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Mon, 1 Mar 2010 17:01:58 +0100 Subject: [PATCH] Update code examples in choice section to use Equiv instead of Eq so not to confuse with the Eq type class --- "c\316\273ash.lhs" | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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} -- 2.30.2