2025/07/10

2025-07-10 00:00:18 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 00:00:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 00:00:31 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 00:01:08 +0000 <jackdk> Axman6: I remember Frase doing a bunch of stuff with (?hs)c2hs when he was wrangling notmuch
2025-07-10 00:01:20 +0000 <jackdk> Dunno if he played with inline-c any
2025-07-10 00:02:24 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 00:02:38 +0000 <Axman6> yeah, I remember looking into that but seem to remember it not matching the sort of stuff I needed to do. Most ofwhat's causing me troubles is being able to interact with structs in Haskell defined in Apple's annoyingly nonstandard headers (I know jack, I can hear you already)
2025-07-10 00:04:05 +0000 <humasect> Axman6: ohh. okay thanks
2025-07-10 00:04:15 +0000jespada(~jespada@r190-133-11-154.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-07-10 00:04:18 +0000phma(~phma@host-67-44-208-10.hnremote.net) (Read error: Connection reset by peer)
2025-07-10 00:04:41 +0000 <jackdk> Axman6: (Not saying a word.) Does any of M. Chakravaty's stuff help you here? I remember him doing a lot of work on native macOS things.
2025-07-10 00:05:12 +0000 <Axman6> Not sure, I'd have to have another look. A lot of that was before Apple added things like block (lambda) syntax IIRC
2025-07-10 00:05:20 +0000phma(phma@2001:5b0:211b:84d8:ea0c:3bd3:b60:4179)
2025-07-10 00:05:25 +0000 <Axman6> having random ^'s in code makes tools sad
2025-07-10 00:08:50 +0000 <jackdk> My gut instinct (which is probably way out of date) is that I'd want to talk over the C ABI, and so doing something like what the zeromq people did: provide a C wrapper that passes objects around as opaque pointers, that you can then FFI into much more easily. But I don't know your actual problem.
2025-07-10 00:10:33 +0000 <Axman6> the problem with that is the sheer number of types I'd need to interact with - see Apple's _awful_ documentation here: https://developer.apple.com/documentation/endpointsecurity?language=objc
2025-07-10 00:11:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 00:11:09 +0000 <Axman6> I need Chak or someone to write inline-swift. Feels like there'd likely be less of an impedance mismatch there
2025-07-10 00:11:32 +0000 <humasect> COM objects..
2025-07-10 00:11:48 +0000 <humasect> (thats how it happens.)
2025-07-10 00:12:11 +0000 <jackdk> I was going to suggest automatic generation of gobject wrappers just to troll Axman6
2025-07-10 00:12:50 +0000carlo_h_(~carlo_h_@pa49-182-186-83.pa.qld.optusnet.com.au)
2025-07-10 00:14:10 +0000carlo_h_(~carlo_h_@pa49-182-186-83.pa.qld.optusnet.com.au) (Client Quit)
2025-07-10 00:14:17 +0000phma(phma@2001:5b0:211b:84d8:ea0c:3bd3:b60:4179) (Read error: Connection reset by peer)
2025-07-10 00:15:13 +0000mikess(~sam@user/mikess) (Quit: leaving)
2025-07-10 00:17:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 00:18:26 +0000falafel(~falafel@79.117.174.28) falafel
2025-07-10 00:21:02 +0000tabaqui(~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3)
2025-07-10 00:29:00 +0000xff0x(~xff0x@2405:6580:b080:900:3f62:37ac:1098:7185) (Ping timeout: 252 seconds)
2025-07-10 00:29:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 00:30:46 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds)
2025-07-10 00:32:36 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-07-10 00:33:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-10 00:34:24 +0000califax(~califax@user/califx) califx
2025-07-10 00:38:36 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-07-10 00:39:04 +0000euandreh(~Thunderbi@2804:d59:892b:6600:cfc9:47d1:96e8:b32d) (Ping timeout: 260 seconds)
2025-07-10 00:39:20 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-07-10 00:40:31 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 00:41:16 +0000mange(~mange@user/mange) (Ping timeout: 268 seconds)
2025-07-10 00:44:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 00:45:15 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 00:45:28 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 00:46:03 +0000 <humasect> eh 9gb free, not enough space for ghcup 9.12.x ? trying again. nothing else to remove. dont think this is much different than homebrew situation for how long it takes also. i remember there used to be a .pkg installer
2025-07-10 00:46:15 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-07-10 00:50:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 00:50:44 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-07-10 00:51:33 +0000mange(~mange@user/mange) mange
2025-07-10 00:56:14 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 00:57:18 +0000Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus)
2025-07-10 00:58:43 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 00:59:22 +0000 <Axman6> GHC is pretty big. But also, 9gb free on a mac is not enough regardless of GHC D:
2025-07-10 00:59:28 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 01:00:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 01:00:55 +0000 <humasect> hmmm yeah
2025-07-10 01:03:00 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-10 01:05:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-10 01:12:45 +0000falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-10 01:13:50 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 01:15:36 +0000aaronv_(~aaronv@user/aaronv) aaronv
2025-07-10 01:17:34 +0000ystael(~ystael@user/ystael) (Ping timeout: 260 seconds)
2025-07-10 01:18:40 +0000humasect_(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-10 01:19:54 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-07-10 01:19:54 +0000phma(phma@2001:5b0:210d:d2d8:28e4:6c9c:55f8:f877)
2025-07-10 01:20:50 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-07-10 01:20:52 +0000gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-07-10 01:24:09 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-10 01:33:22 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 01:33:37 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-07-10 01:33:58 +0000CalimeroTeknik(~calimero@user/calimeroteknik) (Remote host closed the connection)
2025-07-10 01:35:19 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-10 01:36:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 01:38:24 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 01:39:30 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 01:41:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 01:43:18 +0000infinity0(~infinity0@pwned.gg) (Ping timeout: 245 seconds)
2025-07-10 01:45:38 +0000humasect_humasect
2025-07-10 01:46:36 +0000CalimeroTeknik(~calimero@ctkarch.org)
2025-07-10 01:50:26 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 01:50:34 +0000echoreply(~echoreply@45.32.163.16) (Ping timeout: 272 seconds)
2025-07-10 01:52:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 01:58:10 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-10 02:04:41 +0000infinity0(~infinity0@pwned.gg) infinity0
2025-07-10 02:08:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 02:09:11 +0000wbrawner(~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner
2025-07-10 02:09:33 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 02:12:57 +0000 <monochrom> GHC is only half that big. But ghcup needs twice of what GHC takes, temporarily.
2025-07-10 02:13:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 02:13:40 +0000 <monochrom> Basically ghcup unpacks GHC into one directory, then copy to the final directory, then delete the unpacking.
2025-07-10 02:13:52 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-10 02:14:40 +0000 <monochrom> Actually I think it is not up to ghcup, it is GHC bindist install script.
2025-07-10 02:15:15 +0000 <geekosaur> yeh, and it's editing a bunch of paths as it does so
2025-07-10 02:18:45 +0000phma(phma@2001:5b0:210d:d2d8:28e4:6c9c:55f8:f877) (Read error: Connection reset by peer)
2025-07-10 02:20:13 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-10 02:20:26 +0000carlo_h_(~carlo@user/carlo-h-:36448) carlo_h_
2025-07-10 02:21:05 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-07-10 02:21:36 +0000trickard_trickard
2025-07-10 02:24:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 02:25:14 +0000td_(~td@i5387091B.versanet.de) (Ping timeout: 260 seconds)
2025-07-10 02:26:12 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2025-07-10 02:26:42 +0000td_(~td@i53870910.versanet.de) td_
2025-07-10 02:27:55 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer)
2025-07-10 02:28:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 02:34:29 +0000echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply
2025-07-10 02:39:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 02:39:32 +0000 <haskellbridge> <maerwald> Editing paths?
2025-07-10 02:40:52 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 02:42:25 +0000phma(phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702)
2025-07-10 02:44:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-10 02:50:11 +0000weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2025-07-10 02:50:20 +0000olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-07-10 02:50:27 +0000weary-traveler(~user@user/user363627) user363627
2025-07-10 02:50:36 +0000olivial(~benjaminl@user/benjaminl) benjaminl
2025-07-10 02:51:24 +0000Katarushisu3(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-07-10 02:53:06 +0000Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds)
2025-07-10 02:53:07 +0000Katarushisu3Katarushisu
2025-07-10 02:54:13 +0000phma(phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702) (Ping timeout: 248 seconds)
2025-07-10 02:55:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 02:55:18 +0000 <geekosaur> Aren't there a bunch of paths in pkg.conf files that need to be rewritten for the install location still? (I know they've been working on being relocatable but I thought that wasn't quite done yet)
2025-07-10 02:58:52 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 02:59:16 +0000phma(phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702)
2025-07-10 02:59:32 +0000carlo_h_(~carlo@user/carlo-h-:36448) (Quit: leaving)
2025-07-10 03:01:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 03:03:31 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 03:05:15 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 03:09:26 +0000phma(phma@2001:5b0:210b:f1e8:734f:632c:cae3:f702) (Read error: Connection reset by peer)
2025-07-10 03:09:47 +0000pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-07-10 03:10:15 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 03:13:06 +0000phma(~phma@2001:5b0:210d:c948:1cf:a497:23a0:1033)
2025-07-10 03:13:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 03:14:50 +0000pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-07-10 03:15:25 +0000phma(~phma@2001:5b0:210d:c948:1cf:a497:23a0:1033) (Read error: Connection reset by peer)
2025-07-10 03:17:01 +0000phma(phma@2001:5b0:210d:c948:1cf:a497:23a0:1033)
2025-07-10 03:18:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 03:27:09 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-10 03:29:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 03:29:55 +0000phma(phma@2001:5b0:210d:c948:1cf:a497:23a0:1033) (Read error: Connection reset by peer)
2025-07-10 03:34:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 03:36:24 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 03:42:20 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 03:43:31 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 03:44:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 03:49:05 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 03:49:08 +0000phma(~phma@host-67-44-208-55.hnremote.net)
2025-07-10 03:49:10 +0000JayKobe6k(~jbarber@user/JayKobe6k) (Quit: WeeChat 4.6.3)
2025-07-10 03:49:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-10 04:00:38 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 04:03:44 +0000aaronv_(~aaronv@user/aaronv) (Remote host closed the connection)
2025-07-10 04:04:09 +0000aaronv_(~aaronv@user/aaronv) aaronv
2025-07-10 04:05:34 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 04:09:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 04:10:01 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 04:13:25 +0000 <haskellbridge> <maerwald> that's probably done by GHC Makefile, ghcup doesn't do anything with that
2025-07-10 04:13:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 04:14:58 +0000 <haskellbridge> <maerwald> https://gitlab.haskell.org/ghc/ghc/-/blob/master/hadrian/bindist/Makefile?ref_type=heads#L252
2025-07-10 04:15:30 +0000Square(~Square@user/square) Square
2025-07-10 04:16:05 +0000 <haskellbridge> <maerwald> ghcup just makes use of DESTDIR so not install straight to the target location
2025-07-10 04:21:02 +0000 <haskellbridge> <maerwald> most package managers do that... some also have sandboxes (in case Makefile is buggy), unfortunately that's a bit harder (see https://github.com/teh/hsseccomp/issues/8)
2025-07-10 04:22:16 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 04:24:40 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-10 04:24:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 04:25:29 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-10 04:29:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 04:40:01 +0000poscat(~poscat@user/poscat) poscat
2025-07-10 04:40:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 04:41:54 +0000poscat0x04(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-07-10 04:47:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 04:57:17 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 04:58:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 05:00:01 +0000d34db33f(~d34db33f@user/d34db33f) (Remote host closed the connection)
2025-07-10 05:01:32 +0000poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-10 05:03:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 05:04:50 +0000poscat(~poscat@user/poscat) poscat
2025-07-10 05:05:25 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-07-10 05:05:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 05:06:09 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 05:07:04 +0000poscat0x04(~poscat@user/poscat) poscat
2025-07-10 05:10:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 05:10:36 +0000poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-07-10 05:15:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 05:17:33 +0000aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 05:20:44 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-10 05:21:24 +0000aaronv_(~aaronv@user/aaronv) (Ping timeout: 260 seconds)
2025-07-10 05:26:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 05:31:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 05:34:42 +0000notzmv(~umar@user/notzmv) notzmv
2025-07-10 05:36:34 +0000aaronv__(~aaronv@user/aaronv) (Ping timeout: 260 seconds)
2025-07-10 05:39:59 +0000aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 05:41:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 05:42:14 +0000ft(~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving)
2025-07-10 05:42:26 +0000aaronv__(~aaronv@user/aaronv) (Remote host closed the connection)
2025-07-10 05:42:49 +0000aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 05:47:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 05:56:59 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 05:57:06 +0000kuribas(~user@ptr-17d51eoaqysj5hpqn01.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds)
2025-07-10 05:57:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 06:02:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-10 06:02:39 +0000aaronv__(~aaronv@user/aaronv) (Ping timeout: 276 seconds)
2025-07-10 06:07:43 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-10 06:11:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 06:16:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 06:19:02 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-10 06:19:57 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 06:20:11 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 06:27:07 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-10 06:29:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 06:30:59 +0000kuribas(~user@2a02:1808:4d:d943:4fec:e37f:3195:e982) kuribas
2025-07-10 06:32:02 +0000xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-10 06:32:53 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-07-10 06:34:05 +0000poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-07-10 06:34:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-10 06:34:51 +0000poscat(~poscat@user/poscat) poscat
2025-07-10 06:36:26 +0000kuribas(~user@2a02:1808:4d:d943:4fec:e37f:3195:e982) (Remote host closed the connection)
2025-07-10 06:36:40 +0000kuribas(~user@2a02:1808:4d:d943:9ae2:fac:c54b:c3ef) kuribas
2025-07-10 06:37:53 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 06:39:58 +0000Nosrep(~jimothy@user/nosrep) (Ping timeout: 252 seconds)
2025-07-10 06:45:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 06:45:59 +0000kuribas(~user@2a02:1808:4d:d943:9ae2:fac:c54b:c3ef) (Ping timeout: 260 seconds)
2025-07-10 06:47:23 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 06:47:37 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 06:48:13 +0000Razn0r(~quassel@94.142.208.170)
2025-07-10 06:50:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 06:51:04 +0000aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 06:55:38 +0000jreicher(~user@user/jreicher) (Quit: In transit)
2025-07-10 06:59:33 +0000acidjnk(~acidjnk@p200300d6e70b6624c5dc7d25cdcb4315.dip0.t-ipconnect.de) acidjnk
2025-07-10 07:00:01 +0000caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-10 07:00:41 +0000caconym74(~caconym@user/caconym) caconym
2025-07-10 07:01:25 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 07:02:27 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-10 07:05:03 +0000notzmv(~umar@user/notzmv) (Ping timeout: 276 seconds)
2025-07-10 07:06:40 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 07:07:18 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 07:10:23 +0000byorgey(~byorgey@user/byorgey) (Ping timeout: 268 seconds)
2025-07-10 07:10:30 +0000byorgey(~byorgey@user/byorgey) byorgey
2025-07-10 07:10:47 +0000fp1(~Thunderbi@2001:708:20:1406::10c5) fp
2025-07-10 07:12:34 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 07:12:47 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 07:13:27 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 07:13:55 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 07:15:25 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 07:18:28 +0000 <geekosaur> right, I was talking about the bindist `make install`
2025-07-10 07:22:47 +0000prdak(~Thunderbi@user/prdak) prdak
2025-07-10 07:28:24 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 07:29:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 07:31:03 +0000 <feetwind> has anybody made a ghci extension/wrapper/something that lets you e.g., hit the up arrow key to complete from history that matches the current written prefix? (a la fish/shells)
2025-07-10 07:32:53 +0000mud(~mud@user/kadoban) (Ping timeout: 245 seconds)
2025-07-10 07:34:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 07:35:21 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 07:37:54 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-10 07:39:44 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-07-10 07:42:11 +0000 <dminuoso> feetwind: Mmm, technically that seems almost trivial as you can just delegate to say fzf.
2025-07-10 07:42:41 +0000 <dminuoso> Probably just a bit of effort to connect the dots in how to provide a custom prompt in the GHCi library code.
2025-07-10 07:43:05 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-10 07:53:41 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 07:54:19 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-10 07:58:41 +0000__monty__(~toonn@user/toonn) toonn
2025-07-10 08:00:19 +0000mud(~mud@user/kadoban) kadoban
2025-07-10 08:00:52 +0000prdak(~Thunderbi@user/prdak) (Quit: prdak)
2025-07-10 08:01:13 +0000prdak(~Thunderbi@user/prdak) prdak
2025-07-10 08:02:24 +0000EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-07-10 08:02:43 +0000EvanR(~EvanR@user/evanr) EvanR
2025-07-10 08:06:48 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-10 08:10:26 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-07-10 08:13:13 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 08:14:23 +0000jreicher(~user@user/jreicher) jreicher
2025-07-10 08:18:27 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 08:19:43 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-07-10 08:22:40 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-10 08:26:10 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-07-10 08:27:23 +0000califax(~califax@user/califx) califx
2025-07-10 08:38:38 +0000qqe(~qqq@185.54.23.207)
2025-07-10 08:40:42 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-07-10 08:45:35 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-10 08:54:41 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-07-10 08:55:31 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 08:59:51 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 08:59:58 +0000fp1(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds)
2025-07-10 09:00:05 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 09:01:51 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-07-10 09:04:17 +0000Square(~Square@user/square) (Ping timeout: 248 seconds)
2025-07-10 09:05:09 +0000trickard_trickard
2025-07-10 09:08:13 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-10 09:08:24 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-10 09:11:10 +0000dhil(~dhil@5.151.29.141) dhil
2025-07-10 09:12:51 +0000califax(~califax@user/califx) califx
2025-07-10 09:14:23 +0000notzmv(~umar@user/notzmv) notzmv
2025-07-10 09:18:39 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 09:20:25 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 09:20:42 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 09:22:22 +0000euandreh(~Thunderbi@189-31-61-8.user3p.v-tal.net.br) euandreh
2025-07-10 09:25:06 +0000patri_(~patri@user/patri) (Ping timeout: 248 seconds)
2025-07-10 09:26:06 +0000aaronv__(~aaronv@user/aaronv) (Ping timeout: 276 seconds)
2025-07-10 09:41:56 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-07-10 09:42:34 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-07-10 09:48:02 +0000notzmv(~umar@user/notzmv) (Remote host closed the connection)
2025-07-10 09:55:30 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 09:57:00 +0000poscat0x04(~poscat@user/poscat) poscat
2025-07-10 09:57:18 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer)
2025-07-10 09:57:58 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-10 09:58:31 +0000poscat(~poscat@user/poscat) (Ping timeout: 276 seconds)
2025-07-10 10:00:40 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 10:09:00 +0000trickard_trickard
2025-07-10 10:21:09 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 10:21:23 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 10:26:22 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-10 10:34:16 +0000xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-07-10 10:41:41 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-07-10 10:42:23 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 10:45:41 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-07-10 10:45:42 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-07-10 10:45:42 +0000haritz(~hrtz@user/haritz) haritz
2025-07-10 10:47:29 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 10:53:00 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-10 10:59:19 +0000tabaqui(~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3)
2025-07-10 11:00:04 +0000caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-10 11:01:41 +0000jespada(~jespada@179.26.197.246) jespada
2025-07-10 11:02:12 +0000Digit(~user@user/digit) (Ping timeout: 272 seconds)
2025-07-10 11:05:21 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-07-10 11:07:30 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-07-10 11:12:39 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 11:15:33 +0000acidjnk(~acidjnk@p200300d6e70b6624c5dc7d25cdcb4315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-07-10 11:25:19 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 11:27:55 +0000Digit(~user@user/digit) Digit
2025-07-10 11:29:06 +0000acidjnk(~acidjnk@p200300d6e70b66245cb465603f00e107.dip0.t-ipconnect.de) acidjnk
2025-07-10 11:32:51 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-07-10 11:37:43 +0000xff0x(~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0)
2025-07-10 11:37:50 +0000tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-07-10 11:40:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 11:55:01 +0000tv(~tv@user/tv) tv
2025-07-10 11:58:13 +0000tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-07-10 12:07:56 +0000jespada(~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-10 12:15:14 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-07-10 12:16:31 +0000tv(~tv@user/tv) tv
2025-07-10 12:16:39 +0000tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-07-10 12:17:11 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 12:17:44 +0000merijn(~merijn@77.242.116.146) merijn
2025-07-10 12:21:34 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 12:21:48 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 12:24:07 +0000jespada(~jespada@179.26.197.246) jespada
2025-07-10 12:25:12 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 12:25:33 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 12:25:48 +0000aforemny(~aforemny@i59F4C482.versanet.de) (Ping timeout: 245 seconds)
2025-07-10 12:26:13 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-07-10 12:28:48 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-10 12:34:14 +0000tv(~tv@user/tv) tv
2025-07-10 12:37:21 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 12:38:33 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 12:39:28 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 12:42:25 +0000caubert(~caubert@user/caubert) (Ping timeout: 244 seconds)
2025-07-10 12:43:41 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 12:44:02 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 12:46:31 +0000trickard_trickard
2025-07-10 12:49:56 +0000poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-07-10 12:50:09 +0000weary-traveler(~user@user/user363627) user363627
2025-07-10 12:53:09 +0000poscat(~poscat@user/poscat) poscat
2025-07-10 12:54:49 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 12:56:59 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-10 12:57:52 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 13:00:24 +0000aforemny(~aforemny@i59F4C62E.versanet.de) aforemny
2025-07-10 13:01:11 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-10 13:01:28 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 13:03:18 +0000weary-traveler(~user@user/user363627) user363627
2025-07-10 13:04:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 13:05:15 +0000aforemny(~aforemny@i59F4C62E.versanet.de) (Ping timeout: 252 seconds)
2025-07-10 13:08:04 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-10 13:08:31 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 13:12:27 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 13:14:23 +0000rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-07-10 13:15:50 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 272 seconds)
2025-07-10 13:19:39 +0000ystael(~ystael@user/ystael) ystael
2025-07-10 13:21:20 +0000rvalue-rvalue
2025-07-10 13:21:57 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-07-10 13:29:59 +0000Square(~Square@user/square) Square
2025-07-10 13:30:54 +0000gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-07-10 13:32:21 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 13:56:05 +0000ubert(~Thunderbi@178.115.41.81.wireless.dyn.drei.com) ubert
2025-07-10 14:01:03 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-10 14:05:44 +0000esfo(~esfo@host-pnul5yhg558oustj.pd.og-w2d1-a.v6.dfn.nl) esfo
2025-07-10 14:13:05 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 14:13:19 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 14:14:30 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 14:15:56 +0000elenril(~elenril@tutturu.khirnov.net) elenril
2025-07-10 14:17:29 +0000trickard_trickard
2025-07-10 14:19:15 +0000Razn0r(~quassel@94.142.208.170) (Ping timeout: 276 seconds)
2025-07-10 14:22:46 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 14:23:13 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 14:28:35 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 14:34:03 +0000Everything(~Everythin@94.153.14.148) Everything
2025-07-10 14:34:20 +0000RedFlamingos(~RedFlamin@user/RedFlamingos) RedFlamingos
2025-07-10 14:34:52 +0000mange(~mange@user/mange) (Quit: Zzz///)
2025-07-10 14:35:34 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-10 14:36:26 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 14:42:12 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-10 14:50:08 +0000Everythi1g(~Everythin@static.208.206.21.65.clients.your-server.de)
2025-07-10 14:54:17 +0000Everything(~Everythin@94.153.14.148) (Quit: leaving)
2025-07-10 14:56:57 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds)
2025-07-10 14:57:16 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 14:59:34 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-07-10 15:00:53 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-07-10 15:00:53 +0000ChanServ+v haskellbridge
2025-07-10 15:03:00 +0000Nosrep(~jimothy@user/nosrep) Nosrep
2025-07-10 15:04:33 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 15:04:47 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 15:08:04 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 15:15:31 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 15:16:00 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-10 15:18:48 +0000caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-10 15:21:25 +0000trickard_trickard
2025-07-10 15:25:27 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 15:25:45 +0000euandreh(~Thunderbi@189-31-61-8.user3p.v-tal.net.br) (Quit: euandreh)
2025-07-10 15:29:04 +0000aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 15:30:23 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 15:30:25 +0000qqe(~qqq@185.54.23.207) (Quit: Lost terminal)
2025-07-10 15:35:39 +0000aaronv__(~aaronv@user/aaronv) (Ping timeout: 260 seconds)
2025-07-10 15:38:44 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 15:38:58 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 15:41:12 +0000jespada(~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-10 15:43:04 +0000jespada(~jespada@179.26.197.246) jespada
2025-07-10 15:43:43 +0000acidjnk(~acidjnk@p200300d6e70b66245cb465603f00e107.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-10 15:48:45 +0000Everythi1g(~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving)
2025-07-10 15:52:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 15:54:30 +0000acidjnk(~acidjnk@p200300d6e70b66235cb465603f00e107.dip0.t-ipconnect.de) acidjnk
2025-07-10 15:54:58 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 16:04:21 +0000gorignak(~gorignak@user/gorignak) gorignak
2025-07-10 16:07:20 +0000gorignak(~gorignak@user/gorignak) (Client Quit)
2025-07-10 16:14:09 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-10 16:14:10 +0000ft(~ft@p3e9bc89f.dip0.t-ipconnect.de) ft
2025-07-10 16:15:02 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 16:17:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 16:21:48 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-07-10 16:24:17 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-07-10 16:28:40 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-10 16:34:34 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-10 16:43:13 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds)
2025-07-10 16:43:58 +0000tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-07-10 16:48:32 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 16:53:21 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 16:53:56 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 16:54:10 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 16:56:42 +0000trickard_trickard
2025-07-10 16:59:17 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 17:03:23 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-10 17:05:06 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 17:15:34 +0000sprout(~sprout@84-80-106-227.fixed.kpn.net) (Remote host closed the connection)
2025-07-10 17:21:50 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-07-10 17:22:00 +0000sprout(~sprout@84-80-106-227.fixed.kpn.net)
2025-07-10 17:24:10 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 17:28:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 17:31:31 +0000euphores(~SASL_euph@user/euphores) euphores
2025-07-10 17:32:18 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 17:33:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 17:34:25 +0000jespada(~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-10 17:35:25 +0000poscat0x04(~poscat@user/poscat) poscat
2025-07-10 17:35:39 +0000jespada(~jespada@179.26.197.246) jespada
2025-07-10 17:37:25 +0000poscat(~poscat@user/poscat) (Ping timeout: 276 seconds)
2025-07-10 17:43:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 17:45:32 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 17:49:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 17:49:08 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
2025-07-10 17:52:03 +0000acidjnk(~acidjnk@p200300d6e70b66235cb465603f00e107.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-07-10 17:52:20 +0000caubert(~caubert@user/caubert) (Ping timeout: 268 seconds)
2025-07-10 17:52:44 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 17:53:09 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-07-10 17:54:51 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-10 17:56:00 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 17:56:35 +0000cross(~cross@spitfire.i.gajendra.net) cross
2025-07-10 17:57:33 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 17:59:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 18:00:49 +0000caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-10 18:06:11 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-10 18:06:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 18:11:56 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2)
2025-07-10 18:13:27 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 18:13:37 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 18:15:04 +0000ph88(~ph88@2a02:8109:9e21:b800:9687:d19d:fbd0:f1f1) (Quit: Leaving)
2025-07-10 18:17:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 18:19:40 +0000dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13)
2025-07-10 18:19:52 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-07-10 18:20:37 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-10 18:21:19 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-10 18:23:38 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-07-10 18:24:48 +0000ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-07-10 18:25:03 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-10 18:25:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 18:27:28 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-07-10 18:32:26 +0000sprotte24(~sprotte24@p200300d16f1bd900a53b05e7935c196d.dip0.t-ipconnect.de)
2025-07-10 18:33:56 +0000euphores(~SASL_euph@user/euphores) euphores
2025-07-10 18:34:14 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 18:37:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 18:41:21 +0000caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-10 18:42:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 18:44:51 +0000patri_(~patri@user/patri) patri
2025-07-10 18:53:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 18:55:17 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 18:57:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-10 18:58:03 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 18:58:59 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 18:59:58 +0000caubert(~caubert@user/caubert) (Ping timeout: 245 seconds)
2025-07-10 19:00:43 +0000caconym74(~caconym@user/caconym) caconym
2025-07-10 19:07:10 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-10 19:07:25 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-10 19:09:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 19:09:58 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Client Quit)
2025-07-10 19:10:14 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-10 19:13:02 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-07-10 19:13:42 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 19:14:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 19:18:13 +0000caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-10 19:21:17 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 19:23:09 +0000dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Ping timeout: 260 seconds)
2025-07-10 19:25:12 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-07-10 19:25:13 +0000merijn(~merijn@62.45.137.128) merijn
2025-07-10 19:26:45 +0000dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13)
2025-07-10 19:28:28 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 19:29:02 +0000pavonia(~user@user/siracusa) siracusa
2025-07-10 19:29:52 +0000merijn(~merijn@62.45.137.128) (Ping timeout: 276 seconds)
2025-07-10 19:30:20 +0000jespada(~jespada@179.26.197.246) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-10 19:32:26 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 19:32:49 +0000jespada(~jespada@179.26.197.246) jespada
2025-07-10 19:33:55 +0000EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-07-10 19:37:09 +0000dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Ping timeout: 260 seconds)
2025-07-10 19:38:29 +0000EvanR(~EvanR@user/evanr) EvanR
2025-07-10 19:40:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 19:40:45 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-07-10 19:43:54 +0000 <Enrico63> Hi all. I would like to expereiment with https://github.com/haskell/haskeline in an attempt to address https://github.com/haskell/haskeline/issues/60. However, I don't really know how ghci uses haskeline, nor I remember what did I do to make use of haskeline. I just know I've got a ~/.haskeline file which tells which mode I want to use for
2025-07-10 19:43:55 +0000 <Enrico63> instance. But I don't know how to make ghci use haskeline from a local clone of the repo. Any suggestion?
2025-07-10 19:45:14 +0000 <geekosaur> afaik you can't build ghci without building ghc, and in that case you just point the libraries/haskeline submodule to your repo
2025-07-10 19:45:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 19:46:46 +0000 <geekosaur> there is a standalone ghci-ng on hackage but it's bitrotted; it was used to trial `:doc` which went in years ago
2025-07-10 19:51:02 +0000 <Enrico63> Re your first reply. SoI would have to clone https://github.com/ghc/ghc, so that I can edit presumably its cabal.project-reinstall file (https://github.com/ghc/ghc/blob/master/cabal.project-reinstall) by changing this very line https://github.com/ghc/ghc/blob/ef03d8b8851a1cace5f792fe5a91b6b227198aa2/cabal.project-reinstall#L25 to the path of my
2025-07-10 19:51:02 +0000 <Enrico63> clone of https://github.com/haskell/haskeline ?
2025-07-10 19:56:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 20:00:00 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-10 20:00:46 +0000 <tomsmeding> Enrico63: you'd follow the normal build process of GHC (tl/dr: checkout git submodules; ./boot; ./configure; hadrian/build; -- docs here https://gitlab.haskell.org/ghc/ghc/-/wikis/javascript-backend/building ), but you'd replace the libraries/haskeline submodule with your own repo
2025-07-10 20:00:55 +0000 <tomsmeding> there should be no need to modify any files, if I'm not mistaken
2025-07-10 20:01:09 +0000 <tomsmeding> oh wrong docs
2025-07-10 20:01:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-10 20:01:31 +0000 <tomsmeding> Enrico63: https://gitlab.haskell.org/ghc/ghc/-/wikis/building/hadrian
2025-07-10 20:01:35 +0000 <tomsmeding> these are the correct ones
2025-07-10 20:02:03 +0000acidjnk(~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) acidjnk
2025-07-10 20:05:30 +0000esfo(~esfo@host-pnul5yhg558oustj.pd.og-w2d1-a.v6.dfn.nl) (Quit: Client closed)
2025-07-10 20:07:36 +0000tolt_(~weechat-h@li219-154.members.linode.com) tolt
2025-07-10 20:09:02 +0000tolt(~weechat-h@li219-154.members.linode.com) (Ping timeout: 244 seconds)
2025-07-10 20:12:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 20:14:46 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 20:17:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 20:20:19 +0000Square(~Square@user/square) (Ping timeout: 260 seconds)
2025-07-10 20:21:50 +0000aaronv__(~aaronv@user/aaronv) aaronv
2025-07-10 20:25:33 +0000RedFlamingos(~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos)
2025-07-10 20:27:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 20:30:58 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-07-10 20:33:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 20:35:48 +0000 <Enrico63> tomsmeding, JavaScript?!
2025-07-10 20:36:06 +0000 <geekosaur> see his correction later
2025-07-10 20:36:10 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-10 20:36:28 +0000 <geekosaur> he pointed you to the JS backend docs first, then the main docs later
2025-07-10 20:36:57 +0000trickard(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 20:37:10 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 20:38:12 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2025-07-10 20:41:26 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 20:43:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 20:44:44 +0000califax(~califax@user/califx) (Remote host closed the connection)
2025-07-10 20:45:01 +0000califax(~califax@user/califx) califx
2025-07-10 20:49:06 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 20:50:26 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 20:53:37 +0000caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-10 20:55:17 +0000 <Enrico63> But is my summary above incorrect? Is this suggestion of using this hadrian thing an alternative? Is it the only way? Or what? Maybe it's best I describe what my setup is. When I have to use haskell on a system, I just installe GHCup and  use that to install GHC, HLS, Cabal, and whatever.
2025-07-10 20:59:30 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 21:01:38 +0000dhil(~dhil@5.151.29.141) (Ping timeout: 245 seconds)
2025-07-10 21:01:41 +0000 <geekosaur> hadrian is the only supported way to do it
2025-07-10 21:01:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 21:01:54 +0000 <geekosaur> ghc cannot yet be built using cabal
2025-07-10 21:02:10 +0000 <geekosaur> (although cabal is used to build some bootlibs, under hadrian's control)
2025-07-10 21:04:31 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 21:06:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-10 21:08:23 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 21:08:40 +0000jespada(~jespada@179.26.197.246) (Ping timeout: 276 seconds)
2025-07-10 21:11:38 +0000jespada(~jespada@r190-133-9-81.dialup.adsl.anteldata.net.uy) jespada
2025-07-10 21:11:52 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e)
2025-07-10 21:12:00 +0000aaronv__(~aaronv@user/aaronv) (Ping timeout: 276 seconds)
2025-07-10 21:17:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 21:19:28 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 21:20:21 +0000michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2025-07-10 21:21:51 +0000yin(~zero@user/zero) (Remote host closed the connection)
2025-07-10 21:22:24 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-10 21:24:30 +0000yin(~zero@user/zero) zero
2025-07-10 21:30:02 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-10 21:32:35 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 21:32:49 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 21:33:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 21:37:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-10 21:42:53 +0000tromp(~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-10 21:48:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 21:51:20 +0000sprotte24(~sprotte24@p200300d16f1bd900a53b05e7935c196d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-07-10 21:53:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 21:54:48 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-10 21:57:08 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 21:59:48 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-07-10 22:02:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 22:03:36 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-10 22:04:18 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 22:04:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 22:08:00 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-10 22:09:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-10 22:11:04 +0000caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-10 22:19:38 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 22:20:22 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 22:20:36 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-07-10 22:23:08 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-10 22:23:22 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 22:26:35 +0000balthxzar(~balthxzar@user/Balthxzar) Balthxzar
2025-07-10 22:27:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 22:27:18 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:fcdc:c4ca:c2a1:790b) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-07-10 22:27:38 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog
2025-07-10 22:28:04 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-10 22:32:50 +0000tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 248 seconds)
2025-07-10 22:37:14 +0000prdak(~Thunderbi@user/prdak) (Ping timeout: 268 seconds)
2025-07-10 22:38:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 22:39:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-10 22:42:09 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 22:43:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 22:53:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 22:58:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 22:59:30 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 23:01:24 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 23:05:18 +0000caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-10 23:05:27 +0000Guest59(~Guest59@2600:8801:be0c:b200:f0d4:8326:933b:b3cb)
2025-07-10 23:07:54 +0000 <Guest59> Hi, I'm looking for a book suggestion once I finish https://haskell.mooc.fi, I'm coming from a background of imperative programming.
2025-07-10 23:08:29 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 23:09:28 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 23:09:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:14:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-10 23:17:17 +0000xff0x(~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) (Ping timeout: 252 seconds)
2025-07-10 23:17:48 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-10 23:18:32 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 23:19:21 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 23:19:43 +0000Guest59(~Guest59@2600:8801:be0c:b200:f0d4:8326:933b:b3cb) (Quit: Client closed)
2025-07-10 23:21:15 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-07-10 23:21:15 +0000ljdarj1ljdarj
2025-07-10 23:23:29 +0000caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-10 23:24:33 +0000xff0x(~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0)
2025-07-10 23:25:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:27:34 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2025-07-10 23:30:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-10 23:35:51 +0000caubert(~caubert@user/caubert) caubert
2025-07-10 23:36:00 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-10 23:36:14 +0000trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-10 23:38:12 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 23:41:22 +0000 <haskellbridge> <Profpatsch> instance GenericStructSimple Maybe where
2025-07-10 23:41:22 +0000 <haskellbridge> <Profpatsch> Just a -> encodeSimpleValue $ G.from a
2025-07-10 23:41:22 +0000 <haskellbridge> <Profpatsch> encodeSimpleValue = \case
2025-07-10 23:41:22 +0000 <haskellbridge> <Profpatsch> Nothing -> Enc.null
2025-07-10 23:41:22 +0000 <haskellbridge> <Profpatsch> encodeSimpleValue :: Maybe a -> Enc
2025-07-10 23:41:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-10 23:41:45 +0000 <haskellbridge> <Profpatsch> This does not work because I cannot reference the "forall a" in the instance can I?
2025-07-10 23:42:09 +0000 <haskellbridge> <Profpatsch> i.e. I want to say give me the rep of the "a", so I can pass it through specifically Maybe
2025-07-10 23:43:20 +0000Profpatsch(~Profpatsc@user/Profpatsch) Profpatsch
2025-07-10 23:43:25 +0000 <Profpatsch> bla
2025-07-10 23:43:27 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 23:43:41 +0000 <Profpatsch> Okay, maybe let’s do this from IRC. Matrix is so bad
2025-07-10 23:43:46 +0000 <Profpatsch> https://code.tvl.fyi/tree/users/Profpatsch/whatcd-resolver/src/AppT.hs#n377
2025-07-10 23:44:20 +0000 <Profpatsch> This is the impl as it stands so far, for converting generic structs to a json encoding that can be passed to opentelemetry
2025-07-10 23:44:45 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-07-10 23:45:22 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-10 23:45:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-10 23:46:13 +0000 <Profpatsch> So far I only accept things that implement ToOtelJsonAttr as values of the struct, but I kinda want to be able to recursively have generic structs as well, and also have recursive structs inside Maybe specifically
2025-07-10 23:46:39 +0000yin(~zero@user/zero) (Remote host closed the connection)
2025-07-10 23:47:07 +0000dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13)
2025-07-10 23:48:12 +0000 <Profpatsch> maybe for the Maybe case I’d actually have to go through (MetaData "Maybe" "GHC.Maybe" "base" False) ?
2025-07-10 23:49:21 +0000yin(~zero@user/zero) zero
2025-07-10 23:50:28 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-10 23:51:12 +0000 <Profpatsch> But then again I cannot say
2025-07-10 23:51:14 +0000 <Profpatsch> instance (GenericStruct f) => GenericStructSimple (G.K1 i val) where
2025-07-10 23:51:19 +0000 <Profpatsch> where I already said instance (ToOtelJsonAttr val) => GenericStructSimple (G.K1 i val) where
2025-07-10 23:51:21 +0000 <geekosaur> actually if you'd used a code block it would have been pastebinned on this side
2025-07-10 23:51:34 +0000 <Profpatsch> weechat-matrix does not have codeblocks
2025-07-10 23:51:57 +0000 <geekosaur> that sounds like a weechat problem, not a matrix problem
2025-07-10 23:52:24 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-10 23:53:25 +0000 <Profpatsch> I refuse to use a chat client that takes 10+ seconds to show a simple screen of text (element)
2025-07-10 23:53:57 +0000acidjnk(~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-07-10 23:54:37 +0000 <Profpatsch> And every hacker that said “oh this is so much better” should be punished for what they brought over us
2025-07-10 23:56:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn