Logs: liberachat/#haskell
| 2025-10-28 17:55:44 | → | Zemy joins (~Zemy@2600:100c:b0a5:5276:70e2:c5ff:feeb:d295) |
| 2025-10-28 17:56:34 | <gf3> | ahh, still pulling my hair out with this (nix + stack + yesod) setup |
| 2025-10-28 17:57:32 | × | Zemy_ quits (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-28 18:05:27 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-10-28 18:06:22 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-28 18:06:37 | × | straybits quits (~straybits@user/straybits) (Quit: straybits) |
| 2025-10-28 18:09:10 | × | Zemy quits (~Zemy@2600:100c:b0a5:5276:70e2:c5ff:feeb:d295) (Ping timeout: 256 seconds) |
| 2025-10-28 18:15:42 | → | Googulator52 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 18:15:46 | × | Googulator43 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 18:15:50 | → | tromp joins (~textual@2001:1c00:3487:1b00:31e7:acd8:5a5b:1418) |
| 2025-10-28 18:17:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 18:21:40 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-28 18:22:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 18:29:58 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-28 18:30:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-10-28 18:33:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 18:33:47 | → | trickard___ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-10-28 18:34:04 | × | trickard_ quits (~trickard@cpe-55-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-28 18:36:26 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-28 18:38:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 18:40:19 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-10-28 18:44:07 | × | qqe quits (~qqq@185.54.23.200) (Ping timeout: 240 seconds) |
| 2025-10-28 18:46:21 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-28 18:48:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 18:49:04 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-10-28 18:56:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 18:57:31 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2025-10-28 19:06:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 19:08:55 | × | qqe quits (~qqq@185.54.23.200) (Ping timeout: 240 seconds) |
| 2025-10-28 19:11:05 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-28 19:11:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-28 19:11:43 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-10-28 19:11:56 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-10-28 19:12:43 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 246 seconds) |
| 2025-10-28 19:16:35 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-28 19:19:23 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-28 19:19:33 | rvalue- | is now known as rvalue |
| 2025-10-28 19:21:43 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-28 19:22:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 19:25:04 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 2025-10-28 19:25:36 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-28 19:26:07 | × | Googulator52 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 19:26:19 | C477135 | is now known as catties |
| 2025-10-28 19:26:22 | → | Googulator52 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 19:27:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-28 19:28:31 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-10-28 19:36:42 | × | qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-28 19:37:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 19:42:10 | × | myme quits (~myme@2a01:799:d5e:5f00:9873:acb9:2c2a:266c) (Ping timeout: 244 seconds) |
| 2025-10-28 19:43:41 | → | myme joins (~myme@2a01:799:d5e:5f00:dea7:7da2:d01d:b0f1) |
| 2025-10-28 19:48:45 | → | Ptival joins (~Ptival@2601:1c0:5f00:27e0:8cd:539e:652c:5dd5) |
| 2025-10-28 19:49:26 | × | Ptival quits (~Ptival@2601:1c0:5f00:27e0:8cd:539e:652c:5dd5) (Changing host) |
| 2025-10-28 19:49:26 | → | Ptival joins (~Ptival@user/Ptival) |
| 2025-10-28 19:50:35 | <Ptival> | Does someone know a tool / CI script / whatever that checks for discrepancies between a stack.yaml and a cabal.project? e.g. listing the same source repos at the same tags |
| 2025-10-28 19:56:28 | <merijn> | I doubt such a thing exists. I suspect the overlap of those two use-cases is practically the empty set |
| 2025-10-28 20:02:10 | × | Googulator52 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 20:02:21 | → | Googulator52 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 20:07:23 | Googulator52 | is now known as Googulator |
| 2025-10-28 20:12:20 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-10-28 20:12:36 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-28 20:14:06 | <tomsmeding> | well, a use case is having a project that you want to be conveniently buildable by as many people as possible. But I also don't know of such a tool |
| 2025-10-28 20:15:40 | → | Googulator12 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 20:15:47 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 20:15:53 | Googulator12 | is now known as Googulator |
| 2025-10-28 20:17:05 | → | ski joins (~ski@remote11.chalmers.se) |
| 2025-10-28 20:23:39 | <Ptival> | That's my use case. Main dev is a stack user, I prefer cabal, and things gets out of sync. In CI, it's easy to check that the current .cabal matches package.yaml by calling hpack, and essentially I'd want the same checks for the files I mentioned. It's a pretty easy script, just don't want to reinvent the wheel if it exists. |
| 2025-10-28 20:24:30 | <merijn> | I mean, stack also works with just a cabal file and no hpack, eliminating one level of potential mismatches |
| 2025-10-28 20:25:43 | <Ptival> | Here the main dev wants to keep writing package.yaml |
| 2025-10-28 20:26:58 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 20:27:16 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 20:28:36 | <merijn> | Unfortunate, but I think you'd have to hack something together yourself |
| 2025-10-28 20:31:49 | → | Xe_ joins (~Xe@perl/impostor/xe) |
| 2025-10-28 20:33:01 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 264 seconds) |
| 2025-10-28 20:41:11 | × | travv0 quits (uid293381@user/travv0) (Quit: Connection closed for inactivity) |
| 2025-10-28 20:44:12 | → | vgtw joins (~vgtw@user/vgtw) |
| 2025-10-28 20:45:00 | × | vgtw_ quits (~vgtw@user/vgtw) (Ping timeout: 256 seconds) |
| 2025-10-28 20:45:41 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 20:45:42 | → | Googulator46 joins (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-10-28 20:46:20 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-10-28 20:48:42 | → | LainIwakura85 joins (~LainIwaku@user/LainIwakura) |
| 2025-10-28 20:54:07 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-28 20:57:27 | × | gustrb quits (~gustrb@user/gustrb) (Quit: gustrb) |
| 2025-10-28 20:57:46 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-28 20:57:52 | × | gustrb quits (~gustrb@191.243.134.87) (Client Quit) |
| 2025-10-28 20:58:08 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-28 20:58:32 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 2025-10-28 20:58:32 | → | gustrb joins (~gustrb@user/gustrb) |
| 2025-10-28 21:01:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-28 21:03:04 | → | talismanick joins (~user@2601:644:937c:ed10::b832) |
| 2025-10-28 21:04:14 | <talismanick> | Has anyone tried ghc->wasm->android? |
| 2025-10-28 21:04:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-28 21:04:44 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-28 21:12:35 | × | foo3 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-10-28 21:13:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-28 21:13:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-28 21:13:50 | × | Wbooze quits (~wboozE@2a02:8071:57a1:dc0:a984:f47b:49ad:2bc0) (Read error: Connection reset by peer) |
| 2025-10-28 21:15:47 | × | Googulator46 quits (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-28 21:15:50 | → | Googulator94 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-28 21:16:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-10-28 21:19:00 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
All times are in UTC.