| 2022-10-19 00:01:58 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2022-10-19 00:04:09 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-19 00:05:10 +0200 | zkSNOOP | (~username@2a02:1810:4480:fe00:1e99:ab98:668f:2693) () |
| 2022-10-19 00:05:52 +0200 | phma_ | (~phma@host-67-44-208-235.hnremote.net) |
| 2022-10-19 00:06:37 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-19 00:07:03 +0200 | phma | (phma@2001:5b0:211b:cec8:a384:d707:3763:eb94) (Read error: Connection reset by peer) |
| 2022-10-19 00:07:31 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-19 00:08:25 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-19 00:08:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-245.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-19 00:11:01 +0200 | axeman | (~quassel@2a02:8109:a380:78:d744:c78d:4439:4b0c) (Ping timeout: 268 seconds) |
| 2022-10-19 00:11:31 +0200 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Ping timeout: 260 seconds) |
| 2022-10-19 00:12:10 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-19 00:12:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-19 00:16:33 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 250 seconds) |
| 2022-10-19 00:17:19 +0200 | axeman | (~quassel@2a02:8109:a380:78:4bc1:597b:7ea4:c68d) |
| 2022-10-19 00:24:56 +0200 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
| 2022-10-19 00:25:08 +0200 | phma_ | phma |
| 2022-10-19 00:25:40 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-10-19 00:31:57 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-19 00:33:41 +0200 | acidjnk | (~acidjnk@p200300d6e7137a081c996600623faa40.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-19 00:36:24 +0200 | axeman | (~quassel@2a02:8109:a380:78:4bc1:597b:7ea4:c68d) (Ping timeout: 264 seconds) |
| 2022-10-19 00:38:06 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-19 00:38:48 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 264 seconds) |
| 2022-10-19 00:39:01 +0200 | tv | (~tv@user/tv) |
| 2022-10-19 00:53:11 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-19 00:54:38 +0200 | Topsi | (~Topsi@dyndsl-095-033-026-060.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-19 00:54:48 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-10-19 00:57:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-19 01:01:13 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 01:05:57 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-10-19 01:06:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-19 01:06:45 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-19 01:10:32 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-10-19 01:22:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 01:24:08 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 01:38:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-19 01:42:46 +0200 | jargon | (~jargon@184.101.208.112) |
| 2022-10-19 01:46:36 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-10-19 01:50:26 +0200 | mikoto-chan | (~mikoto-ch@dsl-hkibng32-50dcba-150.dhcp.inet.fi) |
| 2022-10-19 01:55:00 +0200 | jargon | (~jargon@184.101.208.112) (Remote host closed the connection) |
| 2022-10-19 01:55:31 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-10-19 01:55:35 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:5cd5:afa2:55e9:2fce) |
| 2022-10-19 01:56:01 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-19 01:57:03 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-19 01:57:06 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds) |
| 2022-10-19 01:57:11 +0200 | Sciencentistguy1 | (~sciencent@hacksoc/ordinary-member) |
| 2022-10-19 02:04:36 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-19 02:05:46 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-19 02:09:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-19 02:10:59 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-10-19 02:15:03 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-19 02:17:00 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-19 02:17:31 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-19 02:21:23 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 02:23:36 +0200 | mmhat | (~mmh@p200300f1c7337736ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7) |
| 2022-10-19 02:24:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-10-19 02:29:34 +0200 | inversed | (~inversed@90.209.137.56) (Read error: No route to host) |
| 2022-10-19 02:30:13 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-10-19 02:33:35 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 268 seconds) |
| 2022-10-19 02:33:52 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-10-19 02:39:44 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-10-19 02:52:16 +0200 | freeside_ | (~mengwong@103.252.202.193) |
| 2022-10-19 02:54:27 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) (Ping timeout: 248 seconds) |
| 2022-10-19 02:54:27 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2022-10-19 02:54:49 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2022-10-19 02:54:59 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-10-19 02:54:59 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 248 seconds) |
| 2022-10-19 02:54:59 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (Ping timeout: 248 seconds) |
| 2022-10-19 02:55:03 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-10-19 02:55:06 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) |
| 2022-10-19 02:55:31 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 248 seconds) |
| 2022-10-19 02:57:23 +0200 | kmein | (~weechat@user/kmein) |
| 2022-10-19 02:58:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-10-19 02:59:49 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-19 02:59:49 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-19 02:59:49 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-19 02:59:52 +0200 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-19 03:01:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-19 03:03:01 +0200 | mikoto-chan | (~mikoto-ch@dsl-hkibng32-50dcba-150.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2022-10-19 03:03:22 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 03:10:18 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-19 03:11:31 +0200 | TonyStone | (~TonyStone@74.76.51.197) |
| 2022-10-19 03:14:21 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-10-19 03:16:25 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-19 03:20:08 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 03:20:29 +0200 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Changing host) |
| 2022-10-19 03:20:29 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-19 03:21:39 +0200 | raym | (~aritra@user/raym) (Ping timeout: 248 seconds) |
| 2022-10-19 03:23:51 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-10-19 03:24:01 +0200 | freeside_ | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-19 03:24:59 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-19 03:27:06 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-19 03:27:25 +0200 | raym | (~aritra@user/raym) |
| 2022-10-19 03:30:34 +0200 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) |
| 2022-10-19 03:31:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2022-10-19 03:35:02 +0200 | inversed | (~inversed@90.209.137.56) (Read error: Connection reset by peer) |
| 2022-10-19 03:35:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-19 03:37:55 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-10-19 03:38:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1291:8fa4:a381:47f3) (Ping timeout: 246 seconds) |
| 2022-10-19 03:38:20 +0200 | libertyprime | (~libertypr@118-92-78-165.dsl.dyn.ihug.co.nz) (Quit: leaving) |
| 2022-10-19 03:39:47 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Ping timeout: 248 seconds) |
| 2022-10-19 03:44:27 +0200 | razetime | (~quassel@117.193.6.127) |
| 2022-10-19 03:45:43 +0200 | jargon | (~jargon@184.101.208.112) |
| 2022-10-19 03:47:12 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds) |
| 2022-10-19 03:54:00 +0200 | Lumia | (~Lumia@user/Lumia) (Quit: ,-) |
| 2022-10-19 04:02:12 +0200 | grymzu | (~zymurgy@user/zymurgy) (Ping timeout: 264 seconds) |
| 2022-10-19 04:04:18 +0200 | grymzu | (~zymurgy@user/zymurgy) |
| 2022-10-19 04:17:25 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-19 04:18:25 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-19 04:19:15 +0200 | td_ | (~td@83.135.9.44) (Ping timeout: 248 seconds) |
| 2022-10-19 04:21:03 +0200 | td_ | (~td@83.135.9.59) |
| 2022-10-19 04:23:49 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-10-19 04:25:55 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-19 04:31:55 +0200 | yuzhao | (~yuzhao@36.112.45.77) |
| 2022-10-19 04:32:05 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 04:32:35 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-10-19 04:32:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-10-19 04:33:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-19 04:33:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) |
| 2022-10-19 04:37:31 +0200 | yuzhao | (~yuzhao@36.112.45.77) (Ping timeout: 260 seconds) |
| 2022-10-19 04:40:37 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 268 seconds) |
| 2022-10-19 04:40:58 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 04:49:21 +0200 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-19 04:59:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-10-19 05:00:24 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-19 05:01:25 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-19 05:05:01 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 05:07:51 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 260 seconds) |
| 2022-10-19 05:08:03 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 05:11:49 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-10-19 05:12:20 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-10-19 05:13:18 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-10-19 05:16:16 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-10-19 05:19:59 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 05:22:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 05:23:40 +0200 | wroathe_ | (~wroathe@206-55-188-8.fttp.usinternet.com) (Ping timeout: 268 seconds) |
| 2022-10-19 05:23:40 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-10-19 05:26:57 +0200 | yuzhao | (~yuzhao@36.112.45.77) |
| 2022-10-19 05:27:49 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-19 05:32:13 +0200 | yuzhao | (~yuzhao@36.112.45.77) (Ping timeout: 252 seconds) |
| 2022-10-19 05:32:54 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 05:39:39 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-19 05:39:40 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-19 05:40:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-19 05:46:19 +0200 | ksu | (~ksu@user/prtr) (Ping timeout: 250 seconds) |
| 2022-10-19 05:48:06 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) (ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2022-10-19 05:49:38 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2022-10-19 05:49:39 +0200 | Server | +Cnt |
| 2022-10-19 05:49:47 +0200 | haskl | (~haskl@user/haskl) |
| 2022-10-19 05:49:48 +0200 | Unode | (~Unode@194.94.44.220) |
| 2022-10-19 05:49:48 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
| 2022-10-19 05:49:49 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-10-19 05:49:52 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-10-19 05:49:58 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-10-19 05:50:01 +0200 | taeaad | (~taeaad@user/taeaad) |
| 2022-10-19 05:50:58 +0200 | Maja | (~quassel@178-37-215-128.adsl.inetia.pl) |
| 2022-10-19 05:51:22 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2022-10-19 05:51:30 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2022-10-19 05:51:33 +0200 | srk | (~sorki@user/srk) |
| 2022-10-19 05:51:34 +0200 | BB[m] | (~cashmagem@2001:470:69fc:105::f6dc) |
| 2022-10-19 05:51:53 +0200 | sektor[m] | (~sektor@2001:470:69fc:105::2:3f60) |
| 2022-10-19 05:53:01 +0200 | ksu | (~ksu@user/prtr) |
| 2022-10-19 05:53:07 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-10-19 05:53:09 +0200 | expipiplus1 | (~expipiplu@2001:470:69fc:105::d713) |
| 2022-10-19 05:53:13 +0200 | CeNiEi[m] | (~cenieimat@2001:470:69fc:105::1:894c) |
| 2022-10-19 05:53:28 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-10-19 05:53:29 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-10-19 05:53:34 +0200 | rockymarine[m] | (~rockymari@2001:470:69fc:105::2:9a0c) |
| 2022-10-19 05:53:37 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2022-10-19 05:54:05 +0200 | cafkafk[m] | (~cafkafkma@2001:470:69fc:105::1:cea8) |
| 2022-10-19 05:54:24 +0200 | jargon | (~jargon@184.101.208.112) (Remote host closed the connection) |
| 2022-10-19 05:54:59 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 05:55:06 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-19 05:55:41 +0200 | razetime | (~quassel@117.193.6.127) (Ping timeout: 260 seconds) |
| 2022-10-19 05:56:51 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-10-19 05:57:43 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2022-10-19 05:59:19 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
| 2022-10-19 05:59:37 +0200 | kenran | (~user@user/kenran) |
| 2022-10-19 06:01:10 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-10-19 06:04:19 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-10-19 06:05:36 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 260 seconds) |
| 2022-10-19 06:10:36 +0200 | mbuf | (~Shakthi@49.204.129.148) |
| 2022-10-19 06:11:26 +0200 | bgamari_ | (~bgamari@64.223.236.29) (Ping timeout: 260 seconds) |
| 2022-10-19 06:13:13 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-19 06:13:20 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-19 06:13:42 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-19 06:16:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-19 06:16:45 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-19 06:17:44 +0200 | bgamari | (~bgamari@64.223.227.132) |
| 2022-10-19 06:22:32 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-19 06:24:45 +0200 | jonathanx_ | (~jonathan@178.174.176.109) |
| 2022-10-19 06:27:11 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-10-19 06:29:29 +0200 | vglfr | (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 2022-10-19 06:29:39 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 06:31:22 +0200 | Lumia | (~Lumia@user/Lumia) (Remote host closed the connection) |
| 2022-10-19 06:31:24 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-19 06:31:47 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-19 06:34:37 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 06:36:04 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-10-19 06:37:39 +0200 | razetime | (~quassel@117.193.6.127) |
| 2022-10-19 06:38:25 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-19 06:39:13 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-10-19 06:46:04 +0200 | jrm | (~jrm@user/jrm) |
| 2022-10-19 06:52:53 +0200 | Luj3 | (~Luj@2a01:e0a:5f9:9681:8b6a:8ece:3740:1a44) |
| 2022-10-19 07:00:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-19 07:07:18 +0200 | frase | (~Fraser@159.196.13.21) (Ping timeout: 264 seconds) |
| 2022-10-19 07:07:36 +0200 | mbuf | (~Shakthi@49.204.129.148) (Ping timeout: 264 seconds) |
| 2022-10-19 07:07:49 +0200 | mbuf | (~Shakthi@49.204.132.253) |
| 2022-10-19 07:08:52 +0200 | frase | (~Fraser@159.196.13.21) |
| 2022-10-19 07:09:40 +0200 | Lumia | (~Lumia@user/Lumia) (Ping timeout: 246 seconds) |
| 2022-10-19 07:10:21 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-10-19 07:16:21 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-19 07:21:33 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-19 07:22:40 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 07:27:31 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-19 07:33:57 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 07:48:16 +0200 | raym | (~aritra@user/raym) (Ping timeout: 260 seconds) |
| 2022-10-19 07:48:30 +0200 | raym | (~aritra@user/raym) |
| 2022-10-19 07:51:47 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-19 07:54:06 +0200 | raym | (~aritra@user/raym) (Ping timeout: 264 seconds) |
| 2022-10-19 07:55:25 +0200 | kenran | (~user@user/kenran) |
| 2022-10-19 07:56:58 +0200 | yuzhao | (~yuzhao@36.112.45.77) |
| 2022-10-19 07:59:49 +0200 | raym | (~aritra@user/raym) |
| 2022-10-19 08:01:07 +0200 | yuzhao | (~yuzhao@36.112.45.77) (Ping timeout: 246 seconds) |
| 2022-10-19 08:05:19 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-19 08:08:46 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-19 08:12:00 +0200 | yuzhao | (~yuzhao@36.112.45.77) |
| 2022-10-19 08:13:46 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) |
| 2022-10-19 08:15:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-10-19 08:18:25 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 08:20:22 +0200 | yuzhao | (~yuzhao@36.112.45.77) (Ping timeout: 246 seconds) |
| 2022-10-19 08:20:56 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 260 seconds) |
| 2022-10-19 08:20:57 +0200 | vglfr | (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 2022-10-19 08:21:04 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 08:21:27 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-10-19 08:26:02 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) |
| 2022-10-19 08:26:35 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-19 08:28:26 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:5cd5:afa2:55e9:2fce) (Quit: caryhartline) |
| 2022-10-19 08:31:50 +0200 | asm | (~alexander@burner.asm89.io) (Changing host) |
| 2022-10-19 08:31:50 +0200 | asm | (~alexander@user/asm) |
| 2022-10-19 08:34:33 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-19 08:35:20 +0200 | axeman | (~quassel@2a02:8109:a380:78:7a17:29e5:d092:ea5d) |
| 2022-10-19 08:38:48 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-19 08:41:44 +0200 | axeman | (~quassel@2a02:8109:a380:78:7a17:29e5:d092:ea5d) (Ping timeout: 268 seconds) |
| 2022-10-19 08:43:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6f7e:524f:cc40:2955) |
| 2022-10-19 08:45:57 +0200 | mmhat | (~mmh@p200300f1c7337736ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-19 08:47:38 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-19 08:51:32 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2022-10-19 08:51:57 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) |
| 2022-10-19 08:54:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-19 08:57:33 +0200 | axeman | (~quassel@2a02:8109:a380:78:bc4:6f73:24d5:f1f3) |
| 2022-10-19 08:57:34 +0200 | kenran` | (~user@user/kenran) |
| 2022-10-19 08:59:48 +0200 | kenran | (~user@user/kenran) (Ping timeout: 264 seconds) |
| 2022-10-19 09:02:27 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-10-19 09:03:12 +0200 | axeman | (~quassel@2a02:8109:a380:78:bc4:6f73:24d5:f1f3) (Ping timeout: 268 seconds) |
| 2022-10-19 09:07:00 +0200 | mbuf | (~Shakthi@49.204.132.253) (Ping timeout: 264 seconds) |
| 2022-10-19 09:07:18 +0200 | mbuf | (~Shakthi@49.204.139.143) |
| 2022-10-19 09:10:53 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 2022-10-19 09:11:56 +0200 | acidjnk | (~acidjnk@p200300d6e7137a08b4dee3a6debde38e.dip0.t-ipconnect.de) |
| 2022-10-19 09:20:48 +0200 | thegeekinside | (~thegeekin@189.180.97.156) (Ping timeout: 264 seconds) |
| 2022-10-19 09:21:19 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-19 09:22:41 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-10-19 09:34:13 +0200 | vglfr | (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 2022-10-19 09:35:01 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 09:36:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 09:37:55 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-19 09:42:24 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-19 09:49:36 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-19 09:54:47 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) |
| 2022-10-19 09:56:23 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-19 10:01:08 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 10:06:13 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-10-19 10:06:46 +0200 | freeside | (~mengwong@151.192.73.74) |
| 2022-10-19 10:09:02 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-19 10:09:14 +0200 | aliosablack | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) |
| 2022-10-19 10:09:53 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) (Read error: Connection reset by peer) |
| 2022-10-19 10:10:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-19 10:11:43 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-19 10:16:36 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-19 10:19:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:253c:9364:4f2a:ce74) (Remote host closed the connection) |
| 2022-10-19 10:21:38 +0200 | yvan-sraka | (~yvan-srak@ip-185-104-137-32.ptr.icomera.net) |
| 2022-10-19 10:30:26 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-19 10:31:50 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:450:24db:a030:2d0b) |
| 2022-10-19 10:32:42 +0200 | <mastarija> | Are there any situations where GHC can't determine if the pattern matching is exhaustive? |
| 2022-10-19 10:35:12 +0200 | vglfr | (~vglfr@145.224.100.100) (Read error: Connection reset by peer) |
| 2022-10-19 10:35:40 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 10:35:49 +0200 | freeside | (~mengwong@151.192.73.74) (Ping timeout: 268 seconds) |
| 2022-10-19 10:36:14 +0200 | yvan-sraka | (~yvan-srak@ip-185-104-137-32.ptr.icomera.net) (Remote host closed the connection) |
| 2022-10-19 10:40:48 +0200 | <[exa]> | mastarija: if you mix in pattern guards stuff gets pretty complex/undecidable. For simple streamlined single-argument patterns the check should be pretty easy (you literally just check the data constructor coverage) |
| 2022-10-19 10:42:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
| 2022-10-19 10:44:15 +0200 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
| 2022-10-19 10:44:30 +0200 | yvan-sraka | (~yvan-srak@ip-185-104-137-32.ptr.icomera.net) |
| 2022-10-19 10:46:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 10:46:41 +0200 | off^ | (~off@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-10-19 10:50:04 +0200 | <mastarija> | Thanks! |
| 2022-10-19 10:54:56 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7) |
| 2022-10-19 10:57:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-19 10:58:01 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 10:58:37 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 11:03:17 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 11:05:23 +0200 | <[exa]> | mastarija: btw there are some papers around that concern compiling the pattern matches that involve multiple arguments, which is IIRC sometimes pretty hard to optimize. such as this https://dl.acm.org/doi/abs/10.1145/1411304.1411311 |
| 2022-10-19 11:05:45 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-10-19 11:05:55 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-19 11:06:35 +0200 | <mastarija> | mastarija: likes the paper |
| 2022-10-19 11:06:54 +0200 | <mastarija> | mastarija, test? |
| 2022-10-19 11:06:55 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 11:10:11 +0200 | <lortabac> | there is also the question of GADTs, for which simple constructor coverage is not enough |
| 2022-10-19 11:11:14 +0200 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-19 11:12:49 +0200 | aliosablack | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) (Quit: Leaving) |
| 2022-10-19 11:13:09 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) |
| 2022-10-19 11:16:16 +0200 | freeside_ | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 11:17:12 +0200 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 264 seconds) |
| 2022-10-19 11:17:12 +0200 | yvan-sraka | (~yvan-srak@ip-185-104-137-32.ptr.icomera.net) (Remote host closed the connection) |
| 2022-10-19 11:17:52 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 11:19:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) |
| 2022-10-19 11:20:21 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 11:22:36 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 11:22:58 +0200 | inversed | (~inversed@90.209.137.56) (Quit: Connection error?!) |
| 2022-10-19 11:24:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) (Ping timeout: 246 seconds) |
| 2022-10-19 11:26:39 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 11:26:45 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-10-19 11:27:33 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 11:27:49 +0200 | ft | (~ft@62.155.200.69) (Quit: leaving) |
| 2022-10-19 11:35:23 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-19 11:37:04 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-19 11:37:12 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-10-19 11:39:16 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Ping timeout: 260 seconds) |
| 2022-10-19 11:39:40 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 11:40:26 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-10-19 11:41:12 +0200 | <merijn> | mastarija: "Are tehre any situations?" -> yes |
| 2022-10-19 11:41:39 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 11:41:55 +0200 | <merijn> | The number of situations is shrinking, but in general you can probably always construct some niche case that can't be detected |
| 2022-10-19 11:42:05 +0200 | <merijn> | At least if you include extensions |
| 2022-10-19 11:42:27 +0200 | frase | (~Fraser@159.196.13.21) () |
| 2022-10-19 11:43:02 +0200 | <mastarija> | Yes, but some of those would be "bugs". I'm more interested in things that aren't bugs but aren't possible to be checked for exhaustiveness. |
| 2022-10-19 11:43:33 +0200 | <merijn> | Once you introduce GADTs and type families there's lots of cases where it isn't solvable, I think |
| 2022-10-19 11:43:53 +0200 | <mastarija> | lortabac, any simple example of that? |
| 2022-10-19 11:44:52 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2022-10-19 11:48:08 +0200 | razetime | (~quassel@117.193.6.127) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-19 11:48:14 +0200 | beteigeuze | (~Thunderbi@89.187.168.55) |
| 2022-10-19 11:48:49 +0200 | <lortabac> | mastarija: this pattern-matching is exhaustive even though it doesn't handle all the constructors https://paste.tomsmeding.com/BQ1Qb5p2 |
| 2022-10-19 11:49:41 +0200 | <lortabac> | if you try to add a case for 'Foo' you will get a warning |
| 2022-10-19 11:49:54 +0200 | <mastarija> | But will Haskell yell at me? If not I'd say it correctly detects patternmatching. |
| 2022-10-19 11:50:14 +0200 | <mastarija> | *exhaustiveness |
| 2022-10-19 11:50:27 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-10-19 11:51:02 +0200 | <lortabac> | now this was a simple case, but there are more complex cases which GHC can't solve |
| 2022-10-19 11:51:04 +0200 | <mastarija> | This makes sense to me. Foo shouldn't be possible. |
| 2022-10-19 11:51:38 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-19 11:52:45 +0200 | <merijn> | mastarija: Hold on, there are two possible takes of your question |
| 2022-10-19 11:52:57 +0200 | <lortabac> | I have one example with 'Fin' where GHC gives me an incorrect warning, unfortunately I don't think I'm able to paste the entire example right now |
| 2022-10-19 11:53:14 +0200 | <merijn> | mastarija: There is "can GHC always tell me if a pattern match is exhaustive?" and "GHC will always tell me if a pattern match is potentially not exhaustive" |
| 2022-10-19 11:53:17 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-19 11:53:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 11:53:27 +0200 | <merijn> | mastarija: The former is almost certainly not true, the latter should be true |
| 2022-10-19 11:53:57 +0200 | <merijn> | mastarija: i.e. there are only false negatives (exhaustive matches reported as non-exhaustive), never false positives (non-exhaustive matches reported as exhaustive) |
| 2022-10-19 11:53:59 +0200 | <mastarija> | I'm more like "is there a case where it's not possible to correctly infer exhaustiveness, and GHC will stay silent" |
| 2022-10-19 11:54:45 +0200 | <lortabac> | there are cases where the patterns are exhaustive but GHC complains of missing cases |
| 2022-10-19 11:54:49 +0200 | <mastarija> | And eventually / potentially result in a runtime error |
| 2022-10-19 11:55:36 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-19 11:55:59 +0200 | <lortabac> | but if you get the opposite behavior (GHC thinks that patterns are exhaustive but they aren't) then it's a bug |
| 2022-10-19 11:56:30 +0200 | <lortabac> | which is exactly what merijn has just said :D |
| 2022-10-19 11:57:04 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-19 12:00:39 +0200 | <mastarija> | Cool. Thanks! |
| 2022-10-19 12:00:50 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-10-19 12:04:47 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 12:09:36 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-19 12:13:36 +0200 | raym | (~aritra@user/raym) (Ping timeout: 264 seconds) |
| 2022-10-19 12:13:59 +0200 | raym | (~aritra@user/raym) |
| 2022-10-19 12:18:06 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 12:18:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-19 12:18:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-19 12:18:51 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 12:20:15 +0200 | frost16 | (~frost@user/frost) |
| 2022-10-19 12:23:16 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Ping timeout: 246 seconds) |
| 2022-10-19 12:23:30 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 12:27:35 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-19 12:29:20 +0200 | mastarija_ | (~mastarija@2a05:4f46:e03:6000:450:24db:a030:2d0b) |
| 2022-10-19 12:32:30 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:450:24db:a030:2d0b) (Ping timeout: 264 seconds) |
| 2022-10-19 12:35:37 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7) |
| 2022-10-19 12:36:05 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-10-19 12:39:56 +0200 | acidjnk | (~acidjnk@p200300d6e7137a08b4dee3a6debde38e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-19 12:40:41 +0200 | mastarija_ | (~mastarija@2a05:4f46:e03:6000:450:24db:a030:2d0b) (Quit: Leaving) |
| 2022-10-19 12:47:22 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-10-19 12:49:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
| 2022-10-19 12:54:27 +0200 | potash | (~foghorn@user/foghorn) (Read error: Connection reset by peer) |
| 2022-10-19 12:54:50 +0200 | potash | (~foghorn@user/foghorn) |
| 2022-10-19 12:55:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-10-19 12:56:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-19 13:11:51 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-19 13:14:48 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2022-10-19 13:17:12 +0200 | acidjnk | (~acidjnk@p200300d6e7137a08b4dee3a6debde38e.dip0.t-ipconnect.de) |
| 2022-10-19 13:17:53 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Read error: Connection reset by peer) |
| 2022-10-19 13:18:26 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-19 13:18:35 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-10-19 13:21:29 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Client Quit) |
| 2022-10-19 13:25:37 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-19 13:26:01 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-19 13:26:06 +0200 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-10-19 13:30:10 +0200 | akegalj | (~akegalj@213.202.90.118) |
| 2022-10-19 13:33:46 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-19 13:36:59 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-19 13:38:49 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 13:43:56 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-10-19 13:44:39 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-10-19 13:45:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6701:db86:2182:5220) |
| 2022-10-19 13:47:30 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-19 13:48:49 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-10-19 13:55:11 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 260 seconds) |
| 2022-10-19 13:58:46 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-19 14:00:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-19 14:00:27 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 14:00:35 +0200 | mesaoptimizer2 | (~mesaoptim@user/PapuaHardyNet) |
| 2022-10-19 14:00:58 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-10-19 14:01:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-10-19 14:02:11 +0200 | razetime | (~quassel@117.193.6.127) |
| 2022-10-19 14:02:11 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 14:06:33 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 246 seconds) |
| 2022-10-19 14:07:02 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-19 14:18:08 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-19 14:19:59 +0200 | euandreh | (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 2022-10-19 14:20:07 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-19 14:22:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) |
| 2022-10-19 14:27:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) (Ping timeout: 264 seconds) |
| 2022-10-19 14:27:56 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-19 14:28:24 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-10-19 14:29:38 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 14:31:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-19 14:31:32 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-19 14:35:16 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-10-19 14:35:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-19 14:36:40 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2022-10-19 14:40:18 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-19 14:42:26 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Ping timeout: 260 seconds) |
| 2022-10-19 14:51:31 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-19 14:56:40 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-10-19 14:57:56 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) |
| 2022-10-19 14:58:16 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) |
| 2022-10-19 15:00:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-10-19 15:01:40 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 15:02:30 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-19 15:10:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-19 15:11:07 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Read error: Connection reset by peer) |
| 2022-10-19 15:11:20 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-19 15:14:28 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-19 15:15:10 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 15:18:04 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Read error: Connection reset by peer) |
| 2022-10-19 15:19:08 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-19 15:23:07 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-10-19 15:25:21 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-10-19 15:25:44 +0200 | thegeekinside | (~thegeekin@189.180.97.156) |
| 2022-10-19 15:26:35 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2022-10-19 15:27:56 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 260 seconds) |
| 2022-10-19 15:28:49 +0200 | acidjnk | (~acidjnk@p200300d6e7137a08b4dee3a6debde38e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-10-19 15:29:09 +0200 | acidjnk | (~acidjnk@p200300d6e7137a08b4dee3a6debde38e.dip0.t-ipconnect.de) |
| 2022-10-19 15:29:49 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 246 seconds) |
| 2022-10-19 15:30:48 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-10-19 15:30:59 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2022-10-19 15:31:57 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-10-19 15:32:14 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-19 15:32:29 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-19 15:33:55 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-10-19 15:34:24 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-10-19 15:36:22 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-19 15:38:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-19 15:42:46 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-10-19 15:45:12 +0200 | <dminuoso> | raehik: It occured to me, that with a bit of lookahead I could have it all: https://gist.github.com/dminuoso/84fc29d4b3c44c056e267b6457938b2c |
| 2022-10-19 15:47:42 +0200 | Bob_Esponja | (~Bob_Espon@122.red-81-43-10.staticip.rima-tde.net) |
| 2022-10-19 15:48:03 +0200 | Bob_Esponja | (~Bob_Espon@122.red-81-43-10.staticip.rima-tde.net) (Read error: Connection reset by peer) |
| 2022-10-19 15:50:53 +0200 | <raehik> | dminuoso: nice! out of interest are you using the stateful parser? |
| 2022-10-19 15:51:35 +0200 | <dminuoso> | No, while a stateful parser would help a lot, `Int` is just not enough. |
| 2022-10-19 15:52:00 +0200 | <dminuoso> | If there was an explicit State RealWorld token embeded inside, I could use IORefs in the reader environment |
| 2022-10-19 15:52:04 +0200 | <dminuoso> | But there's not, sadly. |
| 2022-10-19 15:53:15 +0200 | <dminuoso> | With sufficient analysis, GHC could swap `f` and `g` around in `f >> g` here |
| 2022-10-19 15:53:42 +0200 | <dminuoso> | Though mmm, no actually it cant as long as `f` and `g` can err. |
| 2022-10-19 15:55:10 +0200 | <dminuoso> | {-# NOINLINE liftIO #-} liftIO :: IO a -> Parser e a; liftIO act = Parser $ \fp eob s -> unsafePerformIO (act >> pure (OK# s)) |
| 2022-10-19 15:55:14 +0200 | <dminuoso> | This looks benign, doesnt it? |
| 2022-10-19 15:56:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a877551a7e8fd85f50e.dip0.t-ipconnect.de) |
| 2022-10-19 15:57:05 +0200 | <raehik> | oh that's right, you only get a polymorphic reader environment in the stateful parser |
| 2022-10-19 15:57:16 +0200 | <dminuoso> | Yeah, Im not entirely sure why that is the case. |
| 2022-10-19 15:57:36 +0200 | <dminuoso> | Given that both Int and a thunk pointer is just a word |
| 2022-10-19 15:58:13 +0200 | <dminuoso> | Perhaps it performs worse with STRICT enabled? |
| 2022-10-19 15:58:38 +0200 | <raehik> | I seem to recall the stateful parser was more experimental. only recently was the reader env changed from Int to polymorphic |
| 2022-10-19 15:58:54 +0200 | <dminuoso> | Ah on github you mean? |
| 2022-10-19 15:59:04 +0200 | <raehik> | andras kovacs is very receptive to changes and suggestions |
| 2022-10-19 15:59:33 +0200 | <dminuoso> | Honestly, I think Ill rather explore the unsafePerformIO route. |
| 2022-10-19 15:59:58 +0200 | <dminuoso> | Its way easier to predict performance with using IORefs inside a parser |
| 2022-10-19 16:00:01 +0200 | acidjnk | (~acidjnk@p200300d6e7137a08b4dee3a6debde38e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-19 16:00:54 +0200 | <dminuoso> | Added benefit is that you can also use the non-stateful parser and explicitly parse an env around |
| 2022-10-19 16:01:11 +0200 | CiaoSen | (~Jura@p200300c9570723002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-19 16:01:16 +0200 | <dminuoso> | Which might perform better and generate smaller code since these extra arguments are not inserted everywhere |
| 2022-10-19 16:01:52 +0200 | <raehik> | I'm not experienced in that part of Haskell but I'd be super keen to see flatparse put on more weight |
| 2022-10-19 16:02:34 +0200 | <raehik> | and more examples of usage |
| 2022-10-19 16:03:09 +0200 | freeside_ | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2022-10-19 16:09:33 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 16:11:54 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-19 16:12:27 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-19 16:13:49 +0200 | frost16 | (~frost@user/frost) (Ping timeout: 244 seconds) |
| 2022-10-19 16:15:59 +0200 | CiaoSen | (~Jura@2003:c9:5707:2300:2a3a:4dff:fe84:dbd5) |
| 2022-10-19 16:16:49 +0200 | raym | (~aritra@user/raym) (Ping timeout: 252 seconds) |
| 2022-10-19 16:21:32 +0200 | plasticman | (~plasticma@pool-165-230-224-156.nat.rutgers.edu) |
| 2022-10-19 16:23:10 +0200 | <plasticman> | Hi, I've been trying get all permutations of a list, but I'm getting a "cannot construct the infinite type" error, and I can't figure out why |
| 2022-10-19 16:23:19 +0200 | <plasticman> | my code: https://justpaste.it/2vbbc/pdf |
| 2022-10-19 16:27:20 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 16:32:15 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 268 seconds) |
| 2022-10-19 16:33:40 +0200 | <dminuoso> | raehik: There was a very recent benchmark, and flatparse came out far ahead in terms of speed and memory usage. |
| 2022-10-19 16:34:00 +0200 | <dminuoso> | It was sadly missing `parsnip` though, which internally is very similar to flatparse |
| 2022-10-19 16:34:36 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 264 seconds) |
| 2022-10-19 16:35:31 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 16:36:09 +0200 | <dminuoso> | https://gitlab.com/FinnBender/haskell-parsing-benchmarks |
| 2022-10-19 16:36:32 +0200 | <dminuoso> | Most surprising, alex/happy performed quite poorly in time, and especially in terms of memory consumption |
| 2022-10-19 16:37:02 +0200 | <raehik> | Wow. Thanks for this |
| 2022-10-19 16:37:23 +0200 | <raehik> | surprised to see flatparse beat out a handwritten parser so much |
| 2022-10-19 16:37:34 +0200 | <raehik> | (albeit in mem consumption only) |
| 2022-10-19 16:37:36 +0200 | <dminuoso> | Well fsvo "handwritten" |
| 2022-10-19 16:38:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 16:39:31 +0200 | <dminuoso> | But yeah, the main advantage of flatparse is that it operates directly on a bytestring |
| 2022-10-19 16:39:48 +0200 | <dminuoso> | THe handwritten parser uses BS.uncons to generate tokens, which means you are generating a lot of additional allocations |
| 2022-10-19 16:40:26 +0200 | <dminuoso> | In typical monadic parser style you do lexing/parsing as one step sort of. It makes the parser much less elegant, but it does save you these extra allocations |
| 2022-10-19 16:40:27 +0200 | <raehik> | ah, omitting/"inlining" the tokenizing step is why I like parser combinators |
| 2022-10-19 16:40:50 +0200 | <dminuoso> | flatparse does have a really good example, that you can still do a sort of separate lexing/parsing semantically |
| 2022-10-19 16:41:20 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-10-19 16:41:23 +0200 | <dminuoso> | by having one Lexer module that exposes all the parsers that parse semantic tokens, and one Parser module that ideally only uses parsers from that Lexer module (and combinators from flatparse) |
| 2022-10-19 16:41:51 +0200 | <geekosaur> | siiigh, and I thought pastebin.com was bad… pdf, really? |
| 2022-10-19 16:42:23 +0200 | <geekosaur> | can't even copy it without the line numbers |
| 2022-10-19 16:42:43 +0200 | <dminuoso> | geekosaur: its easy. print it out, cut off the left and top parts of it, and then OCR it back. |
| 2022-10-19 16:42:48 +0200 | <dminuoso> | Dont complain now! |
| 2022-10-19 16:43:14 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-10-19 16:44:41 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-19 16:45:46 +0200 | <dminuoso> | plasticman: The error `cannot construct the infinite type` here arises because it ends up with something like a ~ [a] here, trying to solve that it ends up doing a ~ [a] ~ [[a]] ~ [[[a]]] ~ [[[[a]]]] ... which means whatever it has found has some such infinite type |
| 2022-10-19 16:46:00 +0200 | <geekosaur> | anyway, plasticman, looks to me like you have a list comprehension which returns the result of a call to `process` as each element of the result list. this is going to result in `a` unifying with `[a]` |
| 2022-10-19 16:46:34 +0200 | <geekosaur> | which constructs an infinite type, as dminuoso said |
| 2022-10-19 16:46:38 +0200 | <plasticman> | I see |
| 2022-10-19 16:47:12 +0200 | <plasticman> | this is the algorithm I'm using. Maybe a map is needed? |
| 2022-10-19 16:47:13 +0200 | <plasticman> | to me like you have a list comprehension which returns the result of a call to `process` as each element of the result list. this is go |
| 2022-10-19 16:47:25 +0200 | <plasticman> | sorry https://www.baeldung.com/cs/array-generate-all-permutations#simple-recursive-algorithm |
| 2022-10-19 16:47:36 +0200 | <geekosaur> | you may want something like `concatMap` aka `=<<` |
| 2022-10-19 16:47:44 +0200 | <dminuoso> | plasticman: You likely want to move `process nperm rperm` into right hand side of the list comprehension |
| 2022-10-19 16:48:11 +0200 | <geekosaur> | or more likely what dminuoso said |
| 2022-10-19 16:48:16 +0200 | <dminuoso> | [r | e <- eperm, let nperm = cperm ++ [e], let rperm = delete e eperm, r <- process nperm rperm] |
| 2022-10-19 16:48:45 +0200 | <geekosaur> | the <- being important as it's "for each" (and si related to `concatMap` that I mentioned) |
| 2022-10-19 16:48:54 +0200 | <dminuoso> | plasticman: also note there is a likely typo in that you apply process to both nperm twice. |
| 2022-10-19 16:48:57 +0200 | <geekosaur> | *is related |
| 2022-10-19 16:49:10 +0200 | <dminuoso> | Oh hold on, you didnt. n and r render so similarly |
| 2022-10-19 16:49:23 +0200 | <dminuoso> | Nevermind that last statement. |
| 2022-10-19 16:49:53 +0200 | <dminuoso> | raehik: What is funny, is that while I have never learned Prolog, I now understand what `cut` is. :) |
| 2022-10-19 16:51:08 +0200 | <dminuoso> | And having that tool is really interesting, because together with `try` and `optional`, you have some really good control over backtracking. |
| 2022-10-19 16:52:47 +0200 | <defanor> | Is there a way to prepare files for binary packages (like Debian ones) with Cabal 3.0, while loading build dependencies in its usual way (including Hackage), setting a datadir properly, and preferably moving `data-files` (as defined in .cabal) there? I used to `cabal configure --prefix=/usr` and `cabal copy --destdir=deb` on older versions, but now even --datadir option for cabal configure/build/install doesn't seem |
| 2022-10-19 16:52:47 +0200 | <defanor> | to have any effect (the produced executable looks into ~/.cabal/store/ for data files). --installdir works for the binary itself, but not for data files. |
| 2022-10-19 16:54:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 16:54:24 +0200 | <raehik> | dminuoso: `cut` is adapted from a Prolog tool? I didn't know people wrote parsers in that lang |
| 2022-10-19 16:54:56 +0200 | <dminuoso> | raehik: No rather, it was named because it does a similar thing in prolog |
| 2022-10-19 16:55:13 +0200 | <dminuoso> | Instead of thinking `turn failure into error`, think of it as "do not backtrack" |
| 2022-10-19 16:55:25 +0200 | <dminuoso> | as in "prevent backtracking" |
| 2022-10-19 16:55:27 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Excess Flood) |
| 2022-10-19 16:56:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-19 16:56:46 +0200 | <dminuoso> | Im not entirely sure whether it was named correctly in flatparse, as the way you use ! in prolog is closer to `try` I suppose. |
| 2022-10-19 16:57:35 +0200 | <raehik> | hm, I see |
| 2022-10-19 16:57:39 +0200 | <dminuoso> | Its just a bit strange because in prolog you write code differently |
| 2022-10-19 16:58:11 +0200 | <dminuoso> | They do the same thing at the end, because ! in prolog and `cut` in flatparse both are used to prevent extra solutions |
| 2022-10-19 16:58:59 +0200 | <dminuoso> | I was having a real bad time initially when porting to flatparse, as all the backtracking didnt work properly until I understood what `cut` really does. |
| 2022-10-19 16:59:20 +0200 | <dminuoso> | It would be kind of nice to attach contextual information to failed branches too |
| 2022-10-19 16:59:59 +0200 | <raehik> | I didn't have to think about it, my lib mostly uses `cutting` to pile on extra info to errors with little backtracking :D |
| 2022-10-19 17:00:12 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2022-10-19 17:00:17 +0200 | <dminuoso> | Well as soon as you use things like `some` you have to be very careful with backtracking |
| 2022-10-19 17:01:30 +0200 | akegalj | (~akegalj@213.202.90.118) (Quit: leaving) |
| 2022-10-19 17:03:43 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-19 17:03:48 +0200 | raym | (~aritra@user/raym) |
| 2022-10-19 17:05:58 +0200 | <plasticman> | now I'm getting a parse error on "process cperm [] = [cperm]" |
| 2022-10-19 17:10:29 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.7) |
| 2022-10-19 17:14:04 +0200 | kenran` | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-19 17:23:31 +0200 | gaff | (~gaff@49.207.211.43) |
| 2022-10-19 17:23:37 +0200 | gaff | (~gaff@49.207.211.43) (Client Quit) |
| 2022-10-19 17:25:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) |
| 2022-10-19 17:25:52 +0200 | Guest83 | (~Guest83@12.106.62.12) |
| 2022-10-19 17:27:57 +0200 | <Guest83> | @free fmap :: (a -> b) -> (F a -> F b) |
| 2022-10-19 17:27:57 +0200 | <lambdabot> | g . h = k . f => $map_F g . fmap h = fmap k . $map_F f |
| 2022-10-19 17:28:37 +0200 | Guest83 | (~Guest83@12.106.62.12) (Client Quit) |
| 2022-10-19 17:29:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) (Ping timeout: 248 seconds) |
| 2022-10-19 17:31:15 +0200 | <plasticman> | okay, I just needed to put more spaces |
| 2022-10-19 17:31:22 +0200 | <geekosaur> | plasticman, can you show your current code (all of it, not just that line: often parse errors are caused by confusion about an earlier line or by indentation errors relative to a previous line) |
| 2022-10-19 17:31:24 +0200 | <geekosaur> | whoops |
| 2022-10-19 17:31:37 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2022-10-19 17:31:42 +0200 | <geekosaur> | yes, haskell uses indentation and you must be careful with it |
| 2022-10-19 17:32:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) |
| 2022-10-19 17:33:48 +0200 | <plasticman> | thank you all for the help |
| 2022-10-19 17:36:14 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 17:36:50 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 17:37:42 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 17:38:01 +0200 | MajorBiscuit | (~MajorBisc@145.94.160.95) (Ping timeout: 260 seconds) |
| 2022-10-19 17:38:25 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 17:42:27 +0200 | plasticman | (~plasticma@pool-165-230-224-156.nat.rutgers.edu) (Quit: Leaving) |
| 2022-10-19 17:44:14 +0200 | justache | justHaunted |
| 2022-10-19 17:45:51 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 17:45:54 +0200 | DavidBinder | (~DavidBind@134.2.10.18) (Quit: Leaving) |
| 2022-10-19 17:47:00 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 17:51:32 +0200 | vglfr | (~vglfr@145.224.100.100) (Remote host closed the connection) |
| 2022-10-19 17:53:11 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-19 17:54:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-10-19 17:54:47 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-19 17:54:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-10-19 17:55:22 +0200 | CiaoSen | (~Jura@2003:c9:5707:2300:2a3a:4dff:fe84:dbd5) (Quit: CiaoSen) |
| 2022-10-19 17:55:43 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-19 17:55:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-19 17:56:33 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-19 17:57:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-245.elisa-laajakaista.fi) |
| 2022-10-19 18:02:30 +0200 | freeside | (~mengwong@115.66.48.84) |
| 2022-10-19 18:02:47 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-19 18:02:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-19 18:03:46 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 18:04:01 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-19 18:06:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) (Remote host closed the connection) |
| 2022-10-19 18:07:13 +0200 | freeside | (~mengwong@115.66.48.84) (Ping timeout: 268 seconds) |
| 2022-10-19 18:08:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-19 18:09:57 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 18:12:14 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 18:14:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-19 18:14:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6f7e:524f:cc40:2955) (Quit: WeeChat 2.8) |
| 2022-10-19 18:14:34 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-19 18:19:10 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 18:20:20 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 18:20:32 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-10-19 18:20:48 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-19 18:21:58 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 18:22:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-19 18:24:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-19 18:26:13 +0200 | Midjak | (~Midjak@82.66.147.146) (Ping timeout: 246 seconds) |
| 2022-10-19 18:27:48 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 18:31:13 +0200 | econo | (uid147250@user/econo) |
| 2022-10-19 18:33:07 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 18:36:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-19 18:37:10 +0200 | <sclv> | defanor: sadly, currently datadir is ignored in v2-build. i think a possible approach would be to `cabal exec bash` to establish an environment with all dependencies built and in scope, and then to use ./Setup configure build and install within that bash shell. |
| 2022-10-19 18:37:54 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-19 18:38:16 +0200 | <defanor> | sclv: Thanks, I'll try that now. |
| 2022-10-19 18:41:48 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2022-10-19 18:44:13 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) (Quit: Client closed) |
| 2022-10-19 18:46:43 +0200 | razetime | (~quassel@117.193.6.127) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-19 18:52:41 +0200 | <defanor> | It fails to pull dependencies as usual that way, as well as with `cabal exec -- runhaskell '-package Cabal' Setup.hs configure --prefix=/usr`. Though perhaps I'll just work around it then, by setting pkg_datadir environment variable and copying the data files using a Makefile instead: either way it's not going to be particularly neat. |
| 2022-10-19 18:53:52 +0200 | <sclv> | hrm thats unfortunate |
| 2022-10-19 18:53:56 +0200 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Quit: Leaving.) |
| 2022-10-19 18:54:29 +0200 | <sclv> | note that if you had a working setup with v1- commands, those still exist for the time being. i.e. you can do cabal v1-build etc that operates as before |
| 2022-10-19 18:56:19 +0200 | beteigeuze | (~Thunderbi@89.187.168.55) (Ping timeout: 246 seconds) |
| 2022-10-19 18:58:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) |
| 2022-10-19 19:04:26 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 19:08:13 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-10-19 19:10:55 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 19:16:01 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2022-10-19 19:16:13 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-19 19:16:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 19:21:56 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-19 19:22:57 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2022-10-19 19:24:18 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 268 seconds) |
| 2022-10-19 19:25:10 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:c97d:2eea:c4af:e43e) |
| 2022-10-19 19:25:22 +0200 | <dminuoso> | Well as soon as you use things like `some` you have to be very careful with backtracking |
| 2022-10-19 19:25:34 +0200 | <dminuoso> | Oops. sorry, wrong terminal was in focus. |
| 2022-10-19 19:27:28 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-10-19 19:28:32 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-19 19:30:57 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-19 19:31:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-10-19 19:33:24 +0200 | vglfr | (~vglfr@145.224.100.100) (Ping timeout: 264 seconds) |
| 2022-10-19 19:33:25 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-19 19:35:55 +0200 | mbuf | (~Shakthi@49.204.139.143) (Quit: Leaving) |
| 2022-10-19 19:36:36 +0200 | vglfr | (~vglfr@145.224.100.100) |
| 2022-10-19 19:43:51 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-19 19:44:27 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-19 19:48:19 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2022-10-19 19:50:12 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 19:54:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-10-19 19:54:37 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2022-10-19 19:55:37 +0200 | vn36__ | (~vn36@123.63.203.210) (Remote host closed the connection) |
| 2022-10-19 19:55:56 +0200 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-19 19:58:48 +0200 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-19 20:03:45 +0200 | kenran | (~user@user/kenran) |
| 2022-10-19 20:06:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) (Remote host closed the connection) |
| 2022-10-19 20:13:12 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 20:16:36 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (Ping timeout: 268 seconds) |
| 2022-10-19 20:18:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 20:22:11 +0200 | ft | (~ft@p3e9bc845.dip0.t-ipconnect.de) |
| 2022-10-19 20:23:02 +0200 | berberman | (~berberman@user/berberman) |
| 2022-10-19 20:24:51 +0200 | malte | (~malte@mal.tc) |
| 2022-10-19 20:28:05 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2022-10-19 20:29:14 +0200 | malte | (~malte@mal.tc) |
| 2022-10-19 20:30:45 +0200 | axeman | (~quassel@2a02:8109:a380:78:c903:2325:2c4a:e6c1) |
| 2022-10-19 20:35:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 20:39:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-19 20:40:30 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-19 20:43:00 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-19 20:44:41 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-19 20:45:42 +0200 | axeman | (~quassel@2a02:8109:a380:78:c903:2325:2c4a:e6c1) (Ping timeout: 268 seconds) |
| 2022-10-19 20:46:23 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-19 20:46:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dd67:259e:7b08:293e) |
| 2022-10-19 20:49:33 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-19 20:54:36 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-19 20:54:57 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:c97d:2eea:c4af:e43e) (Read error: Connection reset by peer) |
| 2022-10-19 20:55:06 +0200 | axeman | (~quassel@2a02:8109:a380:78:12c5:f08a:fe34:cda6) |
| 2022-10-19 20:55:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 21:05:31 +0200 | axeman | (~quassel@2a02:8109:a380:78:12c5:f08a:fe34:cda6) (Ping timeout: 272 seconds) |
| 2022-10-19 21:05:57 +0200 | fserucas | (~fserucas@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving) |
| 2022-10-19 21:06:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 21:07:17 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 21:20:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 21:21:10 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-10-19 21:24:24 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 264 seconds) |
| 2022-10-19 21:26:26 +0200 | pavonia | (~user@user/siracusa) |
| 2022-10-19 21:32:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 21:34:52 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-19 21:36:31 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 21:37:23 +0200 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 268 seconds) |
| 2022-10-19 21:38:06 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-19 21:41:17 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-19 21:42:50 +0200 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) |
| 2022-10-19 21:43:37 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-19 21:43:59 +0200 | causal | (~user@50.35.83.177) |
| 2022-10-19 21:44:05 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) |
| 2022-10-19 21:46:17 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-10-19 21:47:13 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-10-19 21:48:12 +0200 | littlefinger | (~littlefin@pool-74-102-98-242.nwrknj.fios.verizon.net) (Client Quit) |
| 2022-10-19 21:48:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 21:48:21 +0200 | axeman | (~quassel@2a02:8109:a380:78:974a:2e45:fd2e:f5d0) |
| 2022-10-19 21:49:10 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 21:50:17 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-19 21:51:29 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-19 21:52:42 +0200 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-19 21:52:48 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 2022-10-19 21:53:50 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-19 21:54:05 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 21:59:00 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Remote host closed the connection) |
| 2022-10-19 21:59:25 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-19 22:00:36 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 272 seconds) |
| 2022-10-19 22:03:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 22:04:19 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Read error: Connection reset by peer) |
| 2022-10-19 22:04:33 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:5cd5:afa2:55e9:2fce) |
| 2022-10-19 22:05:16 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 22:05:30 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-19 22:07:00 +0200 | phma_ | (phma@2001:5b0:215a:d2a8:983b:e9da:c4b4:2a59) |
| 2022-10-19 22:08:02 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) (Remote host closed the connection) |
| 2022-10-19 22:08:17 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 22:08:25 +0200 | Kaiepi | (~Kaiepi@108.175.84.104) |
| 2022-10-19 22:09:56 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-19 22:10:43 +0200 | phma | (~phma@host-67-44-208-235.hnremote.net) (Ping timeout: 248 seconds) |
| 2022-10-19 22:12:39 +0200 | Topsi | (~Topsi@dyndsl-095-033-094-034.ewe-ip-backbone.de) |
| 2022-10-19 22:12:52 +0200 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-19 22:14:13 +0200 | yvan-sraka | (~yvan-srak@2a01cb0802a4b90054ce5bb6fad20cec.ipv6.abo.wanadoo.fr) |
| 2022-10-19 22:15:10 +0200 | Lumia | (~Lumia@user/Lumia) (Ping timeout: 272 seconds) |
| 2022-10-19 22:15:31 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-10-19 22:15:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 22:20:57 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2022-10-19 22:22:24 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 252 seconds) |
| 2022-10-19 22:24:57 +0200 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-19 22:26:39 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-19 22:29:04 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-19 22:31:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 22:33:50 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-10-19 22:35:50 +0200 | zeenk2 | (~zeenk@188.25.232.159) |
| 2022-10-19 22:37:48 +0200 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) (Ping timeout: 252 seconds) |
| 2022-10-19 22:40:35 +0200 | zeenk | (~zeenk@5.12.219.147) |
| 2022-10-19 22:41:22 +0200 | zeenk2 | (~zeenk@188.25.232.159) (Ping timeout: 260 seconds) |
| 2022-10-19 22:44:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 22:56:03 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-10-19 22:56:29 +0200 | Lumia | (~Lumia@user/Lumia) |
| 2022-10-19 22:58:51 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-10-19 22:58:52 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-19 22:59:34 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2022-10-19 23:00:06 +0200 | mmhat | (~mmh@p200300f1c7337736ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-19 23:00:34 +0200 | yvan-sraka | (~yvan-srak@2a01cb0802a4b90054ce5bb6fad20cec.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-10-19 23:02:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-19 23:02:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-19 23:02:41 +0200 | axeman | (~quassel@2a02:8109:a380:78:974a:2e45:fd2e:f5d0) (Ping timeout: 272 seconds) |
| 2022-10-19 23:04:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-19 23:05:13 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-19 23:07:12 +0200 | haskl | (~haskl@user/haskl) |
| 2022-10-19 23:08:21 +0200 | <dminuoso> | How do I extend a Word16 into Word32# |
| 2022-10-19 23:08:30 +0200 | <dminuoso> | *Word16# into Word32# on older GHC verrsions |
| 2022-10-19 23:11:31 +0200 | <davean> | dminuoso: How old? There are the word16ToWord# / wordToWord16# combos. |
| 2022-10-19 23:11:59 +0200 | <dminuoso> | Not in base-4.15.0.0 |
| 2022-10-19 23:12:02 +0200 | mmhat | (~mmh@p200300f1c73377eeee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-19 23:12:09 +0200 | <davean> | thats ghc-prim |
| 2022-10-19 23:12:23 +0200 | <davean> | If you're working with magic hash, you often need ghc-prim |
| 2022-10-19 23:12:34 +0200 | <davean> | or primative |
| 2022-10-19 23:13:00 +0200 | <dminuoso> | Well I want the full battery |
| 2022-10-19 23:13:18 +0200 | <davean> | Huh? |
| 2022-10-19 23:13:36 +0200 | <dminuoso> | So I also want Word8# -> Word64# for instance |
| 2022-10-19 23:13:52 +0200 | <dminuoso> | (Is that safe to just unsafeCoerce#?) |
| 2022-10-19 23:13:53 +0200 | <davean> | right, so combine them |
| 2022-10-19 23:14:03 +0200 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2022-10-19 23:14:06 +0200 | <davean> | wordToWord64# (word8ToWord# x) |
| 2022-10-19 23:14:23 +0200 | <dminuoso> | Ohh |
| 2022-10-19 23:14:31 +0200 | <dminuoso> | Okay I see. |
| 2022-10-19 23:18:31 +0200 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 272 seconds) |
| 2022-10-19 23:20:32 +0200 | danza | (~francesco@151.57.79.164) |
| 2022-10-19 23:22:45 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-10-19 23:25:44 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 23:26:59 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2022-10-19 23:30:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-10-19 23:30:09 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 255 seconds) |
| 2022-10-19 23:31:20 +0200 | mikoto-chan | (~mikoto-ch@85-76-45-203-nat.elisa-mobile.fi) |
| 2022-10-19 23:32:07 +0200 | Lumia | (~Lumia@user/Lumia) (Ping timeout: 260 seconds) |
| 2022-10-19 23:32:40 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-10-19 23:34:27 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-19 23:36:06 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-19 23:37:06 +0200 | moonsheep | (~moonsheep@user/moonsheep) |
| 2022-10-19 23:38:32 +0200 | zeenk | (~zeenk@5.12.219.147) (Ping timeout: 260 seconds) |
| 2022-10-19 23:40:40 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-10-19 23:42:11 +0200 | <moonsheep> | is there some convenience function that turns any ByteString into a Storable a? |
| 2022-10-19 23:42:25 +0200 | <moonsheep> | I could just write one but I'd like to know if it's out there already |
| 2022-10-19 23:42:53 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-19 23:43:55 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Ping timeout: 268 seconds) |
| 2022-10-19 23:44:01 +0200 | <dminuoso> | moonsheep: You can use unsafeUseAsCString or unsafeUseAsCStringLen |
| 2022-10-19 23:44:16 +0200 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-19 23:46:45 +0200 | <dminuoso> | moonsheep: Just to avoid confusion, you want a polymorphic `Storable a` out of this, right? |
| 2022-10-19 23:47:26 +0200 | <dminuoso> | That, is something of type `forall a. Storable a => a`? |
| 2022-10-19 23:47:43 +0200 | mikoto-chan | (~mikoto-ch@85-76-45-203-nat.elisa-mobile.fi) (Ping timeout: 255 seconds) |
| 2022-10-19 23:48:03 +0200 | <dminuoso> | davean: Okay, so I guess there's really no good way around ghc-prim then. |
| 2022-10-19 23:48:25 +0200 | <davean> | dminuoso: GHC prim is what makes magic hash run |
| 2022-10-19 23:48:38 +0200 | <dminuoso> | Well, GHC.Exts already exposes quite a few utilities |
| 2022-10-19 23:48:45 +0200 | <dminuoso> | But its missing the crucial wordToWord64# primitive |
| 2022-10-19 23:49:20 +0200 | <dminuoso> | In base-4.15.0.0 anywayu |
| 2022-10-19 23:49:36 +0200 | mikoto-chan | (~mikoto-ch@193.185.223.3) |
| 2022-10-19 23:50:53 +0200 | <davean> | dminuoso: Yah, GHC.Exts is about extensions, not really this sort of thing |
| 2022-10-19 23:52:58 +0200 | <dminuoso> | davean: Ugh hold on! I cant just pick ghc-prim, its linked to the installed ghc. |
| 2022-10-19 23:53:06 +0200 | <moonsheep> | dminuoso: yep, I'd like to get a storable of any type |
| 2022-10-19 23:53:13 +0200 | <dminuoso> | So ghc-prim has wordToWord64# only since 0.9 |
| 2022-10-19 23:53:38 +0200 | <dminuoso> | moonsheep: You can use unsafeUseAsCStringLen + castPtr. |
| 2022-10-19 23:53:42 +0200 | <dminuoso> | moonsheep: Will that suffice? |
| 2022-10-19 23:53:49 +0200 | <moonsheep> | oh I assumed I'd have to use something like peekElemOff |
| 2022-10-19 23:53:51 +0200 | <moonsheep> | what is castPtr? |
| 2022-10-19 23:54:00 +0200 | <dminuoso> | castPtr :: Ptr a -> Ptr b |
| 2022-10-19 23:54:28 +0200 | <dminuoso> | With unsafeUseAsCStringLen you can get a Ptr to the internal buffer, and with castPtr you can just reinterpret cast the byte buffer as anything you want |
| 2022-10-19 23:54:45 +0200 | <moonsheep> | isn't that... a bit unsafe though? |
| 2022-10-19 23:54:52 +0200 | <dminuoso> | Not any less safe than what you're asking. |
| 2022-10-19 23:54:55 +0200 | <moonsheep> | also is it more efficient than using the storable interface? |
| 2022-10-19 23:55:02 +0200 | <moonsheep> | right fair enough |
| 2022-10-19 23:55:34 +0200 | <dminuoso> | moonsheep: The generic interface you want is called `Ptr` really. |
| 2022-10-19 23:55:50 +0200 | <dminuoso> | That is, a `Ptr S` for an arbitrary choice of S is a kind of `forall a. Storable a => a` |
| 2022-10-19 23:55:52 +0200 | <moonsheep> | hmm right |
| 2022-10-19 23:55:53 +0200 | <moonsheep> | thanks |
| 2022-10-19 23:56:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-10-19 23:56:34 +0200 | <dminuoso> | moonsheep: Note that you cant safely return the ptr from unsafeUseAsCStringLen, you must memcpy it out. |
| 2022-10-19 23:56:47 +0200 | <dminuoso> | (or just keep it inside the continuation without returning) |
| 2022-10-19 23:57:39 +0200 | <moonsheep> | wait does that mean I can't castPtr it? |
| 2022-10-19 23:57:43 +0200 | <moonsheep> | do I have to memcpy it? |
| 2022-10-19 23:58:20 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-19 23:59:34 +0200 | <dminuoso> | moonsheep: No, but Im entirely unsure how safe you will be if you do something like: `ptr <- unsafeUseAsCStringLen (\(ptr, len) -> pure ptr)` |
| 2022-10-19 23:59:40 +0200 | <dminuoso> | Because this will break referential transparency entirely |