=> Bootstrap dependency digest>=20010302: found digest-20190127
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
===> Building for hs-stringsearch-0.3.6.5
Building stringsearch-0.3.6.5...
Preprocessing library stringsearch-0.3.6.5...
[ 1 of 15] Compiling Data.ByteString.Lazy.Search.KarpRabin ( Data/ByteString/Lazy/Search/KarpRabin.hs, dist/build/Data/ByteString/Lazy/Search/KarpRabin.o )
[ 2 of 15] Compiling Data.ByteString.Search.KarpRabin ( Data/ByteString/Search/KarpRabin.hs, dist/build/Data/ByteString/Search/KarpRabin.o )
[ 3 of 15] Compiling Data.ByteString.Search.Internal.Utils ( Data/ByteString/Search/Internal/Utils.hs, dist/build/Data/ByteString/Search/Internal/Utils.o )

Data/ByteString/Search/Internal/Utils.hs:184:11:
    No instance for (MArray a1 Int (GHC.ST.ST s))
      arising from a use of `newArray'
    The type variable `a1' is ambiguous
    Note: there are several potential instances:
      instance MArray (STUArray s) Int (GHC.ST.ST s)
        -- Defined in `Data.Array.Base'
      instance MArray (STArray s) e (GHC.ST.ST s)
        -- Defined in `Data.Array.Base'
    In a stmt of a 'do' block: ar <- newArray (0, patEnd) patLen
    In the first argument of `runSTUArray', namely
      `(do { let !patLen = S.length pat
                 !patEnd = patLen - 1
                 !suff = suffLengths pat;
             ar <- newArray (0, patEnd) patLen;
             let preShift !idx !j
                   | idx < 0 = return ()
                   | suff `unsafeAt` idx == idx + 1 = do { ... }
                   | otherwise = preShift (idx - 1) j
                 sufShift !idx
                   | idx == patEnd = return ar
                   | otherwise = do { ... };
             preShift (patEnd - 1) 0;
             sufShift 0 })'
    In the expression:
      runSTUArray
        (do { let !patLen = S.length pat
                  !patEnd = patLen - 1
                  !suff = suffLengths pat;
              ar <- newArray (0, patEnd) patLen;
              let preShift !idx !j
                    | idx < 0 = return ()
                    | suff `unsafeAt` idx == idx + 1 = do { ... }
                    | otherwise = preShift (idx - 1) j
                  sufShift !idx
                    | idx == patEnd = return ar
                    | otherwise = do { ... };
              preShift (patEnd - 1) 0;
              sufShift 0 })

Data/ByteString/Search/Internal/Utils.hs:189:21:
    Non type-variable argument in the constraint: MArray a_aqma Int m
    (Use FlexibleContexts to permit this)
    When checking that `fillToShf' has the inferred type
      fillToShf :: forall (m :: * -> *). MArray a0 Int m => Int -> m ()
    In the expression:
      do { let !shf = patEnd - idx
               fillToShf !i
                 | i == shf = return ()
                 | otherwise = ...;
           fillToShf j;
           preShift (idx - 1) shf }
    In an equation for `preShift':
        preShift !idx !j
          | idx < 0 = return ()
          | suff `unsafeAt` idx == idx + 1
          = do { let !shf = ...
                     ....;
                 fillToShf j;
                 preShift (idx - 1) shf }
          | otherwise = preShift (idx - 1) j

