Logs on 2023-04-04 (liberachat/#haskell)
| 00:04:11 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 00:05:58 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 00:07:25 | × | gurkenglas quits (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 00:11:49 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:17:48 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 268 seconds) |
| 00:18:20 | → | heraldo joins (~heraldo@user/heraldo) |
| 00:22:33 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 255 seconds) |
| 00:26:53 | → | dipper_ joins (~dipper@117.61.112.181) |
| 00:26:57 | → | chanceyan joins (~chanceyan@user/chanceyan) |
| 00:28:40 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 00:33:26 | → | dcoutts_ joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 00:35:55 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 00:36:10 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 00:36:40 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 00:39:40 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 00:40:04 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 00:45:00 | × | bollu quits (~bollu@159.65.151.13) (Quit: The Lounge - https://thelounge.chat) |
| 00:45:30 | → | bollu joins (~bollu@159.65.151.13) |
| 00:45:57 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 00:48:15 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 00:50:00 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 00:50:16 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 00:50:54 | × | dcoutts_ quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 00:51:01 | → | gmg joins (~user@user/gehmehgeh) |
| 00:51:06 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 00:53:54 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 00:54:16 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:cdec:d792:8ae:4610) |
| 00:55:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:56:16 | → | califax joins (~califax@user/califx) |
| 01:02:17 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:02:17 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:02:17 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:06:02 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 01:10:28 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 01:11:09 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:17:16 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:23:02 | → | nate1 joins (~nate@98.45.169.16) |
| 01:27:35 | × | jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:27:59 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 01:42:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:46:36 | × | xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 01:48:41 | × | telser quits (~quassel@user/telser) (Ping timeout: 246 seconds) |
| 01:49:13 | → | telser joins (~quassel@user/telser) |
| 01:57:27 | × | vglfr quits (~vglfr@46.96.188.242) (Ping timeout: 250 seconds) |
| 02:04:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 02:06:18 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:06:18 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:06:18 | finn_elija | is now known as FinnElija |
| 02:08:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Ping timeout: 260 seconds) |
| 02:16:11 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 02:16:14 | → | nate1 joins (~nate@98.45.169.16) |
| 02:23:28 | × | td_ quits (~td@i53870916.versanet.de) (Ping timeout: 248 seconds) |
| 02:25:09 | → | td_ joins (~td@i53870905.versanet.de) |
| 02:25:38 | × | nate1 quits (~nate@98.45.169.16) (Read error: Connection reset by peer) |
| 02:27:00 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:27:18 | → | dcoutts joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 02:27:23 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 02:30:26 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:31:23 | → | nate1 joins (~nate@98.45.169.16) |
| 02:31:43 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:36:16 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 02:36:55 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 02:37:45 | × | mei quits (~mei@user/mei) (Ping timeout: 250 seconds) |
| 02:40:04 | → | dcoutts joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 02:41:06 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 02:41:37 | → | mei joins (~mei@user/mei) |
| 02:44:43 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds) |
| 02:44:58 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:4e8c::) (Quit: The Lounge - https://thelounge.chat) |
| 02:46:23 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:4e8c::) |
| 03:02:28 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 03:04:44 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 03:12:39 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:19:10 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 03:23:54 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 03:27:57 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 255 seconds) |
| 03:28:19 | → | erisco joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 03:31:51 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) |
| 03:46:39 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 04:03:00 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 04:04:00 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 04:04:59 | → | razetime joins (~Thunderbi@117.254.35.237) |
| 04:05:38 | × | tusko quits (~yeurt@user/tusko) (Remote host closed the connection) |
| 04:05:58 | → | tusko joins (~yeurt@user/tusko) |
| 04:07:06 | × | shailangsa_ quits (~shailangs@host165-120-169-78.range165-120.btcentralplus.com) (Remote host closed the connection) |
| 04:16:07 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 04:16:28 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 04:17:05 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 04:18:29 | → | dcoutts joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 04:18:59 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 04:19:10 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 04:20:55 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 276 seconds) |
| 04:24:15 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 04:30:42 | × | euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 04:33:16 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 04:39:45 | → | xiliuya joins (~xiliuya@user/xiliuya) |
| 04:43:19 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:56:12 | → | Guest8822 joins (~Guest88@2401:4900:62ea:99d7:79e1:e368:1472:66c2) |
| 04:58:52 | × | Guest8822 quits (~Guest88@2401:4900:62ea:99d7:79e1:e368:1472:66c2) (Client Quit) |
| 04:59:16 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 276 seconds) |
| 05:01:01 | → | mechap joins (~mechap@user/mechap) |
| 05:01:08 | → | Midjak joins (~Midjak@82.66.147.146) |
| 05:08:18 | × | cassiopea quits (~cassiopea@user/cassiopea) (Ping timeout: 255 seconds) |
| 05:12:23 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:13:11 | × | corentin quits (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:13:15 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 05:13:32 | → | corentin joins (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) |
| 05:15:22 | → | mechap joins (~mechap@user/mechap) |
| 05:15:55 | × | razetime quits (~Thunderbi@117.254.35.237) (Ping timeout: 248 seconds) |
| 05:16:30 | → | razetime joins (~Thunderbi@223.187.115.198) |
| 05:18:07 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 05:47:43 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 05:48:48 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 05:49:34 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 05:54:20 | → | falafel joins (~falafel@2603-8000-d700-115c-213d-f794-af41-7f68.res6.spectrum.com) |
| 05:55:12 | × | razetime quits (~Thunderbi@223.187.115.198) (Ping timeout: 248 seconds) |
| 05:56:52 | × | xiliuya quits (~xiliuya@user/xiliuya) (Quit: leaving) |
| 06:04:01 | × | ridcully_ quits (~ridcully@p57b52e16.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 06:06:11 | → | mncheck joins (~mncheck@193.224.205.254) |
| 06:06:17 | → | jerryzihye[m] joins (~jerryzihy@2001:470:69fc:105::3:37fb) |
| 06:06:40 | × | mncheck quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 06:07:01 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 240 seconds) |
| 06:13:09 | → | razetime joins (~Thunderbi@117.193.4.85) |
| 06:14:00 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 06:17:48 | → | gurkenglas joins (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) |
| 06:23:12 | → | kenran joins (~user@user/kenran) |
| 06:28:12 | → | chomwitt joins (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) |
| 06:29:25 | × | lottaquestions_ quits (~nick@2607:fa49:503e:7100:e920:77a3:3674:fe18) (Remote host closed the connection) |
| 06:29:52 | → | lottaquestions_ joins (~nick@2607:fa49:503e:7100:1881:a83d:c448:7bb6) |
| 06:31:24 | → | trev joins (~trev@user/trev) |
| 06:40:45 | → | freeside joins (~mengwong@122.11.248.245) |
| 06:44:59 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 06:47:22 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 06:57:42 | → | freeside joins (~mengwong@122.11.248.245) |
| 06:59:43 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 07:03:29 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 07:03:33 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:04:01 | → | dcoutts joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 07:04:02 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 07:06:44 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 07:07:59 | → | jespada_ joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 07:09:13 | ← | Unhammer parts (~Unhammer@user/unhammer) (WeeChat 2.3) |
| 07:10:08 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:ac7a:69d6:9187:7798) |
| 07:10:19 | → | cassiopea joins (~cassiopea@user/cassiopea) |
| 07:16:13 | → | nate1 joins (~nate@98.45.169.16) |
| 07:16:57 | → | michalz joins (~michalz@185.246.207.197) |
| 07:18:03 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:20:20 | × | falafel quits (~falafel@2603-8000-d700-115c-213d-f794-af41-7f68.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 07:21:03 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 07:25:32 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 07:31:56 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:32:48 | × | hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 248 seconds) |
| 07:33:15 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 07:34:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:34:28 | → | coot_ joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:37:11 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 256 seconds) |
| 07:37:11 | coot_ | is now known as coot |
| 07:39:14 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 07:42:20 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 07:44:04 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 07:46:00 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:51:55 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 07:53:00 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 07:56:32 | → | acidjnk joins (~acidjnk@p200300d6e715c479cc0944bf8140cbf6.dip0.t-ipconnect.de) |
| 07:57:20 | × | razetime quits (~Thunderbi@117.193.4.85) (Ping timeout: 248 seconds) |
| 07:58:06 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:58:37 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:06:02 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
| 08:06:57 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 08:07:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:13:47 | → | razetime joins (~Thunderbi@117.193.4.85) |
| 08:13:58 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:17:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 08:24:41 | × | mauke quits (~mauke@user/mauke) (Quit: [TLS] Client upgrade) |
| 08:24:53 | → | mauke joins (~mauke@user/mauke) |
| 08:25:58 | × | todi quits (~snuckls@93.202.87.192) (Ping timeout: 276 seconds) |
| 08:26:48 | × | mauke quits (~mauke@user/mauke) (Client Quit) |
| 08:27:08 | → | mauke joins (~mauke@user/mauke) |
| 08:30:21 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 08:31:32 | × | thegeekinside quits (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 08:37:17 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:37:51 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 250 seconds) |
| 08:40:59 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 08:42:50 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 08:45:47 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 08:52:25 | → | freeside joins (~mengwong@122.11.248.245) |
| 08:54:11 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 08:54:35 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 08:56:29 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 08:59:47 | → | zeenk joins (~zeenk@2a02:2f04:a307:2300::7fe) |
| 09:00:07 | × | std_mutex[m] quits (~stdmutexm@2001:470:69fc:105::1:4534) (Quit: You have been kicked for being idle) |
| 09:01:33 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 09:07:00 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b9e9:a7af:521:d6d2) (Remote host closed the connection) |
| 09:13:02 | → | kuribas joins (~user@ptr-17d51ent4zg6fhdi95r.18120a2.ip6.access.telenet.be) |
| 09:15:02 | → | a_coll joins (~acoll@45.92.120.189) |
| 09:16:07 | → | ubert1 joins (~Thunderbi@2a02:8109:abc0:6434:893c:b787:7353:5a4) |
| 09:16:40 | × | dipper_ quits (~dipper@117.61.112.181) (Remote host closed the connection) |
| 09:28:03 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:28:54 | × | ubert1 quits (~Thunderbi@2a02:8109:abc0:6434:893c:b787:7353:5a4) (Quit: ubert1) |
| 09:34:30 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:40:54 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 09:45:46 | ← | jakalx parts (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 09:45:46 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 09:49:21 | × | chanceyan quits (~chanceyan@user/chanceyan) (Quit: Client closed) |
| 09:51:19 | → | vglfr joins (~vglfr@88.155.13.69) |
| 09:51:39 | → | Square joins (~Square4@user/square) |
| 09:52:32 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 09:55:00 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 268 seconds) |
| 10:01:19 | × | chomwitt quits (~chomwitt@2a02:587:7a16:e500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 10:05:04 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 10:05:20 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
| 10:07:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 10:11:53 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 250 seconds) |
| 10:19:19 | × | razetime quits (~Thunderbi@117.193.4.85) (Remote host closed the connection) |
| 10:32:35 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:37:36 | → | azimut_ joins (~azimut@gateway/tor-sasl/azimut) |
| 10:40:50 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 10:42:47 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 10:49:32 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 10:58:28 | → | xff0x joins (~xff0x@ai098135.d.east.v6connect.net) |
| 11:04:50 | × | vglfr quits (~vglfr@88.155.13.69) (Ping timeout: 246 seconds) |
| 11:16:47 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 11:17:41 | → | nate1 joins (~nate@98.45.169.16) |
| 11:22:31 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 11:38:17 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 11:42:15 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:44:17 | → | anpad joins (~pandeyan@user/anpad) |
| 12:00:58 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer) |
| 12:01:09 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 12:02:14 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 12:07:42 | × | dsrt^ quits (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 12:09:18 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:25:48 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:37:57 | <Square> | I was hoping i could write "(1 + x) where x = 2". But it didn't work. Is there some way to make it work? |
| 12:38:11 | <merijn> | Write that where? |
| 12:38:16 | <Square> | in repl |
| 12:38:35 | <merijn> | where blocks can only be attached to bindings and expressions aren't bindings |
| 12:38:41 | <merijn> | You could do |
| 12:38:47 | <merijn> | > let x = 2 in (1 + x) |
| 12:38:49 | <lambdabot> | 3 |
| 12:39:10 | <Square> | ah ok. thanks |
| 12:39:10 | <mauke> | > let result = 1 + x where x = 2 in result |
| 12:39:11 | <lambdabot> | 3 |
| 12:45:19 | <ski> | > case () of () -> 1 + x where x = 2 |
| 12:45:21 | <lambdabot> | 3 |
| 12:45:49 | <mauke> | nice |
| 12:45:53 | <Square> | sweet |
| 12:51:22 | <_________> | > let 1 = 2 in (1 + 2) |
| 12:51:23 | <lambdabot> | 3 |
| 12:51:24 | <_________> | inaccessible binding |
| 12:58:22 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 13:00:23 | → | mei joins (~mei@user/mei) |
| 13:00:46 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 13:01:52 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 13:03:18 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 13:03:36 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 13:05:02 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 13:06:44 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 13:11:25 | <int-e> | > let !1 = 2 in 42 |
| 13:11:27 | <lambdabot> | *Exception: <interactive>:3:5-10: Non-exhaustive patterns in 1 |
| 13:12:35 | <int-e> | (it's a pattern that doesn't bind anything, and `let` is lazy by default so the pattern is never matched at all.) |
| 13:14:13 | <ncf> | remind me why that's accepted at all |
| 13:14:27 | <ncf> | is it desugared to n | fromInteger n == 1 = 2 or something? |
| 13:14:34 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 13:16:35 | <ncf> | oh wait no, that's a pattern |
| 13:16:47 | <ncf> | so like, case 2 of 1 → ... ? |
| 13:24:44 | → | ccapndave joins (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 13:26:10 | <ski> | > case 2 of 1 -> () |
| 13:26:12 | <lambdabot> | *Exception: <interactive>:(3,1)-(4,22): Non-exhaustive patterns in case |
| 13:26:16 | <ski> | > case 2 of ~1 -> () |
| 13:26:18 | <lambdabot> | () |
| 13:32:56 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 13:33:14 | → | fj joins (~fj@216.147.123.241) |
| 13:35:03 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 13:35:23 | × | ccapndave quits (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 13:36:45 | <fj> | hi! I am new to haskell, and I have a question about cabal-fmt. I have it integrated with neovim to format on save. But whenever I add something new to build-depends, cabal-fmt automatically removes it. If I edit the file with another program, save, exit, and then re-open in neovim with cabal-fmt, it doesn't complain about the newly added line. |
| 13:36:46 | <fj> | What am I doing wrong? |
| 13:38:30 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:38:30 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:38:30 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:38:54 | <merijn> | fj: How are you running cabal-fmt? |
| 13:39:19 | <merijn> | Because that sounds like there's something going wrong with how your editor is calling it |
| 13:40:05 | <geekosaur> | sounds to me like it's being called on the original file instead of the new one, in particular |
| 13:40:16 | <merijn> | That's what I was thinking, yes |
| 13:41:06 | <fj> | I have HLS connected to neovim's built in LSP |
| 13:41:17 | <fj> | with cabal-fmt as the on-save format provider |
| 13:41:53 | <fj> | I didn't change the default configuration for it, so I'm not sure what I could do differently |
| 13:42:35 | <fj> | I'll experiment some more to see |
| 13:42:56 | <geekosaur> | this might be more a question for #haskell-language-server |
| 13:43:34 | <fj> | I'm not familiar with what channels there are, thank you geekosaur |
| 13:44:53 | → | freeside joins (~mengwong@103.252.202.85) |
| 13:49:19 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 13:55:30 | <fj> | it is working now. I had the formatting hook set to happen before saving the file, instead of after, so that I didn't have to save twice. That worked for other formatters, but not for this one. So I just had to set it to format after save, and make neovim save again after the formatting |
| 13:55:43 | <fj> | thank you for help |
| 13:58:46 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 14:00:01 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:ac7a:69d6:9187:7798) (Quit: WeeChat 2.8) |
| 14:00:39 | × | fj quits (~fj@216.147.123.241) (Quit: Client closed) |
| 14:08:01 | × | michalz quits (~michalz@185.246.207.197) (Ping timeout: 240 seconds) |
| 14:08:13 | → | thegeekinside joins (~thegeekin@189.217.90.138) |
| 14:08:21 | → | freeside joins (~mengwong@103.252.202.85) |
| 14:09:33 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 14:11:45 | → | mestre joins (~mestre@191.177.175.117) |
| 14:15:30 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 14:17:40 | <jean-paul[m]> | Is there a testing tool that will give me a nicer failure report when I assert that two complex structures are equal but they are not? |
| 14:18:19 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 265 seconds) |
| 14:19:25 | <monochrom> | A generalized diff algorithm that doesn't know the actual data structure? :) |
| 14:19:32 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 14:19:52 | → | mechap joins (~mechap@user/mechap) |
| 14:21:16 | <jean-paul[m]> | Sure, it's probably hard or impossible in the most general case, but I'd settle for something quite dumb that required, say, a Show instance or a pretty printer and did a text diff on the result |
| 14:21:37 | <mauke> | Test2::Tools::Compare, but that's not going to help you |
| 14:21:47 | × | corentin quits (~corentin@lfbn-rou-1-774-251.w90-108.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 14:22:38 | <jean-paul[m]> | Uh yes, sorry I should havev specified "in Haskell" 👅 |
| 14:22:45 | <monochrom> | Then for now you can cobble up one based on pretty-simple. |
| 14:22:54 | <[Leary]> | tree-diff is supposed to be pretty good. |
| 14:22:56 | <jean-paul[m]> | right, I was wondering if someone did already |
| 14:23:08 | <merijn> | tree-diff is fucking magic |
| 14:23:32 | <merijn> | jean-paul[m]: And exactly what you want for your usecase, btw |
| 14:23:55 | <jean-paul[m]> | Okay, looking at tree-diff now, thanks |
| 14:24:09 | <monochrom> | If you can "deriving Generic" then tree-diff does it. |
| 14:24:35 | <monochrom> | I need to bookmark that. :) |
| 14:25:46 | <merijn> | If I'm motivated I should add some "easy docs" to tree-diff |
| 14:26:24 | <merijn> | because it first glance the docs are a bit opaque for first use |
| 14:26:49 | <mauke> | speaking of diff, thanks for reminding me to enable my topic-diff script |
| 14:29:08 | <merijn> | ah, I guess the "prettyEditExpr $ ediff ..." on the contents page captures the usecase for 90% of people :p |
| 14:29:41 | → | freeside joins (~mengwong@103.252.202.85) |
| 14:30:53 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 14:31:43 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 14:32:12 | <jean-paul[m]> | ediffEq from the QuickCheck module looks useful too |
| 14:34:03 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 14:36:59 | × | mexpr quits (~mexpr@user/mexpr) (Ping timeout: 248 seconds) |
| 14:38:56 | → | mexpr joins (~mexpr@user/mexpr) |
| 14:39:21 | mesaoptimizer0 | is now known as mesaoptimizer |
| 14:43:01 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 14:43:15 | <jean-paul[m]> | ahh yes this is about a thousand times better, thanks |
| 14:45:13 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 14:59:34 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 15:02:00 | → | chomwitt joins (~chomwitt@ppp-94-69-24-223.home.otenet.gr) |
| 15:02:27 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 15:04:51 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 256 seconds) |
| 15:05:26 | → | mechap joins (~mechap@user/mechap) |
| 15:12:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:15:03 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 268 seconds) |
| 15:16:45 | → | mechap joins (~mechap@user/mechap) |
| 15:19:13 | → | nate1 joins (~nate@98.45.169.16) |
| 15:22:13 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.7) |
| 15:23:53 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 15:25:47 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:27:30 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 15:28:38 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 15:29:35 | → | Albina_Pavlovna joins (~Albina_Pa@047-230-050-118.res.spectrum.com) |
| 15:32:44 | → | dunj3 joins (~dunj3@kingdread.de) |
| 15:36:20 | → | AlexNoo_ joins (~AlexNoo@94.233.240.143) |
| 15:38:51 | × | Alex_test quits (~al_test@178.34.151.91) (Ping timeout: 248 seconds) |
| 15:39:12 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
| 15:40:10 | × | AlexNoo quits (~AlexNoo@178.34.151.91) (Ping timeout: 276 seconds) |
| 15:40:20 | × | AlexZenon quits (~alzenon@178.34.151.91) (Ping timeout: 268 seconds) |
| 15:41:26 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 15:41:45 | → | econo joins (uid147250@user/econo) |
| 15:46:12 | → | Alex_test joins (~al_test@94.233.240.143) |
| 15:46:35 | AlexNoo_ | is now known as AlexZenoo |
| 15:48:01 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 15:48:18 | → | AlexZenon joins (~alzenon@94.233.240.143) |
| 15:50:27 | → | mei joins (~mei@user/mei) |
| 15:53:17 | × | AlexZenon quits (~alzenon@94.233.240.143) (Ping timeout: 268 seconds) |
| 15:54:33 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 15:54:35 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 15:54:53 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 15:55:04 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 15:55:55 | → | AlexZenon joins (~alzenon@94.233.240.143) |
| 15:58:20 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 16:00:15 | AlexZenoo | is now known as AlexNoo |
| 16:02:06 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 16:03:41 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 16:04:00 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:08:27 | → | jinsl- joins (~jinsl@2408:8207:2552:dc20:211:32ff:fec8:6aea) |
| 16:08:43 | × | jinsl quits (~jinsl@2408:8207:2552:9fc0:211:32ff:fec8:6aea) (Ping timeout: 248 seconds) |
| 16:09:31 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 16:12:30 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 16:12:59 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 16:16:52 | × | acidjnk quits (~acidjnk@p200300d6e715c479cc0944bf8140cbf6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:17:20 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 16:22:05 | mesaoptimizer | is now known as mesaoptimizer0 |
| 16:22:20 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 16:23:22 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 16:24:24 | mesaoptimizer2 | is now known as mesaoptimizer |
| 16:25:08 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 16:25:26 | × | gurkenglas quits (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 16:25:48 | → | mei joins (~mei@user/mei) |
| 16:29:36 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 16:30:14 | → | acidjnk joins (~acidjnk@p200300d6e715c473cc0944bf8140cbf6.dip0.t-ipconnect.de) |
| 16:33:43 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 16:34:13 | → | y04nn joins (~username@2a03:1b20:5:f011::aaae) |
| 16:35:45 | → | dcoutts joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 16:37:14 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 16:39:13 | → | ridcully joins (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
| 16:51:10 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 16:51:54 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Remote host closed the connection) |
| 16:54:16 | × | ridcully quits (~ridcully@p57b52f2c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 16:58:51 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 16:59:15 | → | gurkenglas joins (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) |
| 16:59:31 | → | dcoutts joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 17:01:48 | × | AlexNoo quits (~AlexNoo@94.233.240.143) (Read error: Connection reset by peer) |
| 17:02:26 | → | AlexNoo joins (~AlexNoo@94.233.240.143) |
| 17:03:49 | → | ph88 joins (~ph88@91.66.101.83) |
| 17:05:46 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 252 seconds) |
| 17:06:25 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 17:08:48 | → | Bocaneri joins (~sauvin@user/Sauvin) |
| 17:09:12 | Bocaneri | is now known as Guest9137 |
| 17:09:38 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 17:11:39 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 248 seconds) |
| 17:11:52 | × | sudden quits (~cat@user/sudden) (Ping timeout: 265 seconds) |
| 17:12:21 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 17:12:41 | → | sudden joins (~cat@user/sudden) |
| 17:14:41 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 17:16:04 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:18:24 | × | chomwitt quits (~chomwitt@ppp-94-69-24-223.home.otenet.gr) (Ping timeout: 268 seconds) |
| 17:21:20 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:23:44 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:23:57 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 17:26:06 | → | dcoutts_ joins (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) |
| 17:26:25 | × | dcoutts quits (~duncan@cpc116374-oxfd27-2-0-cust191.4-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 17:26:26 | → | mei joins (~mei@user/mei) |
| 17:36:23 | → | ridcully joins (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
| 17:52:12 | → | kenran joins (~user@user/kenran) |
| 17:55:26 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 17:56:38 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 17:56:59 | → | califax joins (~califax@user/califx) |
| 17:58:39 | → | cfricke joins (~cfricke@user/cfricke) |
| 18:02:45 | → | mikess joins (~sam@user/mikess) |
| 18:02:48 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:11:04 | × | hnOsmium0001 quits (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity) |
| 18:20:14 | × | Cale quits (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 18:21:29 | × | dsrt^ quits (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 18:27:43 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 18:29:31 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 18:35:42 | → | Aazam joins (~Aazam@103.182.66.28) |
| 18:36:15 | × | Aazam quits (~Aazam@103.182.66.28) (Client Quit) |
| 18:40:20 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:48:51 | × | talismanick quits (~talismani@2601:200:c000:f7a0::fb70) (Ping timeout: 250 seconds) |
| 18:56:23 | Guest9137 | is now known as Sauvin |
| 18:59:08 | × | y04nn quits (~username@2a03:1b20:5:f011::aaae) (Ping timeout: 265 seconds) |
| 18:59:44 | × | Square quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 19:01:03 | → | y04nn joins (~username@2a03:1b20:5:f011::aaae) |
| 19:01:16 | × | mikess quits (~sam@user/mikess) (Quit: leaving) |
| 19:02:31 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 19:02:36 | × | a_coll quits (~acoll@45.92.120.189) (Remote host closed the connection) |
| 19:03:20 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:05:10 | → | mikess joins (~sam@user/mikess) |
| 19:08:14 | → | heraldo joins (~heraldo@user/heraldo) |
| 19:11:39 | → | __monty__ joins (~toonn@user/toonn) |
| 19:18:48 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Remote host closed the connection) |
| 19:20:46 | → | nate1 joins (~nate@98.45.169.16) |
| 19:25:24 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 19:25:34 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 19:25:57 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 19:26:35 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 19:30:11 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 19:30:25 | → | briandaed joins (~briandaed@185.234.210.211.r.toneticgroup.pl) |
| 19:31:04 | → | Cale joins (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 19:31:18 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:35:06 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 19:35:25 | × | cassiopea quits (~cassiopea@user/cassiopea) (Ping timeout: 265 seconds) |
| 19:36:15 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 19:36:32 | → | mechap joins (~mechap@user/mechap) |
| 19:43:33 | × | gurkenglas quits (~gurkengla@dynamic-089-204-154-028.89.204.154.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 19:44:09 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 19:45:15 | → | gurkenglas joins (~gurkengla@dynamic-046-114-181-231.46.114.pool.telefonica.de) |
| 19:54:34 | → | pavonia joins (~user@user/siracusa) |
| 19:56:04 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:00:12 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 20:02:10 | × | kuribas quits (~user@ptr-17d51ent4zg6fhdi95r.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 20:06:59 | → | nschoe joins (~q@2a01:e0a:8e:a190:3d7d:9496:e0d7:33e3) |
| 20:09:23 | → | michalz joins (~michalz@185.246.207.200) |
| 20:11:20 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 20:14:10 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 20:18:13 | × | mestre quits (~mestre@191.177.175.117) (Quit: Lost terminal) |
| 20:19:17 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) |
| 20:24:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c911:2283:ea7e:cb15) (Ping timeout: 246 seconds) |
| 20:25:31 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 20:26:54 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 20:30:40 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Quit: Gateway shutdown) |
| 20:44:29 | → | slack1256 joins (~slack1256@186.11.89.67) |
| 20:45:28 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 265 seconds) |
| 20:46:12 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 20:54:47 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 20:55:57 | → | andrewboltachev joins (~andrey@178.141.217.5) |
| 20:56:21 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 20:56:28 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 20:56:41 | × | ph88 quits (~ph88@91.66.101.83) (Ping timeout: 268 seconds) |
| 20:57:32 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 20:57:35 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 20:57:38 | → | Square joins (~Square4@user/square) |
| 20:57:52 | <andrewboltachev> | Hello. When using Recursion schemes, is it possible to go back and forth from a form ConsF 1 $ ConsF 2 $ ConsF 3 $ NilF (non-recursive) to [1, 2, 3] (initial one)? |
| 20:59:56 | <TheMatten[m]> | andrewboltachev: You probably want `cata embed`? |
| 21:01:26 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6) |
| 21:01:51 | <andrewboltachev> | TheMatten[m]: yes ty! |
| 21:02:14 | <TheMatten[m]> | andrewboltachev: NP 👍 |
| 21:02:51 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 21:02:52 | × | gurkenglas quits (~gurkengla@dynamic-046-114-181-231.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 21:05:10 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 21:06:44 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 21:10:46 | <energizer> | i'm looking for a function fl that's just like foldl but produces a list of all the intermediate results at the end. this isn't quite scanl because i don't want the intermediate results to be passed to the op, i just want them to be tracked on the side |
| 21:11:18 | <energizer> | does that have a name? |
| 21:11:36 | <mauke> | :t scanl |
| 21:11:38 | <lambdabot> | (b -> a -> b) -> b -> [a] -> [b] |
| 21:12:32 | <energizer> | oh, maybe it is scanl |
| 21:13:37 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 21:13:44 | <ski> | > scanl (+) 1 [2,3,5,7] -- note the length of the list |
| 21:13:46 | <lambdabot> | [1,3,6,11,18] |
| 21:14:36 | → | Cale_ joins (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 21:15:13 | × | Cale_ quits (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 21:16:46 | × | nschoe quits (~q@2a01:e0a:8e:a190:3d7d:9496:e0d7:33e3) (Quit: Switching off) |
| 21:17:24 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 21:18:28 | <andrewboltachev> | TheMatten[m]: only this: doens't work for me, asks type: https://paste.tomsmeding.com/bxwfjckh |
| 21:20:52 | <andrewboltachev> | (ana project on that doens't work either. I believe it's what the opposite it called) |
| 21:23:22 | <andrewboltachev> | having that MatchPattern is my actual type, not List |
| 21:26:37 | <ncf> | hmm, what result do you want? |
| 21:28:09 | <andrewboltachev> | well just MatchIfThenF MatchNullF "foo" MatchNullF |
| 21:29:10 | × | fbytez quits (~uid@2001:bc8:2117:100::) (Changing host) |
| 21:29:10 | → | fbytez joins (~uid@user/fbytez) |
| 21:29:59 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 21:31:04 | <ncf> | the error could just mean that you need to enable OverloadedStrings, although i'm not sure why it's using ListF there |
| 21:31:58 | <andrewboltachev> | yes, me too. already enabled though |
| 21:33:05 | × | heartburn quits (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 250 seconds) |
| 21:40:16 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 21:40:25 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:cdec:d792:8ae:4610) (Quit: caryhartline) |
| 21:40:31 | → | heartburn joins (~gass@2a00:d880:3:1::b1e4:b241) |
| 21:42:07 | <andrewboltachev> | https://paste.tomsmeding.com/5mZQ5dcI minimal case sth like this |
| 21:43:10 | → | caryhartline joins (~caryhartl@107.140.218.181) |
| 21:43:30 | <ncf> | main has type IO a |
| 21:45:14 | <ncf> | also it doesn't look like makeBaseFunctor gives you a Show1 instance for the base functor, so you're not going to be able to print anything |
| 21:46:56 | <ncf> | also note that expressions like `A1F True $ A1F False $ A2F` aren't well-typed in general -- or rather, they are all well-typed individually by a deep enough nesting of `T1F`s, but if you want an infinite such nesting you need to use Fix |
| 21:48:57 | <andrewboltachev> | ah true |
| 21:49:03 | <andrewboltachev> | the Fix |
| 21:49:23 | <ncf> | you get an instance Recursive (Fix T1F), with Base (Fix T1F) ~ T1F ~ Base T1, which is why refix works |
| 21:49:38 | × | briandaed quits (~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
| 21:50:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:51:48 | → | freeside joins (~mengwong@103.252.202.85) |
| 21:55:25 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 21:56:46 | <andrewboltachev> | ncf: thanks. I don't understand Type families yet, so I'd better only use recursion schemes in a standard way. In my project I used cata and para |
| 21:56:59 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 21:57:49 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 21:58:01 | × | andrewboltachev quits (~andrey@178.141.217.5) (Quit: Leaving.) |
| 21:58:05 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 21:58:53 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 21:59:06 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 22:06:07 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 252 seconds) |
| 22:09:09 | × | acidjnk quits (~acidjnk@p200300d6e715c473cc0944bf8140cbf6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 22:16:34 | → | acidjnk joins (~acidjnk@p200300d6e715c473a849fe37f954d55a.dip0.t-ipconnect.de) |
| 22:18:42 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:25:37 | → | son0p joins (~ff@181.136.122.143) |
| 22:28:48 | × | y04nn quits (~username@2a03:1b20:5:f011::aaae) (Ping timeout: 252 seconds) |
| 22:30:52 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 22:32:21 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 22:33:44 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 22:38:03 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 22:41:22 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 22:49:32 | → | ph88 joins (~ph88@ip5b426553.dynamic.kabel-deutschland.de) |
| 22:51:24 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 22:51:45 | → | biberu joins (~biberu@user/biberu) |
| 22:54:22 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 276 seconds) |
| 22:55:28 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 22:57:48 | × | zeenk quits (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 22:58:37 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:00:59 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 23:01:55 | → | y04nn joins (~username@2a03:1b20:5:f011::aaae) |
| 23:03:00 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 23:09:02 | → | mauke_ joins (~mauke@user/mauke) |
| 23:10:23 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 23:10:24 | mauke_ | is now known as mauke |
| 23:17:31 | × | acidjnk quits (~acidjnk@p200300d6e715c473a849fe37f954d55a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:19:17 | × | y04nn quits (~username@2a03:1b20:5:f011::aaae) (Remote host closed the connection) |
| 23:21:20 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 23:22:29 | → | nate1 joins (~nate@98.45.169.16) |
| 23:27:12 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 23:29:15 | × | Square quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 23:29:39 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 23:35:50 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 23:38:04 | → | freeside joins (~mengwong@103.252.202.85) |
| 23:43:07 | × | freeside quits (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 23:44:55 | × | Albina_Pavlovna quits (~Albina_Pa@047-230-050-118.res.spectrum.com) (Quit: bb) |
| 23:48:59 | × | ph88 quits (~ph88@ip5b426553.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 23:53:36 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:56:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 23:57:18 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
All times are in UTC on 2023-04-04.