| 2023-04-15 00:02:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-04-15 00:03:14 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-15 00:08:26 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-15 00:20:03 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-04-15 00:20:44 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-04-15 00:21:41 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-04-15 00:24:48 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 255 seconds) |
| 2023-04-15 00:28:19 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-04-15 00:43:45 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-04-15 00:44:45 +0000 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-15 00:47:46 +0000 | opticblast | (~Thunderbi@172.58.87.44) (Quit: opticblast) |
| 2023-04-15 00:47:49 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 00:47:59 +0000 | opticblast | (~Thunderbi@172.58.87.44) |
| 2023-04-15 00:51:33 +0000 | opticblast | (~Thunderbi@172.58.87.44) (Client Quit) |
| 2023-04-15 00:51:46 +0000 | opticblast | (~Thunderbi@172.58.87.44) |
| 2023-04-15 00:52:59 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2023-04-15 01:00:53 +0000 | vglfr | (~vglfr@88.155.171.81) |
| 2023-04-15 01:06:56 +0000 | opticblast | (~Thunderbi@172.58.87.44) (Quit: opticblast) |
| 2023-04-15 01:08:16 +0000 | <Nosrep> | ein ghc core i see case expressions are like case something1 of something2 { |
| 2023-04-15 01:08:21 +0000 | <Nosrep> | what is something2 |
| 2023-04-15 01:10:33 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-15 01:15:58 +0000 | <monochrom> | I don't really know. I have always assumed that it's an alias of something1 without trouble. |
| 2023-04-15 01:16:40 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-15 01:21:01 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-15 01:21:02 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-15 01:21:02 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-15 01:22:22 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-15 01:26:37 +0000 | <geekosaur> | yes, case is always strict and binds the result of evaluating something1 to something2 |
| 2023-04-15 01:26:47 +0000 | <geekosaur> | (in core, as opposed to haskell) |
| 2023-04-15 01:30:45 +0000 | <Nosrep> | so something2 is just the evaluated version of something1? |
| 2023-04-15 01:30:51 +0000 | <geekosaur> | yes |
| 2023-04-15 01:31:30 +0000 | <geekosaur> | in ordinary haskell, case is as strict as the patterns are, so case foo of {bar -> …} doesn't evaluate anything. in core it always evaluates to WHNF |
| 2023-04-15 01:31:31 +0000 | <c_wraith> | in fact, they're most likely to even be the same thunk. core is just avoiding shadowing |
| 2023-04-15 01:32:26 +0000 | <Nosrep> | aight thanks |
| 2023-04-15 02:09:21 +0000 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-04-15 02:10:33 +0000 | vglfr | (~vglfr@88.155.171.81) (Ping timeout: 255 seconds) |
| 2023-04-15 02:11:25 +0000 | vglfr | (~vglfr@88.155.171.81) |
| 2023-04-15 02:12:04 +0000 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 276 seconds) |
| 2023-04-15 02:13:19 +0000 | td_ | (~td@i53870901.versanet.de) |
| 2023-04-15 02:21:45 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2023-04-15 02:23:50 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-04-15 02:30:01 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 250 seconds) |
| 2023-04-15 02:37:05 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 2023-04-15 02:39:04 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1308:e6af:51f2:57d8) |
| 2023-04-15 02:45:25 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-15 02:48:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-04-15 02:50:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-15 02:52:39 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) |
| 2023-04-15 02:57:16 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-04-15 02:58:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 2023-04-15 03:01:07 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-15 03:02:06 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-15 03:02:54 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) (Remote host closed the connection) |
| 2023-04-15 03:04:32 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1308:e6af:51f2:57d8) (Ping timeout: 248 seconds) |
| 2023-04-15 03:04:55 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-15 03:18:10 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 03:24:52 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-04-15 03:41:45 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-04-15 03:47:18 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-04-15 03:48:25 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-04-15 03:51:05 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-04-15 04:01:31 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
| 2023-04-15 04:09:47 +0000 | pyook | (~puke@user/puke) (Ping timeout: 264 seconds) |
| 2023-04-15 04:33:08 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-15 04:33:25 +0000 | pyook | (~puke@user/puke) |
| 2023-04-15 04:35:18 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-04-15 04:39:37 +0000 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 276 seconds) |
| 2023-04-15 04:40:01 +0000 | pyook | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2023-04-15 04:52:13 +0000 | pyook | (~puke@user/puke) |
| 2023-04-15 05:12:07 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2023-04-15 05:13:37 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-15 05:16:38 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-15 05:34:14 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-04-15 05:41:09 +0000 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 255 seconds) |
| 2023-04-15 05:42:01 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-15 05:48:11 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 05:57:39 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-15 05:58:45 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-15 06:07:29 +0000 | kuribas | (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) |
| 2023-04-15 06:09:44 +0000 | l0s3r | (~ensyde@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 2023-04-15 06:09:52 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-15 06:13:11 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 06:18:13 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 06:22:05 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-04-15 06:26:22 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-04-15 06:34:38 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-15 06:35:45 +0000 | jargon | (~jargon@174-22-213-236.phnx.qwest.net) |
| 2023-04-15 06:40:47 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-15 06:41:57 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2023-04-15 06:42:40 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-04-15 06:58:55 +0000 | tr_ev | (~trev@user/trev) |
| 2023-04-15 07:02:03 +0000 | tr_ev | trev |
| 2023-04-15 07:07:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-15 07:11:27 +0000 | mauke | (~mauke@user/mauke) (Quit: leaving) |
| 2023-04-15 07:13:57 +0000 | mauke | (~mauke@user/mauke) |
| 2023-04-15 07:22:07 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-04-15 07:25:02 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-15 07:38:49 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-15 07:40:06 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-15 07:42:38 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-15 07:43:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-15 07:44:32 +0000 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-15 07:45:09 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) (Remote host closed the connection) |
| 2023-04-15 07:52:16 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-04-15 07:54:25 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 07:56:09 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-04-15 07:58:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Remote host closed the connection) |
| 2023-04-15 08:01:12 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-15 08:01:28 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 08:04:57 +0000 | kuribas | (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-04-15 08:05:10 +0000 | kuribas | (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) |
| 2023-04-15 08:11:54 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2023-04-15 08:13:54 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-15 08:15:00 +0000 | nek0 | (~nek0@nek0.eu) (Quit: Ping timeout (120 seconds)) |
| 2023-04-15 08:15:15 +0000 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-04-15 08:24:26 +0000 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-15 08:24:35 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-15 08:27:32 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-04-15 08:28:16 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Quit: xff0x) |
| 2023-04-15 08:28:39 +0000 | OscarZ | (~oscarz@95.175.104.196) (Quit: Leaving) |
| 2023-04-15 08:32:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5f55:af97:69b1:7e4e) |
| 2023-04-15 08:32:49 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-15 08:46:05 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-15 08:58:44 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) |
| 2023-04-15 09:03:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Ping timeout: 260 seconds) |
| 2023-04-15 09:06:21 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 255 seconds) |
| 2023-04-15 09:08:21 +0000 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-15 09:13:48 +0000 | jargon | (~jargon@174-22-213-236.phnx.qwest.net) (Remote host closed the connection) |
| 2023-04-15 09:18:28 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-04-15 09:21:06 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:10e9:88e2:3c68:2a43) |
| 2023-04-15 09:31:28 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-15 09:33:26 +0000 | vglfr | (~vglfr@88.155.171.81) (Ping timeout: 265 seconds) |
| 2023-04-15 09:34:20 +0000 | vglfr | (~vglfr@88.155.171.201) |
| 2023-04-15 09:34:34 +0000 | Guest40 | (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) |
| 2023-04-15 09:35:30 +0000 | vglfr | (~vglfr@88.155.171.201) (Remote host closed the connection) |
| 2023-04-15 09:35:57 +0000 | cheater | (~Username@user/cheater) |
| 2023-04-15 09:36:25 +0000 | vglfr | (~vglfr@88.155.171.201) |
| 2023-04-15 09:43:14 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 09:45:17 +0000 | vglfr | (~vglfr@88.155.171.201) (Ping timeout: 256 seconds) |
| 2023-04-15 09:46:12 +0000 | vglfr | (~vglfr@88.154.76.245) |
| 2023-04-15 09:46:31 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-15 09:47:07 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-15 09:47:26 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-04-15 09:52:05 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-04-15 09:53:51 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-15 10:02:50 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-15 10:03:56 +0000 | LenarHoyt | (~LenarHoyt@p54b50987.dip0.t-ipconnect.de) |
| 2023-04-15 10:07:17 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-15 10:10:15 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 10:14:16 +0000 | Guest40 | (~Guest40@2001:861:5401:12b0:d149:a31c:3c29:397f) (Quit: Client closed) |
| 2023-04-15 10:15:40 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-15 10:22:50 +0000 | jargon | (~jargon@174-22-213-236.phnx.qwest.net) |
| 2023-04-15 10:31:35 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) |
| 2023-04-15 10:32:25 +0000 | vglfr | (~vglfr@88.154.76.245) (Ping timeout: 240 seconds) |
| 2023-04-15 10:32:39 +0000 | vglfr | (~vglfr@88.155.143.82) |
| 2023-04-15 10:35:29 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5f55:af97:69b1:7e4e) (Quit: xff0x) |
| 2023-04-15 10:37:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6f29:c3d8:e704:58bd) |
| 2023-04-15 10:41:36 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-15 10:44:00 +0000 | vglfr | (~vglfr@88.155.143.82) (Ping timeout: 255 seconds) |
| 2023-04-15 10:45:19 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-15 11:00:13 +0000 | _xor | (~xor@74.215.46.17) (Quit: brb) |
| 2023-04-15 11:03:22 +0000 | LenarHoyt | (~LenarHoyt@p54b50987.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2023-04-15 11:15:11 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2023-04-15 11:16:18 +0000 | <carbolymer> | I'm wondering how can I write parser (in megaparsec) doing "ignore everything" then "capture interesting part" then "ignore everything". I'm trying to get current boot loader from: https://volumen.civitat.es/AggressiveElegantOcean - so my first idea is to `try currentBootLoaderP <|> everythingWithoutNewlineP` every line |
| 2023-04-15 11:16:33 +0000 | <carbolymer> | any better options? |
| 2023-04-15 11:25:08 +0000 | <ncf> | i'd advise against trying to parse command output that's meant for humans |
| 2023-04-15 11:25:54 +0000 | <ncf> | maybe read from /sys/firmware/efi/efivars/LoaderInfo-* directly? |
| 2023-04-15 11:32:10 +0000 | <carbolymer> | fair point |
| 2023-04-15 11:37:08 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-04-15 11:57:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-15 12:14:08 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-15 12:16:05 +0000 | <ncf> | is there a shortcut for \ a -> getConst . a . fmap Const :: (f (Const a b) -> Const a b) -> f a -> a ? coerce complains about f being nominal |
| 2023-04-15 12:19:36 +0000 | <ncf> | er, about the argument to f being nominal |
| 2023-04-15 12:19:39 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-15 12:20:03 +0000 | <ncf> | i want it to treat it as representational |
| 2023-04-15 12:21:21 +0000 | <ncf> | hm https://stackoverflow.com/questions/39522041/how-to-coerce-functors-applied-to-coercible-arguments |
| 2023-04-15 12:21:32 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) |
| 2023-04-15 12:21:32 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 12:26:09 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 255 seconds) |
| 2023-04-15 12:30:12 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-15 12:57:16 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:3487:52ee:852d:d7d6) |
| 2023-04-15 12:58:08 +0000 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:1cd1:b173:147e:35a6) (Ping timeout: 248 seconds) |
| 2023-04-15 13:02:51 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-15 13:03:10 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) |
| 2023-04-15 13:03:43 +0000 | coot | (~coot@213.134.170.228) |
| 2023-04-15 13:04:26 +0000 | coot | (~coot@213.134.170.228) (Remote host closed the connection) |
| 2023-04-15 13:05:18 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6f29:c3d8:e704:58bd) (Quit: xff0x) |
| 2023-04-15 13:06:58 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 13:07:04 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-15 13:07:35 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Ping timeout: 246 seconds) |
| 2023-04-15 13:15:23 +0000 | alexherbo2 | (~alexherbo@211.190.65.81.rev.sfr.net) |
| 2023-04-15 13:26:45 +0000 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-04-15 13:35:07 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 13:35:25 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 13:38:12 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-04-15 13:40:24 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 13:40:43 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 13:48:26 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-15 13:49:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-15 13:53:04 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-04-15 13:54:17 +0000 | ridcully_ | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 2023-04-15 13:59:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-15 14:06:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-04-15 14:06:30 +0000 | ridcully | (~ridcully@p57b52f2c.dip0.t-ipconnect.de) |
| 2023-04-15 14:13:14 +0000 | alexherbo2 | (~alexherbo@211.190.65.81.rev.sfr.net) (Remote host closed the connection) |
| 2023-04-15 14:28:33 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 14:28:52 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 14:38:22 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-15 14:44:05 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 250 seconds) |
| 2023-04-15 14:44:14 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) |
| 2023-04-15 14:45:08 +0000 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2023-04-15 14:45:43 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 14:48:42 +0000 | Unhammer | (~Unhammer@user/unhammer) |
| 2023-04-15 14:53:15 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2023-04-15 15:04:07 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-15 15:08:06 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 15:09:02 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-04-15 15:09:47 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-04-15 15:23:05 +0000 | hippoid | (~My_user_n@user/hippoid) (Ping timeout: 250 seconds) |
| 2023-04-15 15:25:25 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-04-15 15:32:07 +0000 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-04-15 15:34:45 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-04-15 15:41:58 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 15:46:22 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-04-15 15:47:48 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 15:52:13 +0000 | hippoid | (~My_user_n@c-98-213-162-40.hsd1.il.comcast.net) |
| 2023-04-15 15:52:21 +0000 | hippoid | (~My_user_n@c-98-213-162-40.hsd1.il.comcast.net) (Changing host) |
| 2023-04-15 15:52:21 +0000 | hippoid | (~My_user_n@user/hippoid) |
| 2023-04-15 15:54:32 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-04-15 15:55:52 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) (Remote host closed the connection) |
| 2023-04-15 15:56:25 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) |
| 2023-04-15 15:56:51 +0000 | mikess | (~sam@user/mikess) |
| 2023-04-15 15:59:30 +0000 | hueso | (~root@user/hueso) |
| 2023-04-15 16:09:05 +0000 | pyook | (~puke@user/puke) |
| 2023-04-15 16:15:52 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-04-15 16:16:35 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 260 seconds) |
| 2023-04-15 16:18:01 +0000 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-04-15 16:18:54 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-15 16:19:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) |
| 2023-04-15 16:20:18 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 16:21:59 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 16:22:11 +0000 | pyook | (~puke@user/puke) |
| 2023-04-15 16:24:31 +0000 | trev | (~trev@user/trev) (Client Quit) |
| 2023-04-15 16:24:38 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-04-15 16:24:44 +0000 | econo | (uid147250@user/econo) |
| 2023-04-15 16:25:58 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 16:26:05 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-04-15 16:29:14 +0000 | trev | (~trev@user/trev) (Client Quit) |
| 2023-04-15 16:30:08 +0000 | <hopelessness[m]> | What exactly is wrong here? When I run `parseTest foo "abc"` in ghci it does not terminate and with every character I write in the terminal my memory blows up exponentially ....... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/7739d8153d07028b41e66f0b6247a0ff1ee2…>) |
| 2023-04-15 16:30:38 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 16:39:57 +0000 | <monochrom> | What do I import to get alphaNumChar? |
| 2023-04-15 16:40:11 +0000 | trev | (~trev@user/trev) (Ping timeout: 248 seconds) |
| 2023-04-15 16:41:03 +0000 | <int-e> | @hoogle alphaNumChar |
| 2023-04-15 16:41:04 +0000 | <lambdabot> | Text.Megaparsec.Byte alphaNumChar :: (MonadParsec e s m, Token s ~ Word8) => m (Token s) |
| 2023-04-15 16:41:04 +0000 | <lambdabot> | Text.Megaparsec.Char alphaNumChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s) |
| 2023-04-15 16:41:04 +0000 | <lambdabot> | Toml.Parser.Core alphaNumChar :: (MonadParsec e s m, Token s ~ Char) => m (Token s) |
| 2023-04-15 16:41:54 +0000 | <monochrom> | But I am reproducing (or refuting) hopelessness[m]'s observation and it needs to be exactly what they used. |
| 2023-04-15 16:41:57 +0000 | <int-e> | (Maybe that should reply with an URL instead if the output is longer than 3 lines) |
| 2023-04-15 16:43:02 +0000 | <int-e> | monochrom: I missed the context as usual. |
| 2023-04-15 16:43:14 +0000 | <int-e> | Pasting code without imports is such bad style. |
| 2023-04-15 16:43:32 +0000 | <sm> | hopelessness: yikes |
| 2023-04-15 16:44:10 +0000 | <monochrom> | Yeah I already have to conjure up 4 import lines pro bono. |
| 2023-04-15 16:44:27 +0000 | <hpc> | this is why whenever i post code, i make sure to include some extra imports just in case :D |
| 2023-04-15 16:44:27 +0000 | <sm> | well, I think many of many will break most parsers.. (I seem to remember an error message.. from megaparsec ?) Try making one of them many1 ? |
| 2023-04-15 16:44:53 +0000 | <int-e> | Well, there are infinitely many potential results... but it should pick the first one greedily? So ["abc"]? |
| 2023-04-15 16:45:45 +0000 | <sm> | apparently that's not what parseTest does :) |
| 2023-04-15 16:46:09 +0000 | <monochrom> | No, apparently none of us has actually tested the code. |
| 2023-04-15 16:46:34 +0000 | <hpc> | hopelessness[m]: can you paste the full file, or whatever you're putting into ghci? |
| 2023-04-15 16:46:39 +0000 | <monochrom> | Even I am still one import away from actually making a live observation. |
| 2023-04-15 16:46:47 +0000 | <monochrom> | Not going to theorize until then. |
| 2023-04-15 16:47:02 +0000 | <int-e> | Oh yes, I'm absolutely speculating here. |
| 2023-04-15 16:47:40 +0000 | <int-e> | I mean, do we even know which parsec variant this is about? |
| 2023-04-15 16:47:44 +0000 | <hpc> | nope |
| 2023-04-15 16:48:32 +0000 | <hpc> | i mean, it's almost certainly a many.many issue though - this happens with naive implementations of (.*)* in regexes too |
| 2023-04-15 16:48:39 +0000 | <monochrom> | "I have got a solution from stackoverflow". |
| 2023-04-15 16:48:52 +0000 | <int-e> | monochrom: now you have 2 problems |
| 2023-04-15 16:49:12 +0000 | <int-e> | monochrom: "I have got a solution from GPT-4" |
| 2023-04-15 16:49:23 +0000 | <monochrom> | haha forgot that one |
| 2023-04-15 16:49:44 +0000 | <hpc> | "i typed your symptoms into this thing and it said you have network connectivity problems" |
| 2023-04-15 16:51:51 +0000 | hopelessness[m] | sent a code block: https://libera.ems.host/_matrix/media/v3/download/libera.chat/367cc6b691de3b768436eb8cb5a5829b7f77… |
| 2023-04-15 16:51:52 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 16:52:05 +0000 | <hopelessness[m]> | * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/f3a5f1c083fbb2d70ab57fc456ea1e2e104a…>) |
| 2023-04-15 16:52:53 +0000 | <hopelessness[m]> | ghci> :set -XOverloadedStrings |
| 2023-04-15 16:52:53 +0000 | <hopelessness[m]> | ghci> parseTest parser "abcdsfds dsfdsfö" |
| 2023-04-15 16:53:19 +0000 | <hopelessness[m]> | This should be everything in more detail |
| 2023-04-15 16:54:16 +0000 | <hopelessness[m]> | * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/8af6b66890a58fbfeafdde0950ff829e113a…>) |
| 2023-04-15 16:56:31 +0000 | <int-e> | Fascinating. *** Exception: Text.ParserCombinators.Parsec.Prim.many: combinator 'many' is applied to a parser that accepts an empty string. |
| 2023-04-15 16:57:19 +0000 | hopelessness[m] | uploaded an image: (25KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/NasqoKTOrjvmxDFJoJPMkVNa/image.png > |
| 2023-04-15 16:57:20 +0000 | <int-e> | Oh, I'm an idiot. Rather than ["abc"], the greedy result will of course be ["abc","","","",...] |
| 2023-04-15 16:57:30 +0000 | <hopelessness[m]> | ah |
| 2023-04-15 16:57:30 +0000 | <int-e> | And *that* will never terminate. |
| 2023-04-15 16:57:32 +0000 | <probie> | Don't you want `some`? Allowing empty string as function names seems incorrect in pretty much all cases |
| 2023-04-15 16:57:46 +0000 | <hopelessness[m]> | ah yes |
| 2023-04-15 16:58:03 +0000 | <hopelessness[m]> | yeah, this solves everything |
| 2023-04-15 16:58:10 +0000 | <hopelessness[m]> | thanks |
| 2023-04-15 16:58:35 +0000 | tr_ev | (~trev@user/trev) |
| 2023-04-15 16:58:40 +0000 | trev | (~trev@user/trev) (Killed (NickServ (GHOST command used by tr_ev))) |
| 2023-04-15 16:58:42 +0000 | tr_ev | trev |
| 2023-04-15 17:04:40 +0000 | <sm> | how come hopelessness didn't see the megaparsec error int-e saw |
| 2023-04-15 17:05:15 +0000 | <int-e> | sm: because that wasn't a megaparsec error |
| 2023-04-15 17:05:39 +0000 | <int-e> | that was parsec |
| 2023-04-15 17:06:39 +0000 | Square | (~Square4@user/square) |
| 2023-04-15 17:06:45 +0000 | <int-e> | And I was genuinely surprised that it implements that check. |
| 2023-04-15 17:07:09 +0000 | <sm> | I feel like I'm not seeing the whole chat log.. I see, thanks |
| 2023-04-15 17:07:19 +0000 | ddellacosta | (~ddellacos@143.244.47.70) |
| 2023-04-15 17:07:40 +0000 | <int-e> | (Of course that means that it implements `many` specifically for its parser rather than generically at the applicative or monadic level) |
| 2023-04-15 17:08:07 +0000 | <int-e> | sm: I didn't mention that it was parsec; the only hint was the module name. |
| 2023-04-15 17:08:56 +0000 | tr_ev | (~trev@user/trev) |
| 2023-04-15 17:08:58 +0000 | trev | (~trev@user/trev) (Read error: Connection reset by peer) |
| 2023-04-15 17:09:08 +0000 | tr_ev | trev |
| 2023-04-15 17:09:32 +0000 | <sm> | where did you see a module name ? |
| 2023-04-15 17:09:44 +0000 | <int-e> | sm: it's part of the error message? |
| 2023-04-15 17:10:33 +0000 | <sm> | I see it in the error message you pasted, only.. ah never mind, this is not important :) |
| 2023-04-15 17:10:49 +0000 | <int-e> | sm: Yes, and it was *only* there. |
| 2023-04-15 17:12:38 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-15 17:12:38 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-15 17:12:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-15 17:13:00 +0000 | <int-e> | Anyway, it was a good thing for me to try parsec, because it made me reconsider why accepting empty strings inside `many` is fatal. |
| 2023-04-15 17:19:17 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-15 17:29:36 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2023-04-15 17:30:04 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-04-15 17:30:16 +0000 | euandreh | (~Thunderbi@189.6.18.7) (Client Quit) |
| 2023-04-15 17:30:32 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-04-15 17:31:25 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-04-15 17:36:45 +0000 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2023-04-15 17:37:30 +0000 | NiceBird | (~NiceBird@185.133.111.196) (Quit: Leaving) |
| 2023-04-15 17:37:41 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-15 17:37:57 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 17:40:47 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-15 17:40:47 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-15 17:40:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-15 17:42:07 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-15 17:42:08 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-04-15 17:44:05 +0000 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
| 2023-04-15 17:49:54 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-15 17:53:31 +0000 | zer0bitz_ | zer0bitz |
| 2023-04-15 17:54:25 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-04-15 17:58:06 +0000 | biberu | (~biberu@user/biberu) |
| 2023-04-15 18:09:14 +0000 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-15 18:17:50 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2023-04-15 18:19:11 +0000 | gawen | (~gawen@user/gawen) |
| 2023-04-15 18:19:35 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-15 18:22:45 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-04-15 18:24:48 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-15 18:26:45 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 18:33:54 +0000 | mei | (~mei@user/mei) |
| 2023-04-15 18:42:15 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-04-15 18:42:15 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-04-15 18:42:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-15 18:48:52 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-15 19:00:18 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-15 19:01:48 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-5412-37ce-2c11-3789.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2023-04-15 19:04:06 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 19:07:29 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) |
| 2023-04-15 19:07:47 +0000 | mikess | (~sam@user/mikess) (Ping timeout: 246 seconds) |
| 2023-04-15 19:09:40 +0000 | <dsal> | Is there a way to get ghc to emit a useful error if someone tries to use a function I want to remove? |
| 2023-04-15 19:09:53 +0000 | <dsal> | I guess I can just do a normal deprecation. |
| 2023-04-15 19:12:49 +0000 | <geekosaur> | hoonestly, it seems like the answer to that is "just remove it" |
| 2023-04-15 19:16:48 +0000 | nschoe | (~q@2a01:e0a:8e:a190:6820:9abe:c111:5b65) |
| 2023-04-15 19:22:20 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 260 seconds) |
| 2023-04-15 19:22:26 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 19:28:51 +0000 | kuribas | (~user@ptr-17d51emji3cqx0jt1rz.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-04-15 19:31:54 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-3d9e-23bb-c5ed-f735.rev.sfr.net) |
| 2023-04-15 19:34:18 +0000 | <dsal> | Yeah. This is functionality that I want to exist but can't make work for non-technical reasons. deprecate + throw is kind of passive aggressive, but removing isn't wrong. |
| 2023-04-15 19:35:08 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) |
| 2023-04-15 19:42:47 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 264 seconds) |
| 2023-04-15 19:50:29 +0000 | <int-e> | there's a DEPRECATED pragma in GHC. |
| 2023-04-15 19:50:47 +0000 | <geekosaur> | yes but he wants a custom error not a warning |
| 2023-04-15 19:51:13 +0000 | <geekosaur> | and while `-Werror=…` is a thing he can't turn it on for all users linking against the package |
| 2023-04-15 19:51:15 +0000 | <int-e> | Ah, error. |
| 2023-04-15 19:51:46 +0000 | <int-e> | How do you link against the package without compiling first, hmm. |
| 2023-04-15 19:51:54 +0000 | <geekosaur> | I'd suspect there's some TH thing that could be done, but the question becomes whether it's wort it |
| 2023-04-15 19:51:57 +0000 | <int-e> | (In a world with no ABI stability.) |
| 2023-04-15 19:52:14 +0000 | <geekosaur> | *worth |
| 2023-04-15 19:52:33 +0000 | <int-e> | I don't see how you'd inject TH there. |
| 2023-04-15 19:52:50 +0000 | <int-e> | (For a simple use of an exported identifier that is.) |
| 2023-04-15 19:53:40 +0000 | <geekosaur> | depends on how TH + INLINEABLE interacts with .hi files, I guess |
| 2023-04-15 19:54:16 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.8) |
| 2023-04-15 19:54:22 +0000 | <int-e> | A rewrite rule, perhaps? I've never tried to put TH there... I don't think it'll work though because TH expansion happens way before the simplifier runs. |
| 2023-04-15 19:55:00 +0000 | <int-e> | And rewrite rules depend on -O. |
| 2023-04-15 19:55:33 +0000 | <int-e> | I think the DEPRECATED pragma is the best GHC has to offer for this. |
| 2023-04-15 19:55:49 +0000 | <int-e> | Other than, as suggested, removing the function entirely. |
| 2023-04-15 19:55:53 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-04-15 19:57:56 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-15 19:58:31 +0000 | <int-e> | hah... how about over-engineering it with annotations and a compiler plugin :-P |
| 2023-04-15 19:59:09 +0000 | jero98772 | (~jero98772@190.158.28.80) |
| 2023-04-15 19:59:50 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit) |
| 2023-04-15 20:00:29 +0000 | <mauke> | what happens if you give it a type like foo :: (ThisFunctionIsDeprecatedDoNotUseIt doNotUse) => doNotUse |
| 2023-04-15 20:01:19 +0000 | vglfr | (~vglfr@37.73.81.145) |
| 2023-04-15 20:01:44 +0000 | <mauke> | ... error message engineering? what is this, C++? |
| 2023-04-15 20:02:33 +0000 | <tomsmeding> | foo :: TypeError (Text "Do not use this function for non-technical reasons") => () |
| 2023-04-15 20:02:41 +0000 | <tomsmeding> | https://hackage.haskell.org/package/base-4.16.0.0/docs/GHC-TypeLits.html#g:4 |
| 2023-04-15 20:03:08 +0000 | <tomsmeding> | dsal mauke: ^ |
| 2023-04-15 20:03:39 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-04-15 20:04:17 +0000 | <mauke> | hah |
| 2023-04-15 20:05:17 +0000 | Unhammer | (~Unhammer@user/unhammer) (ERC (IRC client for Emacs) with WeeChat) |
| 2023-04-15 20:05:24 +0000 | <geekosaur> | heh, I know about TypeError but never considered using it that way |
| 2023-04-15 20:05:53 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Client Quit) |
| 2023-04-15 20:07:39 +0000 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-04-15 20:11:37 +0000 | <dsal> | That's actually the kind of thing I was thinking about,yeah. |
| 2023-04-15 20:14:59 +0000 | jero98772 | (~jero98772@190.158.28.80) (Ping timeout: 246 seconds) |
| 2023-04-15 20:15:16 +0000 | <int-e> | that is clever |
| 2023-04-15 20:15:48 +0000 | <int-e> | it won't work 100% of the time (imagine a local, unused binding, without a type signature) |
| 2023-04-15 20:16:05 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-15 20:16:15 +0000 | <int-e> | or code with no type signatures (*shudder*) |
| 2023-04-15 20:17:30 +0000 | trev | (~trev@user/trev) |
| 2023-04-15 20:18:15 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-15 20:22:09 +0000 | coot_ | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-15 20:22:26 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-15 20:23:23 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 250 seconds) |
| 2023-04-15 20:23:24 +0000 | coot_ | coot |
| 2023-04-15 20:27:19 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-15 20:27:27 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) |
| 2023-04-15 20:32:13 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-3d9e-23bb-c5ed-f735.rev.sfr.net) (Ping timeout: 260 seconds) |
| 2023-04-15 20:39:23 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-8476-90af-61c3-7964.rev.sfr.net) |
| 2023-04-15 20:40:20 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-15 20:42:01 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-15 20:45:32 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:7dba:33a7:e996:fba7) (Remote host closed the connection) |
| 2023-04-15 20:47:11 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-04-15 20:50:27 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-04-15 20:51:44 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-04-15 20:51:52 +0000 | cheater_ | cheater |
| 2023-04-15 20:52:40 +0000 | zeenk | (~zeenk@2a02:2f0e:7900:da01:b4a3:67c4:d0e3:beb0) |
| 2023-04-15 20:53:11 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 20:57:37 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-04-15 20:58:20 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-15 21:03:14 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-04-15 21:04:39 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-15 21:07:01 +0000 | pharonix71 | (~pharonix7@gateway/tor-sasl/pharonix71) |
| 2023-04-15 21:12:28 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) |
| 2023-04-15 21:13:42 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-15 21:15:39 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-04-15 21:18:24 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:10e9:88e2:3c68:2a43) (Quit: WeeChat 3.7.1) |
| 2023-04-15 21:18:47 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 264 seconds) |
| 2023-04-15 21:20:32 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-04-15 21:20:51 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 21:25:43 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Client Quit) |
| 2023-04-15 21:32:06 +0000 | zeenk2 | (~zeenk@188.26.30.104) |
| 2023-04-15 21:32:31 +0000 | zeenk | (~zeenk@2a02:2f0e:7900:da01:b4a3:67c4:d0e3:beb0) (Ping timeout: 260 seconds) |
| 2023-04-15 21:33:06 +0000 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-04-15 21:36:32 +0000 | nschoe | (~q@2a01:e0a:8e:a190:6820:9abe:c111:5b65) (Ping timeout: 248 seconds) |
| 2023-04-15 21:37:36 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 248 seconds) |
| 2023-04-15 21:38:10 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-15 21:40:47 +0000 | barcisz | (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 2023-04-15 21:44:42 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-04-15 21:49:35 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000:c240:a1ed:a61f:2a0) |
| 2023-04-15 21:49:44 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-04-15 21:49:50 +0000 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-04-15 21:51:25 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-15 21:56:05 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-04-15 22:00:38 +0000 | OscarZ | (~oscarz@95.175.104.196) |
| 2023-04-15 22:08:00 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-182-159.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-15 22:09:52 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-182-107.46.114.pool.telefonica.de) |
| 2023-04-15 22:33:10 +0000 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-15 22:39:25 +0000 | vglfr | (~vglfr@37.73.81.145) (Ping timeout: 240 seconds) |
| 2023-04-15 22:51:14 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-04-15 22:52:17 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-15 22:53:11 +0000 | _xor | (~xor@74.215.46.17) |
| 2023-04-15 22:57:04 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2023-04-15 22:58:48 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-04-15 23:03:05 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) (Remote host closed the connection) |
| 2023-04-15 23:03:56 +0000 | tjnhxmzhmqgytuwt | (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 2023-04-15 23:06:39 +0000 | tjnhxmzh1qgytuwt | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 2023-04-15 23:07:31 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-04-15 23:16:16 +0000 | acidjnk | (~acidjnk@p200300d6e715c4416144e158ab279f3c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-04-15 23:19:19 +0000 | zeenk2 | (~zeenk@188.26.30.104) (Quit: Konversation terminated!) |
| 2023-04-15 23:20:39 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-04-15 23:21:47 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) |
| 2023-04-15 23:21:47 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2023-04-15 23:22:32 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-04-15 23:23:34 +0000 | OscarZ | (~oscarz@95.175.104.196) (Quit: Leaving) |
| 2023-04-15 23:36:26 +0000 | Me-me | (~Me-me@146.102.215.218.dyn.iprimus.net.au) |
| 2023-04-15 23:38:25 +0000 | tjnhxmzh1qgytuwt | (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 276 seconds) |
| 2023-04-15 23:49:04 +0000 | acidjnk | (~acidjnk@p200300d6e715c4246144e158ab279f3c.dip0.t-ipconnect.de) |
| 2023-04-15 23:53:51 +0000 | nate1 | (~nate@98.45.169.16) |
| 2023-04-15 23:55:05 +0000 | _xor | (~xor@74.215.46.17) (Quit: WeeChat 3.8) |
| 2023-04-15 23:55:26 +0000 | _xor | (~xor@74.215.46.17) |
| 2023-04-15 23:55:31 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-04-15 23:57:21 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 255 seconds) |
| 2023-04-15 23:57:22 +0000 | mauke_ | mauke |
| 2023-04-15 23:58:42 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
