Trouble building GHC

[Lyle Kopnicky]

 Yes, that fixed it, thank you!

On Jun 1, 2023 at 2:28:03 AM, Krzysztof Gogolewski <krz.gogolewski at gmail.com>
wrote:

> Hi Lyle,
>
> There was a temporary build issue, fetching newest master should fix it.
>
> Krzysztof
>
> On Thu, Jun 1, 2023 at 12:03 AM Lyle Kopnicky <lists at qseep.net> wrote:
>
> >
>
> > Thanks, Georgi and Sebastian.
>
>
>
> The instructions at https://github.com/alpmestan/ghc.nix and
> https://ghc.dev/ seem a bit outdated, then. I’m not sure who maintains
> those.
>
>
> In the README.md for ghc.nix, it says to run:
>
>
> nix-shell https://github.com/alpmestan/ghc.nix/archive/master.tar.gz
> --attr devShells.<your-system>.default
>
>
> That failed didn’t work for me and I was told I needed to use nix-develop,
> which worked.
>
>
> Then later, it says to run:
>
>
> $ ./boot && ./configure $CONFIGURE_ARGS # In zsh, use ${=CONFIGURE_ARGS}
>
>
> …which as you pointed out should be updated to configure_ghc.
>
>
> Anyway, that got me further, but I still get several fatal errors of this
> sort:
>
>
> compiler/GHC/Tc/Zonk/Type.hs:1277:13: error:
>
>     • Illegal equational constraint Anno
>
>                                       (StmtLR GhcTc GhcTc (LocatedA (body
> GhcTc)))
>
>                                     ~ SrcSpanAnnA
>
>       (Use GADTs or TypeFamilies to permit this)
>
>     • In the type signature:
>
>         zonkStmt :: Anno (StmtLR GhcTc GhcTc (LocatedA (body GhcTc)))
>
>                     ~ SrcSpanAnnA =>
>
>                     (LocatedA (body GhcTc) -> ZonkTcM (LocatedA (body
> GhcTc)))
>
>                     -> Stmt GhcTc (LocatedA (body GhcTc))
>
>                        -> ZonkBndrTcM (Stmt GhcTc (LocatedA (body GhcTc)))
>
>      |
>
> 1277 | zonkStmt :: Anno (StmtLR GhcTc GhcTc (LocatedA (body GhcTc))) ~
> SrcSpanAnnA
>
>      |
>             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
>
> Command failed
>
> Build failed.
>
>
>
> Georgi, I might just ping you on Slack about it. (We’re coworkers.)
>
>
> Thanks,
>
> Lyle
>
> _______________________________________________
>
> ghc-devs mailing list
>
> ghc-devs at haskell.org
>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20230603/6d5727f8/attachment.html>