!RbXGJhHMsnQcNIDFWN:nixos.org

Haskell in Nixpkgs/NixOS

720 Members
For discussions and questions about Haskell with Nix, cabal2nix and haskellPackages in nixpkgs | Current Docs: https://haskell4nix.readthedocs.io/ | More Nix: #community:nixos.org | More Haskell: #haskell-space:matrix.org144 Servers

Load older messages


SenderMessageTime
17 Feb 2025
@adestice:matrix.org@adestice:matrix.org joined the room.18:04:23
18 Feb 2025
@augyg:matrix.orglazyLambdahttps://input-output-hk.github.io/haskell.nix/tutorials/getting-started#scaffolding I see this works for cabal.project and stack.yaml, does haskell.nix also work for plain .cabal?23:31:41
19 Feb 2025
@joaomoreira:matrix.orgJoão Moreira changed their profile picture.03:29:48
@alex:tunstall.xyzAlex A message in #haskell:matrix.org has brought microhs to my attention. According to the README, it can be bootstrapped with Hugs so I'm going to try going all the way to building GHC from source. If successful, it could resolve some of our booting woes. 09:54:08
@toonn:matrix.orgtoonn I'm pretty sure someone in #bootstrappable @ Libera.Chat said that way lies pain. 10:06:53
@toonn:matrix.orgtoonn Don't let that stop you of course. Just expect to have to get your hands dirty to the tune of building multiple intermediate GHCs. 10:07:44
@alex:tunstall.xyzAlex It's worth a try ¯\(ツ)10:13:34
@alex:tunstall.xyzAlex * It's worth a try ¯\_(ツ)_/¯ 10:13:39
@alex:tunstall.xyzAlex hugs is marked broken on Darwin.
Apparently, this fork renders it buildable on modern macOS systems.
Maybe the fork's source or its patches could be used to fix the hugs package?
10:21:03
@alex:tunstall.xyzAlex MacOS or not, Hugs has regressed on latest master and haskell-updates. It works fine on 24.11. 11:26:11
@me:linj.techlinjRedacted or Malformed Event13:04:07
@me:linj.techlinj* microhs is itself bootstrappable so probably we do not need hugs in the bootstrap chain https://discourse.haskell.org/t/what-s-needed-to-bootstrap-ghc-with-hugs/6205/4313:04:17
@toonn:matrix.orgtoonn It's bootstrappable *with* hugs. 13:08:47
@toonn:matrix.orgtoonn Otherwise you're relying on GHC to compile Microhs to compile GHC... 13:09:11
@alex:tunstall.xyzAlex
$ /nix/store/pig9c96ln4z91ds4d37iybvj6jzsghq3-microhs-0.11.7.1/bin/mhs --version
MicroHs, version 0.11.7.1, combinator file version v7.0
$ /nix/store/pig9c96ln4z91ds4d37iybvj6jzsghq3-microhs-0.11.7.1/bin/mcabal --version
MicroCabal 0.5.0.0

Off to a good start.
I'll try building Hadrian next, but if it's too incompatible I'll try 9.4 or older with Make.

16:30:54
20 Feb 2025
@angerman:matrix.organgerman
In reply to @sternenseemann:systemli.org
yeah, I'm very interested in what hsyl20 is working on / John has been working towards upstream as well. I've been holding out for a long time for something like that to materialize or all the hadrian regressions being fixed. The latter was probably never going to happen. Now the time has come where we can no longer backpin everything to 9.4 where hadrian doesn't agree with us, so I'll have to bite the bullet and figure a way to do this stuff with hadrian for now. Currently trying to find a way to do this without tricking hadrian into using the native logic, though I may just give up and do something similar to installStage1
You seem to have given him the impression that getting rid of Hadrian is nothing anyone wants.
23:20:16
@sternenseemann:systemli.orgsterni (he/him)then something got lost in communication :)23:24:23
@maralorn:maralorn.demaralorn
In reply to @angerman:matrix.org
You seem to have given him the impression that getting rid of Hadrian is nothing anyone wants.
Whoever got that impression must have caught weird glimpses of sterni. I can assure that sterni complains about hadrian a lot.
23:24:41
@sternenseemann:systemli.orgsterni (he/him) angerman: I felt like this was the most valuable immediate feedback I could give at the time since I assumed this was probably something people that aren't packaging GHC wouldn't immediately think about. Though, on reflection, it was maybe worded too strongly: Even if cabal-install is annoying to bootstrap; if the new build system is simpler, easier to change and has less undercooked areas it'd be much better than hadrian. 23:28:55
@sternenseemann:systemli.orgsterni (he/him)I still want to look at the actual implementation to figure out how bespoke the usage of cabal-install is23:30:43
@angerman:matrix.organgermanI'm being faced with "why are we doing this even? Hadrian is working perfectly fine, no one (link to issue) wants this".23:37:51
@angerman:matrix.organgerman😅23:38:00
@angerman:matrix.organgerman Untangling this mess of ghc and hadrian's symbiotic relationship should result in (a) better separation of conerns. (b) better cabal-install. I do not say we will not need to make cabal-install better, of course we do, but let's stop sinking time into hadrian, that could be used to improve cabal for everyone, not jsut some bespoke build system for GHC, which is also very atrocious. 23:39:46
21 Feb 2025
@alexfmpe:matrix.orgalexfmpe angerman: sterni with https://github.com/NixOS/nixpkgs/pull/383528 possibly being the last step in the nixpkgs-js-backend track, I'm thinking about messing with mobile soon
I ran into the TH issue before on https://github.com/NixOS/nixpkgs/pull/355543 and am wondering how to address that
01:50:37
@alexfmpe:matrix.orgalexfmpeIIUC haskell.nix does target TH via qemu01:50:49
@alexfmpe:matrix.orgalexfmpewhereas reflex-platform, even in its haskell.nix based rewrite, does host TH with some splices plugin or something01:51:38
@alexfmpe:matrix.orgalexfmpeI'd like to get at least one of them in nixpkgs, but don't know how they compare01:52:37
@alexfmpe:matrix.orgalexfmpe cc John Ericson 01:53:51
@Ericson2314:matrix.orgJohn Ericson alexfmpe: IMO if the staging iports things lands 01:58:35
@Ericson2314:matrix.orgJohn Ericsonthe non-jank version of obsidian's splicing patch becomes possible01:58:45

Show newer messages


Back to Room ListRoom Version: 6