Logs: liberachat/#haskell
| 2025-10-16 11:40:45 | → | fp joins (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) |
| 2025-10-16 11:42:55 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-16 11:43:12 | → | chele joins (~chele@user/chele) |
| 2025-10-16 11:43:24 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 2025-10-16 11:46:43 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-16 11:47:21 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-16 11:47:41 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-10-16 11:48:46 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-16 11:49:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-16 11:55:23 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds) |
| 2025-10-16 11:55:53 | → | Beowulf joins (florian@2a01:4f9:3b:2d56::2) |
| 2025-10-16 11:56:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-16 11:56:33 | → | mastarija joins (~mastarija@9-173.dsl.iskon.hr) |
| 2025-10-16 11:59:09 | <mastarija> | So, reading the documentation for `seq` I've noticed it says it doesn't guarantee the order of evaluation of it's arguments. e.g. if we do `seq a b` b may be evaluated first. This got me thinking, does this mean using `seq` for accumulators may still build thunks until we reach the base case and try to return a value? |
| 2025-10-16 11:59:13 | <mastarija> | e.g.: https://paste.tomsmeding.com/3Ukj4cLW |
| 2025-10-16 11:59:35 | → | Inline joins (~inline@2a02:8071:57a1:1260:f555:8f5c:221c:b0e5) |
| 2025-10-16 12:00:00 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-10-16 12:01:23 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2025-10-16 12:01:25 | divlamir_ | is now known as divlamir |
| 2025-10-16 12:10:37 | → | Googulator94 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 12:10:51 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 12:12:31 | × | fp quits (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 246 seconds) |
| 2025-10-16 12:13:16 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-16 12:13:58 | → | fp joins (~Thunderbi@130.233.70.16) |
| 2025-10-16 12:15:40 | × | Googulator94 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 12:15:43 | → | Googulator18 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 12:16:01 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-16 12:16:15 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-16 12:20:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-10-16 12:20:06 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-16 12:20:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-16 12:20:31 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-16 12:20:49 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-16 12:20:51 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-10-16 12:22:06 | Googulator18 | is now known as Googulator |
| 2025-10-16 12:22:15 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-16 12:26:23 | × | ubert quits (~Thunderbi@77.119.165.5.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-10-16 12:26:48 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 12:27:00 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-10-16 12:38:04 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-16 12:43:32 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-16 12:45:49 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-10-16 12:46:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-16 12:46:52 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-16 12:47:42 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 12:53:19 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-16 12:54:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-16 12:55:45 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 2025-10-16 12:58:10 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-10-16 12:59:47 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-16 13:01:10 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 13:01:16 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-10-16 13:01:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-16 13:02:05 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2025-10-16 13:02:13 | trickard_ | is now known as trickard |
| 2025-10-16 13:03:46 | × | mastarija quits (~mastarija@9-173.dsl.iskon.hr) (Quit: Client closed) |
| 2025-10-16 13:04:23 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-16 13:04:35 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-16 13:07:31 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-16 13:09:25 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-16 13:10:43 | → | Googulator92 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 13:10:43 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 13:12:03 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-16 13:12:16 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-16 13:16:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-16 13:29:30 | → | Everything joins (~Everythin@46.96.48.125) |
| 2025-10-16 13:32:28 | → | Inline_ joins (~inline@2a02:8071:57a1:1260:c8ba:576d:eea7:8180) |
| 2025-10-16 13:34:54 | × | Inline quits (~inline@2a02:8071:57a1:1260:f555:8f5c:221c:b0e5) (Ping timeout: 244 seconds) |
| 2025-10-16 13:35:35 | × | Googulator92 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 13:35:39 | → | Googulator42 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 13:36:31 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-16 13:36:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-16 13:37:14 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-16 13:38:13 | <mreh> | does anyone else use vim with hls and find it lags behind the editor? |
| 2025-10-16 13:38:21 | <mreh> | actually, neovim |
| 2025-10-16 13:44:29 | <mreh> | mastarija: you'll only see thunks built when that function is consumed by something |
| 2025-10-16 13:47:02 | <endokqr> | When I run cabal build with profiling enabled on one of my Haskell project in its development environment, GHC complains about not finding .p_dyn_hi files for a few libraries. I have tried to create a smaller reproducing example of this, but that ends up building just fine – despite there being no .p_dyn_hi files among its dependencies either. The differences between these two environments are |
| 2025-10-16 13:47:05 | <endokqr> | too large to go through one by one. How would I find out why GHC is expecting to find .p_dyn_hi files in one case, but not in the other? |
| 2025-10-16 13:47:10 | <mreh> | your seq there simply guarantees that tmp will be in WHNF after your `in` clause is evaluated |
| 2025-10-16 13:47:47 | <mreh> | and your sumSoFar shouldn't accumulate a whole bunch of thunks |
| 2025-10-16 13:47:59 | <mreh> | since it's an Int |
| 2025-10-16 13:48:40 | Inline_ | is now known as Inline |
| 2025-10-16 13:48:51 | <mreh> | oh he quit |
| 2025-10-16 13:50:44 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-10-16 13:51:42 | <mreh> | endokqr: what does `cabal clean` do? |
| 2025-10-16 13:51:55 | <mreh> | does it fix it? |
| 2025-10-16 13:52:20 | <mreh> | cabal can sometimes ne buggy |
| 2025-10-16 13:52:36 | <tomsmeding> | mreh: I have that lagging effect on one of my machines, not on the other, and I have no clue what differentiates them |
| 2025-10-16 13:52:59 | <mreh> | tomsmeding: I have to re-edit lines all the time for hls just to catch up |
| 2025-10-16 13:53:17 | <tomsmeding> | specifically, I have to wait a long time before pressing <esc> for HLS to properly register the latest edit, and even then it sometimes doesn't |
| 2025-10-16 13:53:19 | <mreh> | or maybe it's neovim that is lagging |
| 2025-10-16 13:53:31 | <tomsmeding> | so then you go ix<BS><Esc> and it's fixed |
| 2025-10-16 13:53:49 | <tomsmeding> | but as I said, my other machine has never had this and I don't know what the relevant difference is |
| 2025-10-16 13:54:12 | <endokqr> | mreh, Good question. I will try. I just also figured out another clue. If I build with -v3 I can read in the broken project that "Wanted/Final module build ways(library): [ProfWay,StaticWay]" whereas in the working project it just wants [ProfWay]. I'll investigate that further too. |
| 2025-10-16 13:54:42 | <tomsmeding> | endokqr: also try `rm -rf dist-newstyle` for good measure |
| 2025-10-16 13:55:07 | <tomsmeding> | the broken dependency is not a boot library, is it? |
| 2025-10-16 13:55:43 | <mreh> | sounds like GHC is trying to link a module that isn't there any more maybe |
| 2025-10-16 13:56:04 | <mreh> | I don't know what a .p_dyn_hi file is exactly though |
| 2025-10-16 13:56:54 | <mreh> | aren't .hi files used when the simplifier does its thing? |
| 2025-10-16 13:57:04 | <tomsmeding> | .hi files are interface files |
All times are in UTC.