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