Trouble building GHC

[Krzysztof Gogolewski]

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