| 2022-10-16 00:05:21 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2022-10-16 00:07:43 +0000 | king_gs | (~Thunderbi@187.201.131.180) (Quit: king_gs) |
| 2022-10-16 00:29:20 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-10-16 00:39:13 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-16 00:42:19 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2022-10-16 00:42:45 +0000 | Topsi | (~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) (Ping timeout: 252 seconds) |
| 2022-10-16 00:56:12 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2022-10-16 00:57:02 +0000 | Topsi | (~Topsi@95.33.95.14) |
| 2022-10-16 00:58:07 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-16 00:59:33 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Remote host closed the connection) |
| 2022-10-16 00:59:51 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) |
| 2022-10-16 01:09:42 +0000 | freeside | (~mengwong@115.66.48.84) |
| 2022-10-16 01:09:46 +0000 | tashy | (~tashy@ip98-172-219-67.ok.ok.cox.net) |
| 2022-10-16 01:10:15 +0000 | tashy | (~tashy@ip98-172-219-67.ok.ok.cox.net) (Client Quit) |
| 2022-10-16 01:10:59 +0000 | tash | (~tash@user/tash) |
| 2022-10-16 01:14:23 +0000 | freeside | (~mengwong@115.66.48.84) (Ping timeout: 268 seconds) |
| 2022-10-16 01:18:24 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 01:20:46 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-16 01:22:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2022-10-16 01:22:30 +0000 | Topsi | (~Topsi@95.33.95.14) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | causal | (~user@50.35.83.177) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | nate1 | (~nate@98.45.169.16) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | zaquest | (~notzaques@5.130.79.72) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | johnjaye | (~pi@173.209.64.74) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Sauvin | (~colere@about/linux/staff/sauvin) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | drlkf | (~drlkf@chat.drlkf.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | mmaruseacph2 | (~mihai@198.199.98.239) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | sagax | (~sagax_nb@user/sagax) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | jimki | (~jmaki@gazorpazorp.fixme.fi) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | gff_ | (~gff@user/gff) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | inversed | (~inversed@90.209.137.56) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | darkstardevx | (~darkstard@50.126.124.156) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | foul_owl | (~kerry@23.82.194.107) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | raoul | (~raoul@95.179.203.88) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | dtman34 | (~dtman34@c-75-73-141-79.hsd1.mn.comcast.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | swistak | (~swistak@185.21.216.141) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | yaroot | (~yaroot@p2790051-ipngn7801souka.saitama.ocn.ne.jp) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | kjak | (~kjak@pool-108-31-114-135.washdc.fios.verizon.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | sshine | (~simon@exocortex.online) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | defanor | (~defanor@tart.uberspace.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | ldlework | (~hexeme@user/hexeme) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | chronon | (~chronon@user/chronon) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Buliarous | (~gypsydang@46.232.210.139) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | RMSBach | (~guygastin@137.184.131.156) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | loonycyborg_ | (loonycybor@chantal.wesnoth.org) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | maerwald | (~maerwald@user/maerwald) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | ridcully | (~ridcully@pd951fa32.dip0.t-ipconnect.de) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | sweater1 | (~sweater@206.81.18.26) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | darkling | (~darkling@savella.carfax.org.uk) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | heath | (~heath@user/heath) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | byorgey | (~byorgey@155.138.238.211) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | df | (~ben@justworks.xyz) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | tstat | (~tstat@user/tstat) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | simpleauthority | (~simpleaut@user/simpleauthority) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | noctux1 | (KOx7x4g3XX@karif.server-speed.net) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | marienz | (marienz@libera/staff/marienz) (*.net *.split) |
| 2022-10-16 01:22:31 +0000 | tureba | (~tureba@tureba.org) (*.net *.split) |
| 2022-10-16 01:22:39 +0000 | jimki | (~jmaki@gazorpazorp.fixme.fi) |
| 2022-10-16 01:22:39 +0000 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2022-10-16 01:22:43 +0000 | merijn | (~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) |
| 2022-10-16 01:22:43 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2022-10-16 01:22:44 +0000 | defanor | (~defanor@tart.uberspace.net) |
| 2022-10-16 01:22:44 +0000 | sshine_ | (~simon@exocortex.online) |
| 2022-10-16 01:22:45 +0000 | marienz | (~marienz@libera/staff/marienz) |
| 2022-10-16 01:22:46 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-16 01:22:47 +0000 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2022-10-16 01:22:47 +0000 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) |
| 2022-10-16 01:22:47 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-10-16 01:22:48 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-10-16 01:22:48 +0000 | chronon | (~chronon@user/chronon) |
| 2022-10-16 01:22:48 +0000 | TMA | (~tma@twin.jikos.cz) |
| 2022-10-16 01:22:49 +0000 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) |
| 2022-10-16 01:22:50 +0000 | Topsi | (~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) |
| 2022-10-16 01:22:50 +0000 | ridcully | (~ridcully@pd951fa32.dip0.t-ipconnect.de) |
| 2022-10-16 01:22:51 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-16 01:22:53 +0000 | tureba | (~tureba@tureba.org) |
| 2022-10-16 01:22:54 +0000 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-10-16 01:23:02 +0000 | noctux1 | (dOdx6uOj5h@karif.server-speed.net) |
| 2022-10-16 01:23:05 +0000 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) |
| 2022-10-16 01:23:09 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 01:23:10 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
| 2022-10-16 01:23:13 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2022-10-16 01:23:14 +0000 | inversed | (~inversed@90.209.137.56) |
| 2022-10-16 01:23:15 +0000 | yaroot | (~yaroot@2400:4052:ac0:d900:1cf4:2aff:fe51:c04c) |
| 2022-10-16 01:23:16 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-10-16 01:23:16 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-10-16 01:23:17 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-10-16 01:23:17 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-10-16 01:23:22 +0000 | noctux1 | (dOdx6uOj5h@karif.server-speed.net) (Signing in (noctux1)) |
| 2022-10-16 01:23:22 +0000 | noctux1 | (dOdx6uOj5h@user/noctux) |
| 2022-10-16 01:23:40 +0000 | gff_ | (~gff@75-174-112-159.boid.qwest.net) |
| 2022-10-16 01:23:44 +0000 | causal | (~user@50.35.83.177) |
| 2022-10-16 01:23:52 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-10-16 01:23:59 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2022-10-16 01:24:00 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2022-10-16 01:24:13 +0000 | dfordivam1 | (~dfordivam@tk2-219-19469.vs.sakura.ne.jp) |
| 2022-10-16 01:24:14 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-10-16 01:24:14 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-10-16 01:24:16 +0000 | dtman34 | (~dtman34@c-75-73-141-79.hsd1.mn.comcast.net) |
| 2022-10-16 01:24:21 +0000 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-10-16 01:24:24 +0000 | tstat | (~tstat@user/tstat) |
| 2022-10-16 01:24:30 +0000 | Colere | Sauvin |
| 2022-10-16 01:24:32 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2022-10-16 01:24:35 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-10-16 01:24:41 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-10-16 01:24:41 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2022-10-16 01:24:42 +0000 | chymera | (~chymera@ns1000526.ip-51-81-46.us) |
| 2022-10-16 01:24:46 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2022-10-16 01:24:46 +0000 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-10-16 01:24:48 +0000 | kmein | (~weechat@user/kmein) |
| 2022-10-16 01:24:49 +0000 | simpleauthority | (~simpleaut@user/simpleauthority) |
| 2022-10-16 01:24:50 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-10-16 01:24:51 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2022-10-16 01:25:00 +0000 | RMSBach | (~guygastin@137.184.131.156) |
| 2022-10-16 01:25:05 +0000 | hexeme | (~hexeme@user/hexeme) |
| 2022-10-16 01:25:22 +0000 | raoul | (~raoul@95.179.203.88) |
| 2022-10-16 01:25:23 +0000 | heath | (~heath@user/heath) |
| 2022-10-16 01:25:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-16 01:25:55 +0000 | sweater1 | (~sweater@206.81.18.26) |
| 2022-10-16 01:25:57 +0000 | blades | (~blades@204.48.29.163) |
| 2022-10-16 01:26:15 +0000 | swistak | (~swistak@185.21.216.141) |
| 2022-10-16 01:26:32 +0000 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-10-16 01:27:21 +0000 | foul_owl | (~kerry@23.82.194.107) |
| 2022-10-16 01:27:37 +0000 | Cheery | (~cheery@7-239-179-185.static.tentacle.fi) |
| 2022-10-16 01:27:37 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) |
| 2022-10-16 01:27:39 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-10-16 01:27:41 +0000 | tomku | (~tomku@user/tomku) |
| 2022-10-16 01:27:43 +0000 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-10-16 01:27:45 +0000 | kjak | (~kjak@pool-108-31-114-135.washdc.fios.verizon.net) |
| 2022-10-16 01:27:59 +0000 | mmaruseacph2 | (~mihai@198.199.98.239) |
| 2022-10-16 01:29:21 +0000 | razetime | (~quassel@117.193.6.229) |
| 2022-10-16 01:31:29 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 01:42:28 +0000 | Topsi | (~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-16 01:44:54 +0000 | mcglk | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
| 2022-10-16 01:45:24 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2022-10-16 01:48:21 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-10-16 01:48:25 +0000 | Buliarous | (~gypsydang@46.232.210.139) |
| 2022-10-16 01:48:40 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-10-16 01:49:52 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:85ce:60ba:541:2d5a) (Quit: caryhartline) |
| 2022-10-16 01:51:07 +0000 | <[Leary]> | GHC will still delete your source code if you're not careful! I once accidentally compiled a cute touch-typing tutor with `ghc -o Dvorak.hs Dvorak` instead of `ghc -o Dvorak Dvorak.hs`, and GHC very happily overwrote my source code with the binary. <.< |
| 2022-10-16 01:54:56 +0000 | <EvanR> | it tried to compile binary Dvorak and got for enough to start outputting something xD |
| 2022-10-16 01:55:47 +0000 | <[Leary]> | Nah, for some reason GHC accepted (and still accepts!) `File` for `File.hs`. |
| 2022-10-16 01:56:16 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection) |
| 2022-10-16 01:56:25 +0000 | <[Leary]> | The project was only a few hundred lines and had no deps, so I hadn't bothered to put it in source control either; it was lost forever. Thankfully the binary worked and did everything I needed. |
| 2022-10-16 01:57:43 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2022-10-16 01:58:17 +0000 | tash | (~tash@user/tash) (Quit: Connection closed) |
| 2022-10-16 02:01:20 +0000 | <EvanR> | so it was using Dvorak.hs as input and output |
| 2022-10-16 02:01:32 +0000 | <EvanR> | that's either very elegant or very stupid |
| 2022-10-16 02:02:21 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-10-16 02:04:25 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 02:04:25 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 02:04:25 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 02:05:55 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2022-10-16 02:08:16 +0000 | <[Leary]> | Also, unrelated, but I've several times found Data.Map to be lacking a `pop` / `deleteLookup` / `Ord k => k -> Map k a -> Maybe (a, Map k a)` ... and somehow I only just realised today---you can write that with `alterF`. In one line, even. Feel kinda stupid now. >.> |
| 2022-10-16 02:09:16 +0000 | <ski> | someone should make a sortof quine which is its own compiled executable |
| 2022-10-16 02:09:55 +0000 | <ski> | (.. probably pretty hard to pull off, though) |
| 2022-10-16 02:10:13 +0000 | <ski> | `alterF' is powerful :) |
| 2022-10-16 02:11:46 +0000 | king_gs | (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Ping timeout: 268 seconds) |
| 2022-10-16 02:11:57 +0000 | [spookyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2022-10-16 02:16:01 +0000 | [spookyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-16 02:20:48 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) (Ping timeout: 264 seconds) |
| 2022-10-16 02:25:03 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 252 seconds) |
| 2022-10-16 02:25:06 +0000 | td_ | (~td@83.135.9.18) (Ping timeout: 260 seconds) |
| 2022-10-16 02:27:01 +0000 | td_ | (~td@83.135.9.32) |
| 2022-10-16 02:30:13 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2022-10-16 02:31:12 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 02:33:47 +0000 | kenran | (~user@user/kenran) |
| 2022-10-16 02:34:29 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 250 seconds) |
| 2022-10-16 02:34:47 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-16 02:35:01 +0000 | vn36 | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-16 02:35:21 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 250 seconds) |
| 2022-10-16 02:35:45 +0000 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-16 02:44:46 +0000 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-16 02:48:20 +0000 | <probie> | I've definitely written `alterF (,Nothing)` for a "pop" which gives a (Maybe a, Map k a). Is there an easy way to pull that Maybe out, or are you doing something different? |
| 2022-10-16 02:50:23 +0000 | <[Leary]> | probie: I've got `pop = fmap getCompose . M.alterF (Compose . fmap (,Nothing))`. |
| 2022-10-16 02:52:34 +0000 | frost66 | (~frost@user/frost) |
| 2022-10-16 02:54:13 +0000 | <probie> | That `fmap getCompose` "feels" wrong to me (I don't like writing function composition as `fmap`). |
| 2022-10-16 02:54:23 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-16 02:55:09 +0000 | <probie> | :t getCompose .: M.alterF (Compose . fmap (,Nothing)) |
| 2022-10-16 02:55:11 +0000 | <lambdabot> | error: Variable not in scope: getCompose |
| 2022-10-16 02:55:11 +0000 | <lambdabot> | error: |
| 2022-10-16 02:55:11 +0000 | <lambdabot> | • Variable not in scope: |
| 2022-10-16 02:55:52 +0000 | <[Leary]> | It is pointlessly pointfree, yes, but I like the function Functor. I'd actually rather write it as `getCompose <$$> M.alterF ...`, but then I'd have to define `(<$$>)`. |
| 2022-10-16 02:57:53 +0000 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.6) |
| 2022-10-16 02:58:35 +0000 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 2022-10-16 03:00:19 +0000 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 248 seconds) |
| 2022-10-16 03:01:55 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2022-10-16 03:02:10 +0000 | <DigitalKiwi> | i just broke hoogle |
| 2022-10-16 03:02:19 +0000 | <DigitalKiwi> | i'm so sorry |
| 2022-10-16 03:02:54 +0000 | [spookyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-10-16 03:03:14 +0000 | <c_wraith> | @let import Data.Functor.Compose |
| 2022-10-16 03:03:15 +0000 | <lambdabot> | Defined. |
| 2022-10-16 03:03:23 +0000 | <c_wraith> | :t getCompose .: M.alterF (Compose . fmap (,Nothing)) |
| 2022-10-16 03:03:24 +0000 | <lambdabot> | error: |
| 2022-10-16 03:03:24 +0000 | <lambdabot> | • Variable not in scope: |
| 2022-10-16 03:03:24 +0000 | <lambdabot> | (.:) |
| 2022-10-16 03:03:30 +0000 | <c_wraith> | ah, well. there is that |
| 2022-10-16 03:04:06 +0000 | <DigitalKiwi> | pop = (<$>) getCompose . M.alterF (Compose . fmap (,Nothing)) |
| 2022-10-16 03:04:10 +0000 | <DigitalKiwi> | there no fmap! |
| 2022-10-16 03:05:03 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2022-10-16 03:05:25 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-10-16 03:05:35 +0000 | <DigitalKiwi> | needs :+x TupleSections and import Data.Functor.Compose and Data.Map as M tho |
| 2022-10-16 03:05:49 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 03:05:49 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 03:05:49 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 03:06:10 +0000 | <DigitalKiwi> | ... the second fmap is a lie |
| 2022-10-16 03:06:13 +0000 | <DigitalKiwi> | :( |
| 2022-10-16 03:06:54 +0000 | <DigitalKiwi> | П> pop = (<$>) getCompose . M.alterF (Compose . (<$>) (,Nothing)) |
| 2022-10-16 03:07:00 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-) |
| 2022-10-16 03:08:16 +0000 | king_gs | (~Thunderbi@187.201.131.180) (Ping timeout: 260 seconds) |
| 2022-10-16 03:08:47 +0000 | <EvanR> | updateLookupWithKey? |
| 2022-10-16 03:09:13 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 246 seconds) |
| 2022-10-16 03:09:38 +0000 | <EvanR> | basing that suggesting on nothing said except "pop" |
| 2022-10-16 03:09:46 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 268 seconds) |
| 2022-10-16 03:13:16 +0000 | <[Leary]> | The behaviour of that function is kinda complex. I guess it should work for pop---did it always work like this? I recall disregarding it because it didn't do what I wanted more generally. |
| 2022-10-16 03:14:24 +0000 | frost66 | (~frost@user/frost) (Quit: Ping timeout (120 seconds)) |
| 2022-10-16 03:17:10 +0000 | fjMSX | (~hypni2p@2.92.213.55) (Remote host closed the connection) |
| 2022-10-16 03:20:20 +0000 | <probie> | The behaviour of `alterF` is mostly clear from the type. `updateLookupWithKey` is powerful, but non-obvious ("return the altered value unless the altered value is Nothing in which case the original value") |
| 2022-10-16 03:22:35 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 03:22:48 +0000 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-16 03:23:01 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-16 03:23:45 +0000 | AkechiShiro | (~licht@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 3.7) |
| 2022-10-16 03:24:07 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-10-16 03:26:10 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-16 03:26:56 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-10-16 03:26:56 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 03:27:09 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 03:27:09 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 03:27:09 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 03:31:31 +0000 | <EvanR> | yeah wth... using the Maybe to determine the action to take, unless your Map contains Maybes? |
| 2022-10-16 03:32:21 +0000 | <EvanR> | (how would it even) |
| 2022-10-16 03:38:27 +0000 | kenran | (~user@user/kenran) |
| 2022-10-16 03:39:33 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-10-16 03:40:00 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2022-10-16 03:47:47 +0000 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-10-16 03:50:19 +0000 | king_gs | (~Thunderbi@187.201.131.180) (Ping timeout: 250 seconds) |
| 2022-10-16 03:55:01 +0000 | rumraisin | (~tardis@user/phileasfogg) |
| 2022-10-16 03:55:31 +0000 | <ski> | @type ((fmap swap . sequenceA . swap) .) . M.alterF (,Nothing) |
| 2022-10-16 03:55:32 +0000 | <lambdabot> | Ord k => k -> M.Map k b -> Maybe (b, M.Map k b) |
| 2022-10-16 03:57:16 +0000 | raym | (~aritra@user/raym) (Ping timeout: 260 seconds) |
| 2022-10-16 04:00:01 +0000 | razetime | (~quassel@117.193.6.229) (Ping timeout: 252 seconds) |
| 2022-10-16 04:01:39 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-10-16 04:02:42 +0000 | raym | (~aritra@user/raym) |
| 2022-10-16 04:05:08 +0000 | rumraisin | (~tardis@user/phileasfogg) (Quit: It's the only way, then they can all forget me. I got too big, Dorium, too noisy. Time to step back into the shadows.) |
| 2022-10-16 04:06:16 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-10-16 04:10:00 +0000 | rumraisin | (~tardis@user/phileasfogg) |
| 2022-10-16 04:10:05 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 04:10:05 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 04:10:05 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 04:12:11 +0000 | rumraisin | (~tardis@user/phileasfogg) (Client Quit) |
| 2022-10-16 04:12:38 +0000 | rumraisin | (~tardis@user/phileasfogg) |
| 2022-10-16 04:13:23 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-10-16 04:15:15 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-16 04:25:12 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 04:25:18 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-10-16 04:29:12 +0000 | ddellacosta | (~ddellacos@143.244.47.82) (Ping timeout: 264 seconds) |
| 2022-10-16 04:30:55 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-16 04:34:36 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 04:35:46 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 260 seconds) |
| 2022-10-16 04:39:56 +0000 | razetime | (~quassel@117.193.6.229) |
| 2022-10-16 04:40:53 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-16 04:43:23 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-16 04:44:04 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-16 04:49:36 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 04:49:36 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 04:49:36 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 04:52:19 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Ping timeout: 248 seconds) |
| 2022-10-16 04:53:33 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) |
| 2022-10-16 04:56:55 +0000 | Sauvin | (~colere@about/linux/staff/sauvin) (Quit: Leaving) |
| 2022-10-16 04:57:10 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-) |
| 2022-10-16 04:57:25 +0000 | grymzu | (~zymurgy@user/zymurgy) |
| 2022-10-16 05:01:27 +0000 | roboguy_ | (~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...) |
| 2022-10-16 05:02:06 +0000 | maybefbi | (~maybefbi@gateway/tor-sasl/maybefbi) |
| 2022-10-16 05:04:36 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 05:06:00 +0000 | <maybefbi> | if i import anything my editor says "Could not find module <package>". `stack build` works fine. Haskell language server works fine except for "database is locked" but that doesn't stop the autocomplete. my editor is neovim + coc.nvim plugin |
| 2022-10-16 05:12:49 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 3.6) |
| 2022-10-16 05:13:18 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2022-10-16 05:18:41 +0000 | king_gs | (~Thunderbi@187.201.131.180) |
| 2022-10-16 05:23:39 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-10-16 05:24:04 +0000 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2022-10-16 05:24:19 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-16 05:27:19 +0000 | zaquest | (~notzaques@5.130.79.72) (Quit: Leaving) |
| 2022-10-16 05:30:35 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-16 05:37:28 +0000 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-10-16 05:38:39 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-10-16 05:41:26 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-10-16 05:42:24 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 05:44:06 +0000 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2022-10-16 05:44:45 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Quit: WeeChat 2.8) |
| 2022-10-16 05:45:56 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-16 05:47:08 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-10-16 05:49:18 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2022-10-16 05:55:34 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-16 05:56:13 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 05:56:51 +0000 | king_gs | (~Thunderbi@187.201.131.180) (Quit: king_gs) |
| 2022-10-16 05:56:59 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-16 05:58:01 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 05:58:49 +0000 | monochrom | (trebla@216.138.220.146) |
| 2022-10-16 06:01:31 +0000 | raym | (~aritra@user/raym) (Ping timeout: 260 seconds) |
| 2022-10-16 06:02:41 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-16 06:05:35 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 06:05:35 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 06:05:35 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 06:07:41 +0000 | raym | (~aritra@user/raym) |
| 2022-10-16 06:07:50 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-10-16 06:08:44 +0000 | <maybefbi> | never mind I was running both ALE and COC and ALE wasn't configured correctly |
| 2022-10-16 06:10:03 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-16 06:13:07 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 06:13:13 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-10-16 06:14:43 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 06:15:06 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 06:19:42 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-10-16 06:23:17 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-10-16 06:24:51 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 06:28:21 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-16 06:28:40 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-10-16 06:32:00 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:6d70:b0c1:e403:3e35) (Ping timeout: 268 seconds) |
| 2022-10-16 06:32:44 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 06:35:54 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-16 06:37:25 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 06:45:32 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 06:45:32 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-16 06:47:12 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 06:49:08 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 06:50:50 +0000 | acidjnk | (~acidjnk@p200300d6e7137a97757f3da0b831f184.dip0.t-ipconnect.de) |
| 2022-10-16 06:54:01 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-16 07:07:17 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 07:12:44 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-16 07:25:45 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-10-16 07:27:33 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 07:28:23 +0000 | maybefbi | (~maybefbi@gateway/tor-sasl/maybefbi) (Remote host closed the connection) |
| 2022-10-16 07:28:43 +0000 | maybefbi | (~maybefbi@gateway/tor-sasl/maybefbi) |
| 2022-10-16 07:29:37 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-16 07:30:01 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 250 seconds) |
| 2022-10-16 07:30:03 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-16 07:31:09 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-16 07:31:20 +0000 | maybefbi | (~maybefbi@gateway/tor-sasl/maybefbi) (Remote host closed the connection) |
| 2022-10-16 07:31:40 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 07:32:02 +0000 | maybefbi | (~maybefbi@gateway/tor-sasl/maybefbi) |
| 2022-10-16 07:36:31 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-16 07:53:12 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 264 seconds) |
| 2022-10-16 07:59:55 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 08:02:42 +0000 | mikoto-chan | (~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a) |
| 2022-10-16 08:04:23 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-10-16 08:13:45 +0000 | jtomas | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) |
| 2022-10-16 08:16:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-10-16 08:16:35 +0000 | razetime | (~quassel@117.193.6.229) (Ping timeout: 248 seconds) |
| 2022-10-16 08:16:53 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-10-16 08:20:04 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) |
| 2022-10-16 08:20:22 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) (Remote host closed the connection) |
| 2022-10-16 08:20:37 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) |
| 2022-10-16 08:25:57 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-10-16 08:26:43 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-16 08:26:48 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 08:32:59 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 08:40:11 +0000 | acidjnk | (~acidjnk@p200300d6e7137a97757f3da0b831f184.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-16 08:40:17 +0000 | razetime | (~quassel@117.193.6.229) |
| 2022-10-16 08:42:02 +0000 | razetime | (~quassel@117.193.6.229) (Client Quit) |
| 2022-10-16 08:42:30 +0000 | razetime | (~quassel@117.193.6.229) |
| 2022-10-16 08:42:42 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 08:44:51 +0000 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2022-10-16 08:48:55 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 08:51:40 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 08:54:27 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-16 08:56:57 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) |
| 2022-10-16 08:59:48 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 264 seconds) |
| 2022-10-16 09:00:07 +0000 | desophos[m] | (~desophosm@2001:470:69fc:105::2:81d9) (Quit: You have been kicked for being idle) |
| 2022-10-16 09:04:52 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-16 09:07:06 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 09:09:23 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-10-16 09:12:02 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-16 09:12:33 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-16 09:19:31 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-10-16 09:24:11 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 09:25:15 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 09:26:48 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-16 09:29:05 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-10-16 09:30:11 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-10-16 09:31:00 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 264 seconds) |
| 2022-10-16 09:35:35 +0000 | acidjnk | (~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de) |
| 2022-10-16 09:37:34 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-16 09:41:36 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 09:46:12 +0000 | nschoe | (~q@2a01:e0a:8e:a190:8b99:3125:534a:6688) |
| 2022-10-16 09:46:12 +0000 | nschoe | (~q@2a01:e0a:8e:a190:8b99:3125:534a:6688) (Client Quit) |
| 2022-10-16 09:46:54 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-10-16 09:59:28 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-16 09:59:51 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) (Ping timeout: 268 seconds) |
| 2022-10-16 10:00:03 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) (Ping timeout: 248 seconds) |
| 2022-10-16 10:02:22 +0000 | szkl | (uid110435@uxbridge.irccloud.com) |
| 2022-10-16 10:04:15 +0000 | <stefan-_> | I am currently trying to compile: https://github.com/Hakuyume/pandoc-filter-graphviz |
| 2022-10-16 10:04:22 +0000 | <stefan-_> | I installed GHC via GHCup |
| 2022-10-16 10:04:33 +0000 | <stefan-_> | now libghc-pandoc-dev seems missing |
| 2022-10-16 10:04:54 +0000 | <stefan-_> | how should I install this one? via: apt install libghc-pandoc-dev? |
| 2022-10-16 10:05:11 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-16 10:11:40 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 10:13:48 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-10-16 10:19:15 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-10-16 10:23:00 +0000 | <[Leary]> | stefan-_: libghc-* packages from apt are presumably only visible to ghc from apt. Ideally, that wouldn't matter, and you'd just use ghc and cabal from GHCup to compile the project, but... for some reason it's not a cabal package. Try using this PR fork instead <https://github.com/meck/pandoc-filter-graphviz>, noting the changed README. |
| 2022-10-16 10:24:31 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-16 10:30:59 +0000 | tam-carre | (~tam-carre@2a01cb088a83b300a322b3f387318318.ipv6.abo.wanadoo.fr) |
| 2022-10-16 10:33:52 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 10:38:42 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 268 seconds) |
| 2022-10-16 10:39:03 +0000 | <stefan-_> | [Leary], thanks, this worked |
| 2022-10-16 10:39:18 +0000 | <stefan-_> | at first cabal install gave this error: https://gist.github.com/dozed/a52a5589d86e6c67207e41682fa786ce |
| 2022-10-16 10:39:45 +0000 | <stefan-_> | what helped was to change "pandoc-types ^>= 1.20" to "pandoc-types ^>= 1.22" |
| 2022-10-16 10:42:11 +0000 | <stefan-_> | although I am not really sure why "cabal install" rejected base, the project definition has a constraint "base == 4.*" which should match some of those which have been rejected |
| 2022-10-16 10:46:45 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-16 10:50:48 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2022-10-16 10:51:47 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2022-10-16 10:52:21 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 10:52:21 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 10:52:21 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 10:53:29 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-16 10:57:08 +0000 | <jackdk> | It says why - cabal tried bytestring-0.10.2 because pandoc-types-1.20 had bytestring >=0.9 && <0.11 so it couldn't pick anything newer. Then that forced it to reject the base version that came with your GHC because bytestring-0.10.2 required base >=4.2&&<4.16. Then it rejected every other base version because it needs to use the installed one. |
| 2022-10-16 10:57:51 +0000 | mikoto-chan | (~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a) (Ping timeout: 260 seconds) |
| 2022-10-16 10:58:11 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-16 11:04:47 +0000 | tam-carre | (~tam-carre@2a01cb088a83b300a322b3f387318318.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-10-16 11:06:15 +0000 | acidjnk | (~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-16 11:06:15 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 11:06:57 +0000 | <stefan-_> | jackdk, isnt it possible to install a different "base" version? |
| 2022-10-16 11:10:11 +0000 | <jackdk> | Only by changing your GHC |
| 2022-10-16 11:10:41 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 11:11:22 +0000 | <stefan-_> | ok, good to know, thanks |
| 2022-10-16 11:11:53 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 11:13:52 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-16 11:16:35 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-16 11:21:54 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:6ca3:9d0e:dc1e:b0d3) |
| 2022-10-16 11:26:11 +0000 | mmhat | (~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-16 11:36:52 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 11:37:01 +0000 | mmhat | (~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-16 11:41:12 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 264 seconds) |
| 2022-10-16 11:45:36 +0000 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-16 11:48:28 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2022-10-16 11:53:37 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:6ca3:9d0e:dc1e:b0d3) (Quit: Leaving) |
| 2022-10-16 11:54:05 +0000 | phma | (~phma@host-67-44-208-75.hnremote.net) (Read error: Connection reset by peer) |
| 2022-10-16 11:54:26 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-16 11:54:48 +0000 | phma | (~phma@2001:5b0:211f:1308:d609:e9e4:98ee:b5be) |
| 2022-10-16 11:55:49 +0000 | mmhat | (~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-16 12:06:16 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 12:08:03 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-16 12:08:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e) |
| 2022-10-16 12:12:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e) (Ping timeout: 250 seconds) |
| 2022-10-16 12:12:50 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-10-16 12:14:33 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-16 12:15:24 +0000 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection) |
| 2022-10-16 12:24:51 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 12:29:26 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 12:30:56 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-16 12:39:21 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-10-16 12:45:42 +0000 | raym | (~aritra@user/raym) (Ping timeout: 264 seconds) |
| 2022-10-16 12:49:28 +0000 | vn36 | (~vn36@123.63.203.210) |
| 2022-10-16 12:51:04 +0000 | raym | (~aritra@user/raym) |
| 2022-10-16 12:51:49 +0000 | mikoto-chan | (~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a) |
| 2022-10-16 12:58:54 +0000 | vn36 | (~vn36@123.63.203.210) (Ping timeout: 264 seconds) |
| 2022-10-16 13:00:23 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:b2ae:9f1c:150a:3897) |
| 2022-10-16 13:00:36 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 13:00:56 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) (Ping timeout: 260 seconds) |
| 2022-10-16 13:03:24 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) |
| 2022-10-16 13:05:34 +0000 | acidjnk | (~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de) |
| 2022-10-16 13:05:46 +0000 | rumraisin | (~tardis@user/phileasfogg) (Quit: It's the only way, then they can all forget me. I got too big, Dorium, too noisy. Time to step back into the shadows.) |
| 2022-10-16 13:06:40 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-16 13:06:51 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:b2ae:9f1c:150a:3897) (Quit: bye) |
| 2022-10-16 13:07:19 +0000 | mikoto-chan | (~mikoto-ch@2001:999:408:6910:70c3:b5c6:4787:d89a) (Ping timeout: 268 seconds) |
| 2022-10-16 13:09:02 +0000 | mikoto-chan | (~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3) |
| 2022-10-16 13:19:36 +0000 | mikoto-chan | (~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3) (Ping timeout: 260 seconds) |
| 2022-10-16 13:25:21 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) (Ping timeout: 250 seconds) |
| 2022-10-16 13:26:17 +0000 | weier | (~z@219.70.204.146) |
| 2022-10-16 13:27:01 +0000 | weier | (~z@219.70.204.146) (Client Quit) |
| 2022-10-16 13:28:12 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-10-16 13:29:33 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) |
| 2022-10-16 13:35:01 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-16 13:39:13 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:8004:1fb3:f457:a121) (Ping timeout: 250 seconds) |
| 2022-10-16 13:39:20 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-10-16 13:39:45 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-10-16 13:43:01 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 13:47:53 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-10-16 13:49:57 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:2d2c:787e:3174:b740) |
| 2022-10-16 13:57:51 +0000 | vn36 | (~vn36@123.63.203.210) |
| 2022-10-16 13:59:19 +0000 | <ncf> | can someone give me a Prism s t a b -> Prism (c, s) (c, t) (c, a) (c, b) |
| 2022-10-16 14:00:14 +0000 | <ncf> | aside, got it |
| 2022-10-16 14:00:17 +0000 | <ncf> | :t aside |
| 2022-10-16 14:00:18 +0000 | <lambdabot> | (Choice p, Applicative f) => APrism s t a b -> p (e, a) (f (e, b)) -> p (e, s) (f (e, t)) |
| 2022-10-16 14:09:46 +0000 | df | (~ben@justworks.xyz) |
| 2022-10-16 14:10:48 +0000 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-10-16 14:14:51 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-10-16 14:19:05 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-16 14:27:23 +0000 | foul_owl | (~kerry@23.82.194.107) (Ping timeout: 252 seconds) |
| 2022-10-16 14:27:23 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 252 seconds) |
| 2022-10-16 14:27:23 +0000 | TMA | (~tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2022-10-16 14:27:31 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection) |
| 2022-10-16 14:27:35 +0000 | TMA | (tma@twin.jikos.cz) |
| 2022-10-16 14:27:46 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2022-10-16 14:28:07 +0000 | Unhammer | (~Unhammer@user/unhammer) (Ping timeout: 252 seconds) |
| 2022-10-16 14:28:30 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2022-10-16 14:29:02 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-10-16 14:29:02 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-10-16 14:29:02 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-10-16 14:29:17 +0000 | Unhammer | (~Unhammer@user/unhammer) |
| 2022-10-16 14:29:23 +0000 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-10-16 14:30:57 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 14:32:17 +0000 | mikoto-chan | (~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3) |
| 2022-10-16 14:32:29 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 14:33:06 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 260 seconds) |
| 2022-10-16 14:37:39 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 252 seconds) |
| 2022-10-16 14:43:08 +0000 | foul_owl | (~kerry@23.82.194.107) |
| 2022-10-16 14:53:11 +0000 | Topsi | (~Topsi@dyndsl-095-033-095-014.ewe-ip-backbone.de) |
| 2022-10-16 15:00:10 +0000 | phma_ | (phma@2001:5b0:211b:cec8:f4e4:c97:e3a5:2ba) |
| 2022-10-16 15:00:27 +0000 | phma | (~phma@2001:5b0:211f:1308:d609:e9e4:98ee:b5be) (Read error: Connection reset by peer) |
| 2022-10-16 15:00:41 +0000 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) |
| 2022-10-16 15:05:51 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 15:06:16 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-16 15:07:18 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 15:09:57 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 15:10:17 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 252 seconds) |
| 2022-10-16 15:10:28 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-10-16 15:11:03 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-16 15:13:07 +0000 | mikoto-chan | (~mikoto-ch@2001:999:788:87ad:fdef:a89c:d986:26e3) (Ping timeout: 268 seconds) |
| 2022-10-16 15:13:40 +0000 | mikoto-chan | (~mikoto-ch@2001:999:788:d2a:8656:69e:66bc:491a) |
| 2022-10-16 15:14:08 +0000 | Alex_test | (~al_test@178.34.163.70) (Quit: ;-) |
| 2022-10-16 15:14:42 +0000 | AlexZenon | (~alzenon@178.34.163.70) (Quit: ;-) |
| 2022-10-16 15:15:18 +0000 | AlexNoo | (~AlexNoo@178.34.163.70) (Quit: Leaving) |
| 2022-10-16 15:21:03 +0000 | mikoto-chan | (~mikoto-ch@2001:999:788:d2a:8656:69e:66bc:491a) (Ping timeout: 250 seconds) |
| 2022-10-16 15:22:06 +0000 | vn36 | (~vn36@123.63.203.210) (Ping timeout: 260 seconds) |
| 2022-10-16 15:24:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e) |
| 2022-10-16 15:29:01 +0000 | AlexNoo | (~AlexNoo@178.34.163.70) |
| 2022-10-16 15:29:59 +0000 | AlexZenon | (~alzenon@178.34.163.70) |
| 2022-10-16 15:35:05 +0000 | Alex_test | (~al_test@178.34.163.70) |
| 2022-10-16 15:38:48 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 15:39:10 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-16 15:42:15 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-16 15:45:26 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 15:46:40 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-16 15:47:12 +0000 | acidjnk | (~acidjnk@p200300d6e7137a9778a11ba6ca1c845e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-16 15:49:52 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-16 15:56:51 +0000 | [itchyjunk] | [spookyjunk] |
| 2022-10-16 16:03:07 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 16:04:18 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-10-16 16:07:36 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 264 seconds) |
| 2022-10-16 16:10:26 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:ce38:cc46:8d76:ab14) |
| 2022-10-16 16:11:02 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-16 16:16:36 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2022-10-16 16:20:19 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-16 16:24:37 +0000 | vn36__ | (~vn36@123.63.203.210) |
| 2022-10-16 16:24:39 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 16:27:11 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-16 16:29:11 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:2d2c:787e:3174:b740) (Ping timeout: 260 seconds) |
| 2022-10-16 16:31:10 +0000 | ajb | (~ajb@mimas.whatbox.ca) (Quit: bye) |
| 2022-10-16 16:32:03 +0000 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-10-16 16:35:07 +0000 | ajb | (~ajb@mimas.whatbox.ca) (Client Quit) |
| 2022-10-16 16:36:11 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-10-16 16:38:11 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-10-16 16:39:24 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2022-10-16 16:39:57 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-10-16 16:40:19 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-16 16:41:28 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-16 16:42:18 +0000 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-10-16 16:44:28 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-10-16 16:44:41 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 16:45:15 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-10-16 16:45:19 +0000 | ajb | (~ajb@mimas.whatbox.ca) (Client Quit) |
| 2022-10-16 16:46:59 +0000 | raym | (~aritra@user/raym) (Ping timeout: 248 seconds) |
| 2022-10-16 16:47:31 +0000 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-10-16 16:48:08 +0000 | beteigeuze1 | (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) |
| 2022-10-16 16:48:55 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-10-16 16:49:07 +0000 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2022-10-16 16:49:07 +0000 | beteigeuze1 | beteigeuze |
| 2022-10-16 16:49:37 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51) |
| 2022-10-16 16:49:55 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 16:51:18 +0000 | ajb | (~ajb@mimas.whatbox.ca) (Client Quit) |
| 2022-10-16 16:52:44 +0000 | raym | (~aritra@user/raym) |
| 2022-10-16 16:52:58 +0000 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-10-16 16:53:19 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-10-16 16:55:28 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-10-16 16:55:30 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51) (Read error: Connection reset by peer) |
| 2022-10-16 16:55:34 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2022-10-16 16:55:59 +0000 | ajb | (~ajb@mimas.whatbox.ca) (Client Quit) |
| 2022-10-16 16:56:05 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-16 16:57:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2022-10-16 16:57:46 +0000 | td_ | (~td@83.135.9.32) (Ping timeout: 260 seconds) |
| 2022-10-16 16:58:11 +0000 | td_ | (~td@83.135.9.32) |
| 2022-10-16 17:01:07 +0000 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2022-10-16 17:02:22 +0000 | jargon | (~jargon@184.101.208.112) |
| 2022-10-16 17:02:23 +0000 | econo | (uid147250@user/econo) |
| 2022-10-16 17:03:36 +0000 | td_ | (~td@83.135.9.32) (Ping timeout: 260 seconds) |
| 2022-10-16 17:04:29 +0000 | td_ | (~td@83.135.9.32) |
| 2022-10-16 17:05:29 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-10-16 17:05:44 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7) |
| 2022-10-16 17:07:46 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-16 17:09:15 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-10-16 17:12:43 +0000 | ajb | (~ajb@mimas.whatbox.ca) |
| 2022-10-16 17:12:43 +0000 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.5) |
| 2022-10-16 17:14:57 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-16 17:17:29 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51) |
| 2022-10-16 17:19:01 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-10-16 17:20:48 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 264 seconds) |
| 2022-10-16 17:22:36 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 264 seconds) |
| 2022-10-16 17:23:06 +0000 | nattiestnate | (~nate@202.138.250.51) |
| 2022-10-16 17:28:20 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 17:30:24 +0000 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-10-16 17:32:12 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:2439:2ae3:9928:9623) |
| 2022-10-16 17:32:19 +0000 | mmhat | (~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-16 17:32:51 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-16 17:33:14 +0000 | `2jt | (~jtomas@49.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-16 17:34:05 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f748:2000:5ce8:1294:916a:ac51) (Ping timeout: 250 seconds) |
| 2022-10-16 17:34:42 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-16 17:34:59 +0000 | jtomas | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2022-10-16 17:37:25 +0000 | td_ | (~td@83.135.9.32) (Ping timeout: 268 seconds) |
| 2022-10-16 17:40:43 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 17:42:32 +0000 | td_ | (~td@83.135.9.32) |
| 2022-10-16 17:44:40 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-16 17:44:40 +0000 | mmhat | (~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-16 17:44:44 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 17:45:19 +0000 | <zzz> | i want to download a package with `cabal get` an have it as a local dependency to my project so i can make personal modifications to it. how should my .cabal look like? |
| 2022-10-16 17:47:10 +0000 | maybefbi | (~maybefbi@gateway/tor-sasl/maybefbi) (Remote host closed the connection) |
| 2022-10-16 17:47:13 +0000 | <hpc> | https://cabal.readthedocs.io/en/latest/cabal-project.html might be of interest |
| 2022-10-16 17:49:07 +0000 | <zzz> | thank you |
| 2022-10-16 17:49:14 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-16 17:49:15 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 250 seconds) |
| 2022-10-16 17:49:27 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f748:2000:259b:b5ef:6a43:8c39) |
| 2022-10-16 17:50:51 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:2439:2ae3:9928:9623) (Ping timeout: 260 seconds) |
| 2022-10-16 17:51:58 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-16 17:53:13 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-16 17:54:14 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) |
| 2022-10-16 17:56:12 +0000 | td_ | (~td@83.135.9.32) (Ping timeout: 264 seconds) |
| 2022-10-16 17:57:54 +0000 | td_ | (~td@83.135.9.59) |
| 2022-10-16 17:58:44 +0000 | <zzz> | oh wait does this mean i have to create a package? |
| 2022-10-16 17:59:31 +0000 | `2jt | (~jtomas@49.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2022-10-16 17:59:57 +0000 | <geekosaur> | nope |
| 2022-10-16 18:00:48 +0000 | <geekosaur> | a "package" in cabal.project speak is something that has a cabal file (see "packages:" |
| 2022-10-16 18:00:50 +0000 | <geekosaur> | ) |
| 2022-10-16 18:01:09 +0000 | <zzz> | nvm, i meant "project" |
| 2022-10-16 18:01:42 +0000 | <zzz> | so i need to create a project |
| 2022-10-16 18:01:47 +0000 | <geekosaur> | a "project" is just something with a cabal.project, nothing fancier |
| 2022-10-16 18:02:13 +0000 | <zzz> | i'm reading up on it |
| 2022-10-16 18:02:28 +0000 | <geekosaur> | I have a local "project" which is just a collection of semi-related single-file programs |
| 2022-10-16 18:02:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 2022-10-16 18:02:42 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-16 18:03:15 +0000 | <zzz> | i can see how that's useful |
| 2022-10-16 18:03:31 +0000 | <hpc> | some people even make an everything project - all their packages go into it just for convenience |
| 2022-10-16 18:04:19 +0000 | <geekosaur> | and 99% of what it does is keep HLS mostly happy |
| 2022-10-16 18:04:34 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-16 18:04:35 +0000 | Sgeo | (~Sgeo@user/sgeo) (Remote host closed the connection) |
| 2022-10-16 18:04:45 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-16 18:06:18 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 18:06:38 +0000 | <c_wraith> | speaking of cabal... does anyone else feel like it's more complicated than it should be to have tests for an executable? |
| 2022-10-16 18:08:15 +0000 | <davean> | c_wraith: ugh for an executable? Yes, though you need an entirely different type of testing for them. |
| 2022-10-16 18:09:41 +0000 | <c_wraith> | Err, I meant to have tests for portions of the code in an executable section. |
| 2022-10-16 18:09:51 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-10-16 18:10:00 +0000 | <c_wraith> | To avoid double compilation, put things you're going to test into a library that both the executable and the tests depend on. Oh, you want to use cabal repl to work with your code interactively? Ok, you need to put *everything* into the library portion then if you want to be able to have it all in scope at once. |
| 2022-10-16 18:10:35 +0000 | <c_wraith> | But it can't be a private library because you can't have private libraries in a cabal file unless you've also got a public library |
| 2022-10-16 18:11:16 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-16 18:12:00 +0000 | <c_wraith> | why can't cabal just treat executables as private libraries in the first place? Yes, that'll make compiling them a little more complex, but it'd be worth it for making cabal files simpler in a common case |
| 2022-10-16 18:12:41 +0000 | <EvanR> | private library, public library? |
| 2022-10-16 18:13:23 +0000 | <davean> | c_wraith: fix it |
| 2022-10-16 18:13:24 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-10-16 18:13:28 +0000 | zeenk | (~zeenk@2a02:2f04:a311:7000:aa5:d3dd:854f:9922) (Quit: Konversation terminated!) |
| 2022-10-16 18:13:34 +0000 | <c_wraith> | EvanR: a private library is only available to be depended on by other targets in the same cabal file |
| 2022-10-16 18:14:34 +0000 | <c_wraith> | EvanR: the default is a public library, which other packages can depend on |
| 2022-10-16 18:14:42 +0000 | <EvanR> | guess I didn't even think about an application (written mostly as a library for reasons) would even be used as an actual library by someone else but I guess that makes a lot of sense |
| 2022-10-16 18:14:55 +0000 | <geekosaur> | makes sense to me |
| 2022-10-16 18:15:13 +0000 | <EvanR> | now I'm questioning the private library idea xD |
| 2022-10-16 18:15:24 +0000 | <geekosaur> | been lots of times I wished I could do that instead of having to work out how to talk to an external program |
| 2022-10-16 18:15:41 +0000 | <EvanR> | that's like not exposing an internal module |
| 2022-10-16 18:16:03 +0000 | <geekosaur> | private libs are for code organization. although I think as of 3.8 you can make those public too? |
| 2022-10-16 18:16:28 +0000 | <geekosaur> | with some new syntax for depending on named libs in other packages |
| 2022-10-16 18:16:56 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-16 18:17:00 +0000 | <c_wraith> | Yeah. Overall I'm not terribly excited by private libraries, but for things like executables they appeal to me. |
| 2022-10-16 18:17:11 +0000 | <davean> | geekosaur: Sometimes they're the only way to optimize things too |
| 2022-10-16 18:17:36 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-16 18:17:38 +0000 | <davean> | Oh yes, private libraries allow some optimizations, but thats way too large a discussion to get into |
| 2022-10-16 18:18:43 +0000 | zer0bitz_ | (~zer0bitz@2001:2003:f748:2000:259b:b5ef:6a43:8c39) (Ping timeout: 250 seconds) |
| 2022-10-16 18:20:12 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 18:20:13 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 18:21:41 +0000 | <zzz> | why do we need to list dependencies where it should be obvious from the imports? |
| 2022-10-16 18:21:53 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) |
| 2022-10-16 18:21:58 +0000 | <zzz> | always seemed redundant to me |
| 2022-10-16 18:22:32 +0000 | <hpc> | imports are modules, dependencies are packages |
| 2022-10-16 18:22:34 +0000 | <geekosaur> | becuase imports aren't necessarily one to one with packages |
| 2022-10-16 18:22:37 +0000 | <hpc> | two packages can define the same module |
| 2022-10-16 18:22:49 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-16 18:22:58 +0000 | <hpc> | imports also don't capture version constraints |
| 2022-10-16 18:23:31 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2022-10-16 18:23:39 +0000 | <hpc> | if you are importing say, Data.Text, but you know you need text >= 1.2.0.0 |
| 2022-10-16 18:23:47 +0000 | <hpc> | well, previous text versions also have that module |
| 2022-10-16 18:24:08 +0000 | ephaptic | (~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com) |
| 2022-10-16 18:24:14 +0000 | <zzz> | so i'm using the wrong terminology. i guess what i meant is "why do we have to list other-modules?" |
| 2022-10-16 18:24:19 +0000 | Lumia | (~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-) |
| 2022-10-16 18:24:31 +0000 | <davean> | hpc: well, we CAN package import |
| 2022-10-16 18:24:31 +0000 | <hpc> | ah |
| 2022-10-16 18:24:37 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-16 18:25:04 +0000 | loras | (~loras@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-16 18:25:15 +0000 | <hpc> | https://cabal.readthedocs.io/en/latest/cabal-package.html#pkg-field-other-modules |
| 2022-10-16 18:27:15 +0000 | <hpc> | i haven't ever had to get very far into why, but ^ explains what other-modules means |
| 2022-10-16 18:28:06 +0000 | <zzz> | i know what it means, i just always found it weird that we *have* to list them |
| 2022-10-16 18:28:19 +0000 | <hpc> | ah, yeah that i am not sure on |
| 2022-10-16 18:29:11 +0000 | <hpc> | maybe to make sure those modules exist at runtime, as opposed to stuff only needed at build time somehow? |
| 2022-10-16 18:31:50 +0000 | nattiestnate | (~nate@202.138.250.51) (Quit: WeeChat 3.7) |
| 2022-10-16 18:32:51 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-10-16 18:35:28 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 18:36:17 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 18:40:16 +0000 | <geekosaur> | because sdist would leave them out otherwise and nobody else would be able to build it, aiui |
| 2022-10-16 18:40:19 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-16 18:41:02 +0000 | <geekosaur> | cabal would otherwise need to track used modules/files during a build and remember it for building a distribution tarball |
| 2022-10-16 18:41:45 +0000 | <EvanR> | I tried moving all my other-modules to exposed-modules of the (public) library they should be from, and building the executable warns nothing is listed in other-modules |
| 2022-10-16 18:41:56 +0000 | <EvanR> | but still builds |
| 2022-10-16 18:45:35 +0000 | vn36__ | (~vn36@123.63.203.210) (Ping timeout: 250 seconds) |
| 2022-10-16 18:45:46 +0000 | <EvanR> | the cabal manual posted above seems to suggest you don't need this if you don't want to hide the modules |
| 2022-10-16 18:46:20 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-10-16 18:46:25 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-16 18:46:28 +0000 | <geekosaur> | I mentioned those single-file programs earlier? no other-modules |
| 2022-10-16 18:46:37 +0000 | <geekosaur> | then again also no libraries |
| 2022-10-16 18:46:40 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-16 18:46:43 +0000 | <geekosaur> | aside from deps |
| 2022-10-16 18:47:29 +0000 | vn36_ | (~vn36@123.63.203.210) |
| 2022-10-16 18:48:20 +0000 | causal | (~user@50.35.83.177) |
| 2022-10-16 18:48:21 +0000 | ddellacosta | (~ddellacos@143.244.47.82) |
| 2022-10-16 18:48:57 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-16 18:49:05 +0000 | acidjnk | (~acidjnk@p200300d6e7137a21d59bab4b536388a8.dip0.t-ipconnect.de) |
| 2022-10-16 18:49:33 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-16 18:50:38 +0000 | razetime | (~quassel@117.193.6.229) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-16 18:56:46 +0000 | <EvanR> | so you have no other-modules, but also no imports other than the external deps |
| 2022-10-16 18:57:19 +0000 | <EvanR> | i'll try a "private" library then |
| 2022-10-16 18:57:36 +0000 | <pareto-optimal-d> | Has anyone else observed that codebases that avoid lenses nearly always only design flat data types rather than nested or embedded ones? For instance pro lens might have a nested data type allowing `person.favoriteFoods[0].ingredients[0]` while those avoiding lens will have functions to 1) get a person 2) get favorite foods relating to that person, take first 3) get ingredients related to favorite foods, take first. |
| 2022-10-16 18:59:12 +0000 | <pareto-optimal-d> | Taking that thought further, codebases that avoid lenses skew heavily towards using database types as domain types because their access patterns are the basically the same. |
| 2022-10-16 18:59:51 +0000 | <pareto-optimal-d> | avoid lenses is also kind of synonymous here with "nested data access is annoying" in a pre-record dot accessor world. |
| 2022-10-16 19:00:28 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 19:00:36 +0000 | <[exa]> | pareto-optimal-d: any example of such packages btw? |
| 2022-10-16 19:01:11 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 19:01:41 +0000 | <[exa]> | pareto-optimal-d: anyway I'm usually trying to avoid data structure nesting in any language, it kinda reduces the composability of the data ("in which person's fav list did I forget this ingredient?") |
| 2022-10-16 19:02:13 +0000 | <[exa]> | (unless you're sure the data model is strictly tree-ish ofc, as with e.g. ASTs) |
| 2022-10-16 19:02:44 +0000 | <EvanR> | deeply nested data kind of never made sense to me, lens or not |
| 2022-10-16 19:03:09 +0000 | <EvanR> | I was always more into relational database like data |
| 2022-10-16 19:03:36 +0000 | <EvanR> | which is neither flat or deeply nested |
| 2022-10-16 19:03:46 +0000 | <pareto-optimal-d> | A positive of nested is you can do things like `person ^.. favoriteFoods . traverse . ingredients`. A negative is if `favoriteFoods` is very large that's all loaded into the nested data type. |
| 2022-10-16 19:04:36 +0000 | <EvanR> | I always found the particular nesting to be for a particular problem, like a document someone wanted. And the composition needed to be rearranged for other problems |
| 2022-10-16 19:04:46 +0000 | geekosaur | is ex-rdbms person and tends to still work that way |
| 2022-10-16 19:04:52 +0000 | <EvanR> | and there was no right true nesting |
| 2022-10-16 19:04:53 +0000 | <pareto-optimal-d> | Yeah, the annoying thing about keeping things relational in my opinion is having to stitch things together yourself with maps if you're past the query stage. |
| 2022-10-16 19:04:56 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-10-16 19:06:01 +0000 | <pareto-optimal-d> | This is more a thought experiment for me since most of my experience has been with treating and modeling data as relational... so maybe it's a grass is greener on the other side thing... not sure yet. |
| 2022-10-16 19:06:15 +0000 | <[exa]> | pareto-optimal-d: the usual problem with the nesting that I often run into is sharing, such as 2 people share favorite rice and you want to add a tiny bit of information into the rice structure, boom you either get food references to "global" foods or need to do that at 2 places |
| 2022-10-16 19:06:23 +0000 | <EvanR> | stitching together from the pieces, without or without a language for that, is still easier that unstiching first and restitching. But I hear they have languages for that too now |
| 2022-10-16 19:06:53 +0000 | <[exa]> | as in, most real-world data models can be deconstructed to DAGs, but not plain trees. |
| 2022-10-16 19:08:16 +0000 | <[exa]> | pareto-optimal-d: otoh yeah this is most likely my gripes after failing too much with nested information, maybe I'm doing it wrong (as with unnesting you need to keep indexes, maybe with nested I'd need to systematically keep some rules of thumb too and then it would work) |
| 2022-10-16 19:08:51 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-16 19:08:57 +0000 | <EvanR> | this is where sets and relations comes in |
| 2022-10-16 19:09:09 +0000 | <EvanR> | all the indexing abstracted |
| 2022-10-16 19:09:46 +0000 | <EvanR> | need a relational algebra lens |
| 2022-10-16 19:10:05 +0000 | <[exa]> | oh yes pls |
| 2022-10-16 19:10:12 +0000 | <pareto-optimal-d> | I also have domain driven design in mind quite a bit here for writing domain logic if that changes anything, though it's not necessarily required to embrance nested over flat data. |
| 2022-10-16 19:10:28 +0000 | <pareto-optimal-d> | haha I was thinking about that too |
| 2022-10-16 19:10:41 +0000 | <[exa]> | pareto-optimal-d: well, if you're designing your data model and you can make it safely tree-ish, by all means do :D |
| 2022-10-16 19:11:05 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-10-16 19:11:17 +0000 | lbseale_ | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-16 19:11:43 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 19:11:54 +0000 | <pareto-optimal-d> | I suppose part of my thoughts are driven by annoyance when something is properly designed as nested, but other incentives push towards modelling data flat instead even though it provides a much worse experience for common use-cases. |
| 2022-10-16 19:12:04 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-10-16 19:12:51 +0000 | lbseale | (~quassel@user/ep1ctetus) (Client Quit) |
| 2022-10-16 19:13:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 2022-10-16 19:13:59 +0000 | <EvanR> | designed flat, or designed nested, => viewed flat or viewed nested |
| 2022-10-16 19:14:20 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-10-16 19:15:00 +0000 | <pareto-optimal-d> | I'll try to come up with some examples though. I'm writing some notes along the lines of this discussion and figured others thoughts might help me materialize my thoughts (and they have so thanks :) ) |
| 2022-10-16 19:16:42 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-16 19:16:55 +0000 | geekosaur | wonders if there's an sql variant that can be taught to use arrays/vectors of records as local tables and sets/bags/hashmaps/etc. as local indexes |
| 2022-10-16 19:18:03 +0000 | <geekosaur> | (sadly any such work is probably in C/C++ and therefore has no real data structures to treat as such) |
| 2022-10-16 19:18:26 +0000 | <geekosaur> | (well, okay, these days C++ has some, but yuck) |
| 2022-10-16 19:18:27 +0000 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) |
| 2022-10-16 19:19:11 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 19:27:31 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-10-16 19:28:48 +0000 | geekosaur | sees shellcheck pop up elsewhere and grins |
| 2022-10-16 19:31:48 +0000 | <hpc> | geekosaur: there's an sqlite joke in there somewhere |
| 2022-10-16 19:35:37 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 19:36:31 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-16 19:37:00 +0000 | michalz | (~michalz@185.246.207.203) |
| 2022-10-16 19:37:13 +0000 | shinjipf | (~shinjipf@2a02:c207:2082:6685::1) (Quit: Shinji leaves) |
| 2022-10-16 19:39:29 +0000 | shinjipf | (~shinjipf@2a01:4f8:1c1c:c1be::1) |
| 2022-10-16 19:43:18 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) (Ping timeout: 264 seconds) |
| 2022-10-16 19:44:02 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) |
| 2022-10-16 19:44:11 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-16 19:48:25 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Read error: Connection reset by peer) |
| 2022-10-16 19:48:45 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) |
| 2022-10-16 19:52:55 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 19:56:25 +0000 | pavonia | (~user@user/siracusa) |
| 2022-10-16 19:57:18 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 19:57:54 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2022-10-16 19:57:54 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-10-16 19:57:54 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 20:01:43 +0000 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-10-16 20:02:20 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 268 seconds) |
| 2022-10-16 20:02:33 +0000 | ephaptic | (~mbomba@cpe1c9eccdb0b75-cm1c9eccdb0b73.cpe.net.cable.rogers.com) (Quit: WeeChat 3.7) |
| 2022-10-16 20:03:35 +0000 | vn36_ | (~vn36@123.63.203.210) (Ping timeout: 250 seconds) |
| 2022-10-16 20:05:54 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:cc25:90bb:71ed:321e) (Remote host closed the connection) |
| 2022-10-16 20:10:42 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 20:11:04 +0000 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2022-10-16 20:13:58 +0000 | <DigitalKiwi> | of course i use haskell in production; all of my bash scripts are shellchecked! |
| 2022-10-16 20:15:09 +0000 | <hpc> | all your documentation is pandoc'd too? |
| 2022-10-16 20:15:17 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2022-10-16 20:15:57 +0000 | <DigitalKiwi> | yeah all none of it |
| 2022-10-16 20:16:11 +0000 | <DigitalKiwi> | i do use hakyll though lol |
| 2022-10-16 20:25:08 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-16 20:25:44 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-10-16 20:28:09 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-16 20:28:29 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-16 20:29:33 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-10-16 20:29:33 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 20:29:46 +0000 | causal | (~user@50.35.83.177) |
| 2022-10-16 20:33:50 +0000 | <DigitalKiwi> | can't be lied to by documentation if there is none *taps head* |
| 2022-10-16 20:33:55 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 250 seconds) |
| 2022-10-16 20:34:19 +0000 | <lagash> | geekosaur: can't wait to see that DFA engine get merged! |
| 2022-10-16 20:34:50 +0000 | <geekosaur> | sorry, didn't mean to imply I'm involved with it |
| 2022-10-16 20:35:02 +0000 | <geekosaur> | just watching haskell-based tools pop up in unexpected places |
| 2022-10-16 20:35:09 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2cdc:664b:bb96:11d6) |
| 2022-10-16 20:35:09 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-16 20:35:20 +0000 | <geekosaur> | see pandoc all over the place these days too |
| 2022-10-16 20:35:48 +0000 | <DigitalKiwi> | code does what it does. docs at best give an approximation to what someone at some point thought the code did and at worse lies lol |
| 2022-10-16 20:36:43 +0000 | <tomsmeding> | DigitalKiwi: living the good life |
| 2022-10-16 20:36:49 +0000 | <DigitalKiwi> | :D |
| 2022-10-16 20:37:04 +0000 | <EvanR> | even better, non existent code can't have any bugs |
| 2022-10-16 20:37:30 +0000 | <EvanR> | no docs and no code paradigm |
| 2022-10-16 20:37:45 +0000 | <DigitalKiwi> | fr fr |
| 2022-10-16 20:37:47 +0000 | <tomsmeding> | no, then you get low-code, which is worse |
| 2022-10-16 20:38:56 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:2071:e834:e16a:b87d) (Quit: Ping timeout (120 seconds)) |
| 2022-10-16 20:39:14 +0000 | Luj3 | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2022-10-16 20:42:44 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-16 20:44:56 +0000 | <DigitalKiwi> | https://twitter.com/Foone/status/1581643197427523584 |
| 2022-10-16 20:47:28 +0000 | <EvanR> | a big factorio twitter thread |
| 2022-10-16 20:49:53 +0000 | <disco-dave[m]> | How are you supposed to read the error messages related to error bounds from cabal? For example in the following, why does it reject pango-0.13.8.2? https://paste.tomsmeding.com/4lJjQf7F |
| 2022-10-16 20:50:25 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-10-16 20:52:59 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-16 20:53:16 +0000 | <sm> | disco-dave: with difficulty and practice |
| 2022-10-16 20:54:00 +0000 | <tomsmeding> | you're missing the system package 'pango', or at least the pkg-config db entry for it |
| 2022-10-16 20:54:10 +0000 | <sm> | since it mentions pkg-config, I'd guess there's a required pango C lib that you need to install |
| 2022-10-16 20:54:11 +0000 | <tomsmeding> | but I wholeheartedly agree with sm |
| 2022-10-16 20:54:55 +0000 | <tomsmeding> | pango-0.13.* would have been acceptable, were it not for the "conflict" (interesting choice of phrasing) that the pkg-config package pango>=1.0 was not found |
| 2022-10-16 20:55:25 +0000 | <tomsmeding> | then it rejects (and skips, after rejecting the first) all pango-0.12.* and lower because xmobar has a pango>=0.13 constraint |
| 2022-10-16 20:55:32 +0000 | <tomsmeding> | that's the interpretation |
| 2022-10-16 20:56:50 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 20:57:40 +0000 | <tomsmeding> | disco-dave[m]: hope that helps :) |
| 2022-10-16 20:58:38 +0000 | <disco-dave[m]> | thanks for the help tomsmeding and sm I can see via pacman that I have pango installed, but maybe the one I have doesn't include the headers. I'll dig around |
| 2022-10-16 20:58:57 +0000 | titibandit | (~titibandi@xdsl-78-34-208-230.nc.de) (Remote host closed the connection) |
| 2022-10-16 20:59:12 +0000 | <sm> | often most of the error output is irrelevant, look for the one line that matters |
| 2022-10-16 20:59:36 +0000 | <EvanR> | maybe there should be a flag which shows only the relevant line xD |
| 2022-10-16 20:59:56 +0000 | <tomsmeding> | disco-dave[m]: if you're on Arch: I have /usr/lib/pkgconfig/pango.pc owned by the 'pango' package |
| 2022-10-16 21:00:01 +0000 | <sm> | excellent idea EvanR |
| 2022-10-16 21:00:15 +0000 | <tomsmeding> | EvanR: we volunteer you for implementing it! |
| 2022-10-16 21:00:29 +0000 | <sm> | off by default of course |
| 2022-10-16 21:00:32 +0000 | <tomsmeding> | yes |
| 2022-10-16 21:00:50 +0000 | <EvanR> | at least after that task I might understand cabal |
| 2022-10-16 21:01:31 +0000 | <tomsmeding> | disco-dave[m]: for context, in case you don't know much about pkg-config: those .pc files are the pkg-config database, as it were, so the error you're getting makes me think you have no pango.pc in the expected places on your system |
| 2022-10-16 21:01:59 +0000 | <tomsmeding> | in general not all packages have a corresponding .pc file, but (apparently, on Arch at least -- I'm assuming Arch because you say pacman) pango does |
| 2022-10-16 21:02:46 +0000 | mmhat | (~mmh@p200300f1c7337706ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-10-16 21:03:08 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 21:03:26 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-10-16 21:07:17 +0000 | biberu | (~biberu@user/biberu) |
| 2022-10-16 21:08:12 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 264 seconds) |
| 2022-10-16 21:09:01 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 268 seconds) |
| 2022-10-16 21:10:33 +0000 | <disco-dave[m]> | @tomsmeding I am on arch linux. I can see I have /usr/lib/pkgconfig/pango.pc file on my computer, is this not the right place? |
| 2022-10-16 21:10:33 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-10-16 21:11:03 +0000 | <disco-dave[m]> | * tomsmeding: I am on arch linux. I can see I have /usr/lib/pkgconfig/pango.pc file on my computer, is this not the right place? |
| 2022-10-16 21:11:19 +0000 | <geekosaur> | it was looking for a version > 1.0. check inside it and see if it provides a suitable version |
| 2022-10-16 21:11:24 +0000 | <geekosaur> | it's a text file |
| 2022-10-16 21:12:30 +0000 | <geekosaur> | I have 1.44.7 locally (I'm on Ubuntu 20.04.1) |
| 2022-10-16 21:16:09 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) |
| 2022-10-16 21:16:17 +0000 | mmhat | (~mmh@p200300f1c73377b2ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-16 21:17:25 +0000 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-10-16 21:18:55 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-10-16 21:19:37 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-10-16 21:20:20 +0000 | <disco-dave[m]> | Mine says 1.50.11. Here are its complete contents https://paste.tomsmeding.com/bVRDu9k5 |
| 2022-10-16 21:21:39 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-10-16 21:23:08 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-16 21:23:10 +0000 | AlexZenon | (~alzenon@178.34.163.70) (Quit: ;-) |
| 2022-10-16 21:23:40 +0000 | Alex_test | (~al_test@178.34.163.70) (Quit: ;-) |
| 2022-10-16 21:24:53 +0000 | AlexNoo | (~AlexNoo@178.34.163.70) (Quit: Leaving) |
| 2022-10-16 21:25:41 +0000 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-10-16 21:29:44 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-10-16 21:30:44 +0000 | AlexNoo | (~AlexNoo@178.34.163.70) |
| 2022-10-16 21:31:04 +0000 | AlexZenon | (~alzenon@178.34.163.70) |
| 2022-10-16 21:32:00 +0000 | Alex_test | (~al_test@178.34.163.70) |
| 2022-10-16 21:33:21 +0000 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fb48-32.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-16 21:33:33 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) |
| 2022-10-16 21:37:35 +0000 | thegeekinside | (~thegeekin@189.180.97.156) |
| 2022-10-16 21:38:51 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 21:39:16 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-16 21:42:25 +0000 | <disco-dave[m]> | Oh wow, I was using cabal > 3.8 and I just downgraded to 3.6, and now it compiles? |
| 2022-10-16 21:43:03 +0000 | <sclv> | that's because cabal 3.6 didn't actually care if pkg-config failed -- it just pretended it succeeded and continued |
| 2022-10-16 21:43:36 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-16 21:43:51 +0000 | chomwitt | (~chomwitt@2a02:587:dc1e:5e00:ce38:cc46:8d76:ab14) (Remote host closed the connection) |
| 2022-10-16 21:44:33 +0000 | thegeekinside | (~thegeekin@189.180.97.156) (Ping timeout: 250 seconds) |
| 2022-10-16 21:45:29 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-16 21:47:32 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::1b0b) |
| 2022-10-16 21:49:38 +0000 | <disco-dave[m]> | It built compiled successfully though. I think maybe I was running into this bug https://github.com/haskell/cabal/issues/8494 |
| 2022-10-16 21:51:46 +0000 | `2jt | (~jtomas@191.red-88-17-199.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-10-16 21:52:06 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-16 21:56:50 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-10-16 22:01:12 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 22:01:53 +0000 | elbear | (~lucian@188.24.138.239) |
| 2022-10-16 22:05:39 +0000 | dimsuz_ | (~dima@185.17.128.51) |
| 2022-10-16 22:06:13 +0000 | elbear | (~lucian@188.24.138.239) (Ping timeout: 250 seconds) |
| 2022-10-16 22:06:23 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-10-16 22:06:24 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-16 22:08:32 +0000 | <dimsuz_> | hi! I'm learning optics and successfuly use `record ^. someMaybe` to get `Just Someting`. But what if I want to get Bool which would be True if `someMaybe` is Just? I suspect I need to `map`, but can't find the required operator. |
| 2022-10-16 22:09:49 +0000 | <Axman6> | % :t has |
| 2022-10-16 22:09:49 +0000 | <yahb2> | <interactive>:1:1: error: Variable not in scope: has |
| 2022-10-16 22:09:54 +0000 | <Axman6> | @hoogle has |
| 2022-10-16 22:09:54 +0000 | <lambdabot> | Control.Lens.Combinators has :: Getting Any s a -> s -> Bool |
| 2022-10-16 22:09:55 +0000 | <lambdabot> | Control.Lens.Fold has :: Getting Any s a -> s -> Bool |
| 2022-10-16 22:09:55 +0000 | <lambdabot> | Network.AWS.Lens has :: () => Getting Any s a -> s -> Bool |
| 2022-10-16 22:10:26 +0000 | <Axman6> | dimsuz_: the last one - it returns trye of the optic returns any values from s |
| 2022-10-16 22:10:38 +0000 | <Axman6> | % import Control.Lens.Combinators |
| 2022-10-16 22:10:38 +0000 | <yahb2> | <no location info>: error: ; Could not find module ‘Control.Lens.Combinators’ ; It is not a module in the current program, or in any known package. |
| 2022-10-16 22:10:42 +0000 | <Axman6> | :( |
| 2022-10-16 22:10:45 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 22:11:01 +0000 | <geekosaur> | yeh, no lens in yahb2 |
| 2022-10-16 22:11:07 +0000 | <geekosaur> | :t has |
| 2022-10-16 22:11:08 +0000 | <lambdabot> | Getting Any s a -> s -> Bool |
| 2022-10-16 22:12:29 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 22:13:31 +0000 | <EvanR> | is Any in that type GHC Any or something else |
| 2022-10-16 22:14:21 +0000 | <geekosaur> | :k Any |
| 2022-10-16 22:14:22 +0000 | <lambdabot> | * |
| 2022-10-16 22:14:38 +0000 | <geekosaur> | I think it's a lens thing |
| 2022-10-16 22:15:29 +0000 | <dimsuz_> | hm, will it somehow automatically apply it to Maybe (which is at the focus)? |
| 2022-10-16 22:15:45 +0000 | <geekosaur> | hm, no, I don't see Any in the index |
| 2022-10-16 22:15:54 +0000 | <geekosaur> | so maybe it's GHC's Any (which is magical) |
| 2022-10-16 22:16:38 +0000 | <geekosaur> | :t has (Just 1) |
| 2022-10-16 22:16:40 +0000 | <lambdabot> | error: |
| 2022-10-16 22:16:40 +0000 | <lambdabot> | • Couldn't match type ‘Maybe a1’ |
| 2022-10-16 22:16:40 +0000 | <lambdabot> | with ‘(a0 -> Const Any a0) -> s -> Const Any s’ |
| 2022-10-16 22:16:56 +0000 | <geekosaur> | right, can't just poke a lens like that |
| 2022-10-16 22:17:07 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 248 seconds) |
| 2022-10-16 22:17:16 +0000 | <c_wraith> | it's Any from Data.Monoid |
| 2022-10-16 22:17:21 +0000 | <EvanR> | ah |
| 2022-10-16 22:17:23 +0000 | <dimsuz_> | ah, looks like I should use it like this: `has _Just` |
| 2022-10-16 22:18:43 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-16 22:19:01 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 22:20:03 +0000 | jargon | (~jargon@184.101.208.112) (Remote host closed the connection) |
| 2022-10-16 22:20:44 +0000 | jargon | (~jargon@184.101.208.112) |
| 2022-10-16 22:23:15 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-16 22:24:36 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 22:25:47 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-16 22:31:35 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 22:35:26 +0000 | dimsuz_ | (~dima@185.17.128.51) (Quit: leaving) |
| 2022-10-16 22:35:49 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Remote host closed the connection) |
| 2022-10-16 22:36:07 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 22:36:24 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 264 seconds) |
| 2022-10-16 22:40:18 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-16 22:44:03 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2022-10-16 22:48:08 +0000 | <jackdk> | That `Any` will be the monoid |
| 2022-10-16 22:49:22 +0000 | <ski> | @index Any |
| 2022-10-16 22:49:22 +0000 | <lambdabot> | GHC.Exts, Data.Monoid, GHC.Prim |
| 2022-10-16 22:51:21 +0000 | <dminuoso> | Is there a convenient way to construct a Text directly using a ByteString buffer? |
| 2022-10-16 22:51:35 +0000 | <dminuoso> | Internally Text relies on a ByteArray#, while ByteString has just an Addr# |
| 2022-10-16 22:51:39 +0000 | <jackdk> | `has :: Getting Any s a -> s -> Bool` ~ `((a -> Const Any a) -> s -> Const Any s) -> s -> Bool`. So wherever the provided optic targets a value, it will pass in `Any True`, using `foldMapOf`. |
| 2022-10-16 22:52:33 +0000 | <Axman6> | dminuoso: I feel there must be a way to go between those somehow - time for some GHC.* spelunking |
| 2022-10-16 22:53:43 +0000 | <dminuoso> | Im pondering unsafeCoere# here. |
| 2022-10-16 22:56:48 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-16 22:57:15 +0000 | mmhat | (~mmh@p200300f1c73377b2ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-10-16 22:57:52 +0000 | <dminuoso> | let BS.PS (ForeignPtr fp con) off len = "foobar" in T.Text (T.Array (unsafeCoerce# fp)) 6 6 |
| 2022-10-16 22:57:56 +0000 | <dminuoso> | Mmm does appear to workj |
| 2022-10-16 22:58:03 +0000 | <Axman6> | ... today |
| 2022-10-16 22:58:07 +0000 | <Axman6> | :P |
| 2022-10-16 22:58:42 +0000 | <dminuoso> | I just dont like senselessly going through an UTF8 decoding routine, when I already have an invariant established. |
| 2022-10-16 22:58:45 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 22:58:54 +0000 | <dminuoso> | And copying the buffer is just a waste of CPU cycles too |
| 2022-10-16 22:59:10 +0000 | <dminuoso> | (Given that not copying it, gives the caller the option to explicitly BS.copy or not) |
| 2022-10-16 22:59:13 +0000 | <Axman6> | I thought it was just a validation these days and somehow was zero copy |
| 2022-10-16 23:00:19 +0000 | <dminuoso> | Axman6: Nope, they go through ShortByteString via toShortIO, which induces a copy |
| 2022-10-16 23:00:27 +0000 | <dminuoso> | https://hackage.haskell.org/package/text-2.0.1/docs/src/Data.Text.Encoding.html#decodeUtf8With |
| 2022-10-16 23:00:32 +0000 | <dminuoso> | tps://hackage.haskell.org/package/bytestring-0.11.3.1/docs/src/Data.ByteString.Short.Internal.html#toShort |
| 2022-10-16 23:00:36 +0000 | <dminuoso> | https://hackage.haskell.org/package/bytestring-0.11.3.1/docs/src/Data.ByteString.Short.Internal.ht… |
| 2022-10-16 23:01:20 +0000 | <EvanR> | rust quietly chuckling in the corner, with its string simply having been a utf8 array from the start |
| 2022-10-16 23:02:16 +0000 | <EvanR> | and crashing if you try to dereference a pointer into the middle of a character |
| 2022-10-16 23:02:18 +0000 | <dminuoso> | Heh yeah Im building various primitives into flatparse to make parsing directly into Text viable. |
| 2022-10-16 23:03:17 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 252 seconds) |
| 2022-10-16 23:03:22 +0000 | <Axman6> | I assume the copy is done to avoid holding onto a large bytestring if the text is just a slice out of it - wouuld be nice to have a non-copying version |
| 2022-10-16 23:03:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2cdc:664b:bb96:11d6) (Remote host closed the connection) |
| 2022-10-16 23:05:35 +0000 | acidjnk | (~acidjnk@p200300d6e7137a21d59bab4b536388a8.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-16 23:06:25 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-10-16 23:06:43 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 23:08:26 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-10-16 23:09:26 +0000 | EvanR | (~EvanR@user/evanr) (Client Quit) |
| 2022-10-16 23:10:11 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-10-16 23:10:47 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-16 23:17:06 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 23:21:31 +0000 | phma_ | phma |
| 2022-10-16 23:21:36 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 260 seconds) |
| 2022-10-16 23:22:11 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-16 23:23:03 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-16 23:24:02 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 23:25:09 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-16 23:28:21 +0000 | <dminuoso> | Axman6: Did you check out flatparse by the way? |
| 2022-10-16 23:28:52 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) (Ping timeout: 244 seconds) |
| 2022-10-16 23:28:59 +0000 | <dminuoso> | Even things like parsing an integer is actually fast with it :) |
| 2022-10-16 23:30:21 +0000 | wonko | (~wjc@2a0e:1c80:2:0:45:15:19:130) (Ping timeout: 260 seconds) |
| 2022-10-16 23:34:05 +0000 | hashn3rd | (~hashn3rd@ip72-221-42-80.ks.ks.cox.net) |
| 2022-10-16 23:35:15 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-16 23:35:15 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-16 23:35:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-16 23:36:50 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-16 23:38:57 +0000 | adium | (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2022-10-16 23:39:49 +0000 | freeside | (~mengwong@103.252.202.193) |
| 2022-10-16 23:40:56 +0000 | <Axman6> | yeah I had a look through it, looks very exciting |
| 2022-10-16 23:41:09 +0000 | <Axman6> | I would love to see how something like aeson reimplemented with it performs |
| 2022-10-16 23:41:30 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-10-16 23:44:48 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 264 seconds) |
| 2022-10-16 23:46:55 +0000 | adium | (adium@user/adium) |
| 2022-10-16 23:59:27 +0000 | freeside | (~mengwong@103.252.202.193) |