1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
{-# LANGUAGE ParallelArrays #-}
{-# OPTIONS_GHC -fvectorise #-}
{-# LANGUAGE UnboxedTuples #-}
module Vect where
-- import Data.Array.Parallel
{-# VECTORISe isFive = blah #-}
{-# NoVECTORISE isEq #-}
{-# VECTORISE SCALAR type Int #-}
{-# VECTORISE type Char #-}
{-# VECTORISE type ( ) #-}
{-# VECTORISE type (# #) #-}
{-# VECTORISE SCALAR type Integer = Int #-}
{-# VECTORISE type Bool = String #-}
{-# Vectorise class Eq #-}
blah = 5
data MyBool = MyTrue | MyFalse
class Eq a => Cmp a where
cmp :: a -> a -> Bool
-- FIXME:
-- instance Cmp Int where
-- cmp = (==)
-- isFive :: (Eq a, Num a) => a -> Bool
isFive :: Int -> Bool
isFive x = x == 5
isEq :: Eq a => a -> Bool
isEq x = x == x
fiveEq :: Int -> Bool
fiveEq x = isFive x && isEq x
cmpArrs :: PArray Int -> PArray Int -> Bool
{-# NOINLINE cmpArrs #-}
cmpArrs v w = cmpArrs' (fromPArrayP v) (fromPArrayP w)
cmpArrs' :: [:Int:] -> [:Int:] -> Bool
cmpArrs' xs ys = andP [:x == y | x <- xs | y <- ys:]
isFives :: PArray Int -> Bool
{-# NOINLINE isFives #-}
isFives xs = isFives' (fromPArrayP xs)
isFives' :: [:Int:] -> Bool
isFives' xs = andP (mapP isFive xs)
isEqs :: PArray Int -> Bool
{-# NOINLINE isEqs #-}
isEqs xs = isEqs' (fromPArrayP xs)
isEqs' :: [:Int:] -> Bool
isEqs' xs = undefined -- andP (mapP isEq xs)
-- fudge for compiler
fromPArrayP = undefined
andP = undefined
mapP = undefined
data PArray a = PArray a
|
