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