diff options
| author | Alberto Ruiz <aruiz@um.es> | 2011-12-21 20:00:07 +0100 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2011-12-21 20:00:07 +0100 |
| commit | 49219343d035992c2942a309a1d5594f4f96a8b1 (patch) | |
| tree | f044a46bc80e1b09f0bfb13b7ed6a782c16a6a0b /examples/bool.hs | |
| parent | e09160be46b10c0e6137ce9b5e1e879e73c88c3a (diff) | |
fix CInt constructor warnings
Diffstat (limited to 'examples/bool.hs')
| -rw-r--r-- | examples/bool.hs | 3 |
1 files changed, 3 insertions, 0 deletions
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 | |||
| 22 | 22 | ||
| 23 | taut x = minElement x == 1 | 23 | taut x = minElement x == 1 |
| 24 | 24 | ||
| 25 | minEvery a b = cond a b a a b | ||
| 26 | maxEvery a b = cond a b b b a | ||
| 27 | |||
| 25 | -- examples | 28 | -- examples |
| 26 | 29 | ||
| 27 | clip a b x = cond y b y y b where y = cond x a a x x | 30 | clip a b x = cond y b y y b where y = cond x a a x x |