| 2023-07-12 00:01:13 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-12 00:01:50 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) |
| 2023-07-12 00:05:32 +0000 | Wojciech_K | (~Wojciech_@2a01:4f9:6a:18a8::239) (Ping timeout: 240 seconds) |
| 2023-07-12 00:11:21 +0000 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-07-12 00:18:32 +0000 | vulpine | (xfnw@tilde.team) |
| 2023-07-12 00:18:33 +0000 | Wojciech_K | (~Wojciech_@maluch.mikr.us) |
| 2023-07-12 00:19:05 +0000 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-12 00:22:55 +0000 | Wojciech_K | (~Wojciech_@maluch.mikr.us) (Ping timeout: 240 seconds) |
| 2023-07-12 00:26:32 +0000 | ryantrinkle | (~ryantrink@204.2.90.61) (Ping timeout: 246 seconds) |
| 2023-07-12 00:27:13 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 00:28:38 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-07-12 00:38:58 +0000 | Vajb | (~Vajb@2001:999:480:2329:e191:822:3665:ff4f) |
| 2023-07-12 00:41:41 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-07-12 00:45:59 +0000 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) |
| 2023-07-12 00:48:25 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-12 00:48:37 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 00:49:28 +0000 | zzz | yin |
| 2023-07-12 00:50:15 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-12 00:52:12 +0000 | razetime | (~quassel@117.193.6.156) |
| 2023-07-12 00:52:14 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-12 00:53:02 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 00:55:27 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-12 00:55:27 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-12 00:55:27 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 00:58:51 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 01:01:42 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-07-12 01:02:42 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf8:b700:495f:b4e5:4ed5:d51) |
| 2023-07-12 01:03:55 +0000 | aforemny | (~aforemny@i59F516CB.versanet.de) (Ping timeout: 240 seconds) |
| 2023-07-12 01:04:27 +0000 | mei | (~mei@user/mei) |
| 2023-07-12 01:10:45 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-12 01:12:52 +0000 | yin | onion |
| 2023-07-12 01:12:56 +0000 | onion | yin |
| 2023-07-12 01:16:00 +0000 | ryantrinkle | (~ryantrink@204.2.90.61) |
| 2023-07-12 01:16:51 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-12 01:21:18 +0000 | danza | (~francesco@151.35.238.186) |
| 2023-07-12 01:22:25 +0000 | danza | (~francesco@151.35.238.186) (Read error: Connection reset by peer) |
| 2023-07-12 01:22:43 +0000 | danza | (~francesco@151.35.238.186) |
| 2023-07-12 01:23:56 +0000 | falafel_ | (~falafel@2603-7000-a700-8710-216f-3bcf-65ac-08eb.res6.spectrum.com) |
| 2023-07-12 01:24:40 +0000 | dmenz | (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) |
| 2023-07-12 01:36:02 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-07-12 01:36:50 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-12 01:42:21 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 01:46:13 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-07-12 01:47:06 +0000 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-12 01:47:12 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 01:48:32 +0000 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 01:50:14 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-12 01:56:41 +0000 | boxscape_ | (~boxscape_@81.191.27.107) (Quit: Connection closed) |
| 2023-07-12 02:01:41 +0000 | <danza> | i do not understand ... i have some local packages and trying to install with cabal v2-install. I am using a cabal.project to point to their sdist. They are all found except one, but everything seems correct |
| 2023-07-12 02:03:35 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::5b03) (Ping timeout: 264 seconds) |
| 2023-07-12 02:04:41 +0000 | l3th0s | (~goirc@2600:1700:1f67:8000::24) |
| 2023-07-12 02:04:59 +0000 | <danza> | does anyone know a better alternative to a cabal.project for local packages? It worked fine for me in the past, but this time it seems stuck |
| 2023-07-12 02:05:50 +0000 | <jackdk> | can you pastebin your cabal.project? |
| 2023-07-12 02:06:31 +0000 | <sclv> | projects do not work with v2 install just v2 build etc |
| 2023-07-12 02:06:31 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2023-07-12 02:06:43 +0000 | l3th0s | (~goirc@2600:1700:1f67:8000::24) (Remote host closed the connection) |
| 2023-07-12 02:06:50 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-07-12 02:06:56 +0000 | <sclv> | to use a project and install, just do a v2 build and copy the bin by hand |
| 2023-07-12 02:07:35 +0000 | <sclv> | this is because v2 install will create an sdist and install from that, just as if the package came from hackage |
| 2023-07-12 02:08:29 +0000 | <danza> | sure jackdk, here https://paste.tomsmeding.com/XiiuYaIV it is |
| 2023-07-12 02:09:13 +0000 | <danza> | sclv, actually bins are copied and sdists are in the same dir. It works with all other packages, just that `margin` fails, but the .gz is in the sdist |
| 2023-07-12 02:09:35 +0000 | mud | (~mud@user/kadoban) |
| 2023-07-12 02:10:52 +0000 | Guest|79 | (~Guest|79@176.122.105.143) |
| 2023-07-12 02:11:01 +0000 | <sclv> | ok sure if the project just points its ok. but not if they depend on one another or they’re projects which a local package depends on |
| 2023-07-12 02:11:03 +0000 | <danza> | here https://paste.tomsmeding.com/jLs0gREo my dir structure. `visie` for instance is found, while `margin` is not |
| 2023-07-12 02:11:05 +0000 | Guest|79 | (~Guest|79@176.122.105.143) (Client Quit) |
| 2023-07-12 02:11:45 +0000 | <danza> | hmm no, exmargination depends on margin directly |
| 2023-07-12 02:12:05 +0000 | <sclv> | alright nevermind then. |
| 2023-07-12 02:12:23 +0000 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2023-07-12 02:12:54 +0000 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 260 seconds) |
| 2023-07-12 02:13:03 +0000 | falafel_ | (~falafel@2603-7000-a700-8710-216f-3bcf-65ac-08eb.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-12 02:13:55 +0000 | <sclv> | is the problem just with install or also with build |
| 2023-07-12 02:14:35 +0000 | td_ | (~td@i53870932.versanet.de) |
| 2023-07-12 02:14:46 +0000 | janus | (janus@anubis.0x90.dk) (Ping timeout: 260 seconds) |
| 2023-07-12 02:14:50 +0000 | <danza> | also with build |
| 2023-07-12 02:15:13 +0000 | <danza> | i notice that the noindex.cache is always modified after the .gz in other packages, but not in `margin`. If that is generated by cabal, maybe something fails before. No track of that in the log with --verbose=3 |
| 2023-07-12 02:15:28 +0000 | janus | (janus@anubis.0x90.dk) |
| 2023-07-12 02:15:42 +0000 | Deide | (d0130db69a@user/deide) (Ping timeout: 260 seconds) |
| 2023-07-12 02:16:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 02:17:21 +0000 | <jackdk> | I'm curious why you refer to the dependent projects by `repository` rather than under `packages:` or as `source-repository-package`... I haven't seen that before |
| 2023-07-12 02:17:31 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 02:18:41 +0000 | <danza> | jackdk, i got that structure from an answer on cabal's github and just kept using it. It used to work. Let me check the fine doc |
| 2023-07-12 02:21:42 +0000 | Ekho | (~Ekho@user/ekho) |
| 2023-07-12 02:21:52 +0000 | <danza> | well the doc says `packages` are those to be built https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-packages, not dependencies |
| 2023-07-12 02:22:03 +0000 | <sclv> | the `repository` thing is really setting up a local repository |
| 2023-07-12 02:22:54 +0000 | <sclv> | so packages in those repositories are treated as though they were on hackage, etc. |
| 2023-07-12 02:23:16 +0000 | <danza> | yes, it was suggested here https://github.com/haskell/cabal/issues/8714 |
| 2023-07-12 02:23:27 +0000 | <sclv> | i think it makes sense, just replying to jack |
| 2023-07-12 02:24:11 +0000 | <danza> | yeah just adding a reference because that is not in the project.cabal section |
| 2023-07-12 02:24:46 +0000 | <danza> | *cabal.project |
| 2023-07-12 02:25:01 +0000 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 245 seconds) |
| 2023-07-12 02:26:26 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-12 02:26:26 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-12 02:26:26 +0000 | finn_elija | FinnElija |
| 2023-07-12 02:26:42 +0000 | chfont | (~mango@131.252.68.25) |
| 2023-07-12 02:29:42 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 260 seconds) |
| 2023-07-12 02:29:50 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-07-12 02:30:29 +0000 | <sclv> | truly mysterious what could be wrong here, sorry |
| 2023-07-12 02:30:48 +0000 | <danza> | hehe isn't it? Thanks anyway! |
| 2023-07-12 02:30:49 +0000 | <sclv> | could try reordering the imports and double checking the sdist is correct... |
| 2023-07-12 02:30:58 +0000 | <sclv> | or https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-active-repositories to set the order of the repositories. |
| 2023-07-12 02:31:07 +0000 | <sclv> | none of that should matter, but might shake out some oddity |
| 2023-07-12 02:33:08 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-12 02:33:08 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-12 02:33:08 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 02:33:46 +0000 | <danza> | i guess i could try to build cabal locally, add some traces |
| 2023-07-12 02:36:33 +0000 | hsw__ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 2023-07-12 02:36:47 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-07-12 02:38:58 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 02:43:55 +0000 | phma | (phma@2001:5b0:211f:7128:2fba:fcc2:b8b6:7566) (Read error: Connection reset by peer) |
| 2023-07-12 02:44:19 +0000 | phma | (phma@2001:5b0:211f:7128:2fba:fcc2:b8b6:7566) |
| 2023-07-12 02:45:53 +0000 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) |
| 2023-07-12 02:47:25 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 02:51:55 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 02:55:37 +0000 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 03:01:59 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 03:06:54 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
| 2023-07-12 03:09:08 +0000 | chfont | (~mango@131.252.68.25) (Quit: Leaving) |
| 2023-07-12 03:09:20 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-07-12 03:10:47 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 03:15:25 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 03:16:12 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-12 03:16:47 +0000 | falafel | (~falafel@2603-7000-a700-8710-59e6-239b-7840-0980.res6.spectrum.com) |
| 2023-07-12 03:19:04 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-12 03:21:12 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2023-07-12 03:22:02 +0000 | dmenz | (~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) (Quit: Leaving) |
| 2023-07-12 03:22:24 +0000 | koz | (~koz@121.99.240.58) |
| 2023-07-12 03:24:42 +0000 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 03:36:26 +0000 | phma | (phma@2001:5b0:211f:7128:2fba:fcc2:b8b6:7566) (Read error: Connection reset by peer) |
| 2023-07-12 03:36:50 +0000 | phma | (~phma@host-67-44-208-125.hnremote.net) |
| 2023-07-12 03:39:42 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf8:b700:495f:b4e5:4ed5:d51) (Ping timeout: 260 seconds) |
| 2023-07-12 03:39:43 +0000 | aforemny | (~aforemny@2001:9e8:6cc8:7800:6851:c622:94fb:817b) |
| 2023-07-12 03:46:18 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-12 03:53:05 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2023-07-12 04:00:52 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2023-07-12 04:01:28 +0000 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) (Remote host closed the connection) |
| 2023-07-12 04:01:53 +0000 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) |
| 2023-07-12 04:03:44 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 04:04:13 +0000 | marea_ | (~francesco@151.57.230.98) |
| 2023-07-12 04:04:29 +0000 | marea_ | danza_ |
| 2023-07-12 04:06:00 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-12 04:06:02 +0000 | razetime | (~quassel@117.193.6.156) (Ping timeout: 245 seconds) |
| 2023-07-12 04:06:33 +0000 | danza | (~francesco@151.35.238.186) (Ping timeout: 246 seconds) |
| 2023-07-12 04:08:18 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 04:08:35 +0000 | rainbyte | (~rainbyte@181.31.239.226) (Remote host closed the connection) |
| 2023-07-12 04:13:33 +0000 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-07-12 04:16:25 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2023-07-12 04:18:49 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-07-12 04:19:20 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-07-12 04:23:58 +0000 | bilegeek | (~bilegeek@2600:1008:b03e:10a5:9b85:f00c:17bb:a9c) (Remote host closed the connection) |
| 2023-07-12 04:24:32 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-07-12 04:27:58 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:b5e2:1160:553c:b6d1) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-07-12 04:33:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-07-12 04:35:20 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 04:42:44 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 04:47:53 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 04:48:21 +0000 | <arahael_> | I'm attempting to use the haskell-language-server in neovim, and I apparently seem to have it set up, but... I have no idea how to use it. Are there any docs I can use? |
| 2023-07-12 04:48:50 +0000 | <arahael_> | As an example, I'm using https://github.com/mrcjkb/haskell-tools.nvim and one thing that page mentions is "With the <C-r> keymap, the Hoogle search telescope integration can be used to fill holes.". So... How do I do that? |
| 2023-07-12 04:49:49 +0000 | <arahael_> | There's no intellisense or anything of that nature eitehr. |
| 2023-07-12 04:52:30 +0000 | <arahael_> | That page has a whole bunch of example screen recordings, but not a single one explains how to actually *use* the functionality that's very nicely shown in those screen recordings. |
| 2023-07-12 04:52:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 04:52:55 +0000 | Vajb | (~Vajb@2001:999:480:2329:e191:822:3665:ff4f) (Ping timeout: 240 seconds) |
| 2023-07-12 04:54:02 +0000 | liminal | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-12 04:54:28 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-12 04:58:42 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 05:03:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 05:04:09 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 05:09:10 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 05:09:18 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-07-12 05:11:41 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 05:12:16 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 05:13:17 +0000 | razetime | (~quassel@117.193.6.156) |
| 2023-07-12 05:13:55 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 05:14:17 +0000 | trev | (~trev@user/trev) |
| 2023-07-12 05:16:20 +0000 | Vajb | (~Vajb@2001:999:500:b5f6:f63a:e533:1d17:b596) |
| 2023-07-12 05:18:21 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 05:19:22 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:acd5:797:c82b:723c) |
| 2023-07-12 05:21:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 05:24:44 +0000 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) |
| 2023-07-12 05:26:54 +0000 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) |
| 2023-07-12 05:28:11 +0000 | Vajb | (~Vajb@2001:999:500:b5f6:f63a:e533:1d17:b596) (Ping timeout: 264 seconds) |
| 2023-07-12 05:29:10 +0000 | Vajb | (~Vajb@2001:999:585:650f:1084:a7c2:f741:6704) |
| 2023-07-12 05:29:24 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 05:29:24 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 05:29:24 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 05:33:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 05:33:52 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-07-12 05:33:54 +0000 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 05:34:16 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-12 05:35:29 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-07-12 05:38:59 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 05:38:59 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 05:38:59 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 05:42:56 +0000 | razetime | (~quassel@117.193.6.156) (Ping timeout: 245 seconds) |
| 2023-07-12 05:43:34 +0000 | razetime | (~quassel@117.193.2.215) |
| 2023-07-12 05:44:36 +0000 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-12 05:44:52 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 240 seconds) |
| 2023-07-12 05:48:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 05:48:55 +0000 | falafel | (~falafel@2603-7000-a700-8710-59e6-239b-7840-0980.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-07-12 05:49:31 +0000 | turlando | (~turlando@user/turlando) |
| 2023-07-12 05:51:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 05:56:52 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 05:56:52 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 05:56:52 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 05:59:24 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 06:01:08 +0000 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-07-12 06:01:29 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 2023-07-12 06:01:41 +0000 | jmdaemon- | (~jmdaemon@user/jmdaemon) |
| 2023-07-12 06:02:09 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-07-12 06:02:13 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-07-12 06:02:14 +0000 | hgolden_ | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) |
| 2023-07-12 06:02:32 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-07-12 06:02:32 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-12 06:02:32 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 246 seconds) |
| 2023-07-12 06:04:25 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 06:05:23 +0000 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-07-12 06:18:41 +0000 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2023-07-12 06:19:00 +0000 | srk | (~sorki@user/srk) |
| 2023-07-12 06:19:25 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2023-07-12 06:27:48 +0000 | michalz | (~michalz@185.246.207.197) |
| 2023-07-12 06:30:32 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 06:31:34 +0000 | mei | (~mei@user/mei) |
| 2023-07-12 06:40:15 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-07-12 06:47:06 +0000 | dcoutts | (~duncan@195.80.64.243) (Ping timeout: 245 seconds) |
| 2023-07-12 06:53:59 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 06:56:35 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2023-07-12 06:58:03 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 06:59:26 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) () |
| 2023-07-12 07:01:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 07:01:19 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-07-12 07:02:01 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 07:02:16 +0000 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-07-12 07:02:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-12 07:06:45 +0000 | ripspin | (~chatzilla@1.145.204.107) |
| 2023-07-12 07:08:42 +0000 | biberu | (~biberu@user/biberu) |
| 2023-07-12 07:08:43 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-12 07:08:50 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-12 07:09:24 +0000 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-12 07:10:29 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 07:10:36 +0000 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 07:11:29 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-12 07:16:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 07:20:51 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-12 07:26:53 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 07:32:17 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2023-07-12 07:34:07 +0000 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) |
| 2023-07-12 07:37:14 +0000 | nick3 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 07:37:29 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 07:40:25 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 2023-07-12 07:42:42 +0000 | hisa38778 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-07-12 07:43:46 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-07-12 07:44:42 +0000 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-12 07:44:42 +0000 | hisa38778 | hisa3877 |
| 2023-07-12 07:45:29 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-12 07:47:41 +0000 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) |
| 2023-07-12 07:54:11 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-07-12 07:55:43 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-12 08:01:02 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 08:04:13 +0000 | marea_ | (~francesco@151.57.234.225) |
| 2023-07-12 08:05:14 +0000 | danza_ | (~francesco@151.57.230.98) (Read error: Connection reset by peer) |
| 2023-07-12 08:05:26 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 08:11:29 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 08:12:37 +0000 | zack | (~idk@ftth-38-126-77-249.colton.com) |
| 2023-07-12 08:13:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 08:15:15 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) |
| 2023-07-12 08:16:32 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 08:18:52 +0000 | zack | (~idk@ftth-38-126-77-249.colton.com) (Ping timeout: 240 seconds) |
| 2023-07-12 08:19:58 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 08:19:58 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 08:19:58 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 08:26:36 +0000 | razetime | (~quassel@117.193.2.215) (Ping timeout: 246 seconds) |
| 2023-07-12 08:26:57 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-12 08:32:10 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-07-12 08:32:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) (Remote host closed the connection) |
| 2023-07-12 08:34:12 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 08:36:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-12 08:37:56 +0000 | CiaoSen | (~Jura@2a05:5800:2a3:e00:664b:f0ff:fe37:9ef) |
| 2023-07-12 08:39:17 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-12 08:44:24 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 08:44:25 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 08:44:25 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 08:45:00 +0000 | Guest5595 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-12 08:46:29 +0000 | michalz | (~michalz@185.246.207.197) (Ping timeout: 246 seconds) |
| 2023-07-12 08:47:20 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 08:49:00 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-12 08:49:51 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 08:49:51 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 08:49:51 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 08:50:43 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 08:53:07 +0000 | mei | (~mei@user/mei) |
| 2023-07-12 08:53:25 +0000 | Vajb | (~Vajb@2001:999:585:650f:1084:a7c2:f741:6704) (Ping timeout: 240 seconds) |
| 2023-07-12 08:54:05 +0000 | razetime | (~quassel@117.193.2.215) |
| 2023-07-12 08:54:42 +0000 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 08:54:42 +0000 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 08:54:42 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 08:54:57 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-12 08:55:10 +0000 | dobblego | dibblego |
| 2023-07-12 08:55:27 +0000 | Vajb | (~Vajb@2001:999:230:1354:6eeb:613:b1fe:6595) |
| 2023-07-12 08:56:45 +0000 | Guest5595 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2023-07-12 08:59:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 09:00:12 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-12 09:00:16 +0000 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 09:00:16 +0000 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 09:00:16 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 09:00:29 +0000 | danse-nr3 | (~francesco@151.57.234.225) |
| 2023-07-12 09:00:47 +0000 | dobblego | dibblego |
| 2023-07-12 09:03:08 +0000 | marea_ | (~francesco@151.57.234.225) (Ping timeout: 250 seconds) |
| 2023-07-12 09:05:37 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-12 09:06:34 +0000 | michalz | (~michalz@185.246.207.203) |
| 2023-07-12 09:07:28 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-12 09:09:45 +0000 | Deide | (d0130db69a@user/deide) |
| 2023-07-12 09:14:08 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 09:14:08 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 09:14:08 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 09:17:01 +0000 | rembo10 | (~rembo10@2a01:4f9:c010:b5b9::1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 09:18:24 +0000 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 09:18:24 +0000 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 09:18:24 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 09:19:11 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-12 09:19:14 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-07-12 09:19:24 +0000 | dobblego | dibblego |
| 2023-07-12 09:19:27 +0000 | Vajb | (~Vajb@2001:999:230:1354:6eeb:613:b1fe:6595) (Ping timeout: 246 seconds) |
| 2023-07-12 09:26:16 +0000 | Guest3210 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-12 09:26:56 +0000 | Guest3210 | (~finn@176-151-21-224.abo.bbox.fr) (Client Quit) |
| 2023-07-12 09:27:04 +0000 | ft | (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-12 09:27:56 +0000 | Guest1762 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-12 09:29:58 +0000 | Guest1762 | (~finn@176-151-21-224.abo.bbox.fr) (Client Quit) |
| 2023-07-12 09:30:12 +0000 | Guest2723 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-12 09:30:27 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-07-12 09:30:41 +0000 | underlap | (~underlap@14.46.99.195.dyn.plus.net) |
| 2023-07-12 09:31:21 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-12 09:31:41 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-07-12 09:32:48 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-12 09:33:01 +0000 | fendor | (~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection) |
| 2023-07-12 09:33:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) |
| 2023-07-12 09:33:20 +0000 | fendor | (~fendor@2a02:8388:1640:be00:bfd6:9a8f:d4f6:3a03) |
| 2023-07-12 09:34:11 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-12 09:35:08 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection timed out) |
| 2023-07-12 09:35:25 +0000 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: brb/bbiab) |
| 2023-07-12 09:37:26 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) (Ping timeout: 246 seconds) |
| 2023-07-12 09:37:30 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 09:37:30 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 09:37:30 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 09:40:20 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2023-07-12 09:44:14 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 09:46:16 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-12 09:46:23 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 09:46:23 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 09:46:23 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 09:52:47 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2023-07-12 09:55:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 09:58:25 +0000 | danse-nr3 | (~francesco@151.57.234.225) (Ping timeout: 240 seconds) |
| 2023-07-12 09:58:52 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-12 09:59:58 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-12 09:59:58 +0000 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-12 09:59:58 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 10:00:40 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-07-12 10:00:56 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 10:02:14 +0000 | cheater | (~Username@user/cheater) |
| 2023-07-12 10:03:59 +0000 | <yin> | arahael_: this was the only sane way i could get it running: https://github.com/neovim/nvim-lspconfig |
| 2023-07-12 10:05:11 +0000 | <underlap> | I'd like to know how Megaparsec handles parse errors in parsers constructed using <|>. I can't find any docs about this. I *may* have found the relevant source code (https://github.com/mrkkrp/megaparsec/blob/master/Text/Megaparsec/Internal.hs#L346-L357), but I can't even parses the code with my level of Haskell knowledge. So, unless someone can point me at some docs or explain the behaviour, perhaps someone could help me understand how |
| 2023-07-12 10:05:11 +0000 | <underlap> | L353 defines err'. (I haven't seen a let..in statement with multiple variables on the LHS before. Maybe this is a language extension, but I don't know how to work out which one.)) |
| 2023-07-12 10:05:55 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 10:06:41 +0000 | <Rembane> | underlap: They are functions! And many of them! |
| 2023-07-12 10:07:23 +0000 | <jackdk> | possibly helpful: many parser combinator libraries commit to an alternative as soon as that alternative successfully consumes a character |
| 2023-07-12 10:11:03 +0000 | <underlap> | Rembane: that may be useful. But let's suppose that none of the alternatives consume a character. I'd hope that the resultant parse error would include expected characters from each of the alternatives, but maybe that's not the way it works. |
| 2023-07-12 10:11:54 +0000 | <Rembane> | underlap: Can you write a minimal example where none of the alternatives match and see what happens? |
| 2023-07-12 10:13:19 +0000 | <underlap> | Rembane: yeah, that's a great idea. (I was hoping for a non-experimental answer for such a basic parsing question, but...) |
| 2023-07-12 10:13:27 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2141-b0cd-1488-f8b4-aba8-8227.rev.sfr.net) |
| 2023-07-12 10:13:41 +0000 | <akadude[m]> | Damn why does stackage.org load so slowly |
| 2023-07-12 10:16:25 +0000 | hippoid | (~hippoid@user/hippoid) |
| 2023-07-12 10:16:42 +0000 | danse-nr3 | (~francesco@151.57.234.225) |
| 2023-07-12 10:17:40 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2141-b0cd-1488-f8b4-aba8-8227.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-12 10:27:08 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 10:27:50 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-07-12 10:29:40 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-12 10:33:17 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 10:34:12 +0000 | img | (~img@user/img) |
| 2023-07-12 10:37:43 +0000 | <underlap> | Rembane: Interesting. It seems to work the way I expected. https://paste.tomsmeding.com/M760PAJX |
| 2023-07-12 10:38:46 +0000 | <Rembane> | underlap: That's really nice! Less surprises is the way to go. |
| 2023-07-12 10:39:22 +0000 | <underlap> | I'd still like to parse `let ncerr err' s' = cerr (err' <> err) (longestMatch ms s')` and understand how this defined err' |
| 2023-07-12 10:39:25 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-07-12 10:40:32 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:acd5:797:c82b:723c) (Ping timeout: 240 seconds) |
| 2023-07-12 10:40:34 +0000 | <underlap> | The LHS of the let seems to apply a function. I haven't seen this before. The RHS also refers to err'. So is this some kind of recursive definition? |
| 2023-07-12 10:40:46 +0000 | <geekosaur> | it's not applying it, it's defining it |
| 2023-07-12 10:40:54 +0000 | <geekosaur> | just like at top level where you don't need the let |
| 2023-07-12 10:41:26 +0000 | <underlap> | geekosaur: Ah! I geddit now. Of course. Thank you. |
| 2023-07-12 10:41:30 +0000 | <geekosaur> | it defines a function `ncerr` with two parameters `err'` and `s'` |
| 2023-07-12 10:42:00 +0000 | <underlap> | Yes, that makes perfect sense. |
| 2023-07-12 10:42:11 +0000 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2023-07-12 10:43:01 +0000 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-07-12 10:44:33 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 10:44:36 +0000 | <underlap> | Rembane: I now understand why you wrote "They are functions! And many of them!". Thanks. |
| 2023-07-12 10:45:29 +0000 | <Rembane> | underlap: No worries ^^ |
| 2023-07-12 10:50:10 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2023-07-12 10:50:12 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-12 10:50:37 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2023-07-12 10:50:38 +0000 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2023-07-12 10:50:38 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2023-07-12 10:51:06 +0000 | int-e | (~noone@int-e.eu) (Remote host closed the connection) |
| 2023-07-12 10:51:54 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 10:51:56 +0000 | int-e | (~noone@int-e.eu) |
| 2023-07-12 10:54:13 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 10:55:29 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:ba:e9a2:9797:91e4) (Remote host closed the connection) |
| 2023-07-12 10:55:52 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-07-12 10:58:48 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-07-12 10:59:13 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 10:59:26 +0000 | <tomsmeding> | yin: it's the official way :p |
| 2023-07-12 10:59:30 +0000 | <underlap> | Wrote up my Megaparsec findings here for posterity: https://kbin.social/m/haskell/t/180081/How-Megaparsec-combines-error-information (Can't bring myself to go back to Reddit.) |
| 2023-07-12 10:59:37 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 10:59:41 +0000 | <tomsmeding> | yin: as in, the neovim lsp support wants you to use lspconfig |
| 2023-07-12 11:00:21 +0000 | <Rembane> | underlap: Sweet! |
| 2023-07-12 11:08:03 +0000 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-07-12 11:09:47 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) (Remote host closed the connection) |
| 2023-07-12 11:10:10 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-07-12 11:16:10 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds) |
| 2023-07-12 11:17:43 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 11:18:46 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-12 11:21:07 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:315c:82b0:a583:1747) |
| 2023-07-12 11:21:30 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-12 11:22:31 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-12 11:27:06 +0000 | razetime | (~quassel@117.193.2.215) (Remote host closed the connection) |
| 2023-07-12 11:28:11 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-12 11:29:49 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) (Remote host closed the connection) |
| 2023-07-12 11:30:11 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) |
| 2023-07-12 11:35:55 +0000 | CiaoSen | (~Jura@2a05:5800:2a3:e00:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-07-12 11:38:52 +0000 | jmdaemon- | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-07-12 11:39:03 +0000 | rselim | (ce261f06ff@user/milesrout) |
| 2023-07-12 11:47:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 11:56:40 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 12:04:29 +0000 | danse-nr3 | (~francesco@151.57.234.225) (Read error: Connection reset by peer) |
| 2023-07-12 12:04:30 +0000 | danse-nr3_ | (~francesco@151.37.251.251) |
| 2023-07-12 12:05:37 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) |
| 2023-07-12 12:08:39 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 12:10:02 +0000 | arahael_ | (~arahael@115-64-179-83.static.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-12 12:11:04 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-12 12:30:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 12:33:50 +0000 | jappiejappie | (~jappiejap@181-41-6-201.setardsl.aw) |
| 2023-07-12 12:39:10 +0000 | danse-nr3_ | (~francesco@151.37.251.251) (Ping timeout: 260 seconds) |
| 2023-07-12 12:42:37 +0000 | rachelambda | (~rachelamb@78-67-128-99-no247.tbcn.telia.com) |
| 2023-07-12 12:47:34 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 260 seconds) |
| 2023-07-12 12:50:32 +0000 | rachelambda | xenia |
| 2023-07-12 12:50:37 +0000 | xenia | rachelambda |
| 2023-07-12 12:51:54 +0000 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 13:03:44 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) |
| 2023-07-12 13:03:50 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-07-12 13:03:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 13:06:49 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-12 13:07:59 +0000 | <Axman6> | underlap: Implementing parsers like that is pretty common, mostly because they tend to perform very well compared to using a sum type. it's either known as scott encoding or church encoding, I can't remember which, but basically you pass around and make functions that handle each of the cases. It ca make reading the implementation very difficult, as you've found |
| 2023-07-12 13:10:48 +0000 | <Axman6> | data Parser s a = Fail String | More (s -> Parser s a) | Done a can be represented as a function with type (String -> r) -> ((s -> Parser s a) -> r) -> (a -> r) -> r (I think, it's late and the More case is confusing me!) |
| 2023-07-12 13:13:21 +0000 | <rachelambda> | looks right to me |
| 2023-07-12 13:13:37 +0000 | danse-nr3_ | (~francesco@151.37.251.251) |
| 2023-07-12 13:16:04 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 258 seconds) |
| 2023-07-12 13:17:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-12 13:17:53 +0000 | <underlap> | Axman6: thank you |
| 2023-07-12 13:18:30 +0000 | shailangsa_ | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2023-07-12 13:21:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 13:23:12 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-12 13:24:16 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-12 13:25:25 +0000 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-12 13:25:36 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-07-12 13:25:36 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-07-12 13:25:39 +0000 | allbery_b | geekosaur |
| 2023-07-12 13:30:32 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) |
| 2023-07-12 13:31:04 +0000 | alexherbo2 | (~alexherbo@2a02-8440-2340-69d2-14c9-75f1-bca7-19b2.rev.sfr.net) (Remote host closed the connection) |
| 2023-07-12 13:36:23 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-12 13:36:23 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-12 13:36:23 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 13:41:14 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-12 13:43:33 +0000 | jappiejappie | (~jappiejap@181-41-6-201.setardsl.aw) (Quit: Client closed) |
| 2023-07-12 13:46:41 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds) |
| 2023-07-12 13:47:20 +0000 | xff0x_ | (~xff0x@2405:6580:b080:900:315c:82b0:a583:1747) (Ping timeout: 246 seconds) |
| 2023-07-12 13:47:44 +0000 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-12 13:48:59 +0000 | slack1256 | (~slack1256@186.11.17.119) |
| 2023-07-12 13:49:25 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2023-07-12 13:49:42 +0000 | koz | (~koz@121.99.240.58) |
| 2023-07-12 13:50:33 +0000 | dmgk | (~dmgk@user/dmgk) () |
| 2023-07-12 13:56:48 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 13:57:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 13:58:33 +0000 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Read error: Connection reset by peer) |
| 2023-07-12 13:58:49 +0000 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-07-12 13:59:29 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2023-07-12 13:59:35 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2023-07-12 13:59:46 +0000 | kronicma1 | (user40967@neotame.csclub.uwaterloo.ca) (Ping timeout: 258 seconds) |
| 2023-07-12 14:00:28 +0000 | kronicma1 | (user37546@neotame.csclub.uwaterloo.ca) |
| 2023-07-12 14:01:43 +0000 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-07-12 14:07:29 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-07-12 14:08:56 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 14:10:01 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 14:10:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 14:11:32 +0000 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) |
| 2023-07-12 14:18:17 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-12 14:20:04 +0000 | blueranger1981 | (~user@bzq-84-110-149-34.static-ip.bezeqint.net) |
| 2023-07-12 14:21:38 +0000 | michalz | (~michalz@185.246.207.203) (Ping timeout: 250 seconds) |
| 2023-07-12 14:22:24 +0000 | michalz | (~michalz@185.246.207.200) |
| 2023-07-12 14:22:54 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-12 14:23:35 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 14:24:31 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-12 14:25:13 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-12 14:30:44 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 14:37:07 +0000 | liftA2 | (~user@152.7.255.193) |
| 2023-07-12 14:37:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) |
| 2023-07-12 14:38:10 +0000 | Inst_ | (~Inst@2601:6c4:4081:2fc0:5c21:6c0c:79b0:64a3) |
| 2023-07-12 14:40:12 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-12 14:41:35 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:4f54:13aa:bf33:bb41) (Ping timeout: 246 seconds) |
| 2023-07-12 14:41:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) (Ping timeout: 246 seconds) |
| 2023-07-12 14:48:04 +0000 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 14:48:21 +0000 | pickleju1ce | (~root@172.56.28.196) |
| 2023-07-12 14:48:26 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 14:51:36 +0000 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-12 14:52:32 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 14:52:41 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 14:57:06 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-12 14:59:29 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-12 14:59:54 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 15:00:16 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 15:01:11 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds) |
| 2023-07-12 15:01:24 +0000 | int-e | (~noone@int-e.eu) (Quit: leaving) |
| 2023-07-12 15:01:34 +0000 | int-e | (~noone@int-e.eu) |
| 2023-07-12 15:04:23 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-12 15:07:34 +0000 | pickleju1ce | (~root@172.56.28.196) (Ping timeout: 250 seconds) |
| 2023-07-12 15:08:45 +0000 | picklejuice | (~root@172.56.221.232) |
| 2023-07-12 15:10:25 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-12 15:11:18 +0000 | <liftA2> | Is it possible to use doctest in a package that uses UnboxedTuples in a module? |
| 2023-07-12 15:12:58 +0000 | <geekosaur> | aren't unboxed tuples fixed in 9.4 or 9.6? |
| 2023-07-12 15:13:31 +0000 | <liftA2> | geekosaur: I have no idea, I can't run it on my computer. |
| 2023-07-12 15:15:02 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 15:15:47 +0000 | <geekosaur> | do you get an error from doctest, or some other failure? |
| 2023-07-12 15:17:02 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 15:17:59 +0000 | <liftA2> | I get the ghci error "bytecode compiler can't handle unboxed tuples and sums."; using -fobject-code does not suppress it. Doctests still seem to run in modules that don't use UnboxedTuples, although they're currently failing with probably unrelated "higher-kinded type" errors. |
| 2023-07-12 15:18:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b51c:90a2:c6ee:ffbb) |
| 2023-07-12 15:19:09 +0000 | <liftA2> | I think doctest is also automatically using Prelude versions of functions (which are not imported) rather than the local definitions, but I'm not sure. |
| 2023-07-12 15:19:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 15:21:16 +0000 | <geekosaur> | what version of ghci? I just did a test locally and they worked. (IIRC the BCO backend bug had to be fixed for UnboxedSums to work) |
| 2023-07-12 15:23:06 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-07-12 15:23:21 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 15:23:28 +0000 | <liftA2> | It's doctest compiled against GHC 8.8.4. |
| 2023-07-12 15:23:45 +0000 | <geekosaur> | 8.8 is definitely no-go |
| 2023-07-12 15:23:56 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-12 15:24:23 +0000 | <liftA2> | Oh, that's a shame. Thanks anyway. |
| 2023-07-12 15:24:28 +0000 | <geekosaur> | I think UnboxedTuples in a module is fine if ghci loads it compiled |
| 2023-07-12 15:24:36 +0000 | <geekosaur> | it can |
| 2023-07-12 15:24:54 +0000 | <liftA2> | Yeah, that's what -fobject-code is supposed to do. |
| 2023-07-12 15:24:54 +0000 | falafel | (~falafel@2603-7000-a700-8710-9b4c-b4ca-5b46-3794.res6.spectrum.com) |
| 2023-07-12 15:24:54 +0000 | <geekosaur> | 't interpret code that uses UnboxedTuples until 9.4 or thereabouts |
| 2023-07-12 15:26:44 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 15:28:39 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 15:35:55 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 15:39:54 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 15:40:00 +0000 | <probie> | On UnboxedTuples in GHCi - I'm not completely sure, but on 9.6.2 I've got some code which crashes in GHCi, but works fine when compiled |
| 2023-07-12 15:40:38 +0000 | <probie> | https://paste.tomsmeding.com/dGBmlYK1 |
| 2023-07-12 15:41:25 +0000 | <probie> | I can't think of another reason why it crashes (I mean, it _does_ use `unsafeCoerce`, but that's only to make a non-linear function a linear function) |
| 2023-07-12 15:42:06 +0000 | blueranger1981 | (~user@bzq-84-110-149-34.static-ip.bezeqint.net) (Ping timeout: 260 seconds) |
| 2023-07-12 15:46:34 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2023-07-12 15:47:32 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-12 15:48:11 +0000 | <probie> | weirdly it works on 9.2. Can someone save me a large download on my slow internet connection and tell me whether or not the above code snippet works in GHCi on 9.4? |
| 2023-07-12 15:48:37 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-12 15:49:31 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-12 15:51:35 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 264 seconds) |
| 2023-07-12 15:54:35 +0000 | sm[i] | (~textual@024-165-041-186.res.spectrum.com) |
| 2023-07-12 15:54:49 +0000 | <probie> | I can confirm that it's not the random `unsafeCoerce` |
| 2023-07-12 15:55:24 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-12 15:55:35 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-12 15:56:50 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 15:57:43 +0000 | <underlap> | probie: that snippet loads successfully into GHCi on 9.4.5 |
| 2023-07-12 15:57:50 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-12 15:58:14 +0000 | <underlap> | probie: did you want me to try something other than just loading it? |
| 2023-07-12 15:58:36 +0000 | <jade[m]> | maybe :main? |
| 2023-07-12 15:59:03 +0000 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-12 15:59:08 +0000 | <underlap> | segfault |
| 2023-07-12 15:59:40 +0000 | <probie> | I guess I better download 9.4.5 and look into why this is happening so I can raise an issue. Thanks underlap |
| 2023-07-12 15:59:42 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 15:59:55 +0000 | <underlap> | probie: np and good luck |
| 2023-07-12 16:00:01 +0000 | kleenestar[m] | (~kleenesta@2001:470:69fc:105::3:6d78) (Remote host closed the connection) |
| 2023-07-12 16:01:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 16:03:50 +0000 | <ski> | @tell ph88 did you consider using `Validation' ? |
| 2023-07-12 16:03:50 +0000 | <lambdabot> | Consider it noted. |
| 2023-07-12 16:04:25 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 16:04:27 +0000 | danse-nr3__ | (~francesco@151.47.241.180) |
| 2023-07-12 16:05:54 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-07-12 16:06:56 +0000 | danse-nr3_ | (~francesco@151.37.251.251) (Ping timeout: 250 seconds) |
| 2023-07-12 16:07:18 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 260 seconds) |
| 2023-07-12 16:08:21 +0000 | <ski> | Axman6 : with `forall r. (..r..) -> ((s -> Parser s a) -> r) -> (..r..) -> r', it's Scott encoding (it's a `case'). with `forall r. (..r..) -> ((s -> r) -> r) -> (..r..) -> r' it would be Church (or really Boehm-Berarducci, since it's typed) (it's a `fold'/`cata') |
| 2023-07-12 16:09:19 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 16:09:54 +0000 | ski | . o O ( "Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms" by Oleg in 2005-07-04 at <https://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html> ) |
| 2023-07-12 16:12:08 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-12 16:13:48 +0000 | <underlap> | ski: thanks for that |
| 2023-07-12 16:13:58 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-12 16:14:17 +0000 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-12 16:15:10 +0000 | <ski> | Scott and Church encoding coincides, for non-recursive data types |
| 2023-07-12 16:16:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 16:16:34 +0000 | koz | (~koz@121.99.240.58) |
| 2023-07-12 16:17:18 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-12 16:21:59 +0000 | <sm> | woah.. mac + matrix users looking for a way to stay connected here after this month: Textual irc client is awesome |
| 2023-07-12 16:23:03 +0000 | sm | wishes for a matrix client this good |
| 2023-07-12 16:23:08 +0000 | <ski> | given `data List a = Nil | Cons a (List a)', Scott encoding is `newtype ScottList a = MkSL (forall o. o -> (a -> ScottList a -> o) -> o)', with `scottNil :: ScottList a; scottNil = MkSL (\nil cons -> nil)',`scottCons :: a -> ScottList a -> ScottList a; scottCons a as = MkSL (\nil cons -> cons a as)', and `caseScottList :: ScottList a -> o -> (a -> ScottList a -> o) -> o; caseScottList (MkSL as) = as' |
| 2023-07-12 16:23:40 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-12 16:24:03 +0000 | <sm[i]> | /join #libera-matrix |
| 2023-07-12 16:26:01 +0000 | <ski> | Church encoding is `newtype ChurchList a = MkCL (forall r. r -> (a -> r -> r) -> r)', with `churchNil :: ChurchList a; churchNil = MkCL (\nil cons -> nil)',`churchCons :: a -> ChurchList a -> ChurchList a; churchCons a (MkCL as) = MkCL (\nil cons -> cons a (as nil cons))', and `foldChurchList :: ChurchList a -> r -> (a -> r -> r) -> r; foldChurchList (MkCL as) = as' |
| 2023-07-12 16:26:16 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-12 16:26:27 +0000 | <ski> | underlap ^ |
| 2023-07-12 16:28:25 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 16:30:14 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 16:31:58 +0000 | <underlap> | ski: Thanks. I think that's enough for now. I get the basic idea. Fond memories of Dana Scott's lectures on denotational semantics in my maths degree. :-) |
| 2023-07-12 16:33:36 +0000 | <ski> | np :) |
| 2023-07-12 16:36:30 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-12 16:37:25 +0000 | underlap | (~underlap@14.46.99.195.dyn.plus.net) (Quit: Leaving) |
| 2023-07-12 16:43:54 +0000 | JimL | (~quassel@89.162.16.26) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-12 16:44:40 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 16:45:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 16:45:17 +0000 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 16:48:05 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 16:48:47 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 16:48:55 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 16:50:43 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 16:51:18 +0000 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) (Quit: Konversation terminated!) |
| 2023-07-12 16:52:42 +0000 | acidjnk | (~acidjnk@p200300d6e7072f90288a8fb3de4c9af6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-12 16:55:02 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-07-12 16:59:03 +0000 | acidjnk | (~acidjnk@p200300d6e7072f9090d33f2b4a36e93a.dip0.t-ipconnect.de) |
| 2023-07-12 17:01:35 +0000 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-12 17:04:02 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
| 2023-07-12 17:04:11 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 264 seconds) |
| 2023-07-12 17:05:20 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 17:06:55 +0000 | picklejuice | (~root@172.56.221.232) (Ping timeout: 240 seconds) |
| 2023-07-12 17:10:35 +0000 | picklejuice | (~root@172.58.204.75) |
| 2023-07-12 17:14:11 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 17:14:28 +0000 | fendor | (~fendor@2a02:8388:1640:be00:bfd6:9a8f:d4f6:3a03) (Remote host closed the connection) |
| 2023-07-12 17:15:41 +0000 | ripspin | (~chatzilla@1.145.204.107) (Remote host closed the connection) |
| 2023-07-12 17:16:38 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 17:21:01 +0000 | sm[i] | (~textual@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-12 17:21:08 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-12 17:21:23 +0000 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) |
| 2023-07-12 17:21:35 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 264 seconds) |
| 2023-07-12 17:22:26 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 17:22:37 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-12 17:25:03 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-07-12 17:29:57 +0000 | pickleju1ce | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-12 17:32:34 +0000 | Megan | (~Megan@2600:387:f:4418::8) |
| 2023-07-12 17:32:58 +0000 | Megan | (~Megan@2600:387:f:4418::8) (Client Quit) |
| 2023-07-12 17:34:08 +0000 | picklejuice | (~root@172.58.204.75) (Ping timeout: 246 seconds) |
| 2023-07-12 17:37:55 +0000 | danse-nr3__ | (~francesco@151.47.241.180) (Ping timeout: 240 seconds) |
| 2023-07-12 17:38:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 17:38:07 +0000 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-12 17:38:22 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 17:41:19 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 18:03:50 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 18:05:25 +0000 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
| 2023-07-12 18:06:00 +0000 | koz | (~koz@121.99.240.58) |
| 2023-07-12 18:08:25 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 240 seconds) |
| 2023-07-12 18:10:26 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-12 18:10:53 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 18:11:55 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2023-07-12 18:11:57 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 18:12:49 +0000 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-12 18:14:38 +0000 | dibblego | (~dibblego@116.255.1.157) |
| 2023-07-12 18:14:38 +0000 | dibblego | (~dibblego@116.255.1.157) (Changing host) |
| 2023-07-12 18:14:38 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-12 18:20:17 +0000 | mrmr | (~mrmr@user/mrmr) (Quit: Ping timeout (120 seconds)) |
| 2023-07-12 18:21:01 +0000 | mrmr | (~mrmr@user/mrmr) |
| 2023-07-12 18:35:59 +0000 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-12 18:38:11 +0000 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 18:45:25 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 18:48:10 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 18:48:16 +0000 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-07-12 18:50:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 18:52:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-12 18:53:01 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 258 seconds) |
| 2023-07-12 19:00:00 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 19:00:35 +0000 | falafel | (~falafel@2603-7000-a700-8710-9b4c-b4ca-5b46-3794.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-12 19:04:35 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-12 19:06:19 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-12 19:12:33 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-12 19:18:01 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 19:19:21 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-12 19:20:45 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 19:20:51 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) |
| 2023-07-12 19:22:48 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 250 seconds) |
| 2023-07-12 19:25:24 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-12 19:25:30 +0000 | vgtw_ | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-07-12 19:26:11 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-12 19:29:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-12 19:31:14 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-12 19:38:01 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-12 19:47:17 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2023-07-12 19:48:20 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-12 19:49:28 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 19:58:14 +0000 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) |
| 2023-07-12 20:02:27 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-12 20:03:24 +0000 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) |
| 2023-07-12 20:03:56 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 20:05:15 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 20:06:13 +0000 | slack1256 | (~slack1256@186.11.17.119) (Remote host closed the connection) |
| 2023-07-12 20:10:57 +0000 | ars23 | (~ars23@92.86.154.191) |
| 2023-07-12 20:11:42 +0000 | ars23 | (~ars23@92.86.154.191) (Client Quit) |
| 2023-07-12 20:13:39 +0000 | ars23 | (~ars23@92.86.154.191) |
| 2023-07-12 20:14:39 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2023-07-12 20:17:14 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-12 20:21:54 +0000 | ft | (~ft@p3e9bcafd.dip0.t-ipconnect.de) |
| 2023-07-12 20:23:25 +0000 | johnw | (~johnw@69.62.242.138) (Ping timeout: 240 seconds) |
| 2023-07-12 20:24:36 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-12 20:26:28 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 20:27:07 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-07-12 20:29:29 +0000 | liftA2 | (~user@152.7.255.193) (Ping timeout: 246 seconds) |
| 2023-07-12 20:29:32 +0000 | remexre | (~remexre@user/remexre) (Ping timeout: 250 seconds) |
| 2023-07-12 20:30:21 +0000 | ars23 | (~ars23@92.86.154.191) (Quit: Leaving) |
| 2023-07-12 20:30:51 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-12 20:38:38 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-07-12 20:39:12 +0000 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-07-12 20:42:17 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-12 20:44:53 +0000 | pavonia | (~user@user/siracusa) |
| 2023-07-12 20:56:00 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-07-12 20:56:00 +0000 | jinsun | Guest4653 |
| 2023-07-12 20:56:00 +0000 | jinsun_ | jinsun |
| 2023-07-12 20:58:53 +0000 | Guest4653 | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 21:00:55 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 240 seconds) |
| 2023-07-12 21:01:25 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-12 21:04:11 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-07-12 21:05:00 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-12 21:05:33 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-07-12 21:05:33 +0000 | jinsun | Guest9598 |
| 2023-07-12 21:05:33 +0000 | jinsun_ | jinsun |
| 2023-07-12 21:05:45 +0000 | ddellacosta | (~ddellacos@146.70.165.100) (Quit: WeeChat 3.8) |
| 2023-07-12 21:07:59 +0000 | Guest9598 | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-12 21:11:34 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-07-12 21:12:28 +0000 | <jade[m]> | this page has so many dead links https://wiki.haskell.org/Darcs_repositories |
| 2023-07-12 21:12:55 +0000 | <jade[m]> | and the ones that work are massively outdated |
| 2023-07-12 21:14:07 +0000 | <Hecate> | yep |
| 2023-07-12 21:14:18 +0000 | <Lycurgus> | theory of patches didn pan out |
| 2023-07-12 21:14:32 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 21:14:56 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-12 21:14:57 +0000 | <Hecate> | well I have heard of ridiculously long times of execution for merging |
| 2023-07-12 21:15:10 +0000 | <Hecate> | that being said I believe pijul is on a better track |
| 2023-07-12 21:15:34 +0000 | <jade[m]> | https://wiki.haskell.org/One_month_using_Haskell wth |
| 2023-07-12 21:15:52 +0000 | <jade[m]> | the "random page" button on the wiki is a goldmine |
| 2023-07-12 21:18:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-12 21:18:50 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 246 seconds) |
| 2023-07-12 21:19:20 +0000 | <jade[m]> | im going insane https://wiki.haskell.org/One_month_without_Haskell |
| 2023-07-12 21:19:51 +0000 | <geekosaur> | that's just #haskell-offtopic 🙂 |
| 2023-07-12 21:26:37 +0000 | remexre | (~remexre@user/remexre) |
| 2023-07-12 21:30:56 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-12 21:31:03 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 21:31:10 +0000 | JimL | (~quassel@89.162.16.26) (Ping timeout: 260 seconds) |
| 2023-07-12 21:31:23 +0000 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-12 21:31:28 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-12 21:32:00 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-07-12 21:32:52 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-07-12 21:34:01 +0000 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 21:35:38 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 2023-07-12 21:38:01 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 21:39:36 +0000 | JimL | (~quassel@89.162.16.26) (Ping timeout: 245 seconds) |
| 2023-07-12 21:39:54 +0000 | Megan | (~Megan@2600:387:f:4418::8) |
| 2023-07-12 21:40:26 +0000 | mei | (~mei@user/mei) |
| 2023-07-12 21:40:29 +0000 | Megan | (~Megan@2600:387:f:4418::8) (Client Quit) |
| 2023-07-12 21:44:43 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-07-12 21:49:38 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2023-07-12 21:50:01 +0000 | ijqq_ | (uid603979@id-603979.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 21:52:41 +0000 | JimL | (~quassel@89.162.16.26) |
| 2023-07-12 21:54:45 +0000 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 246 seconds) |
| 2023-07-12 21:55:21 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 22:00:12 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-07-12 22:00:33 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-12 22:02:04 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-07-12 22:04:20 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-12 22:05:25 +0000 | acidjnk | (~acidjnk@p200300d6e7072f9090d33f2b4a36e93a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-12 22:07:40 +0000 | falafel | (~falafel@2603-7000-a700-8710-9520-756f-3405-563b.res6.spectrum.com) |
| 2023-07-12 22:18:04 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-12 22:21:00 +0000 | passiva | (~passiva@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2023-07-12 22:21:42 +0000 | passiva | (~passiva@bcdcac82.skybroadband.com) |
| 2023-07-12 22:24:15 +0000 | janus | (janus@anubis.0x90.dk) () |
| 2023-07-12 22:24:17 +0000 | Guest2723 | (~finn@176-151-21-224.abo.bbox.fr) (Remote host closed the connection) |
| 2023-07-12 22:24:24 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-12 22:26:20 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-12 22:28:05 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-12 22:29:08 +0000 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-12 22:32:37 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-07-12 22:33:35 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 22:34:38 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 22:36:54 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-12 22:42:23 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-12 22:42:34 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-07-12 22:42:38 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-07-12 22:43:47 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-12 22:44:48 +0000 | mei | (~mei@user/mei) |
| 2023-07-12 22:45:56 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 22:46:47 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-12 22:46:50 +0000 | nyc | (~nyc@user/nyc) |
| 2023-07-12 22:47:42 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-242-043.2.247.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-07-12 22:49:25 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 240 seconds) |
| 2023-07-12 22:49:53 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-12 22:50:44 +0000 | mechap | (~mechap@user/mechap) |
| 2023-07-12 22:51:54 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) (Ping timeout: 260 seconds) |
| 2023-07-12 22:52:10 +0000 | picklejuice | (~root@172.56.218.182) |
| 2023-07-12 22:53:37 +0000 | nick4 | (~nick@2600:8807:9084:7800:8939:f628:ed3d:955) |
| 2023-07-12 22:54:42 +0000 | ardavast | (~ardavast@62-73-72-214.ip.btc-net.bg) |
| 2023-07-12 22:54:55 +0000 | pickleju1ce | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 240 seconds) |
| 2023-07-12 23:00:20 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-12 23:00:39 +0000 | bcmiller | (~bm3719@66.42.95.185) (Ping timeout: 258 seconds) |
| 2023-07-12 23:01:38 +0000 | byorgey | (~byorgey@155.138.238.211) (Ping timeout: 250 seconds) |
| 2023-07-12 23:02:23 +0000 | wroathe | (~wroathe@user/wroathe) (Read error: Connection reset by peer) |
| 2023-07-12 23:02:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-12 23:04:53 +0000 | falafel | (~falafel@2603-7000-a700-8710-9520-756f-3405-563b.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2023-07-12 23:07:12 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-12 23:12:22 +0000 | bcmiller | (~bm3719@66.42.95.185) |
| 2023-07-12 23:12:31 +0000 | ardavast | (~ardavast@62-73-72-214.ip.btc-net.bg) (Ping timeout: 245 seconds) |
| 2023-07-12 23:13:58 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-12 23:17:07 +0000 | zeenk | (~zeenk@2a02:2f04:a00b:1800::7fe) (Quit: Konversation terminated!) |
| 2023-07-12 23:17:09 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-12 23:20:11 +0000 | pickleju1ce | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-12 23:22:14 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-12 23:22:29 +0000 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 2023-07-12 23:23:42 +0000 | mxs_ | (~mxs@user/mxs) |
| 2023-07-12 23:24:06 +0000 | NemesisD_ | (sid24071@id-24071.lymington.irccloud.com) |
| 2023-07-12 23:24:10 +0000 | geekosaur[c]_ | (sid609282@xmonad/geekosaur) |
| 2023-07-12 23:24:11 +0000 | picklejuice | (~root@172.56.218.182) (Ping timeout: 245 seconds) |
| 2023-07-12 23:24:12 +0000 | ardavast | (~ardavast@62-73-72-214.ip.btc-net.bg) |
| 2023-07-12 23:25:22 +0000 | Logio_ | (em@kapsi.fi) |
| 2023-07-12 23:25:28 +0000 | Katarushisu3 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-07-12 23:25:35 +0000 | HerlockSholmes2 | (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) |
| 2023-07-12 23:25:53 +0000 | fr33domlover9 | (~fr33domlo@towards.vision) |
| 2023-07-12 23:25:57 +0000 | finnekit6 | (~finnekit@fsf/member/finnekit) |
| 2023-07-12 23:25:58 +0000 | TimWolla_ | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2023-07-12 23:26:05 +0000 | SoF3 | (~skius@user/skius) |
| 2023-07-12 23:26:23 +0000 | tzh_ | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-12 23:26:27 +0000 | glider_ | (~glider@user/glider) |
| 2023-07-12 23:26:54 +0000 | hexology- | (~hexology@user/hexology) |
| 2023-07-12 23:26:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-07-12 23:27:06 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-12 23:27:07 +0000 | mewra | (~aranea@wireguard/contributorcat/mira) |
| 2023-07-12 23:27:09 +0000 | ringo___ | (~ringo@157.230.117.128) |
| 2023-07-12 23:27:28 +0000 | abrar | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) |
| 2023-07-12 23:27:29 +0000 | sviermsung | (spxLkMy9HV@user/s4msung) |
| 2023-07-12 23:27:30 +0000 | bah_ | (~bah@l1.tel) |
| 2023-07-12 23:27:36 +0000 | krjt | (~krjst@2604:a880:800:c1::16b:8001) |
| 2023-07-12 23:27:38 +0000 | anderson_ | (~anderson@user/anderson) |
| 2023-07-12 23:27:54 +0000 | yaroot_ | (~yaroot@p3274042-ipngn2701souka.saitama.ocn.ne.jp) |
| 2023-07-12 23:28:15 +0000 | bramhaag8 | (~bramhaag@134.195.121.39) |
| 2023-07-12 23:28:27 +0000 | swistak- | (~swistak@185.21.216.141) |
| 2023-07-12 23:28:33 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-12 23:29:12 +0000 | adamCS_ | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2023-07-12 23:29:19 +0000 | piele_ | (~piele@tbonesteak.creativeserver.net) |
| 2023-07-12 23:29:22 +0000 | ames2 | (~amelia@offtopia/offtopian/amelia) |
| 2023-07-12 23:29:26 +0000 | carbolymer_ | (~carbolyme@dropacid.net) |
| 2023-07-12 23:29:37 +0000 | MonsoonSecrecy_ | (f78c86e960@2604:bf00:561:2000::f99) |
| 2023-07-12 23:29:59 +0000 | chessai_ | (sid225296@id-225296.lymington.irccloud.com) |
| 2023-07-12 23:30:26 +0000 | meooow_ | (~meooow@165.232.184.169) |
| 2023-07-12 23:30:28 +0000 | jackdk_ | (sid373013@cssa/jackdk) |
| 2023-07-12 23:30:29 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-12 23:30:53 +0000 | kraftwerk28_ | (~kraftwerk@178.62.210.83) |
| 2023-07-12 23:31:03 +0000 | tired- | (~tired@user/tired) |
| 2023-07-12 23:31:33 +0000 | kitzman_ | (~kitzman@user/dekenevs) |
| 2023-07-12 23:32:29 +0000 | HerlockSholmes | (~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | jackdk | (sid373013@cssa/jackdk) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | geekosaur[c] | (sid609282@xmonad/geekosaur) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | caubert | (~caubert@user/caubert) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | chessai | (sid225296@id-225296.lymington.irccloud.com) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | mxs | (~mxs@user/mxs) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | yaroot | (~yaroot@p3274042-ipngn2701souka.saitama.ocn.ne.jp) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | meooow | (~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | SoF | (~skius@user/skius) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | kitzman | (~kitzman@user/dekenevs) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | s4msung | (4RqcWUWWqt@user/s4msung) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | finnekit | (~finnekit@fsf/member/finnekit) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | bah | (~bah@l1.tel) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | abrar_ | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) (*.net *.split) |
| 2023-07-12 23:32:29 +0000 | mira | (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | tired | (~tired@user/tired) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | Logio | (em@kapsi.fi) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | ringo__ | (~ringo@157.230.117.128) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | hexology | (~hexology@user/hexology) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | bgamari | (~bgamari@64.223.233.113) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | heath2 | (~heath@user/heath) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | anderson | (~anderson@user/anderson) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | glider | (~glider@user/glider) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | bramhaag | (~bramhaag@134.195.121.39) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | niko | (niko@libera/staff/niko) (*.net *.split) |
| 2023-07-12 23:32:30 +0000 | fr33domlover9 | fr33domlover |
| 2023-07-12 23:32:30 +0000 | HerlockSholmes2 | HerlockSholmes |
| 2023-07-12 23:32:30 +0000 | adamCS_ | adamCS |
| 2023-07-12 23:32:30 +0000 | finnekit6 | finnekit |
| 2023-07-12 23:32:30 +0000 | NemesisD_ | NemesisD |
| 2023-07-12 23:32:30 +0000 | Katarushisu3 | Katarushisu |
| 2023-07-12 23:32:30 +0000 | jackdk_ | jackdk |
| 2023-07-12 23:32:30 +0000 | SoF3 | SoF |
| 2023-07-12 23:32:30 +0000 | MonsoonSecrecy_ | MonsoonSecrecy |
| 2023-07-12 23:32:30 +0000 | geekosaur[c]_ | geekosaur[c] |
| 2023-07-12 23:32:30 +0000 | chessai_ | chessai |
| 2023-07-12 23:32:30 +0000 | TimWolla_ | TimWolla |
| 2023-07-12 23:32:30 +0000 | yaroot_ | yaroot |
| 2023-07-12 23:32:30 +0000 | anderson_ | anderson |
| 2023-07-12 23:32:30 +0000 | ames2 | ames |
| 2023-07-12 23:32:30 +0000 | bramhaag8 | bramhaag |
| 2023-07-12 23:32:31 +0000 | mxs_ | mxs |
| 2023-07-12 23:32:57 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 2023-07-12 23:33:20 +0000 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
| 2023-07-12 23:37:22 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2023-07-12 23:37:28 +0000 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-12 23:39:38 +0000 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 252 seconds) |
| 2023-07-12 23:41:22 +0000 | hook54321 | (sid149355@user/hook54321) |
| 2023-07-12 23:41:25 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-07-12 23:45:21 +0000 | picklejuice | (~root@172.58.203.205) |
| 2023-07-12 23:45:29 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-07-12 23:46:52 +0000 | pickleju1ce | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2023-07-12 23:46:55 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-07-12 23:46:55 +0000 | mauke_ | mauke |
| 2023-07-12 23:47:13 +0000 | niko | (niko@libera/staff/niko) |
| 2023-07-12 23:49:54 +0000 | picklejuice | (~root@172.58.203.205) (Ping timeout: 252 seconds) |
| 2023-07-12 23:50:21 +0000 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-12 23:51:08 +0000 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) |
| 2023-07-12 23:51:41 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2023-07-12 23:53:58 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-12 23:54:47 +0000 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-12 23:55:27 +0000 | picklejuice | (~root@172.58.204.173) |
| 2023-07-12 23:55:32 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-12 23:55:41 +0000 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |