m

gistfile1.txt

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:3:
    Couldn't match type `Array r3 ((Z :. Int) :. Int) e1'
                  with `CDL l => Array U DIM2 l'
    Expected type: m (Matrix l)
      Actual type: m (Array r3 ((Z :. Int) :. Int) e1)
    In a stmt of a 'do' block:
      computeP
      $ fromFunction (Z :. h1 :. w2)
        $ \ ix
            -> joinAllS
               $ R.zipWith
                   meet
                   (unsafeSlice arr (Any :. row ix :. All))
                   (unsafeSlice trr (Any :. col ix :. All))
    In the second argument of `deepSeqArrays', namely
      `do { trr <- transpose2PL brr;
            let (Z :. h1 :. _) = extent arr;
            let (Z :. _ :. w2) = extent brr;
            computeP
            $ fromFunction (Z :. h1 :. w2)
              $ \ ix
                  -> joinAllS
                     $ R.zipWith
                         meet
                         (unsafeSlice arr (Any :. row ix :. All))
                         (unsafeSlice trr (Any :. col ix :. All)) }'
    In the expression:
      [arr, brr]
      `deepSeqArrays`
        do { trr <- transpose2PL brr;
             let (Z :. h1 :. _) = extent arr;
             let (Z :. _ :. w2) = extent brr;
             computeP
             $ fromFunction (Z :. h1 :. w2)
               $ \ ix
                   -> joinAllS
                      $ R.zipWith
                          meet
                          (unsafeSlice arr (Any :. row ix :. All))
                          (unsafeSlice trr (Any :. col ix :. All)) }

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:78:
    Couldn't match expected type `Array r4 sh4 e1'
                with actual type `Vector a4 -> Vector a4'
    In the return type of a call of `unsafeSlice'
    Probable cause: `unsafeSlice' is applied to too few arguments
    In the second argument of `R.zipWith', namely
      `(unsafeSlice arr (Any :. row ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:90:
    Couldn't match expected type `Int'
                with actual type `Array U DIM2 l'
    In the first argument of `unsafeSlice', namely `arr'
    In the second argument of `R.zipWith', namely
      `(unsafeSlice arr (Any :. row ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:95:
    Couldn't match expected type `Int'
                with actual type `(Any sh5 :. Int) :. All'
    In the second argument of `unsafeSlice', namely
      `(Any :. row ix :. All)'
    In the second argument of `R.zipWith', namely
      `(unsafeSlice arr (Any :. row ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:119:
    Couldn't match expected type `Array r5 sh4 e1'
                with actual type `Vector a5 -> Vector a5'
    In the return type of a call of `unsafeSlice'
    Probable cause: `unsafeSlice' is applied to too few arguments
    In the third argument of `R.zipWith', namely
      `(unsafeSlice trr (Any :. col ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:131:
    Couldn't match type `CDL l => Array U DIM2 l' with `Int'
    Expected type: Int
      Actual type: Matrix l
    In the first argument of `unsafeSlice', namely `trr'
    In the third argument of `R.zipWith', namely
      `(unsafeSlice trr (Any :. col ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:28:136:
    Couldn't match expected type `Int'
                with actual type `(Any sh6 :. Int) :. All'
    In the second argument of `unsafeSlice', namely
      `(Any :. col ix :. All)'
    In the third argument of `R.zipWith', namely
      `(unsafeSlice trr (Any :. col ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:34:29:
    Could not deduce (Unbox l) arising from a use of `deepSeqArrays'
    from the context (CDL l)
      bound by the type signature for
                 mmultSL :: CDL l => Matrix l -> Matrix l -> Array U DIM2 l
      at Data/Array/Repa/Algorithms/Matrix/Boolean.hs:(34,1)-(38,166)
    Possible fix:
      add (Unbox l) to the context of
        the type signature for
          mmultSL :: CDL l => Matrix l -> Matrix l -> Array U DIM2 l
        or the type signature for
             mmultSL :: Matrix l -> Matrix l -> Matrix l
    In the expression: [arr, brr] `deepSeqArrays` runST
    In the expression:
      [arr, brr] `deepSeqArrays` runST
      $ do { trr <- now $ transpose2SL brr;
             let (Z :. h1 :. _) = extent arr;
             let (Z :. _ :. w2) = extent brr;
             return
             $ computeS
               $ fromFunction (Z :. h1 :. w2)
                 $ \ ix
                     -> joinAllS
                        $ R.zipWith
                            meet
                            (unsafeSlice arr (Any :. row ix :. All))
                            (unsafeSlice trr (Any :. col ix :. All)) }
    In an equation for `mmultSL':
        mmultSL arr brr
          = [arr, brr] `deepSeqArrays` runST
            $ do { trr <- now $ transpose2SL brr;
                   let (Z :. h1 :. _) = ...;
                   let (Z :. _ :. w2) = ...;
                   .... }

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:38:87:
    Couldn't match expected type `Array r2 sh1 l'
                with actual type `Vector a2 -> Vector a2'
    In the return type of a call of `unsafeSlice'
    Probable cause: `unsafeSlice' is applied to too few arguments
    In the second argument of `R.zipWith', namely
      `(unsafeSlice arr (Any :. row ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:38:99:
    Couldn't match expected type `Int'
                with actual type `Array U DIM2 l'
    In the first argument of `unsafeSlice', namely `arr'
    In the second argument of `R.zipWith', namely
      `(unsafeSlice arr (Any :. row ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:38:104:
    Couldn't match expected type `Int'
                with actual type `(Any sh2 :. Int) :. All'
    In the second argument of `unsafeSlice', namely
      `(Any :. row ix :. All)'
    In the second argument of `R.zipWith', namely
      `(unsafeSlice arr (Any :. row ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:38:128:
    Couldn't match expected type `Array r20 sh1 l'
                with actual type `Vector a3 -> Vector a3'
    In the return type of a call of `unsafeSlice'
    Probable cause: `unsafeSlice' is applied to too few arguments
    In the third argument of `R.zipWith', namely
      `(unsafeSlice trr (Any :. col ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:38:140:
    Couldn't match expected type `Int'
                with actual type `Array U DIM2 l'
    In the first argument of `unsafeSlice', namely `trr'
    In the third argument of `R.zipWith', namely
      `(unsafeSlice trr (Any :. col ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:38:145:
    Couldn't match expected type `Int'
                with actual type `(Any sh3 :. Int) :. All'
    In the second argument of `unsafeSlice', namely
      `(Any :. col ix :. All)'
    In the third argument of `R.zipWith', namely
      `(unsafeSlice trr (Any :. col ix :. All))'
    In the second argument of `($)', namely
      `R.zipWith
         meet
         (unsafeSlice arr (Any :. row ix :. All))
         (unsafeSlice trr (Any :. col ix :. All))'

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:45:20:
    Couldn't match type `Array U sh0 e0' with `CDL l => Array U DIM2 l'
    Expected type: m (Matrix l)
      Actual type: m (Array U sh0 e0)
    In the expression:
      arr `deepSeqArray` computeUnboxedP
      $ unsafeBackpermute new_extent swap arr
    In an equation for `transpose2PL':
        transpose2PL arr
          = arr `deepSeqArray` computeUnboxedP
            $ unsafeBackpermute new_extent swap arr
          where
              swap (Z :. i :. j) = Z :. j :. i
              new_extent = swap (extent arr)

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:45:57:
    Couldn't match expected type `Array U DIM2 l -> Array r1 sh0 e0'
                with actual type `Vector a1'
    The function `unsafeBackpermute' is applied to three arguments,
    but its type `Vector a1 -> Vector Int -> Vector a1' has only two
    In the second argument of `($)', namely
      `unsafeBackpermute new_extent swap arr'
    In the expression:
      arr `deepSeqArray` computeUnboxedP
      $ unsafeBackpermute new_extent swap arr

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:45:75:
    Couldn't match expected type `Vector a1'
                with actual type `(Z :. Int) :. Int'
    In the first argument of `unsafeBackpermute', namely `new_extent'
    In the second argument of `($)', namely
      `unsafeBackpermute new_extent swap arr'
    In the expression:
      arr `deepSeqArray` computeUnboxedP
      $ unsafeBackpermute new_extent swap arr

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:45:86:
    Couldn't match expected type `Vector Int'
                with actual type `((Z :. head2) :. head3) -> (Z :. head3) :. head2'
    In the second argument of `unsafeBackpermute', namely `swap'
    In the second argument of `($)', namely
      `unsafeBackpermute new_extent swap arr'
    In the expression:
      arr `deepSeqArray` computeUnboxedP
      $ unsafeBackpermute new_extent swap arr

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:54:57:
    Couldn't match expected type `Array U DIM2 l -> Array r10 DIM2 l'
                with actual type `Vector a0'
    The function `unsafeBackpermute' is applied to three arguments,
    but its type `Vector a0 -> Vector Int -> Vector a0' has only two
    In the second argument of `($)', namely
      `unsafeBackpermute new_extent swap arr'
    In the expression:
      arr `deepSeqArray` computeUnboxedS
      $ unsafeBackpermute new_extent swap arr

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:54:75:
    Couldn't match expected type `Vector a0'
                with actual type `(Z :. Int) :. Int'
    In the first argument of `unsafeBackpermute', namely `new_extent'
    In the second argument of `($)', namely
      `unsafeBackpermute new_extent swap arr'
    In the expression:
      arr `deepSeqArray` computeUnboxedS
      $ unsafeBackpermute new_extent swap arr

Data/Array/Repa/Algorithms/Matrix/Boolean.hs:54:86:
    Couldn't match expected type `Vector Int'
                with actual type `((Z :. head0) :. head1) -> (Z :. head1) :. head0'
    In the second argument of `unsafeBackpermute', namely `swap'
    In the second argument of `($)', namely
      `unsafeBackpermute new_extent swap arr'
    In the expression:
      arr `deepSeqArray` computeUnboxedS
      $ unsafeBackpermute new_extent swap arr