2025/07/25

2025-07-25 00:01:44 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-25 00:02:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:02:47 +0200 <dolio> Yeah, maybe that's why it hasn't been done yet. It's basically a completely different library.
2025-07-25 00:03:17 +0200 <dolio> But, like, the current library has an expiration date.
2025-07-25 00:06:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 00:10:54 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds)
2025-07-25 00:12:06 +0200xff0x(~xff0x@2405:6580:b080:900:8e:a5e0:94cb:b64d)
2025-07-25 00:16:21 +0200jespada(~jespada@2800:a4:2291:9400:bcdf:5144:5f9c:bc05) (Ping timeout: 248 seconds)
2025-07-25 00:16:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 00:17:08 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 00:18:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:19:04 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Remote host closed the connection)
2025-07-25 00:19:29 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck
2025-07-25 00:19:43 +0200jespada(~jespada@2800:a4:220f:c200:b95d:d857:9586:6e38) jespada
2025-07-25 00:21:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-07-25 00:21:41 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 00:21:58 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 00:22:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 00:28:12 +0200jreicher(~user@user/jreicher) jreicher
2025-07-25 00:30:00 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-07-25 00:33:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:33:24 +0200xff0x_(~xff0x@2405:6580:b080:900:fa93:4f60:138f:781a)
2025-07-25 00:33:29 +0200xff0x(~xff0x@2405:6580:b080:900:8e:a5e0:94cb:b64d) (Ping timeout: 260 seconds)
2025-07-25 00:34:38 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-25 00:37:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 00:42:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 00:46:13 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-07-25 00:48:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:50:30 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3)
2025-07-25 00:51:04 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-25 00:53:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 00:55:07 +0200xff0x_(~xff0x@2405:6580:b080:900:fa93:4f60:138f:781a) (Quit: xff0x_)
2025-07-25 00:57:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 00:59:36 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 01:00:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 01:04:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:04:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-25 01:10:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 01:12:47 +0200Clint(~Clint@user/clint) (Remote host closed the connection)
2025-07-25 01:17:02 +0200Clint(~Clint@user/clint) Clint
2025-07-25 01:17:54 +0200xff0x(~xff0x@2405:6580:b080:900:a4be:8483:4313:1091)
2025-07-25 01:18:24 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 01:22:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:22:53 +0200sprotte24(~sprotte24@p200300d16f056400b9509f58729e6016.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-25 01:25:09 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:25:28 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 01:26:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 01:27:16 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-07-25 01:27:31 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:28:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:32:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-07-25 01:33:01 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-07-25 01:34:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 01:35:39 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 01:36:17 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-07-25 01:36:55 +0200xff0x_(~xff0x@2405:6580:b080:900:b0eb:a928:fdd8:ba52)
2025-07-25 01:37:21 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:39:18 +0200acidjnk(~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-07-25 01:39:21 +0200xff0x(~xff0x@2405:6580:b080:900:a4be:8483:4313:1091) (Ping timeout: 252 seconds)
2025-07-25 01:39:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-07-25 01:39:58 +0200arahael(~arahael@user/arahael) arahael
2025-07-25 01:41:57 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-25 01:44:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:44:56 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-07-25 01:46:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 01:49:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 01:50:22 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 01:50:38 +0200myfirstname(~myfirstna@178.238.150.193)
2025-07-25 01:50:48 +0200myfirstname(~myfirstna@178.238.150.193) (Remote host closed the connection)
2025-07-25 01:52:26 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 01:53:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 01:53:52 +0200arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2025-07-25 01:55:35 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:55:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-25 01:59:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:01:28 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 272 seconds)
2025-07-25 02:03:18 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-25 02:03:34 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:03:57 +0200Square3(~Square4@user/square) Square
2025-07-25 02:04:21 +0200Square2(~Square@user/square) (Remote host closed the connection)
2025-07-25 02:04:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 02:06:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-25 02:06:33 +0200weary-traveler(~user@user/user363627) user363627
2025-07-25 02:08:11 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 02:10:23 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 02:10:50 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-07-25 02:11:28 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-07-25 02:12:16 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 02:13:24 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-25 02:13:33 +0200 <haskellbridge> <iqubic (she/her)> Does Cabal support GHC2024 yet?
2025-07-25 02:14:15 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:14:26 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-07-25 02:15:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:15:28 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-07-25 02:19:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 02:23:28 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:24:51 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit)
2025-07-25 02:25:09 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:26:45 +0200 <jackdk> I don't know. What does the changelog and/or the project issue tracker say?
2025-07-25 02:27:22 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 02:27:35 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:29:01 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-25 02:29:49 +0200 <geekosaur> we added it in cabal 3.12 which corresponds to ghc 9.10.1 which is when GHC2024 was introduced
2025-07-25 02:30:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:34:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 02:38:58 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-07-25 02:40:17 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-25 02:42:22 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:43:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 02:44:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 02:45:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 02:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:47:13 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-25 02:47:25 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-07-25 02:47:49 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:48:43 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 245 seconds)
2025-07-25 02:49:52 +0200 <asivitz> I'm wondering if someone familiar with Windows and Haskell could help me. I have a minimal reproduction of a linker error here: https://github.com/asivitz/windows_link_error It has a github action that produces the error, so it shows a build environment in case that might be where the issue stems from.
2025-07-25 02:52:10 +0200 <asivitz> It depends on the dear-imgui library, so it's possible there's a problem with that package. But it seems strange, and involves template haskell.
2025-07-25 02:52:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 02:52:57 +0200 <geekosaur> you are either missing the imgui DLL or it's the wrong / incompatible version
2025-07-25 02:53:05 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:56:27 +0200 <asivitz> My understanding is the haskell lib it builds the imgui lib. The repo has a submodule reference to imgui, and the sources are listed as cxx-sources
2025-07-25 02:56:29 +0200 <geekosaur> hilfy «cabal*validate-actions$» Z$ c++filt _ZN5ImGui15StyleColorsDarkEP10ImGuiStyle
2025-07-25 02:56:29 +0200 <geekosaur> ImGui::StyleColorsDark(ImGuiStyle*)
2025-07-25 02:58:09 +0200 <asivitz> (Also, on mac at least everything works great without installing any extra library)
2025-07-25 02:59:21 +0200 <geekosaur> "could not load object code", that's TH. I wonder if there's some odd interaction there
2025-07-25 03:00:48 +0200 <asivitz> Yea the error only seems to trigger when I have that setup of file 1 uses TH, which imports something from file 2, which has a reference to imgui
2025-07-25 03:02:45 +0200 <geekosaur> this might be more of a ghc question then. but possibly also cabal; you might try it with different cabal versions (3.12, 3.14, 3.16) to see if the behavior changes
2025-07-25 03:04:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:04:24 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds)
2025-07-25 03:04:33 +0200 <asivitz> I can't get it to build with cabal < 3.16 b/c of the clean bug on windows. And I've tried a couple ghcs (9.10 and 9.12). I can ask #ghc
2025-07-25 03:04:38 +0200 <asivitz> Thanks for taking a look
2025-07-25 03:08:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 03:09:39 +0200xff0x_(~xff0x@2405:6580:b080:900:b0eb:a928:fdd8:ba52) (Ping timeout: 260 seconds)
2025-07-25 03:18:39 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-07-25 03:19:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:20:12 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-25 03:23:04 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-07-25 03:24:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 03:35:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:35:12 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-25 03:36:38 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-07-25 03:39:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 03:55:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:59:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 04:02:11 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-25 04:03:28 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 04:05:01 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-25 04:08:19 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!)
2025-07-25 04:10:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 04:14:58 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-25 04:15:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 04:20:14 +0200 <Square3> Haddock isn't totally obvious. Seems easy to break if you insert the wrong space/control at a certain place?
2025-07-25 04:22:05 +0200 <geekosaur> ReST is pretty similar in that respect
2025-07-25 04:22:21 +0200 <geekosaur> markdown, unfortunately, plays pretty badly with source code
2025-07-25 04:22:50 +0200 <geekosaur> (you cannot simultaneously have a .md extension for markdown tools and a source file extension for compilers)
2025-07-25 04:23:36 +0200 <geekosaur> (and neither group is willing to be flexible about extensions)
2025-07-25 04:25:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-25 04:26:40 +0200 <Square3> Gotcha, I guess I just need to figure it out.
2025-07-25 04:28:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 04:30:56 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-25 04:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 04:37:08 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-25 04:37:50 +0200qqe(~qqq@185.54.23.134) (Quit: Lost terminal)
2025-07-25 04:39:50 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-07-25 04:41:38 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 245 seconds)
2025-07-25 04:42:58 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2025-07-25 04:46:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 04:50:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)