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