Logs: liberachat/#haskell
| 2025-11-03 13:51:21 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 250 seconds) |
| 2025-11-03 13:52:57 | [exa] | discovers hackage search |
| 2025-11-03 13:53:11 | <[exa]> | ok cool. :D |
| 2025-11-03 13:53:20 | tomsmeding | . o O ( https://xkcd.com/1053/ ) |
| 2025-11-03 13:54:12 | <haskellbridge> | <Morj> I have search keywords in firefox: h for hoogle and ha for hackage, very useful |
| 2025-11-03 13:54:58 | <haskellbridge> | <Morj> For rust instead I type docs.rs/packagename and it also works, except some packages use underscores instead of tirets in the name |
| 2025-11-03 13:55:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-03 13:55:24 | <tomsmeding> | hyphens? |
| 2025-11-03 13:55:30 | <haskellbridge> | <Morj> Yes, those |
| 2025-11-03 13:56:04 | <haskellbridge> | <Morj> Should we create a new country to get an "hs" top-level domain? Or maybe another would work better? |
| 2025-11-03 13:56:29 | <sshine> | .fun? |
| 2025-11-03 13:56:37 | <sshine> | it already exists :) |
| 2025-11-03 13:57:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 13:57:15 | <haskellbridge> | <Morj> :3 |
| 2025-11-03 13:57:17 | <dminuoso> | Morj: gTLDs are a thing! No need for a full country anymore, you just need about 2 imperial bags of cash. |
| 2025-11-03 13:57:40 | <dminuoso> | Oh and you need to pay an annual fee of 3 lumps of gold. |
| 2025-11-03 13:57:40 | <haskellbridge> | <Morj> But a gtld can't be two letters, right? |
| 2025-11-03 13:58:28 | <dminuoso> | Morj: Well, one of the imperial bags of cash is just bribing someone at ICANN. |
| 2025-11-03 13:58:56 | <dminuoso> | But yeah. |
| 2025-11-03 13:59:30 | <haskellbridge> | <Morj> I propose a reunification of serbo-croatia, the tld would be an abbreviation of hrvatsko-serbsko |
| 2025-11-03 13:59:33 | <dminuoso> | .hask is available. |
| 2025-11-03 13:59:49 | <dminuoso> | First domain shall be category.hask. |
| 2025-11-03 14:00:37 | <sshine> | Mroj: it seems that ICANN changed their policy and generally allow two-letter gTLDs that are not ccTLDs. |
| 2025-11-03 14:00:47 | <sshine> | Morj: https://www.icann.org/en/contracted-parties/registry-operators/services/reserved-names/two-character-ascii-labels |
| 2025-11-03 14:01:58 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-03 14:02:50 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 14:03:03 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:04:48 | × | deptype quits (~deptype@2406:b400:3a:73c2:c5bd:c4ff:b106:a7ad) (Remote host closed the connection) |
| 2025-11-03 14:05:01 | → | deptype joins (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) |
| 2025-11-03 14:08:52 | × | prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 14:12:10 | <dminuoso> | I just wanted to debug a performance regression, so I tried `--enable-profiling` and cabal is failing to find modules for an internal dependencies: https://paste.tomsmeding.com/23kpMrLR |
| 2025-11-03 14:14:13 | <dminuoso> | What does "installed the profiling libraries" even mean, here? |
| 2025-11-03 14:14:44 | <dminuoso> | Is GHC looking for .p_hi files or soemthing along the lines? |
| 2025-11-03 14:15:12 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-03 14:17:36 | <tomsmeding> | dminuoso: have you tried rm -r ~/.cabal/store/ghc-9.6.6*? :p |
| 2025-11-03 14:18:02 | <dminuoso> | why would I have to nuke stuff from cabal store? |
| 2025-11-03 14:18:15 | <tomsmeding> | because this looks like a borked install of parser-combinators and attoparsec in the store |
| 2025-11-03 14:18:38 | <tomsmeding> | if nuking the store doesn't help, that rules this out |
| 2025-11-03 14:18:41 | <dminuoso> | Would this be the time where I admit that I may be using haskell.nix? |
| 2025-11-03 14:18:51 | <tomsmeding> | probably, and where I sign off because I have no clue |
| 2025-11-03 14:19:19 | <dminuoso> | This is why my question was rather about what cabal is barking about rather. |
| 2025-11-03 14:19:23 | <dminuoso> | Since it is just plain cabal-install |
| 2025-11-03 14:19:49 | <tomsmeding> | normally cabal would realise that a particular dependency has not been built for profiling yet, and start doing so |
| 2025-11-03 14:19:54 | <Leary> | My guess: It means that the ghc cabal is using has non-profiling versions of the libraries registered in its global package database, which get in the way of it building its own. |
| 2025-11-03 14:22:09 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-03 14:24:36 | <dminuoso> | So is profiling similar to cabal flags in that respect? |
| 2025-11-03 14:24:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-03 14:25:37 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 14:25:51 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:27:34 | → | prdak2 joins (~Thunderbi@user/prdak) |
| 2025-11-03 14:28:24 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-11-03 14:28:24 | × | prdak2 quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-11-03 14:30:48 | → | Square joins (~Square4@user/square) |
| 2025-11-03 14:31:08 | → | prdak joins (~Thunderbi@user/prdak) |
| 2025-11-03 14:37:59 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-03 14:39:26 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2025-11-03 14:40:37 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 14:40:50 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 14:44:39 | trickard_ | is now known as trickard |
| 2025-11-03 14:53:32 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-03 14:55:41 | <davean> | dminuoso: no, profiling is a build option for GHC, cabal usually won't rebuild something for profiling, it builts it the first time for it. |
| 2025-11-03 14:56:26 | <tomsmeding> | if I use `cabal build --enable-profiling` on a project where I have not done so before, cabal definitely starts rebuidling the world with profiling. |
| 2025-11-03 14:56:48 | <davean> | yes because its a different build config |
| 2025-11-03 14:57:17 | <tomsmeding> | makes sense; I was just arguing against "cabal usually won't rebuild something for profiling" |
| 2025-11-03 14:57:52 | <davean> | right, it builds a build way one time usually. I'm addressing why I think haskell.nix is breaking it |
| 2025-11-03 14:58:35 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 14:58:36 | <davean> | I think dminuoso can fix this either by setting profiling in cabal.project or in the flake with configureArgs |
| 2025-11-03 15:02:23 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-11-03 15:02:27 | <davean> | dminuoso: I would specificly recomend setting profiling: true in your cabal.project before entering the flake |
| 2025-11-03 15:07:45 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-03 15:07:59 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-11-03 15:08:13 | → | prdak1 joins (~Thunderbi@user/prdak) |
| 2025-11-03 15:10:20 | × | deptype quits (~deptype@2406:b400:3a:73c2:422:9c14:cc52:da31) (Remote host closed the connection) |
| 2025-11-03 15:10:22 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-03 15:10:39 | → | deptype joins (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) |
| 2025-11-03 15:10:49 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2025-11-03 15:10:49 | prdak1 | is now known as prdak |
| 2025-11-03 15:24:57 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-11-03 15:25:36 | → | Square joins (~Square4@user/square) |
| 2025-11-03 15:28:09 | × | Nachtgespenst quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-03 15:30:22 | × | deptype quits (~deptype@2406:b400:3a:73c2:a4a3:fb37:661e:a962) (Remote host closed the connection) |
| 2025-11-03 15:30:35 | → | deptype joins (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) |
| 2025-11-03 15:31:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-03 15:33:19 | <dminuoso> | davean: Ah turns out that does not work. Seems to be an extension of https://github.com/haskell/cabal/issues/6343 |
| 2025-11-03 15:33:56 | <dminuoso> | https://github.com/input-output-hk/haskell.nix/issues/887#issuecomment-1489632156 has some details about this. |
| 2025-11-03 15:34:56 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-03 15:35:16 | <dminuoso> | But at least I can communicate this via NixOS modules to haskell.nix |
| 2025-11-03 15:35:27 | <dminuoso> | Or I guess "Nix modules" rather? Not sure. |
| 2025-11-03 15:38:27 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-03 15:38:46 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-03 15:40:46 | → | FANTOM joins (~fantom@212.228.181.156) |
| 2025-11-03 15:42:07 | <davean> | dminuoso: no, I don't mean using ghc-options |
| 2025-11-03 15:42:29 | <davean> | Though the haskell.nix issue matches sadly. |
| 2025-11-03 15:43:04 | <davean> | haskell.nix has so many rough edges :( |
| 2025-11-03 15:43:30 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-03 15:45:06 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-03 15:50:20 | × | tromp quits (~textual@2001:1c00:3487:1b00:6ca3:baf2:b6ce:6247) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-03 15:50:24 | × | deptype quits (~deptype@2406:b400:3a:73c2:6c77:97e3:113e:dea6) (Remote host closed the connection) |
| 2025-11-03 15:50:40 | → | deptype joins (~deptype@2406:b400:3a:73c2:d8b8:cae8:ab88:765a) |
| 2025-11-03 15:51:19 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
All times are in UTC.