<html><body><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" type="cite"><div><div dir="ltr"><font color="#000000"><span style=""></span></font>Thanks, Georgi and Sebastian.</div>
</div>
    </blockquote><div dir="ltr"><br></div><div dir="ltr">The instructions at <a href="https://github.com/alpmestan/ghc.nix" style="--dark-color: var(--NSColor_linkColor);">https://github.com/alpmestan/ghc.nix</a> and <a href="https://ghc.dev/" style="--dark-color: var(--NSColor_linkColor);">https://ghc.dev/</a> seem a bit outdated, then. I’m not sure who maintains those.</div><div dir="ltr"><br></div><div dir="ltr">In the <a href="https://readme.md/" class="linkified" target="_blank" style="--dark-color: var(--NSColor_linkColor);">README.md</a> for ghc.nix, it says to run:</div><div dir="ltr"><br></div><div dir="ltr"><pre style="font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;box-sizing:border-box;font-size:13.6px;margin-top:0px;margin-bottom:0px;padding:16px;overflow:auto;line-height:1.45;color:rgb(31,35,40);background-color:var(--color-canvas-subtle);border-radius:6px;word-break:normal">nix-shell <a href="https://github.com/alpmestan/ghc.nix/archive/master.tar.gz" style="--dark-color: var(--NSColor_linkColor);">https://github.com/alpmestan/ghc.nix/archive/master.tar.gz</a> --attr devShells.<span class="pl-k" style="box-sizing:border-box;color:var(--color-prettylights-syntax-keyword)"><</span>your-system<span class="pl-k" style="box-sizing:border-box;color:var(--color-prettylights-syntax-keyword)">></span>.default
</pre><div>That failed didn’t work for me and I was told I needed to use nix-develop, which worked.<br></div></div><div dir="ltr"><div dir="ltr"><br></div><div dir="ltr">Then later, it says to run:</div><div dir="ltr"><br></div><div dir="ltr"><pre style="font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;box-sizing:border-box;font-size:13.6px;margin-top:0px;margin-bottom:0px;padding:16px;overflow:auto;line-height:1.45;color:rgb(31,35,40);background-color:var(--color-canvas-subtle);border-radius:6px;word-break:normal">$ ./boot <span class="pl-k" style="box-sizing:border-box;color:var(--color-prettylights-syntax-keyword)">&&</span> ./configure <span class="pl-smi" style="box-sizing:border-box;color:var(--color-prettylights-syntax-storage-modifier-import)">$CONFIGURE_ARGS</span> <span class="pl-c" style="box-sizing:border-box;color:var(--color-prettylights-syntax-comment)"><span class="pl-c" style="box-sizing:border-box;color:var(--color-prettylights-syntax-comment)">#</span> In zsh, use ${=CONFIGURE_ARGS}</span>
</pre>…which as you pointed out should be updated to <code style="border:1px solid rgb(206,206,206);background-color:rgb(248,248,248);padding:0px 3px;border-radius:4px">configure_ghc</code>.</div><div dir="ltr"><br></div><div dir="ltr">Anyway, that got me further, but I still get several fatal errors of this sort:<br><br></div><div dir="ltr"><div><pre style="border:1px solid rgb(206,206,206);background-color:rgb(248,248,248);padding:10px;border-radius:4px;margin-top:0px;margin-bottom:0px">compiler/GHC/Tc/Zonk/Type.hs:1277:13: error:<br>    • Illegal equational constraint Anno<br>                                      (StmtLR GhcTc GhcTc (LocatedA (body GhcTc)))<br>                                    ~ SrcSpanAnnA<br>      (Use GADTs or TypeFamilies to permit this)<br>    • In the type signature:<br>        zonkStmt :: Anno (StmtLR GhcTc GhcTc (LocatedA (body GhcTc)))<br>                    ~ SrcSpanAnnA =><br>                    (LocatedA (body GhcTc) -> ZonkTcM (LocatedA (body GhcTc)))<br>                    -> Stmt GhcTc (LocatedA (body GhcTc))<br>                       -> ZonkBndrTcM (Stmt GhcTc (LocatedA (body GhcTc)))<br>     |<br>1277 | zonkStmt :: Anno (StmtLR GhcTc GhcTc (LocatedA (body GhcTc))) ~ SrcSpanAnnA<br>     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...<br>Command failed<br>Build failed.</pre></div></div><div dir="ltr"><br></div><div dir="ltr">Georgi, I might just ping you on Slack about it. (We’re coworkers.)</div><div dir="ltr"><br></div><div dir="ltr">Thanks,</div><div dir="ltr">Lyle</div></div>
</div></body></html>