Ema is failing to build

[JonathanReeve]

After updating the flake, I've been getting this error when running ./bin/run:

error: builder for '/nix/store/d251chnr1hcwyc4nkhyh94a6zbr6h3d9-ema-0.8.0.0.drv' failed with exit code 1;
       last 10 log lines:
       >                    @(GenericRoute
       >                        RSubMSelf
       >                        '[WithModel MSelf, WithSubModels '[Proxy "mself1", MSelf]]))
       >       When typechecking the code for ‘subModels’
       >         in a derived instance for ‘HasSubModels RSubMSelf’:
       >         To see the code I am typechecking, use -ddump-deriv
       >     |
       > 217 | deriveIsRoute
       >     | ^^^^^^^^^^^^^...
       > [2 of 2] Compiling Main             ( test/type-errors/Spec.hs, dist/build/test-type-errors/test-type-errors-tmp/Main.o, dist/build/test-type-errors/test-type-errors-tmp/Main.dyn_o )
       For full logs, run 'nix log /nix/store/d251chnr1hcwyc4nkhyh94a6zbr6h3d9-ema-0.8.0.0.drv'.
error: 1 dependencies of derivation '/nix/store/nhdlhc6wwchj1b2z02v60ag614m8siim-ghc-9.0.2-with-packages.drv' failed to build                                                                                                           
error: 1 dependencies of derivation '/nix/store/lz0a19jrkas055ncvnlqp9mm0s6rh78p-ghc-shell-for-jonreeve-com-0.1.0.1-env.drv' failed to build                                                                                                           

The full error message is here.

I can't really make heads or tails of this yet. @srid , any ideas?

[srid]

I'll take a look. You also want to pin to this version in flake.nix: ema.url = "github:srid/ema/0.8.2.0";

[srid]

#25

[JonathanReeve]

Thanks! Looks great. It builds locally now. Do you know what could be causing nix flake check to fail, in GitHub Actions?

[srid]

you can remove it.

and #26

[JonathanReeve]

Thanks!