hub.darcs.net :: dolio -> vector-algorithms -> issue

domenkozar

Package fails to build on GHC 8.0.2, will post logs shortly.

tests/properties/Tests.hs:46:51: error:
    • Couldn't match expected type ‘mv s e0 -> ST s ()’
                  with actual type ‘Algo Int ()’
    • In the first argument of ‘prop_fullsort’, namely ‘algo’
      In the second argument of ‘(.)’, namely ‘prop_fullsort algo’
      In the second argument of ‘quickCheckWith’, namely
        ‘(label name . prop_fullsort algo)’

tests/properties/Tests.hs:57:54: error:
    • Couldn't match expected type ‘mv s e1 -> Int -> ST s ()’
                  with actual type ‘SizeAlgo Int ()’
    • In the first argument of ‘prop_partialsort’, namely ‘algo’
      In the second argument of ‘(.)’, namely ‘prop_partialsort algo’
      In the second argument of ‘quickCheckWith’, namely
        ‘(label name . prop_partialsort algo)’

tests/properties/Tests.hs:65:49: error:
    • Couldn't match expected type ‘mv s e2 -> Int -> ST s ()’
                  with actual type ‘SizeAlgo Int ()’
    • In the first argument of ‘prop_select’, namely ‘algo’
      In the second argument of ‘(.)’, namely ‘prop_select algo’
      In the second argument of ‘quickCheckWith’, namely
        ‘(label name . prop_select algo)’

tests/properties/Tests.hs:120:43: error:
    • Couldn't match expected type ‘forall s (mv :: * -> * -> *).
                                    MVector mv Int =>
                                    mv s Int -> ST s ()’
                  with actual type ‘mv0 s0 Int -> ST s0 ()’
    • In the first argument of ‘prop_sized’, namely
        ‘(const . prop_permutation)’
      In the second argument of ‘(.)’, namely
        ‘prop_sized
           (const . prop_permutation) (INT.partialSort :: SizeAlgo Int ())’
      In the second argument of ‘($)’, namely
        ‘label "intropartial"
         . prop_sized
             (const . prop_permutation) (INT.partialSort :: SizeAlgo Int ())’

tests/properties/Tests.hs:122:43: error:
    • Couldn't match expected type ‘forall s (mv :: * -> * -> *).
                                    MVector mv Int =>
                                    mv s Int -> ST s ()’
                  with actual type ‘mv1 s1 Int -> ST s1 ()’
    • In the first argument of ‘prop_sized’, namely
        ‘(const . prop_permutation)’
      In the second argument of ‘(.)’, namely
        ‘prop_sized
           (const . prop_permutation) (INT.select :: SizeAlgo Int ())’
      In the second argument of ‘($)’, namely
        ‘label "introselect"
         . prop_sized
             (const . prop_permutation) (INT.select :: SizeAlgo Int ())’