| 15 Sep 2025 |
 emily | implicit parameters don't screw with the semantics of normal type classes | 13:37:03 |
 MangoIV | yeah but they're special cased in all kinds of ways | 13:37:24 |
| emily | is there an obstacle to still using Hadrian to build one stage but then layering those with Nix? | 13:37:39 |
| emily | if that could solve cross then it feels like an easier intermediate step | 13:37:51 |
| MangoIV | you can just --freeze-stagen | 13:38:18 |
 sterni (he/him) | more packages are just normal cabal packages in tree now, something that John Ericson has worked on. There is an effort to utilize this for building GHC https://github.com/stable-haskell/ghc/pull/89, though they are using cabal.project files instead of Nix which apparently also causes its own issues. | 13:38:34 |
| emily | well I'm guessing it's tricky in some way or it'd have already been done | 13:38:40 |
 Teo (he/him) | I don't think so! I think that would be a great way to get started. Build stage1 with Hadrian and then let nix build stage2. Or even easier, build stage2 with hadrian and then build a stage3 with nix | 13:38:43 |
| MangoIV | what's the point of building GHC with cabal, btw? there are some people that want that | 13:39:03 |
