| 7 Sep 2025 |
 sterni (he/him) | do you think this thunderbird bug is trying to tell me something | 00:38:07 |
 emily | I looked at that screenshot before seeing the message and was like yeah that's slightly more than I expected but I guess there have been a lot of PR comments today | 00:42:16 |
| sterni (he/him) | I do not remember how I fixed this last time and it does not seem to be affected by restarting, so I'm stuck with you indefinitely | 10:50:38 |
 Wolfgang Walther | Looks like corruption in the thunderbird profile. What helped me in this case was deleting the respective file in ~/.thunderbird/.../ImapMail/... and downloading it again. Of course.. only do that with IMAP, not with POP3. | 11:00:10 |
| sterni (he/him) | Yeah, I think I deleted and redownloaded something last time. | 11:02:01 |
 maralorn | Huh, a wild wolfgangwalther appeared. | 11:12:14 |
 bglgwyng | I'm trying to let Nix fetch index-tarball and cabal use it.
repository hackage.haskell.org
url: file://${./01-index.tar.gz}
But it didn't work. Has anyone tried something similar?
| 12:56:25 |
| bglgwyng | I read https://cabal.readthedocs.io/en/3.4/installing-packages.html this page, and I don't even sure that it's possible to configure a repository only with the index tarball only. | 12:56:50 |
| bglgwyng | I just tried url: file://${repo} which contains 00-index.tar.gz and got
> cabal-install version 3.14.2.0
> compiled using version 3.14.2.0 of the Cabal library
> Warning: Caught exception during _mirrors lookup:res_query: does not exist
> (Connection refused)
> Warning: No mirrors found for
> file:///nix/store/7kry9ps6yridc97gpp4kp8vcd99vlnyx-repo
> /nix/store/7kry9ps6yridc97gpp4kp8vcd99vlnyx-repo/root.json: openBinaryFile: does not exist (No such file or directory)
| 13:42:39 |
| bglgwyng | For some reasone, cabal behaves differently from my local cabal(not in Nix sandbox). | 13:43:12 |
 toonn | Builds are sandboxed by default on Linux, so network access outside of FODs is prohibited. | 13:54:05 |
 bryan | yes, but that's an unrelated warning. @bglgwyng:matrix.org the error is that cabal is looking for a file 'root.json' next to the tarball. Still I think you'll run into other problems eventually... That root.json is part of a partial TUFT implementation that is gonna look at timestamps and isn't reproducible | 14:00:30 |
| bryan | * yes, but that's an unrelated warning. @bglgwyng:matrix.org the error is that cabal is looking for a file 'root.json' next to the tarball. Still I think you'll run into other problems eventually... That root.json is part of a partial TUF implementation that is gonna look at timestamps and isn't reproducible | 14:00:38 |
| bglgwyng | I expected network not gonna happen as I configure cabal to use only local repository. But it still happens and it's another problem. | 14:08:59 |
| bglgwyng | As chreekat said, what confuses me is that cabal in Nix tries to read root.json while local cabal doesn't do so and successfully read the package index. | 14:09:40 |
| bglgwyng | * I expected network access not gonna happen as I configured cabal to use only local repository. But it still happens and it's another problem. | 14:15:11 |
| bglgwyng | To provide context, I made deterministic cabal build from plan.json in Nix, and now am trying to generate plan.json deterministic in Nix. | 14:26:21 |
| bglgwyng | https://github.com/haskell/cabal/issues/11185
seems relevant.. | 15:14:19 |
| emily | everything good for me to hit the button on https://github.com/NixOS/nixpkgs/pull/440271 now that the unpins are moved out? | 16:04:13 |
| sterni (he/him) | can't believe we're on track to get this done in under a year | 19:36:22 |
| emily | all I want for Christmas is someone to make Hadrian cross work | 20:20:27 |
| emily | except not so quickly that I feel like I wasted all that time | 20:20:40 |
 Alex | At this point, would it be less effort to compile GHC with MicroHs?
(I haven't been trying in a while, need to revisit it when I get the time.) | 20:21:21 |
| emily | I doubt it, since I sorted the LLVM patches in a few days but AFAIK MicroHs is lacking several major type system extensions to even think about compiling GHC? | 20:22:23 |
| Alex | Last I checked, the main limitation was DataKinds being missing + a lot of GHC-specific code like the fast strings. | 20:24:09 |
| Alex | I'm willing to rewrite the type checker if necessary, and the GHC problems can probably be fixed with a lot of tedious CPP. | 20:25:06 |
|  Ari Ade Supriyatna joined the room. | 20:26:56 |
 Artem | often times, GHC HEAD can't be compiled with a GHC just out of the support window (last three releases or so). I'd expect it to be a non-trivial projecct to make MHS compile GHC.. | 20:32:24 |
| Artem | * often times, GHC HEAD can't be compiled with a GHC just out of the support window (last three releases or so). I'd expect it to be a non-trivial project to make MHS compile GHC... | 20:32:37 |
| emily | does GHC not use type families or generics? | 21:02:18 |
