| 4 Apr 2025 |
 hellwolf | oh, that's definitely surprising. I don't get the smartness part yet. | 11:46:27 |
 maralorn | You don’t get why it’s smart or you don’t get the specification?^^ | 11:50:50 |
| hellwolf | I don't get why it is smart. | 11:51:04 |
| maralorn | Well in this case the library can demand a compatibility lib (old-locale) based on the available version of the time library. Seems useful to me. | 11:55:31 |
| maralorn | Although I can see why someone would want a less smart/complex build system 😄 | 11:56:02 |
| hellwolf | :D all I want is HLS for 9.12 | 12:01:46 |
| hellwolf | hopefully before xmas | 12:01:48 |
| hellwolf | gonna find some examples from pkgs/development/haskell-modules/configuration-nix.nix to understand how to override cpphs | 12:02:54 |
| maralorn | I think we can do that. 😉 | 14:25:34 |
| hellwolf | I fixed a bunch of build errors for hls 912. Now I am stuck at ghc-exactprint. to be continued tomorrow | 22:30:01 |
| 5 Apr 2025 |
|  Divya joined the room. | 08:17:12 |
| Divya | emily: Why can't GHC be fully bootstrapped from source? We (Guix) bootstrap GHC uptp 9.24from GHC 4 and it works. | 08:22:20 |
| Divya | * emily: Why can't GHC be fully bootstrapped from source? We (Guix) bootstrap GHC uptp 9.4 from GHC 4 and it works. | 08:22:32 |
 emily | what do you build GHC 4 with? | 08:22:54 |
| Divya | * emily: Why can't GHC be fully bootstrapped from source? We (Guix) bootstrap GHC upto 9.4 from GHC 4 and it works. | 08:22:58 |
| emily | I know there are various designs on using Hugs to bootstrap or the like, but I didn't think anyone had actually managed to construct a complete chain. there are a lot of issues | 08:23:15 |
| Divya | In reply to @emilazy:matrix.org
I know there are various designs on using Hugs to bootstrap or the like, but I didn't think anyone had actually managed to construct a complete chain. there are a lot of issues Yeah, I realized. The chain from GHC 4 to GHC 9.2 isn't complete yet. But probably can be done. | 08:32:31 |
| emily | that chain isn't really the hard part | 08:32:43 |
| emily | it's getting a GHC in the first place | 08:32:46 |
| emily | how is GHC 4 built? | 08:32:52 |
| Divya | In reply to @emilazy:matrix.org
how is GHC 4 built? GHC 4 is bootstrapped from source. | 08:35:01 |
| emily | huh. how? Hugs? | 08:42:20 |
