Re: 9.4 branch build failure on ByteString/Internal.hs

24 May 2022


      never mind. i see that's it's been discussed and there's a ticket
https://gitlab.haskell.org/ghc/ghc/-/issues/21633 and a related MR
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/8332.

On Tue, May 24, 2022 at 5:34 PM Shayne Fletcher <
shayne.fletcher.50@gmail.com> wrote:
...
i've found for the last couple of weeks, the 9.4 branch fails to build
with the following error. is this known? a fix in the works?
```
libraries/bytestring/Data/ByteString/Internal.hs:292:23: error:
    • Couldn't match type ‘m’ with ‘TH.Q’
      ‘m’ is a rigid type variable bound by
        the type signature for:
          TH.lift :: forall (m :: * -> *).
                     TH.Quote m =>
                     ByteString -> m TH.Exp
        at libraries/bytestring/Data/ByteString/Internal.hs:292:3-6
      Expected type: m TH.Exp
        Actual type: TH.Q TH.Exp
    • In the expression:
        [| unsafePackLenLiteral |]
          `TH.appE` TH.litE (TH.integerL (fromIntegral len))
          `TH.appE`
            TH.litE (TH.BytesPrimL $ TH.Bytes ptr 0 (fromIntegral len))
      In an equation for ‘TH.lift’:
          TH.lift (BS ptr len)
            = [| unsafePackLenLiteral |]
                `TH.appE` TH.litE (TH.integerL (fromIntegral len))
                `TH.appE`
                  TH.litE (TH.BytesPrimL $ TH.Bytes ptr 0 (fromIntegral
len))
      In the instance declaration for ‘TH.Lift ByteString’
    • Relevant bindings include
        lift :: ByteString -> m TH.Exp
          (bound at libraries/bytestring/Data/ByteString/Internal.hs:292:3)
    |
292 |   lift (BS ptr len) = [| unsafePackLenLiteral |]
    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^...
```
--
Shayne Fletcher
-- 
Shayne Fletcher