From 49219343d035992c2942a309a1d5594f4f96a8b1 Mon Sep 17 00:00:00 2001 From: Alberto Ruiz Date: Wed, 21 Dec 2011 20:00:07 +0100 Subject: fix CInt constructor warnings --- examples/bool.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'examples') diff --git a/examples/bool.hs b/examples/bool.hs index 278e9f2..679b8bf 100644 --- a/examples/bool.hs +++ b/examples/bool.hs @@ -22,6 +22,9 @@ imp a b = no a .||. b taut x = minElement x == 1 +minEvery a b = cond a b a a b +maxEvery a b = cond a b b b a + -- examples clip a b x = cond y b y y b where y = cond x a a x x -- cgit v1.2.3