Data/ByteString/Search/Internal/Utils.hs:197:9:
    Non type-variable argument in the constraint: MArray a_aqma Int m
    (Use FlexibleContexts to permit this)
    When checking that `sufShift' has the inferred type
      sufShift :: forall (m :: * -> *).
                  MArray a0 Int m =>
                  Int -> m (a0 Int Int)
    In the first argument of `runSTUArray', namely
      `(do { let !patLen = S.length pat
                 !patEnd = patLen - 1
                 !suff = suffLengths pat;
             ar <- newArray (0, patEnd) patLen;
             let preShift !idx !j
                   | idx < 0 = return ()
                   | suff `unsafeAt` idx == idx + 1 = do { ... }
                   | otherwise = preShift (idx - 1) j
                 sufShift !idx
                   | idx == patEnd = return ar
                   | otherwise = do { ... };
             preShift (patEnd - 1) 0;
             sufShift 0 })'
    In the expression:
      runSTUArray
        (do { let !patLen = S.length pat
                  !patEnd = patLen - 1
                  !suff = suffLengths pat;
              ar <- newArray (0, patEnd) patLen;
              let preShift !idx !j
                    | idx < 0 = return ()
                    | suff `unsafeAt` idx == idx + 1 = do { ... }
                    | otherwise = preShift (idx - 1) j
                  sufShift !idx
                    | idx == patEnd = return ar
                    | otherwise = do { ... };
              preShift (patEnd - 1) 0;
              sufShift 0 })

Data/ByteString/Search/Internal/Utils.hs:248:11:
    No instance for (MArray a0 Int (GHC.ST.ST s))
      arising from a use of `newArray_'
    The type variable `a0' is ambiguous
    Note: there are several potential instances:
      instance MArray (STUArray s) Int (GHC.ST.ST s)
        -- Defined in `Data.Array.Base'
      instance MArray (STArray s) e (GHC.ST.ST s)
        -- Defined in `Data.Array.Base'
    In a stmt of a 'do' block: ar <- newArray_ (0, patEnd)
    In the first argument of `runSTUArray', namely
      `(do { let !patLen = S.length pat
                 !patEnd = patLen - 1
                 !preEnd = patEnd - 1
                 ....;
             ar <- newArray_ (0, patEnd);
             unsafeWrite ar patEnd patLen;
             let noSuff !i
                   | i < 0 = return ar
                   | patAt i == pe = do { ... }
                   | otherwise = do { ... }
                 suffLoop !pre !end !idx
                   | idx < 0 = return ar
                   | pre < idx
                   = if patAt idx /= pe then
                         unsafeWrite ar idx 0 >> suffLoop pre (end - 1) (idx - 1)
                     else
                         ...
                   | otherwise = noSuff idx;
             noSuff preEnd })'
    In the expression:
      runSTUArray
        (do { let !patLen = S.length pat
                  !patEnd = patLen - 1
                  !preEnd = patEnd - 1
                  ....;
              ar <- newArray_ (0, patEnd);
              unsafeWrite ar patEnd patLen;
              let noSuff !i
                    | i < 0 = return ar
                    | patAt i == pe = do { ... }
                    | otherwise = do { ... }
                  suffLoop !pre !end !idx
                    | idx < 0 = return ar
                    | pre < idx
                    = if patAt idx /= pe then
                          unsafeWrite ar idx 0 >> suffLoop pre (end - 1) (idx - 1)
                      else
                          ...
                    | otherwise = noSuff idx;
              noSuff preEnd })

Data/ByteString/Search/Internal/Utils.hs:250:9:
    Non type-variable argument in the constraint: MArray a_aqdd Int m
    (Use FlexibleContexts to permit this)
    When checking that `noSuff' has the inferred type
      noSuff :: forall (m :: * -> *).
                MArray a0 Int m =>
                Int -> m (a0 Int Int)
    In the first argument of `runSTUArray', namely
      `(do { let !patLen = S.length pat
                 !patEnd = patLen - 1
                 !preEnd = patEnd - 1
                 ....;
             ar <- newArray_ (0, patEnd);
             unsafeWrite ar patEnd patLen;
             let noSuff !i
                   | i < 0 = return ar
                   | patAt i == pe = do { ... }
                   | otherwise = do { ... }
                 suffLoop !pre !end !idx
                   | idx < 0 = return ar
                   | pre < idx
                   = if patAt idx /= pe then
                         unsafeWrite ar idx 0 >> suffLoop pre (end - 1) (idx - 1)
                     else
                         ...
                   | otherwise = noSuff idx;
             noSuff preEnd })'
    In the expression:
      runSTUArray
        (do { let !patLen = S.length pat
                  !patEnd = patLen - 1
                  !preEnd = patEnd - 1
                  ....;
              ar <- newArray_ (0, patEnd);
              unsafeWrite ar patEnd patLen;
              let noSuff !i
                    | i < 0 = return ar
                    | patAt i == pe = do { ... }
                    | otherwise = do { ... }
                  suffLoop !pre !end !idx
                    | idx < 0 = return ar
                    | pre < idx
                    = if patAt idx /= pe then
                          unsafeWrite ar idx 0 >> suffLoop pre (end - 1) (idx - 1)
                      else
                          ...
                    | otherwise = noSuff idx;
              noSuff preEnd })
*** Error code 1

Stop.
make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/textproc/hs-stringsearch
*** Error code 1

Stop.
make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/textproc/hs-stringsearch