Logs: liberachat/#haskell
| 2026-01-16 09:47:09 | × | Brumaire quits (~no@94.140.114.73) (Client Quit) |
| 2026-01-16 09:52:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-16 09:54:05 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2026-01-16 09:54:26 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 09:54:40 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2026-01-16 09:56:03 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-16 09:59:30 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-01-16 10:00:56 | trickard_ | is now known as trickard |
| 2026-01-16 10:04:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 10:05:25 | × | newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Ping timeout: 272 seconds) |
| 2026-01-16 10:08:15 | → | fgarcia joins (~lei@user/fgarcia) |
| 2026-01-16 10:08:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 10:19:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 10:25:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-16 10:35:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 10:39:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 10:45:21 | → | fp joins (~Thunderbi@130.233.70.149) |
| 2026-01-16 10:45:31 | × | fp quits (~Thunderbi@130.233.70.149) (Remote host closed the connection) |
| 2026-01-16 10:47:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 10:48:33 | → | caubert joins (~caubert@user/caubert) |
| 2026-01-16 10:52:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 11:01:45 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2026-01-16 11:03:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 11:08:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-16 11:17:00 | ZLima12_ | is now known as ZLima12 |
| 2026-01-16 11:18:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 11:23:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 11:33:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-16 11:34:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 11:39:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 11:47:56 | <gentauro> | build elm-compiler 0.19.1 (7 years last commit) with stack, just works as a charm. Trying to build "something" with cabal + flakes … "yeah, let me build that ghc 8.10.7 which isn't really needed for scratch. See you in several hours" :| |
| 2026-01-16 11:48:01 | <gentauro> | haha |
| 2026-01-16 11:48:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 11:48:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2026-01-16 11:48:27 | <gentauro> | «avoid success at all costs» (Y) |
| 2026-01-16 11:51:27 | × | dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2026-01-16 11:52:05 | → | dyniec joins (~dyniec@dybiec.info) |
| 2026-01-16 11:52:30 | <danza> | it's not that bad |
| 2026-01-16 11:52:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-16 11:54:16 | <gentauro> | I guess it has to do with Snoyman transitioning to Rust :'( |
| 2026-01-16 11:57:05 | × | Enrico63 quits (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2026-01-16 12:01:34 | <danza> | cabal has improved quite a lot |
| 2026-01-16 12:01:39 | → | chewybread joins (~chewybrea@240b:10:9502:4100:8c87:65e5:9de1:f975) |
| 2026-01-16 12:01:39 | × | chewybread quits (~chewybrea@240b:10:9502:4100:8c87:65e5:9de1:f975) (Changing host) |
| 2026-01-16 12:01:39 | → | chewybread joins (~chewybrea@user/chewybread) |
| 2026-01-16 12:02:56 | × | dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2026-01-16 12:03:17 | → | Zemy joins (~Zemy@2600:100c:b0ab:2acb:a81f:adff:fe14:77e5) |
| 2026-01-16 12:03:17 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-16 12:03:44 | → | dyniec joins (~dyniec@dybiec.info) |
| 2026-01-16 12:03:54 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-16 12:03:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 12:08:07 | × | Zemy quits (~Zemy@2600:100c:b0ab:2acb:a81f:adff:fe14:77e5) (Ping timeout: 264 seconds) |
| 2026-01-16 12:08:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 12:11:42 | <gentauro> | danza: it might just be me who don't seem to grasp how `flakes` work. If I do `nix shell --extra-experimental-features flakes --extra-experimental-features nix-command github:NixOS/nixpkgs?ref=nixos-25.05#haskell.compiler.ghc8107` it seems to actually get the `ghc` from NixOS cache |
| 2026-01-16 12:12:05 | <danza> | you are conflating nix with cabal. Also, there is #nixos |
| 2026-01-16 12:12:21 | <gentauro> | but, when I use `nix build …` it just decides to build `ghc8107` from scratch |
| 2026-01-16 12:12:26 | <gentauro> | danza: most likely |
| 2026-01-16 12:12:47 | <gentauro> | I'm not use to neither of them. I have kept myself to `stack` which seems to be the "thing that JUST worked" |
| 2026-01-16 12:12:50 | <gentauro> | :-\ |
| 2026-01-16 12:13:14 | <danza> | well try to add nix to stack XD |
| 2026-01-16 12:13:23 | <gentauro> | xD |
| 2026-01-16 12:13:45 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-01-16 12:14:21 | <gentauro> | nah, I usually just tend to drop whatever I'm doing and move on to "greener fields". Used ot be a "gentoo user". I can't make myself to go back to that |
| 2026-01-16 12:14:42 | <Vq> | You could do it the old fashioned way without flakes |
| 2026-01-16 12:15:37 | <gentauro> | Vq: any exp with flakes? I kind of "not sure" it's the way cos I had to add `--extra-experimental-features` … |
| 2026-01-16 12:15:40 | → | Googulator13 joins (~Googulato@team.broadbit.hu) |
| 2026-01-16 12:15:49 | <gentauro> | (invest time to learn that, if, it's not gonna be a thing) |
| 2026-01-16 12:17:10 | <Vq> | gentauro: I have experience with flakes, but I haven't used 'nix shell'. |
| 2026-01-16 12:19:41 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds) |
| 2026-01-16 12:19:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 12:21:08 | <Lycurgus> | >: |
| 2026-01-16 12:21:31 | <gentauro> | Vq: I'm looking for the `flakes` replacement to `nix-shell`. I though it would be as simple as `nix shell` :) |
| 2026-01-16 12:21:34 | → | xff0x joins (~xff0x@2405:6580:b080:900:c589:6b53:dd18:5a14) |
| 2026-01-16 12:21:50 | <gentauro> | (sometimes you "just" want to try someting out in a sandbox, before installing it) |
| 2026-01-16 12:21:51 | <Lycurgus> | devenv? |
| 2026-01-16 12:22:33 | <Lycurgus> | also lemme say ftr, claude can strip nix outta ihp |
| 2026-01-16 12:22:46 | <gentauro> | `ihp`? |
| 2026-01-16 12:23:15 | <Lycurgus> | a pkg |
| 2026-01-16 12:24:11 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2026-01-16 12:24:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 12:24:34 | <gentauro> | I seem to be stucked in "old-school" NixOS xD |
| 2026-01-16 12:25:36 | <Lycurgus> | https://eg.meansofproduction.biz/eg/index.php/NixOS |
| 2026-01-16 12:26:33 | <Lycurgus> | those were the lean years in comparison to now |
| 2026-01-16 12:27:50 | <Vq> | gentauro: Put this in a file with a name like ghc810_shell.nix: with import (builtins.fetchTarball { name = "nixos-25.05-2026-01-16"; url = "https://github.com/nixos/nixpkgs/archive/ac62194c3917d5f474c1a844b6fd6da2db95077d.tar.gz"; sha256 = "sha256:0v6bd1xk8a2aal83karlvc853x44dg1n4nk08jg3dajqyy0s98np"; }) {}; mkShell { buildInputs = [ haskell.compiler.ghc810 ]; } |
| 2026-01-16 12:28:06 | <Vq> | gentauro: And then invoke it with: nix-shell ghc810_shell.nix |
| 2026-01-16 12:28:26 | <Vq> | gentauro: That's the old fashioned way to do version pinning. |
| 2026-01-16 12:28:58 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 12:29:14 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 12:32:24 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 12:33:15 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-16 12:33:25 | <gentauro> | Vq: Oh, I knew that. That's how I have been doing it up til now. However, projects seem to have moved on to `flakes`. So I'm trying to "learn" how to do stuff like that, but in flakes. |
| 2026-01-16 12:33:44 | <gentauro> | the `nix shell --exp … flakes` and the GHC compiler actually works |
| 2026-01-16 12:34:18 | <gentauro> | while I'n in `nix shell` with the GHC, I try to do the `nix build …` and point to the flakes.nix and … yeah, it decides to build the ghc8107 anyway |
| 2026-01-16 12:34:33 | <gentauro> | I'm guessing it's just me who don't know how to "flakes" |
| 2026-01-16 12:34:35 | <gentauro> | :) |
| 2026-01-16 12:35:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 12:37:00 | <Vq> | gentauro: If you write your own flake you can define what the default package, shell and dev-shell is. Now I guess you're relying on what happens to be in nixpkgs. |
| 2026-01-16 12:39:33 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 12:39:44 | → | danza joins (~danza@user/danza) |
| 2026-01-16 12:39:59 | <gentauro> | Vq: I can actually build the `flake.nix` package. That said, I would like to be able to tell the `nix build` «Hey, here is ghc8107 cached, please use that instead of building it from scratch". I will keep investigating and probably become wiser |
All times are in UTC.