Logs on 2024-01-02 (liberachat/#haskell)
| 00:05:03 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 00:05:41 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 00:07:52 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 00:13:48 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 00:15:17 | × | Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:33:51 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 00:40:32 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 00:46:27 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:49:40 | × | waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 00:50:09 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 00:51:10 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:53:12 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 00:53:34 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:53:50 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 01:00:04 | × | notzmv quits (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 01:01:05 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 01:04:48 | → | notzmv joins (~zmv@user/notzmv) |
| 01:18:27 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 01:19:05 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 01:20:36 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:27:44 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Remote host closed the connection) |
| 01:37:28 | → | rosco joins (~rosco@14.191.93.45) |
| 01:42:23 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 01:49:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) |
| 01:55:44 | × | rosco quits (~rosco@14.191.93.45) (Quit: Lost terminal) |
| 02:07:44 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 02:09:54 | → | Guest48 joins (~Guest48@d64-180-16-107.bchsia.telus.net) |
| 02:10:50 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:16:34 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 02:17:15 | → | rosco joins (~rosco@14.191.93.45) |
| 02:20:15 | × | TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Quit: Leaving) |
| 02:21:15 | × | mqlnv quits (~tripod@47.154.25.27) (Quit: leaving) |
| 02:21:42 | → | erina joins (~erina@222.195.81.123) |
| 02:25:44 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 02:26:12 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 02:35:39 | → | biberu\ joins (~biberu@user/biberu) |
| 02:36:48 | → | fr33domlover0 joins (~fr33domlo@towards.vision) |
| 02:37:33 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 252 seconds) |
| 02:37:39 | → | migas97 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 02:37:49 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 02:37:55 | → | urdh_ joins (~urdh@user/urdh) |
| 02:37:55 | × | Buggys quits (Buggys@shelltalk.net) (Ping timeout: 276 seconds) |
| 02:38:06 | × | migas9 quits (~migas@static.140.65.63.178.clients.your-server.de) (Ping timeout: 252 seconds) |
| 02:38:06 | migas97 | is now known as migas9 |
| 02:38:16 | × | fr33domlover quits (~fr33domlo@towards.vision) (Read error: Connection reset by peer) |
| 02:38:16 | fr33domlover0 | is now known as fr33domlover |
| 02:38:39 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 252 seconds) |
| 02:38:39 | × | mjacob quits (~mjacob@adrastea.uberspace.de) (Ping timeout: 252 seconds) |
| 02:38:39 | biberu\ | is now known as biberu |
| 02:39:12 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 252 seconds) |
| 02:39:12 | urdh_ | is now known as urdh |
| 02:40:07 | → | mjacob joins (~mjacob@adrastea.uberspace.de) |
| 02:41:28 | → | stefan-_- joins (~cri@42dots.de) |
| 02:41:57 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 02:41:57 | × | fiddlerwoaroof quits (~fiddlerwo@user/fiddlerwoaroof) (Ping timeout: 252 seconds) |
| 02:42:18 | → | fiddlerwoaroof joins (~fiddlerwo@user/fiddlerwoaroof) |
| 02:59:55 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 03:03:58 | × | dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 03:04:19 | → | dtman34 joins (~dtman34@2601:447:d000:93c9:a219:b973:9885:aedd) |
| 03:05:02 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 03:05:27 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 03:07:41 | × | erina quits (~erina@222.195.81.123) (Remote host closed the connection) |
| 03:08:00 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 03:11:23 | → | EvanR joins (~EvanR@user/evanr) |
| 03:11:46 | → | famubu_ joins (~famubu@14.139.174.50) |
| 03:11:48 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 03:11:51 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 03:13:28 | × | famubu_ quits (~famubu@14.139.174.50) (Client Quit) |
| 03:17:41 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 252 seconds) |
| 03:20:33 | × | Guest48 quits (~Guest48@d64-180-16-107.bchsia.telus.net) (Quit: Client closed) |
| 03:22:08 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 03:22:34 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:22:34 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:22:34 | finn_elija | is now known as FinnElija |
| 03:23:11 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:25:11 | × | td_ quits (~td@i53870938.versanet.de) (Ping timeout: 264 seconds) |
| 03:28:59 | → | igemnace joins (~ian@user/igemnace) |
| 03:31:27 | × | ft quits (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 03:31:55 | → | end joins (~end@user/end/x-0094621) |
| 03:31:59 | → | td_ joins (~td@i53870919.versanet.de) |
| 03:33:02 | → | ft joins (~ft@p4fc2a1d8.dip0.t-ipconnect.de) |
| 03:33:59 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:36:24 | × | AWizzArd quits (~code@user/awizzard) (Ping timeout: 252 seconds) |
| 03:36:30 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 03:39:10 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 03:40:11 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 03:40:48 | × | ft quits (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 03:42:41 | → | ft joins (~ft@p4fc2a1d8.dip0.t-ipconnect.de) |
| 03:47:08 | → | trev joins (~trev@user/trev) |
| 03:51:35 | × | foul_owl quits (~kerry@157.97.134.164) (Ping timeout: 264 seconds) |
| 03:54:29 | × | rosco quits (~rosco@14.191.93.45) (Ping timeout: 256 seconds) |
| 03:56:11 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 03:59:24 | → | mikess joins (~sam@user/mikess) |
| 04:03:35 | → | foul_owl joins (~kerry@174-21-148-34.tukw.qwest.net) |
| 04:07:11 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 04:07:45 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 04:08:12 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 04:11:21 | → | rosco joins (~rosco@14.191.221.79) |
| 04:13:17 | → | aforemny joins (~aforemny@2001:9e8:6cd3:f700:18a7:1eb9:39e5:cfd) |
| 04:13:38 | × | aforemny_ quits (~aforemny@2001:9e8:6cee:cc00:fb16:26f0:239b:a8b8) (Ping timeout: 256 seconds) |
| 04:54:44 | × | jargon quits (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
| 04:55:00 | → | jargon joins (~jargon@211.sub-174-205-225.myvzw.com) |
| 05:00:15 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 05:07:14 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 05:15:37 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 05:18:47 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 05:21:26 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 05:21:33 | × | rosco quits (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 05:24:58 | × | igemnace quits (~ian@user/igemnace) (Ping timeout: 276 seconds) |
| 05:36:11 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 05:56:23 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 264 seconds) |
| 05:57:43 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 06:03:35 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 06:09:49 | × | causal quits (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 06:35:40 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 06:47:49 | → | vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 06:52:41 | → | random-jellyfish joins (~developer@2a02:2f04:11e:c600:e4e0:2063:d412:8a2) |
| 06:52:41 | × | random-jellyfish quits (~developer@2a02:2f04:11e:c600:e4e0:2063:d412:8a2) (Changing host) |
| 06:52:41 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 06:52:48 | → | misterfish joins (~misterfis@84.53.85.146) |
| 06:54:20 | → | igemnace joins (~ian@user/igemnace) |
| 07:04:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Remote host closed the connection) |
| 07:07:04 | → | acidjnk joins (~acidjnk@p200300d6e72b9391dca8c1e5d14e1476.dip0.t-ipconnect.de) |
| 07:11:13 | → | mokee joins (~mokee@37.228.215.150) |
| 07:32:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 07:44:26 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 07:45:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 07:47:29 | × | phma quits (phma@2001:5b0:210f:2f48:41e0:848:c683:cd1) (Read error: Connection reset by peer) |
| 07:47:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 07:48:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:48:30 | → | phma joins (~phma@host-67-44-208-102.hnremote.net) |
| 07:53:01 | → | _myclm joins (~myclm_@2a02:810d:8200:1628::8920) |
| 07:59:35 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 08:00:33 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:01:11 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 08:02:46 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:02:55 | → | califax joins (~califax@user/califx) |
| 08:05:58 | → | misterfish joins (~misterfis@84.53.85.146) |
| 08:08:31 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 08:09:18 | → | johnw joins (~johnw@69.62.242.138) |
| 08:10:46 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 08:12:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:16:49 | × | _myclm quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds) |
| 08:18:31 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 08:19:48 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:20:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:20:56 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:33:50 | → | misterfish joins (~misterfis@84.53.85.146) |
| 08:38:28 | → | CiaoSen joins (~Jura@2a05:5800:2d1:7000:ca4b:d6ff:fec1:99da) |
| 08:48:48 | × | vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 08:49:17 | → | vglfr joins (~vglfr@160.pool85-48-184.static.orange.es) |
| 08:50:47 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:51:03 | → | califax joins (~califax@user/califx) |
| 08:53:33 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 08:54:35 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 08:55:29 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 08:55:37 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 09:02:50 | → | rosco joins (~rosco@14.191.221.79) |
| 09:06:04 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 09:07:10 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
| 09:07:14 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 09:07:15 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:07:45 | → | califax joins (~califax@user/califx) |
| 09:08:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:09:57 | × | rosco quits (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 09:15:41 | → | hughjfch1 joins (~hughjfche@vmi556545.contaboserver.net) |
| 09:17:08 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 09:29:03 | × | vglfr quits (~vglfr@160.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 09:29:27 | → | vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 09:29:55 | → | __monty__ joins (~toonn@user/toonn) |
| 09:33:52 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:34:13 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 09:37:46 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 09:38:59 | → | nschoe joins (nschoe@gateway/vpn/protonvpn/nschoe) |
| 09:40:01 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 256 seconds) |
| 09:43:33 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 09:50:37 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 09:53:09 | → | chele joins (~chele@user/chele) |
| 09:54:01 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 255 seconds) |
| 09:54:10 | × | not_reserved quits (~not_reser@45.85.144.105) (Quit: Client closed) |
| 09:54:34 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 09:59:51 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:00:28 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 10:01:07 | → | igemnace joins (~ian@user/igemnace) |
| 10:02:59 | → | misterfish joins (~misterfis@46.44.172.198) |
| 10:06:35 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 10:11:51 | × | foul_owl quits (~kerry@174-21-148-34.tukw.qwest.net) (Ping timeout: 252 seconds) |
| 10:15:09 | <haskellbridge> | 14<maerwald> the sigint situation is a mess |
| 10:15:23 | <haskellbridge> | 14<maerwald> it seems kind of random which signal is propagated as an async exceptions |
| 10:15:27 | <haskellbridge> | 14<maerwald> e.g. sigterm is not |
| 10:15:31 | → | not_reserved joins (~not_reser@185.153.177.191) |
| 10:15:38 | <haskellbridge> | 14<maerwald> there's a lengthy discussion about it here: https://github.com/ndmitchell/shake/issues/169 |
| 10:15:47 | <haskellbridge> | 14<maerwald> again: haskell does not get it right |
| 10:15:50 | × | vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Read error: Connection reset by peer) |
| 10:16:32 | → | vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 10:19:12 | → | target_i joins (~target_i@217.175.14.39) |
| 10:26:07 | → | foul_owl joins (~kerry@185.216.231.182) |
| 10:33:33 | × | mikess quits (~sam@user/mikess) (Ping timeout: 268 seconds) |
| 10:41:15 | × | andrei quits (~andrei@c-24-147-249-131.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 10:44:25 | × | defanor quits (~defanor@tart.uberspace.net) (Quit: .) |
| 10:45:10 | → | defanor joins (~defanor@tart.uberspace.net) |
| 10:46:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:f76a:b63b:2b38:6d46) (Ping timeout: 276 seconds) |
| 10:47:45 | → | xff0x joins (~xff0x@178.255.149.135) |
| 10:49:56 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 10:50:59 | → | euleritian joins (~euleritia@dynamic-046-114-200-197.46.114.pool.telefonica.de) |
| 10:54:31 | × | nschoe quits (nschoe@gateway/vpn/protonvpn/nschoe) (Ping timeout: 276 seconds) |
| 10:59:23 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 11:00:32 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 11:00:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:1c7c:a8a0:e06d:ea11) |
| 11:03:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 11:04:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 11:09:15 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 11:11:10 | × | CiaoSen quits (~Jura@2a05:5800:2d1:7000:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds) |
| 11:16:51 | × | euleritian quits (~euleritia@dynamic-046-114-200-197.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:17:03 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 256 seconds) |
| 11:17:09 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:18:00 | → | cfricke_ joins (~cfricke@user/cfricke) |
| 11:18:00 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:18:23 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 11:18:33 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:23:17 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 11:25:48 | × | krei-se quits (~krei-se@p508747fd.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:26:58 | → | igemnace joins (~ian@user/igemnace) |
| 11:27:45 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 11:28:01 | → | Buggys joins (Buggys@buggy.shelltalk.net) |
| 11:30:30 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 11:31:12 | × | misterfish quits (~misterfis@46.44.172.198) (Ping timeout: 268 seconds) |
| 11:33:05 | → | krei-se joins (~krei-se@p508747fd.dip0.t-ipconnect.de) |
| 11:34:18 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:e89b:70b6:9a81:160e) |
| 11:38:14 | → | MasseR46 joins (thelounge@51.15.143.128) |
| 11:39:29 | <dminuoso_> | maerwald: Honestly, Im not convinced there is a clear "this is the right behavior" situation for SIGTERM here. |
| 11:39:51 | <dminuoso_> | Arguably, its the fault of the Haskeller developers themselves to not install signal handlers. |
| 11:40:10 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds) |
| 11:40:39 | <dminuoso_> | You seem to expect that the RTS will magically propagate " |
| 11:40:44 | <dminuoso_> | "the right signals" as async exceptions. |
| 11:41:15 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 11:42:57 | <dminuoso_> | Given that SIGTERM cannot be *handled* Im not entirely sure what the RTS should do. |
| 11:44:04 | <dminuoso_> | Oh sorry, it can be handled. |
| 11:44:16 | <dminuoso_> | Mmm. |
| 11:44:48 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:e89b:70b6:9a81:160e) (Quit: WeeChat 4.1.2) |
| 11:45:22 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 11:45:51 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 11:48:54 | → | ursa-major joins (~ursa-majo@136.29.34.240) |
| 11:49:12 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 12:01:35 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:02:36 | → | misterfish joins (~misterfis@87.215.131.102) |
| 12:04:05 | × | ursa-major quits (~ursa-majo@136.29.34.240) (Ping timeout: 240 seconds) |
| 12:05:44 | × | vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 268 seconds) |
| 12:06:16 | → | ursa-major joins (~ursa-majo@37.19.210.13) |
| 12:06:33 | → | vglfr joins (~vglfr@135.pool85-48-184.static.orange.es) |
| 12:10:06 | → | puke joins (~puke@user/puke) |
| 12:10:53 | × | puke quits (~puke@user/puke) (Max SendQ exceeded) |
| 12:13:45 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 12:15:30 | → | kuribas joins (~user@ptr-17d51ene4z7eyx0qo5c.18120a2.ip6.access.telenet.be) |
| 12:20:32 | <trev> | hls confused once again, or i'm just dumb?: https://paste.tomsmeding.com/0d6EtPK5 |
| 12:20:50 | → | zzz joins (~z@user/zero) |
| 12:21:57 | <trev> | nevermind, me being dumb and not getting the anon fn args in the right order |
| 12:22:29 | × | not_reserved quits (~not_reser@185.153.177.191) (Quit: Client closed) |
| 12:22:30 | → | christiaanb joins (uid84827@id-84827.lymington.irccloud.com) |
| 12:22:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 12:23:17 | × | zero quits (~z@user/zero) (Ping timeout: 252 seconds) |
| 12:23:18 | zzz | is now known as zero |
| 12:23:53 | × | Luj quits (~Luj@2a01:e0a:5f9:9681:26d9:aa1f:3dc2:6858) (Quit: Ping timeout (120 seconds)) |
| 12:24:12 | → | Luj joins (~Luj@2a01:e0a:5f9:9681:2ea5:d487:e077:51db) |
| 12:49:42 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 12:50:11 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 12:52:13 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 12:54:56 | × | Buggys quits (Buggys@buggy.shelltalk.net) (Ping timeout: 245 seconds) |
| 12:56:19 | × | andrewboltachev quits (~andrey@178.141.235.83) (Quit: Leaving.) |
| 12:56:31 | → | meritamen joins (~meritamen@user/meritamen) |
| 13:01:33 | → | _myclm joins (~myclm_@2a02:810d:8200:1628::8920) |
| 13:02:49 | → | puke joins (~puke@user/puke) |
| 13:20:04 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 13:29:22 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 13:30:18 | → | euleritian joins (~euleritia@dynamic-046-114-200-197.46.114.pool.telefonica.de) |
| 13:35:32 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 13:37:37 | × | ft quits (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Quit: leaving) |
| 13:47:18 | × | mokee quits (~mokee@37.228.215.150) (Quit: off) |
| 13:48:09 | → | mokee joins (~mokee@37.228.215.150) |
| 13:51:14 | → | rosco joins (~rosco@14.191.221.79) |
| 14:02:37 | <bwe> | try parser1 <|> parser2 -- with megaparsec this backtracks parser1 if it fails, so parser2 can start from the beginning of input; how do I backtrack automatically with `asum listOfParsers` with megaparsec? |
| 14:03:17 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 240 seconds) |
| 14:06:05 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 14:06:11 | <nullie> | something like asum $ map try listOfParsers won't work? |
| 14:07:22 | <bwe> | nullie: works, thanks! |
| 14:07:59 | <bwe> | nullie: well, wouldn't it be preciser to do the try on each except the last? |
| 14:08:20 | × | meritamen quits (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:09:16 | <nullie> | maybe adding <|> fail after that would server the same purpose |
| 14:17:45 | <bwe> | works, thanks. |
| 14:18:39 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 14:19:36 | → | meritamen joins (~meritamen@user/meritamen) |
| 14:19:41 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:21:01 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 14:21:27 | → | ft joins (~ft@p4fc2a1d8.dip0.t-ipconnect.de) |
| 14:26:06 | × | phma quits (~phma@host-67-44-208-102.hnremote.net) (Read error: Connection reset by peer) |
| 14:27:34 | → | phma joins (phma@2001:5b0:210f:2568:499d:60b5:2d7f:9a43) |
| 14:31:51 | Festive_Derg | is now known as A_Dragon |
| 14:31:57 | × | rosco quits (~rosco@14.191.221.79) (Quit: Lost terminal) |
| 14:32:06 | → | Square joins (~Square@user/square) |
| 14:33:12 | × | Square quits (~Square@user/square) (Client Quit) |
| 14:33:27 | → | Square joins (~Square@user/square) |
| 14:34:50 | × | vglfr quits (~vglfr@135.pool85-48-184.static.orange.es) (Read error: Connection reset by peer) |
| 14:35:09 | → | vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 14:39:15 | × | AlexZenon quits (~alzenon@178.34.161.237) (Ping timeout: 260 seconds) |
| 14:41:32 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 256 seconds) |
| 14:43:53 | × | incertia quits (~incertia@209.122.137.252) (Ping timeout: 256 seconds) |
| 14:49:34 | → | AlexZenon joins (~alzenon@178.34.161.237) |
| 14:49:51 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 14:50:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:52:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:52:58 | × | meritamen quits (~meritamen@user/meritamen) (Quit: I gotta go.) |
| 15:04:26 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:08:29 | → | son0p joins (~ff@186.114.35.184) |
| 15:08:51 | → | p3n joins (~p3n@217.198.124.246) |
| 15:08:59 | × | xdminsy quits (~xdminsy@117.147.71.169) (Read error: Connection reset by peer) |
| 15:10:24 | → | xdminsy joins (~xdminsy@117.147.71.169) |
| 15:17:07 | × | Igloo quits (~ian@matrix.chaos.earth.li) (Ping timeout: 276 seconds) |
| 15:20:38 | × | Teacup quits (~teacup@user/teacup) () |
| 15:20:55 | → | Teacup joins (~teacup@user/teacup) |
| 15:21:00 | × | jargon quits (~jargon@211.sub-174-205-225.myvzw.com) (Read error: Connection reset by peer) |
| 15:31:26 | × | cfricke_ quits (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 15:33:31 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 15:34:04 | × | euleritian quits (~euleritia@dynamic-046-114-200-197.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 15:34:31 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 15:36:54 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 15:42:48 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 268 seconds) |
| 15:49:17 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 268 seconds) |
| 16:01:16 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 16:04:20 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 16:08:46 | × | KaitoDaumoto quits (~asdf@user/kaitodaumoto) (Remote host closed the connection) |
| 16:09:18 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 16:15:01 | → | andrewboltachev joins (~andrey@178.141.235.83) |
| 16:24:45 | × | wryish quits (~wryish@216.246.119.62) (Quit: %blank%) |
| 16:25:01 | → | wryish joins (~wryish@2605:4c40:119:efa3:0:727d:19eb:1) |
| 16:32:27 | × | vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 16:35:10 | × | _myclm quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 260 seconds) |
| 16:42:53 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 16:42:53 | ChanServ | sets mode +v haskellbridge |
| 16:44:17 | → | waldo joins (~waldo@user/waldo) |
| 16:44:49 | → | incertia joins (~incertia@209.122.137.252) |
| 16:50:02 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 16:51:26 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 16:53:37 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:55:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:56:00 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 16:56:10 | → | vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 16:56:26 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 16:57:21 | → | euleritian joins (~euleritia@dynamic-046-114-156-222.46.114.pool.telefonica.de) |
| 16:58:20 | × | euleritian quits (~euleritia@dynamic-046-114-156-222.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:58:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:00:05 | × | vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 17:00:47 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 17:02:25 | × | waldo quits (~waldo@user/waldo) (Ping timeout: 255 seconds) |
| 17:03:18 | → | waldo joins (~waldo@user/waldo) |
| 17:07:10 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 17:07:39 | × | waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 17:08:10 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 17:13:36 | × | dfg quits (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 17:14:43 | → | dfg joins (~dfg@dfg.rocks) |
| 17:14:43 | × | dfg quits (~dfg@dfg.rocks) (Changing host) |
| 17:14:43 | → | dfg joins (~dfg@user/dfg) |
| 17:22:35 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 260 seconds) |
| 17:23:40 | → | vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net) |
| 17:23:44 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:23:58 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:27:53 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 17:28:28 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 17:32:33 | → | Guest48 joins (~Guest48@d64-180-16-107.bchsia.telus.net) |
| 17:35:20 | × | ursa-major quits (~ursa-majo@37.19.210.13) (Quit: WeeChat 4.1.2) |
| 17:36:39 | × | Guest48 quits (~Guest48@d64-180-16-107.bchsia.telus.net) (Client Quit) |
| 17:36:40 | → | Buggys joins (Buggys@shelltalk.net) |
| 17:42:43 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 17:44:05 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
| 17:46:04 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:50:10 | → | rvalue joins (~rvalue@user/rvalue) |
| 17:53:03 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:59:30 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 18:01:00 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 18:01:07 | <glguy> | Ideally you're not splashing try around except in the very few places you need it |
| 18:01:48 | <glguy> | And the places you need it are local to that need |
| 18:10:47 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 18:17:36 | → | cyrif^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 18:18:07 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 18:18:27 | → | mikess joins (~sam@user/mikess) |
| 18:18:31 | → | euleritian joins (~euleritia@dynamic-046-114-156-222.46.114.pool.telefonica.de) |
| 18:18:58 | → | todi joins (~todi@pd95710f6.dip0.t-ipconnect.de) |
| 18:22:26 | × | duncan quits (~duncan@user/duncan) (Ping timeout: 245 seconds) |
| 18:28:09 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 18:34:11 | → | duncan joins (~duncan@user/duncan) |
| 18:34:36 | × | euleritian quits (~euleritia@dynamic-046-114-156-222.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 18:34:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 18:34:54 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:40:04 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 18:51:25 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 18:57:03 | → | michalz joins (~michalz@185.246.207.218) |
| 19:01:01 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:01:01 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Quit: brb) |
| 19:03:18 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 19:05:15 | → | causal joins (~eric@50.35.85.7) |
| 19:06:45 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 19:24:35 | → | igemnace joins (~ian@user/igemnace) |
| 19:34:46 | × | xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 260 seconds) |
| 19:37:05 | → | incertia_ joins (~incertia@209.122.137.252) |
| 19:38:07 | × | incertia quits (~incertia@209.122.137.252) (Ping timeout: 255 seconds) |
| 19:38:08 | incertia_ | is now known as incertia |
| 19:43:53 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 20:12:30 | × | xigua quits (~xigua@user/xigua) (Remote host closed the connection) |
| 20:13:04 | → | xigua joins (~xigua@user/xigua) |
| 20:15:30 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 20:17:43 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 20:19:54 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 20:23:29 | → | waldo joins (~waldo@user/waldo) |
| 20:26:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Remote host closed the connection) |
| 20:27:55 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:33:11 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 20:33:11 | → | pavonia joins (~user@user/siracusa) |
| 20:39:44 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:43:51 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-a6e3-3ba3-0107-8cff.res6.spectrum.com) (Remote host closed the connection) |
| 20:45:49 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) |
| 20:49:56 | → | chomwitt joins (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) |
| 20:50:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:50:22 | × | mokee quits (~mokee@37.228.215.150) (Remote host closed the connection) |
| 21:00:08 | × | andrewboltachev quits (~andrey@178.141.235.83) (Quit: Leaving.) |
| 21:06:27 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 21:10:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) (Ping timeout: 245 seconds) |
| 21:22:20 | → | lg188 joins (~lg188@82.18.98.230) |
| 21:28:30 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:36:33 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2) |
| 21:39:23 | → | a51 joins (a51@gateway/vpn/protonvpn/a51) |
| 21:41:23 | → | nhs joins (~nhs@136.49.70.176) |
| 21:47:20 | → | Guest123 joins (~Guest123@216.126.35.198) |
| 21:51:48 | × | kuribas quits (~user@ptr-17d51ene4z7eyx0qo5c.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 21:55:08 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:dc23:eac6:7ba0:536f) |
| 21:55:19 | × | phma quits (phma@2001:5b0:210f:2568:499d:60b5:2d7f:9a43) (Read error: Connection reset by peer) |
| 21:56:03 | × | michalz quits (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
| 21:56:19 | → | phma joins (~phma@2001:5b0:212a:d8b8:260d:d506:237:c86d) |
| 22:01:57 | → | random-jellyfish joins (~developer@2a02:2f04:11e:c600:45e4:c330:4dfc:31f1) |
| 22:01:57 | × | random-jellyfish quits (~developer@2a02:2f04:11e:c600:45e4:c330:4dfc:31f1) (Changing host) |
| 22:01:57 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 22:06:13 | <nhs> | Hello, I'm trying to come up with a way to generically compose mutliple datatypes together and dispatch to them see: https://paste.tomsmeding.com/bDEfNKiC. I'm just wondering if there exists a pattern like this somewhere, or if I need to try and write a generic class for Exec, which I would like to avoid because I have many of these Exec-like classes. It feels like if I did `Base = Either Foo Bar` + |
| 22:06:19 | <nhs> | bifoldMap it gets pretty close, but bifoldMap brings Monoid constraints, which is unnecessary in my case |
| 22:10:48 | <monochrom> | I haven't checked, but DerivingVia may be worth a try. |
| 22:13:46 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:14:47 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 22:15:06 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 22:17:08 | <nhs> | Thank you, reading about it now, but I think it might only work for newtypes |
| 22:23:45 | <glguy> | DerivingVia is not limited to newtypes |
| 22:27:13 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 22:28:46 | <nhs> | I just meant in this case, I think it'd only work if I had a single constructor for `Base`. DerivingVia cannot coerce to Foo or Bar without knowing if its a Foo or Bar in the underlying variant type |
| 22:31:26 | <glguy> | That looks like it would be easy to do with GHC.Generics and that DeriviaVia would be a fine way to pick the generic instance |
| 22:36:58 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 22:43:04 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:44:31 | × | nhs quits (~nhs@136.49.70.176) (Ping timeout: 245 seconds) |
| 22:49:48 | → | nhs joins (~nhs@136.49.70.176) |
| 22:54:41 | × | nhs quits (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 23:00:19 | → | nhs joins (~nhs@136.49.70.176) |
| 23:00:44 | × | td_ quits (~td@i53870919.versanet.de) (Ping timeout: 252 seconds) |
| 23:02:19 | → | td_ joins (~td@i5387091C.versanet.de) |
| 23:05:43 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 23:11:03 | × | nhs quits (~nhs@136.49.70.176) (Ping timeout: 256 seconds) |
| 23:13:25 | × | td_ quits (~td@i5387091C.versanet.de) (Quit: waking up from the american dream ...) |
| 23:24:02 | → | nhs joins (~nhs@136.49.70.176) |
| 23:27:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:27:43 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds) |
| 23:28:05 | × | myme quits (~myme@2a01:799:d60:e400:c395:9fa:e4aa:e46b) (Ping timeout: 268 seconds) |
| 23:28:34 | → | myme joins (~myme@2a01:799:d60:e400:40e3:f57:648e:522b) |
| 23:29:06 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 23:29:10 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds) |
| 23:29:19 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 23:29:20 | × | nhs quits (~nhs@136.49.70.176) (Ping timeout: 252 seconds) |
| 23:35:17 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 23:38:53 | → | Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 23:38:53 | × | acidjnk quits (~acidjnk@p200300d6e72b9391dca8c1e5d14e1476.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 23:41:49 | → | Igloo joins (~ian@matrix.chaos.earth.li) |
| 23:44:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:46:30 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 23:51:17 | × | chomwitt quits (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 23:52:32 | → | td_ joins (~td@i5387091c.versanet.de) |
| 23:56:48 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 23:56:51 | → | nhs joins (~nhs@136.49.70.176) |
| 23:59:12 | × | Guest123 quits (~Guest123@216.126.35.198) (Ping timeout: 250 seconds) |
| 23:59:12 | <Axman6> | nhs: generics or generics-sop should make that pretty easy |
All times are in UTC on 2024-01-02.