9.4 branch build failure on ByteString/Internal.hs

[Shayne Fletcher]

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 at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20220524/3e192d0a/attachment.html>