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