2021/02/10

2021-02-10 00:00:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-10 00:01:05 +0100acidjnk_new(~acidjnk@p200300d0c722c4250563aaf4e4b49ebb.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-02-10 00:03:24 +0100Moyst_(~moyst@212-149-213-144.bb.dnainternet.fi)
2021-02-10 00:04:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-02-10 00:04:49 +0100Moyst(~moyst@85-76-64-21-nat.elisa-mobile.fi) (Ping timeout: 256 seconds)
2021-02-10 00:08:14 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-02-10 00:08:36 +0100Aleksejs(~Aleksejs@haskell.lv) (Ping timeout: 240 seconds)
2021-02-10 00:09:22 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-10 00:12:38 +0100viluon(uid453725@gateway/web/irccloud.com/x-mraiiodagseymswf)
2021-02-10 00:13:42 +0100borne(~fritjof@200116b8646dd3007eece5d071d7bcc1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-02-10 00:14:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 00:15:22 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-02-10 00:16:09 +0100DataComputist(~lumeng@50.43.26.251)
2021-02-10 00:17:04 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 240 seconds)
2021-02-10 00:17:06 +0100albert_42(~albert_42@2a02:8108:1100:16d8:5d8a:5850:80f7:726e)
2021-02-10 00:18:40 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 00:19:38 +0100 <ph88^> does anyone know how to do putStrLn with rio prelude ?? i can't find io functions in the docs
2021-02-10 00:19:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 00:21:56 +0100albert_42(~albert_42@2a02:8108:1100:16d8:5d8a:5850:80f7:726e) (Remote host closed the connection)
2021-02-10 00:22:22 +0100albert_42(~albert_42@2a02:8108:1100:16d8:5d8a:5850:80f7:726e)
2021-02-10 00:22:24 +0100albert_42(~albert_42@2a02:8108:1100:16d8:5d8a:5850:80f7:726e) (Remote host closed the connection)
2021-02-10 00:22:31 +0100albert_4_(~albert_42@2a02:8108:1100:16d8:5d8a:5850:80f7:726e)
2021-02-10 00:22:32 +0100urodna(~urodna@unaffiliated/urodna) (Read error: Connection reset by peer)
2021-02-10 00:23:45 +0100DataComputist(~lumeng@50.43.26.251) (Ping timeout: 240 seconds)
2021-02-10 00:24:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-10 00:24:57 +0100 <monochrom> http://hackage.haskell.org/package/rio-0.1.20.0/docs/doc-index-P.html
2021-02-10 00:24:59 +0100DataComputist(~lumeng@50.43.26.251)
2021-02-10 00:26:30 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 00:28:03 +0100 <ph88^> oh oh ... only for bytestring
2021-02-10 00:28:08 +0100 <ph88^> what about Text o_O
2021-02-10 00:31:54 +0100conal(~conal@64.71.133.70)
2021-02-10 00:32:13 +0100albert_4_(~albert_42@2a02:8108:1100:16d8:5d8a:5850:80f7:726e) ()
2021-02-10 00:32:34 +0100pavonia(~user@unaffiliated/siracusa)
2021-02-10 00:32:53 +0100 <glguy> You'd probably encode the text to a bytestring first using an encoding of your choosing
2021-02-10 00:33:30 +0100 <glguy> RIO is an instance of MonadIO, so just use whatever printing function you had in mind
2021-02-10 00:33:49 +0100 <ph88^> alright but i don't have normal Prelude anymore
2021-02-10 00:34:00 +0100 <ph88^> ok i will first encode then
2021-02-10 00:34:11 +0100 <glguy> the printing function for Text wasn't in Prelude anyway
2021-02-10 00:35:04 +0100 <ph88^> ya ok i was having a bit higher expectations for rio on this ^^
2021-02-10 00:35:24 +0100 <glguy> oops :)
2021-02-10 00:35:50 +0100hiroaki(~hiroaki@2a02:908:4b18:8c40::e69c) (Ping timeout: 246 seconds)
2021-02-10 00:36:25 +0100 <ph88^> :P
2021-02-10 00:37:06 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-02-10 00:37:56 +0100 <monochrom> I thought I saw lots of decoding choices there.
2021-02-10 00:38:10 +0100 <monochrom> Why are you using rio if you don't even know its design philosophy?
2021-02-10 00:38:34 +0100tremon(~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-02-10 00:38:37 +0100 <sm[m]> maybe hPutBuilder ? I feel sure there must be some easier way though
2021-02-10 00:39:04 +0100bo_(~bo@178.150.122.153) (Quit: Leaving)
2021-02-10 00:39:23 +0100Tops2(~Tobias@dyndsl-095-033-094-020.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-02-10 00:39:57 +0100 <glguy> There's a class of applications where you really wouldn't be doing straight writes to stdout. You'd be more structured log messages and so on
2021-02-10 00:42:42 +0100 <sm[m]> ph88^ or maybe it's logInfo ?
2021-02-10 00:43:14 +0100 <ph88^> monochrom, gotta try it right :P
2021-02-10 00:45:11 +0100 <sm[m]> https://www.fpcomplete.com/haskell/library/rio/#logging discusses it
2021-02-10 00:46:18 +0100 <ph88^> do you know anything about the design philosophy monochrom ?
2021-02-10 00:46:20 +0100 <ph88^> thx sm[m]
2021-02-10 00:46:24 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2021-02-10 00:46:36 +0100 <monochrom> No. But I can see it has one.
2021-02-10 00:49:32 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-02-10 00:51:26 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-02-10 00:55:49 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 00:56:21 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 264 seconds)
2021-02-10 00:58:48 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com)
2021-02-10 00:59:11 +0100 <sm[m]> ph88^ and setting RIO_VERBOSE=1 adds some nice detail to that output I see
2021-02-10 00:59:48 +0100 <sm[m]> not sure how it even does that (line numbers..)
2021-02-10 01:00:33 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-02-10 01:01:41 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-02-10 01:04:17 +0100bennofs_(~quassel@dslb-188-103-041-067.188.103.pools.vodafone-ip.de)
2021-02-10 01:05:03 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 246 seconds)
2021-02-10 01:06:09 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 01:06:25 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-02-10 01:07:11 +0100cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-02-10 01:08:17 +0100bennofs__(~quassel@dslb-188-106-247-103.188.106.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-02-10 01:08:37 +0100iqubic(~user@2601:602:9500:4870:2469:bd3:184e:687f)
2021-02-10 01:08:41 +0100dandart(~Thunderbi@home.dandart.co.uk) (Remote host closed the connection)
2021-02-10 01:09:50 +0100conal(~conal@64.71.133.70)
2021-02-10 01:11:07 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds)
2021-02-10 01:12:05 +0100dansho(~dansho@ec2-99-79-37-120.ca-central-1.compute.amazonaws.com) (Ping timeout: 272 seconds)
2021-02-10 01:12:53 +0100dansho(~dansho@ec2-99-79-37-120.ca-central-1.compute.amazonaws.com)
2021-02-10 01:13:09 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-02-10 01:14:40 +0100 <Squarism> I dont imagine there are constructor synonyms? Sounds like a bad feature but I would need it now. =D
2021-02-10 01:14:47 +0100Sonderblade(~helloman@94.191.152.155.mobile.tre.se)
2021-02-10 01:15:05 +0100 <glguy> pattern synonyms
2021-02-10 01:15:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 01:15:25 +0100Wuzzy(~Wuzzy@p57a2f980.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-02-10 01:15:43 +0100 <glguy> but I don't know quite what constructor synonym means to you
2021-02-10 01:17:43 +0100clog(~nef@bespin.org)
2021-02-10 01:18:16 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43)
2021-02-10 01:19:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d581:1bcd:84fc:c483) (Remote host closed the connection)
2021-02-10 01:22:26 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2021-02-10 01:23:41 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-02-10 01:24:34 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:8dc5:9d83:6704:36aa:723f)
2021-02-10 01:25:18 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-02-10 01:27:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-10 01:28:27 +0100jedws(~jedws@101.184.202.248)
2021-02-10 01:29:18 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-02-10 01:42:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-02-10 01:43:59 +0100 <maerwald> monochrom: rio has a design philosophy?
2021-02-10 01:44:01 +0100 <Squarism> glguy, i guess "function" was what I was after. =D
2021-02-10 01:45:10 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Ping timeout: 256 seconds)
2021-02-10 01:46:00 +0100 <monochrom> Do take a close look at pattern synonyms. It can cover both matching and construction.
2021-02-10 01:46:27 +0100 <Squarism> oh ok.
2021-02-10 01:46:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 01:47:04 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 01:49:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-10 01:49:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 01:51:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-02-10 01:53:34 +0100rajivr(uid269651@gateway/web/irccloud.com/x-pyntiyxxzmvjyunk)
2021-02-10 01:53:40 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 256 seconds)
2021-02-10 01:54:03 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-02-10 02:05:50 +0100tvrsky(~tvrsky@2804:108c:c989:8901:d844:7f99:9fe0:d997) (Ping timeout: 265 seconds)
2021-02-10 02:06:21 +0100CMCDragonkai1(~Thunderbi@110.175.213.142)
2021-02-10 02:06:28 +0100dansho(~dansho@ec2-99-79-37-120.ca-central-1.compute.amazonaws.com) (Remote host closed the connection)
2021-02-10 02:07:09 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d581:1bcd:84fc:c483)
2021-02-10 02:08:32 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c10f:727f:2e7e:4a35)
2021-02-10 02:09:35 +0100dansho(~dansho@ec2-99-79-37-120.ca-central-1.compute.amazonaws.com)
2021-02-10 02:09:56 +0100tdammers(~tdammers@unaffiliated/tdammers) (Ping timeout: 240 seconds)
2021-02-10 02:11:45 +0100lawid(~quassel@dslb-178-000-142-195.178.000.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-02-10 02:13:13 +0100guest7682358928(c9dbea19@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.234.25)
2021-02-10 02:13:24 +0100guest7682358928(c9dbea19@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.234.25) (Client Quit)
2021-02-10 02:14:00 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:8dc5:9d83:6704:36aa:723f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 02:15:16 +0100tdammers(~tdammers@unaffiliated/tdammers)
2021-02-10 02:25:55 +0100mud(~mud@unaffiliated/kadoban) (Remote host closed the connection)
2021-02-10 02:27:14 +0100guest7682358928(c9dbea19@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.234.25)
2021-02-10 02:27:21 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-02-10 02:27:22 +0100guest7682358928(c9dbea19@gateway/web/cgi-irc/kiwiirc.com/ip.201.219.234.25) (Client Quit)
2021-02-10 02:32:19 +0100viluon(uid453725@gateway/web/irccloud.com/x-mraiiodagseymswf) (Quit: Connection closed for inactivity)
2021-02-10 02:33:09 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 02:33:33 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2021-02-10 02:34:15 +0100mud(~mud@unaffiliated/kadoban)
2021-02-10 02:36:58 +0100obihann(~jhann@142.177.168.17)
2021-02-10 02:39:25 +0100clog(~nef@bespin.org) (Ping timeout: 240 seconds)
2021-02-10 02:39:45 +0100CMCDragonkai1(~Thunderbi@110.175.213.142) (Ping timeout: 240 seconds)
2021-02-10 02:43:37 +0100nineonine(~nineonine@50.216.62.2)
2021-02-10 02:43:59 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 02:44:52 +0100dansho(~dansho@ec2-99-79-37-120.ca-central-1.compute.amazonaws.com) (Quit: Leaving)
2021-02-10 02:46:56 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2021-02-10 02:48:33 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-02-10 02:48:36 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43) (Ping timeout: 258 seconds)
2021-02-10 02:48:42 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 240 seconds)
2021-02-10 02:48:49 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-10 02:50:59 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-183.89.48-247.dynamic.3bb.co.th)
2021-02-10 02:52:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 02:54:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit)
2021-02-10 02:54:59 +0100 <zebrag> Natural transform with every component invertible, say in Set. Should that lead to natural isomorphism?
2021-02-10 02:55:56 +0100MarcelineVQ(~anja@198.254.199.42) (Ping timeout: 240 seconds)
2021-02-10 02:58:14 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c10f:727f:2e7e:4a35) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 02:58:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 02:58:28 +0100MarcelineVQ(~anja@198.254.199.42)
2021-02-10 02:59:14 +0100 <monochrom> Guiding question: Can you show that the inverses are natural tranformations too?
2021-02-10 02:59:33 +0100 <monochrom> err I guess s/are natural transformations/is a natural transformation/
2021-02-10 03:00:19 +0100obihann(~jhann@142.177.168.17) (Quit: Lost terminal)
2021-02-10 03:02:19 +0100obihann(~jhann@142.177.168.17)
2021-02-10 03:02:36 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-10 03:03:01 +0100 <zebrag> Actually, no I don't. But I feel better having asked the question.
2021-02-10 03:04:20 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c10f:727f:2e7e:4a35)
2021-02-10 03:06:59 +0100obihann(~jhann@142.177.168.17) (Client Quit)
2021-02-10 03:08:59 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-02-10 03:09:00 +0100 <monochrom> Suggestion: It works out. Just do algebra.
2021-02-10 03:09:25 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-183.89.48-247.dynamic.3bb.co.th) (Ping timeout: 240 seconds)
2021-02-10 03:10:00 +0100ps-auxw(~arneb@p548c6e54.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2021-02-10 03:10:09 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 03:11:35 +0100Wuzzy(~Wuzzy@p57a2f142.dip0.t-ipconnect.de)
2021-02-10 03:12:07 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 03:12:46 +0100kw(d4662d5d@212.102.45.93)
2021-02-10 03:14:03 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 03:14:08 +0100 <kw> How does one make the `IsString` instance for `UTF8 ByteString` (from utf8-string) usable?
2021-02-10 03:15:14 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-02-10 03:15:30 +0100 <kw> I'm getting an error that there is no such instance, which I assume is because the `UTF8Bytes` multi-parameter type class isn't inferring the `Int` "index" type.
2021-02-10 03:16:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-10 03:17:07 +0100 <zebrag> monochrom: Thanks a lot, I'll do that.
2021-02-10 03:17:10 +0100seneca(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-02-10 03:17:57 +0100 <glguy> kw: why do you need utf8-string?
2021-02-10 03:19:50 +0100hirc(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2021-02-10 03:22:04 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-02-10 03:23:26 +0100xff0x(~xff0x@2001:1a81:52ef:4b00:7f05:4372:d82:2cde) (Ping timeout: 264 seconds)
2021-02-10 03:23:45 +0100Sonderblade(~helloman@94.191.152.155.mobile.tre.se) (Quit: Konversation terminated!)
2021-02-10 03:24:38 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 03:24:56 +0100xff0x(~xff0x@2001:1a81:5205:c800:b3d4:a0d9:be65:9c7a)
2021-02-10 03:26:11 +0100 <zebrag> monochrom: Obviously it worked immediately. What was I thinking.
2021-02-10 03:26:57 +0100 <monochrom> :)
2021-02-10 03:27:44 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2021-02-10 03:29:06 +0100 <glguy> Asking because I made that package because about 13 years ago (don't remember exactly) GHC didn't have the UTF-8 support it has now
2021-02-10 03:29:34 +0100 <glguy> But I haven't needed it for a long time
2021-02-10 03:30:36 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-10 03:33:47 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds)
2021-02-10 03:33:53 +0100pako(~pako@dynamic-089-014-070-018.89.14.pool.telefonica.de)
2021-02-10 03:35:40 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2021-02-10 03:36:36 +0100pako8128(~pako@dynamic-078-054-253-137.78.54.pool.telefonica.de) (Ping timeout: 272 seconds)
2021-02-10 03:37:00 +0100ukari(~ukari@unaffiliated/ukari)
2021-02-10 03:39:38 +0100 <kw> @glguy To combine normalized UTF-8 encoded string without denormalizing them.
2021-02-10 03:39:38 +0100 <lambdabot> Unknown command, try @list
2021-02-10 03:40:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 03:44:08 +0100jess(jess@freenode/staff/jess) (Quit: Leaving)
2021-02-10 03:47:30 +0100toorevitimirp(~tooreviti@117.182.180.8)
2021-02-10 03:49:05 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2021-02-10 03:50:16 +0100 <kw> Guess the simple solution is to make a concrete newtype.
2021-02-10 03:50:22 +0100kw(d4662d5d@212.102.45.93) (Quit: Connection closed)
2021-02-10 03:51:56 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-02-10 03:52:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 03:52:14 +0100 <zebrag> The functor represented by `C(_,Bool)` must be the functor mapping `a` to the set of subsets of `a`.
2021-02-10 03:53:45 +0100 <zebrag> Which shouldn't be an algebraic type though
2021-02-10 03:55:26 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-10 03:56:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 03:57:25 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2021-02-10 03:58:08 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 03:59:17 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) ()
2021-02-10 04:02:26 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 04:02:49 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 04:06:22 +0100theDon(~td@muedsl-82-207-238-061.citykom.de) (Ping timeout: 272 seconds)
2021-02-10 04:06:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 04:06:46 +0100aggin(~ecm@103.88.87.30)
2021-02-10 04:06:47 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-02-10 04:07:34 +0100theDon(~td@muedsl-82-207-238-226.citykom.de)
2021-02-10 04:10:33 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-02-10 04:11:07 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-10 04:11:39 +0100alx741(~alx741@186.178.110.250) (Quit: alx741)
2021-02-10 04:12:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:c10f:727f:2e7e:4a35) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 04:13:04 +0100alx741(~alx741@186.178.110.250)
2021-02-10 04:16:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 04:17:46 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:44db:e41f:74ac:6bd3) (Quit: Leaving)
2021-02-10 04:20:15 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:21c2:273f:6df2:aa8)
2021-02-10 04:22:49 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d581:1bcd:84fc:c483) (Remote host closed the connection)
2021-02-10 04:22:50 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 04:23:03 +0100ps-auxw(~arneb@p548d56ce.dip0.t-ipconnect.de)
2021-02-10 04:23:48 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-rmqlmapjlqmrixrd) ()
2021-02-10 04:23:52 +0100Wuzzy(~Wuzzy@p57a2f142.dip0.t-ipconnect.de) (Quit: Wuzzy)
2021-02-10 04:25:44 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 04:28:06 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-02-10 04:29:24 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d581:1bcd:84fc:c483)
2021-02-10 04:30:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 04:30:59 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:21c2:273f:6df2:aa8) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 04:31:33 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-02-10 04:33:23 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-10 04:33:23 +0100finn_elijaGuest83086
2021-02-10 04:33:23 +0100FinnElijafinn_elija
2021-02-10 04:33:29 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 04:36:36 +0100 <koz_> Does parsec not support GHC 9?
2021-02-10 04:37:07 +0100Guest83086(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-02-10 04:37:16 +0100 <koz_> According to the cabal file on its Github, it should, but according to Hackage, it doesn't.
2021-02-10 04:38:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 04:39:23 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-02-10 04:41:57 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 265 seconds)
2021-02-10 04:45:06 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-10 04:45:17 +0100_vaibhavingale_(~Adium@203.188.228.9)
2021-02-10 04:46:24 +0100 <iqubic> Wait?!? GHC 9 exists now?
2021-02-10 04:47:06 +0100 <koz_> iqubic: It's been out for a while.
2021-02-10 04:47:24 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection)
2021-02-10 04:47:36 +0100 <koz_> https://www.haskell.org/ghc/blog/20210204-ghc-9.0.1-released.html
2021-02-10 04:47:53 +0100 <iqubic> that's says it was released on the 4th of February
2021-02-10 04:48:08 +0100 <koz_> I would class nearly a week as 'a while'.
2021-02-10 04:48:35 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-02-10 04:49:08 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-gflzulzoexgyhpxa) (Quit: Connection closed for inactivity)
2021-02-10 04:49:24 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 04:49:26 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-02-10 04:49:30 +0100xcmw(~textual@dyn-72-33-2-47.uwnet.wisc.edu)
2021-02-10 04:49:36 +0100_vaibhavingale_(~Adium@203.188.228.9) (Ping timeout: 240 seconds)
2021-02-10 04:49:41 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-02-10 04:50:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 04:52:51 +0100plutoniix(~q@184.82.197.182)
2021-02-10 04:53:49 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) (Ping timeout: 256 seconds)
2021-02-10 04:54:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 04:56:20 +0100 <jared-w> It's not on chocolatey, and cabal v3.4 isn't even out yet. It's barely out and still in an interim state of "released", really. Stackage LTS also only got support for GHC 8.10... two weeks ago.
2021-02-10 04:56:45 +0100 <koz_> What Stackage do and don't do shouldn't be relevant on this. Their LTSes trail anyway.
2021-02-10 04:57:12 +0100 <koz_> Good to know it's not on Chocolatey though.
2021-02-10 04:59:00 +0100Cthalupa(~cthulhu@47.186.47.75) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in)
2021-02-10 04:59:08 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 05:00:00 +0100 <davean> jared-w: its in the review queue on chocolatey
2021-02-10 05:00:05 +0100 <davean> jared-w: we have to wait for their processing
2021-02-10 05:00:35 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 05:00:41 +0100 <jared-w> Really I'm just saying that "a while" is quite relative :)
2021-02-10 05:01:17 +0100 <koz_> jared-w: I never implied otherwise. Hence the part where I said "_I_ would class ...".
2021-02-10 05:01:17 +0100 <jared-w> davean: ah sweet. I didn't realize it was in the review queue. Is there a way to view that if you don't maintain the package?
2021-02-10 05:01:28 +0100 <davean> I don't believe so
2021-02-10 05:02:43 +0100 <jared-w> Ah well. Not the end of the world. I just merged GHC 9.0 support to the haskell/actions/setup github action today and ended up hacking in a temporary alias of '9.0.1 -> 9.0.1-rc5' for Chocolatey since I had no idea how long it would be until it was available
2021-02-10 05:03:08 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-10 05:03:11 +0100 <jared-w> koz_: that's fair. I read that as a "royal I" at first for some reason
2021-02-10 05:03:11 +0100 <davean> as a backup maintainer they spam me constantly though!
2021-02-10 05:03:24 +0100 <koz_> jared-w: Do you know much about Github Actions? I'm getting weird caching fails and would appreciate the input of someone who knows what they're on about.
2021-02-10 05:03:27 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 256 seconds)
2021-02-10 05:03:42 +0100 <jared-w> I wrote that action so I can probably help you out :p got a link?
2021-02-10 05:03:53 +0100 <koz_> https://github.com/kozross/text-ascii/blob/dev/.github/workflows/haskell.yml
2021-02-10 05:03:54 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-02-10 05:04:15 +0100 <koz_> This is heavily cribbed and hacky, but basically, I'm getting caching of the deps for text-ascii, but _not_ cabal-docspec.
2021-02-10 05:04:28 +0100 <koz_> This causes build times to balloon from ~6m to ~16m.
2021-02-10 05:04:45 +0100 <jared-w> davean: of course! It's not a true enterprise project if they're not dumping too many emails on those who don't need it and too few emails on those who do :p
2021-02-10 05:05:01 +0100mrchampion(~mrchampio@38.18.109.23)
2021-02-10 05:05:12 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-02-10 05:05:15 +0100 <koz_> jared-w: It's all about that in Windows (C) (R) Visual (C) (R) Open Source (C) (R)
2021-02-10 05:05:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 05:05:46 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-02-10 05:05:58 +0100 <jared-w> Embrace Extend MakeItShite right? Is that how it goes?
2021-02-10 05:06:10 +0100 <koz_> jared-w: They're ahead of the curve then.
2021-02-10 05:07:34 +0100 <jared-w> koz_: you're the first person I've ever seen to actually use the cabal-exe output from haskell actions.
2021-02-10 05:07:51 +0100 <koz_> jared-w: Because otherwise, it's not findable in the subdir.
2021-02-10 05:07:54 +0100Cthalupa(~cthulhu@47.186.47.75)
2021-02-10 05:07:55 +0100 <koz_> (I tried)
2021-02-10 05:08:20 +0100 <jared-w> ... odd. It should, theoretically, be just magically available in your path. Emphasis on theory
2021-02-10 05:08:39 +0100 <koz_> Yeah, in theory a lot of things should happen.
2021-02-10 05:09:00 +0100 <koz_> Such as 'cabal new-install not blowing up due to symlinking by default on a platform that doesn't support it and not installing into cabal's store'.
2021-02-10 05:09:12 +0100 <koz_> But yet those are just two of the gorehacks I've had to deploy.
2021-02-10 05:09:40 +0100 <koz_> There's a reason why every step marked 'if: runner.os == 'Windows' looks like a fever dream.
2021-02-10 05:10:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 05:10:31 +0100 <davean> I really wish cabal would be willing to just tell me the executable's path, instead I use install as a hack
2021-02-10 05:10:53 +0100 <jared-w> Interesting. So the first thing that jumps out at me is the cabal cache step. You cache the cabal store and the --only-dependencies step says "up to date" (which is expected with a full cache hit and no "weird" dependencies)
2021-02-10 05:11:21 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 05:11:24 +0100 <koz_> jared-w: Yeah, and the cache keeps saying it hits, but the cabal-docspec rebuild triggers anyway.
2021-02-10 05:11:42 +0100 <koz_> That's why I can't make heads or tails of this.
2021-02-10 05:12:09 +0100 <jared-w> However, new-install is not actually equivalent to new-build. It uses the result of v2-sdist to build and has constantly caused me headaches, spurious rebuilds, and such
2021-02-10 05:12:25 +0100 <koz_> Can you suggest how I can do this with new-build instead?
2021-02-10 05:12:43 +0100 <koz_> As long as I can _somehow_ reliably get the executable path, I'm fine with whatever gory hacks.
2021-02-10 05:13:09 +0100 <jared-w> cabal-docspec is also locally vendored onto the disk so it'll always appear in `dist-newstyle` rather than the global store. You'd have to use remote-repository-http (or whatever the fuck it is) to actually get it to build and get cached in cabal's global store.
2021-02-10 05:13:29 +0100 <jared-w> Even then, that behavior is only reliable with cabal v3.4. *sigh*
2021-02-10 05:13:41 +0100 <koz_> Is latest not 3.4 as-yet?
2021-02-10 05:14:11 +0100 <koz_> remote-repository-http refers to what sorry?
2021-02-10 05:14:31 +0100 <jared-w> nope. It's v3.2 because v3.4 is not released yet and if I defaulted it to 3.4 it would start downloading cabal for everyone on linux and macOS from oleg's personal server and completely DDOS the shit out of it and break github actions for 90%+ of people out there
2021-02-10 05:15:18 +0100 <jared-w> sorry, I meant `source-repository-package` it's a horribly unintuitive name and I can never remember it: https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-con…
2021-02-10 05:15:37 +0100 <koz_> jared-w: Wait, how would I use source-repository-package in this case?
2021-02-10 05:15:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-02-10 05:16:17 +0100 <koz_> Would I need a cabal.project spelling this in text-ascii's repo?
2021-02-10 05:17:02 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-10 05:17:23 +0100 <jared-w> https://github.com/kozross/text-ascii/blob/dev/.github/workflows/haskell.yml#L49 if you add "dist-newstyle" to the cache here you should hopefully start getting fuller cache hits for cabal-docspec. Yes, text-ascii would have a cabal.project specifying cabal-docspec as a source-repository-package. I've seen this commonly done by creating the cabal.project in CI (or appending to it) if you don't need it during local dev
2021-02-10 05:17:31 +0100nineonine(~nineonine@50.216.62.2)
2021-02-10 05:17:50 +0100 <koz_> Also, I now realize who you are, and your avvy looks _excellent_. :P
2021-02-10 05:18:11 +0100 <koz_> Let me try the dist-newstyle addition.
2021-02-10 05:18:16 +0100 <jared-w> *glorious hair flip* aww shucks
2021-02-10 05:18:23 +0100 <koz_> Just like, that alone? I don't need to do any ./ or whatevs?
2021-02-10 05:18:32 +0100 <koz_> And dist-newstyle would be per-directory no?
2021-02-10 05:18:49 +0100 <koz_> So I'd also need to cache cabal-docspec's one?
2021-02-10 05:19:07 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2021-02-10 05:20:31 +0100 <jared-w> Depends on where the cabal.project is, what directory you're in, etc... But should be. If you create a cabal.project file in the root of text-ascii, it might cause cabal-docspec's dist-newstyle directory to get merged in with text-ascii's dist-newstyle...
2021-02-10 05:20:41 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-10 05:20:57 +0100 <koz_> OK, let me try a double-cache of the two dist-newstyles. If that works, I'm happy _enough_.
2021-02-10 05:21:11 +0100 <koz_> Then I'll do the source-repository-package once 3.4 hits.
2021-02-10 05:21:15 +0100alx741(~alx741@186.178.110.250) (Quit: alx741)
2021-02-10 05:21:24 +0100 <koz_> Thanks so much for that - it makes about a tonne more sense.
2021-02-10 05:21:57 +0100natim87(sid286962@gateway/web/irccloud.com/x-rpeojspfwlsgtgel) (Ping timeout: 246 seconds)
2021-02-10 05:22:12 +0100 <jared-w> It's worth trying the source-repository-package before 3.4 in case it actually works.
2021-02-10 05:22:25 +0100sz0(uid110435@gateway/web/irccloud.com/x-qrgmlzrbtxtcmxsq) (Ping timeout: 240 seconds)
2021-02-10 05:22:26 +0100 <koz_> This is an easier hack, so I'll try it first.
2021-02-10 05:22:32 +0100natim87(sid286962@gateway/web/irccloud.com/x-hegvxwwmkdvahvbd)
2021-02-10 05:22:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 05:22:37 +0100bradparker(sid262931@gateway/web/irccloud.com/x-xlkdkvgsgbiosfib) (Read error: Connection reset by peer)
2021-02-10 05:22:37 +0100lally(sid388228@gateway/web/irccloud.com/x-cekrhietwembxiah) (Read error: Connection reset by peer)
2021-02-10 05:22:38 +0100SrPx(sid108780@gateway/web/irccloud.com/x-opkcxtlcwwtxbdlk) (Read error: Connection reset by peer)
2021-02-10 05:22:47 +0100ryjm(sid383513@gateway/web/irccloud.com/x-worjbcdglldngruf) (Read error: Connection reset by peer)
2021-02-10 05:22:49 +0100bradparker(sid262931@gateway/web/irccloud.com/x-aoftfgwjjjtthnkw)
2021-02-10 05:22:54 +0100lally(sid388228@gateway/web/irccloud.com/x-atokysbqldyuqfqn)
2021-02-10 05:22:56 +0100 <jared-w> And if cabal-install is still causing spurious recompiles or cache miss nonsense due to it being ad-hoc/ill-defined and impossible to reason about, the "recommended" method is using `find` on dist-newstyle
2021-02-10 05:22:57 +0100ryjm(sid383513@gateway/web/irccloud.com/x-nwcdeqfygfvvwnek)
2021-02-10 05:23:05 +0100 <koz_> Wait srsly?
2021-02-10 05:23:09 +0100 <koz_> I guess I can do that too.
2021-02-10 05:23:11 +0100 <jared-w> yeah...
2021-02-10 05:23:14 +0100 <koz_> But let's see if the double-caching works.
2021-02-10 05:23:22 +0100SrPx(sid108780@gateway/web/irccloud.com/x-zthkqwhpgrfjlwua)
2021-02-10 05:23:36 +0100sz0(uid110435@gateway/web/irccloud.com/x-ooxwbbjjmicufxrr)
2021-02-10 05:23:46 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) (Remote host closed the connection)
2021-02-10 05:24:07 +0100Kronic(sid480486@gateway/web/irccloud.com/x-cpssanljzejjvygk) (Read error: Connection reset by peer)
2021-02-10 05:24:17 +0100Kronic(sid480486@gateway/web/irccloud.com/x-eptmlncvrvheldhb)
2021-02-10 05:24:18 +0100alanz(sid110616@gateway/web/irccloud.com/x-tnlfxjozlahhtotx) (Read error: Connection reset by peer)
2021-02-10 05:24:29 +0100alanz_(sid110616@gateway/web/irccloud.com/x-jhotivqlnsrcfxyh)
2021-02-10 05:24:32 +0100 <jared-w> You can also replace the dev flag with a cabal.project file that specifies -Werror and it'll automatically get ignored in hackage because hackage doesn't care about your cabal.project opinions
2021-02-10 05:24:53 +0100 <koz_> jared-w: I thought so too, then when I did 'cabal upload', it yelled at me.
2021-02-10 05:24:58 +0100 <koz_> Ah, wait.
2021-02-10 05:25:01 +0100 <koz_> Lol, OK then.
2021-02-10 05:25:03 +0100 <koz_> Convenient.
2021-02-10 05:25:09 +0100 <jared-w> weird... `cabal.project.local` would *definitely* do it then
2021-02-10 05:25:27 +0100 <koz_> I think it was the cabal file, not the cabal.project file, it yelled about.
2021-02-10 05:25:33 +0100 <koz_> Noted though - I might just do that.
2021-02-10 05:25:37 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:8dc5:1d88:1b78:e5ab:dd70)
2021-02-10 05:27:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 05:27:51 +0100 <davean> ctrl-Iyah,spaceit'll yell about the .cabal
2021-02-10 05:28:54 +0100djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Quit: Leaving)
2021-02-10 05:30:22 +0100_vaibhavingale_(~Adium@203.188.228.9)
2021-02-10 05:30:55 +0100 <jared-w> All of the haskell projects I do CI for use find. `find dist-newstyle -name cabal-docspec -type f` or for windows `find dist-newstyle -type f -name cabal-docspec.exe`
2021-02-10 05:31:43 +0100 <jared-w> https://github.com/haskell/haskell-language-server/blob/master/.github/workflows/build.yml#L123
2021-02-10 05:31:51 +0100 <koz_> I'll keep that in mind for the future then.
2021-02-10 05:32:19 +0100 <jared-w> generally speaking the haskell-language-server CI files have ran headfirst into every single bullshit question you could ever have about wrangling cabal + CI together manually and solved it somehow
2021-02-10 05:33:11 +0100 <koz_> LOL
2021-02-10 05:33:27 +0100 <koz_> Good to know I'm not alone. I was scratching my head about this stuff a _lot_ last night.
2021-02-10 05:33:42 +0100petersen_(~petersen@redhat/juhp)
2021-02-10 05:35:14 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 256 seconds)
2021-02-10 05:35:18 +0100petersen_petersen
2021-02-10 05:35:52 +0100Tario(~Tario@201.192.165.173)
2021-02-10 05:36:34 +0100 <jared-w> pffh, never mind on the cabal.project with cabal-extras. It won't work because it's missing peura.
2021-02-10 05:37:00 +0100 <koz_> Lol, noted.
2021-02-10 05:37:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 05:37:45 +0100 <jared-w> and cabal-docspec is the reason you needed to run cabal configure -w path/to/ghc
2021-02-10 05:37:47 +0100alanz_(sid110616@gateway/web/irccloud.com/x-jhotivqlnsrcfxyh) (*.net *.split)
2021-02-10 05:37:47 +0100natim87(sid286962@gateway/web/irccloud.com/x-hegvxwwmkdvahvbd) (*.net *.split)
2021-02-10 05:37:48 +0100arw(~arw@impulse.informatik.uni-erlangen.de) (*.net *.split)
2021-02-10 05:37:48 +0100berberman(~berberman@unaffiliated/berberman) (*.net *.split)
2021-02-10 05:37:48 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (*.net *.split)
2021-02-10 05:37:48 +0100sqrt2(~ben@unaffiliated/sqrt2) (*.net *.split)
2021-02-10 05:37:48 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (*.net *.split)
2021-02-10 05:37:48 +0100unlink2(~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de) (*.net *.split)
2021-02-10 05:37:48 +0100lemmih(~lemmih@2406:3003:2072:44:f7a7:6ac6:bdf9:4d40) (*.net *.split)
2021-02-10 05:37:52 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-vnqnlgicwqzslism) (*.net *.split)
2021-02-10 05:37:52 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-dbgtrdoqxzqcpezr) (*.net *.split)
2021-02-10 05:37:52 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (*.net *.split)
2021-02-10 05:37:52 +0100Tesseraction(~Tesseract@unaffiliated/tesseraction) (*.net *.split)
2021-02-10 05:37:52 +0100ByronJohnson(~bairyn@unaffiliated/bob0) (*.net *.split)
2021-02-10 05:37:52 +0100jophish(~jophish@2400:8901::f03c:91ff:fe39:7a9) (*.net *.split)
2021-02-10 05:37:52 +0100bgamari(~bgamari@2001:470:e438::1) (*.net *.split)
2021-02-10 05:37:52 +0100l8star(~l8star@business-90-187-113-149.pool2.vodafone-ip.de) (*.net *.split)
2021-02-10 05:37:52 +0100carldd11(~carldd@90-224-49-113-no56.tbcn.telia.com) (*.net *.split)
2021-02-10 05:37:53 +0100lortabac(~lortabac@51.158.65.124) (*.net *.split)
2021-02-10 05:37:53 +0100TommyC(~TommyC@unaffiliated/sepulchralbloom) (*.net *.split)
2021-02-10 05:37:53 +0100meck(~meck@li1809-18.members.linode.com) (*.net *.split)
2021-02-10 05:37:53 +0100hackage(mniip@haskell/bot/hackage) (*.net *.split)
2021-02-10 05:37:53 +0100toppler(~user@mtop.default.momentoftop.uk0.bigv.io) (*.net *.split)
2021-02-10 05:37:53 +0100kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (*.net *.split)
2021-02-10 05:37:53 +0100shadowdaemon(~user@unaffiliated/shadowdaemon) (*.net *.split)
2021-02-10 05:37:54 +0100dragestil(~quassel@fsf/member/dragestil) (*.net *.split)
2021-02-10 05:37:54 +0100a3f(~a3f@chimeria.ext.pengutronix.de) (*.net *.split)
2021-02-10 05:37:54 +0100energizer(~energizer@unaffiliated/energizer) (*.net *.split)
2021-02-10 05:37:54 +0100shapr(~shapr@haskell/developer/shapr) (*.net *.split)
2021-02-10 05:37:54 +0100fiddlerwoaroof(~fiddlerwo@unaffiliated/fiddlerwoaroof) (*.net *.split)
2021-02-10 05:37:54 +0100vimto(~vimto@unaffiliated/vimto) (*.net *.split)
2021-02-10 05:37:54 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-uucsbodegjaqlecd) (*.net *.split)
2021-02-10 05:37:56 +0100 <koz_> Explain?
2021-02-10 05:37:57 +0100 <jared-w> (I just tried it locally)
2021-02-10 05:37:58 +0100bitmagie(~Thunderbi@200116b8062cd500ec89398f450f3631.dip.versatel-1u1.de)
2021-02-10 05:38:37 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 05:39:14 +0100 <jared-w> cabal-extras is cloned to disk. So the `cabal.project` file is available at the git root and becomes the source of truth even in the cabal-docspec subdirectory. The cabal.project file specifies `with-compiler: ghc-8.8.4`
2021-02-10 05:39:29 +0100 <jared-w> So cabal looks for the binary with the literal name `ghc-8.8.4` and falls over because it doesn't exist
2021-02-10 05:39:45 +0100 <koz_> Oh ffs...
2021-02-10 05:39:56 +0100 <koz_> That's an excellent catch.
2021-02-10 05:40:09 +0100greymalkin(~greymalki@199.180.249.79) (Ping timeout: 246 seconds)
2021-02-10 05:40:09 +0100deu(de@uio.re) (Ping timeout: 246 seconds)
2021-02-10 05:40:12 +0100 <koz_> I missed that because I don't have global GHCs at all on my dev machine.
2021-02-10 05:40:17 +0100 <koz_> (so I -w everything)
2021-02-10 05:40:45 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-yeuuyflfecrkbktw) (Ping timeout: 264 seconds)
2021-02-10 05:40:45 +0100ocharles(sid30093@musicbrainz/user/ocharles) (Ping timeout: 264 seconds)
2021-02-10 05:41:11 +0100 <jared-w> running cabal-configure -w ... creates cabal.project.local with the contents "with-compiler: /absolute/path/to/compiler" and... that'll work obviously since you're using the output of the haskell setup action and I always provide absolute paths exactly to prevent this bullshit :)
2021-02-10 05:41:30 +0100ocharles(sid30093@musicbrainz/user/ocharles)
2021-02-10 05:41:34 +0100 <koz_> Well, this is good to know.
2021-02-10 05:41:38 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-aqtyexznctdwfsyn)
2021-02-10 05:41:44 +0100 <koz_> (and I appreciate both you and your work)
2021-02-10 05:41:50 +0100 <jared-w> (you're welcome!)
2021-02-10 05:42:25 +0100alanz_(sid110616@gateway/web/irccloud.com/x-jhotivqlnsrcfxyh)
2021-02-10 05:42:25 +0100natim87(sid286962@gateway/web/irccloud.com/x-hegvxwwmkdvahvbd)
2021-02-10 05:42:25 +0100arw(~arw@impulse.informatik.uni-erlangen.de)
2021-02-10 05:42:25 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-10 05:42:25 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-10 05:42:25 +0100sqrt2(~ben@unaffiliated/sqrt2)
2021-02-10 05:42:25 +0100Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2021-02-10 05:42:25 +0100unlink2(~unlink2@p200300ebcf241100fcf67590445edc70.dip0.t-ipconnect.de)
2021-02-10 05:42:25 +0100lemmih(~lemmih@2406:3003:2072:44:f7a7:6ac6:bdf9:4d40)
2021-02-10 05:42:25 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-vnqnlgicwqzslism)
2021-02-10 05:42:25 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-dbgtrdoqxzqcpezr)
2021-02-10 05:42:25 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-02-10 05:42:25 +0100Tesseraction(~Tesseract@unaffiliated/tesseraction)
2021-02-10 05:42:25 +0100ByronJohnson(~bairyn@unaffiliated/bob0)
2021-02-10 05:42:25 +0100jophish(~jophish@2400:8901::f03c:91ff:fe39:7a9)
2021-02-10 05:42:25 +0100bgamari(~bgamari@2001:470:e438::1)
2021-02-10 05:42:25 +0100l8star(~l8star@business-90-187-113-149.pool2.vodafone-ip.de)
2021-02-10 05:42:25 +0100carldd11(~carldd@90-224-49-113-no56.tbcn.telia.com)
2021-02-10 05:42:25 +0100lortabac(~lortabac@51.158.65.124)
2021-02-10 05:42:25 +0100TommyC(~TommyC@unaffiliated/sepulchralbloom)
2021-02-10 05:42:25 +0100meck(~meck@li1809-18.members.linode.com)
2021-02-10 05:42:25 +0100hackage(mniip@haskell/bot/hackage)
2021-02-10 05:42:25 +0100toppler(~user@mtop.default.momentoftop.uk0.bigv.io)
2021-02-10 05:42:25 +0100kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2021-02-10 05:42:25 +0100shadowdaemon(~user@unaffiliated/shadowdaemon)
2021-02-10 05:42:25 +0100dragestil(~quassel@fsf/member/dragestil)
2021-02-10 05:42:25 +0100a3f(~a3f@chimeria.ext.pengutronix.de)
2021-02-10 05:42:25 +0100energizer(~energizer@unaffiliated/energizer)
2021-02-10 05:42:25 +0100shapr(~shapr@haskell/developer/shapr)
2021-02-10 05:42:25 +0100fiddlerwoaroof(~fiddlerwo@unaffiliated/fiddlerwoaroof)
2021-02-10 05:42:25 +0100vimto(~vimto@unaffiliated/vimto)
2021-02-10 05:42:25 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-uucsbodegjaqlecd)
2021-02-10 05:42:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-10 05:42:47 +0100deu(de@uio.re)
2021-02-10 05:43:14 +0100 <koz_> OK, so that took about 20m. Let's see if we can reduce this.
2021-02-10 05:43:49 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
2021-02-10 05:43:55 +0100greymalkin(~greymalki@199.180.249.79)
2021-02-10 05:43:56 +0100 <jared-w> One thing you could do if you're feeling a bit hackish is to create a fake release in github for your repo that contains the binaries for cabal-docspec (on windows/linux/macos). Just upload-artifact things and then add it to a release manually rather than trying to make the release in CI
2021-02-10 05:44:28 +0100 <jared-w> Then you have a stable URL you can use to just curl cabal-docspec down with and you get to completely avoid worrying about it for... a while
2021-02-10 05:44:42 +0100kiltzman(~k1ltzman@5.206.224.243) (Ping timeout: 246 seconds)
2021-02-10 05:45:05 +0100pedrorubster[m](pedrorubst@gateway/shell/matrix.org/x-bpakrmgmfevghdya) (Ping timeout: 240 seconds)
2021-02-10 05:45:15 +0100jchia[m](jchiamatri@gateway/shell/matrix.org/x-bjjkanbayhvdzkzv) (Ping timeout: 246 seconds)
2021-02-10 05:45:15 +0100shutendoji[m](shutendoji@gateway/shell/matrix.org/x-sdwahbetectznfxu) (Ping timeout: 246 seconds)
2021-02-10 05:45:25 +0100ichor[m](hakonmatri@gateway/shell/matrix.org/x-djhilvmxggxanqjp) (Ping timeout: 268 seconds)
2021-02-10 05:45:25 +0100Hatsue[m](berbermanm@gateway/shell/matrix.org/x-snmzkslesmtjmnqg) (Ping timeout: 268 seconds)
2021-02-10 05:45:25 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-xlxkjvleuaawxqjw) (Ping timeout: 268 seconds)
2021-02-10 05:45:26 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-qirnwrgkrbmjerbr) (Ping timeout: 240 seconds)
2021-02-10 05:45:26 +0100ciderpunx[m](ciderpunxm@gateway/shell/matrix.org/x-sjvasyzpyhaulqpa) (Ping timeout: 240 seconds)
2021-02-10 05:45:26 +0100CaptainYukinoshi(captain-yu@gateway/shell/matrix.org/x-ztthglvoahyypnfc) (Ping timeout: 240 seconds)
2021-02-10 05:45:26 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-umwxrjhapmaeefqm) (Ping timeout: 240 seconds)
2021-02-10 05:45:26 +0100doct0rhu[m](doct0rhumo@gateway/shell/matrix.org/x-ofyrjwtqbqdwdupe) (Ping timeout: 240 seconds)
2021-02-10 05:45:33 +0100nckx(~nckx@tobias.gr) (Ping timeout: 264 seconds)
2021-02-10 05:45:35 +0100utdemir[m](utdemirmat@gateway/shell/matrix.org/x-yopopecqjcrhmdog) (Ping timeout: 246 seconds)
2021-02-10 05:45:36 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-ngotkqjfbvgdykdu) (Ping timeout: 246 seconds)
2021-02-10 05:45:37 +0100Ericson2314(ericson231@gateway/shell/matrix.org/x-ralriddjouctybzu) (Ping timeout: 246 seconds)
2021-02-10 05:45:37 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-whiwmypnkfvazrga) (Ping timeout: 246 seconds)
2021-02-10 05:45:37 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-furystompxbufryx) (Ping timeout: 246 seconds)
2021-02-10 05:45:38 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-foygrhwmdcxagcno) (Ping timeout: 244 seconds)
2021-02-10 05:45:38 +0100Sarievo[m](sarievoale@gateway/shell/matrix.org/x-namfbxbfvsboedcp) (Ping timeout: 264 seconds)
2021-02-10 05:45:40 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar) (Ping timeout: 260 seconds)
2021-02-10 05:45:42 +0100Tesseraction(~Tesseract@unaffiliated/tesseraction) (Ping timeout: 258 seconds)
2021-02-10 05:45:46 +0100AmitLevy[m](amitmostly@gateway/shell/matrix.org/x-pxqdrnndkkwloeds) (Ping timeout: 265 seconds)
2021-02-10 05:45:46 +0100shieru[m](shierualet@gateway/shell/matrix.org/x-lqgtkrclbwefduih) (Ping timeout: 265 seconds)
2021-02-10 05:45:46 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-lcjgottvbjruetaa) (Ping timeout: 265 seconds)
2021-02-10 05:45:49 +0100 <koz_> OK, something really wacky happened, but it's on a Mac runner, and they have weird nondeterminism, so I'll see if I can replicate.
2021-02-10 05:45:56 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-nrpvsrskbirkqhpn) (Ping timeout: 240 seconds)
2021-02-10 05:45:56 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-xsvytuyzjrbkvrxd) (Ping timeout: 240 seconds)
2021-02-10 05:45:57 +0100nckx(~nckx@tobias.gr)
2021-02-10 05:45:58 +0100kadoban(kadobanmat@gateway/shell/matrix.org/x-pspisfwsimiefbpv) (Ping timeout: 246 seconds)
2021-02-10 05:45:58 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-qjmuvzvmwrjauzqx) (Ping timeout: 246 seconds)
2021-02-10 05:45:59 +0100psamim(samimpmatr@gateway/shell/matrix.org/x-fpxgdokdscwzxwdk) (Ping timeout: 240 seconds)
2021-02-10 05:46:05 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-cmnemncbmmqlvaon) (Ping timeout: 240 seconds)
2021-02-10 05:46:05 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-twwexxfwljxysnrf) (Ping timeout: 240 seconds)
2021-02-10 05:46:06 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-runkjaqtmogcvkup) (Ping timeout: 240 seconds)
2021-02-10 05:46:06 +0100joshualit140[m](joshualit1@gateway/shell/matrix.org/x-eoedricgxhxvrzgd) (Ping timeout: 240 seconds)
2021-02-10 05:46:10 +0100acdsystemliorg[m(acdsysteml@gateway/shell/matrix.org/x-fdbespuaoazmlwtb) (Ping timeout: 244 seconds)
2021-02-10 05:46:10 +0100Vanilla[m](danielm14@gateway/shell/matrix.org/x-satoepekudcabjdh) (Ping timeout: 244 seconds)
2021-02-10 05:46:12 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-aevagfehcuqznydn) (Ping timeout: 260 seconds)
2021-02-10 05:46:19 +0100mentaal[m](mentaalmat@gateway/shell/matrix.org/x-ttvtfmzvnsutltyg) (Ping timeout: 272 seconds)
2021-02-10 05:46:23 +0100chrisdotcode(~chrisdotc@unaffiliated/chrisdotcode) (Quit: rip)
2021-02-10 05:46:24 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-bidbqzmubwdqapiu) (Ping timeout: 240 seconds)
2021-02-10 05:46:24 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-abgnzchjxursvaze) (Ping timeout: 240 seconds)
2021-02-10 05:46:24 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-tqaisjvnumqndxtu) (Ping timeout: 240 seconds)
2021-02-10 05:46:26 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-eodvasdpkhwznfdo) (Ping timeout: 240 seconds)
2021-02-10 05:46:26 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-gkzeqzaxayzxfzuq) (Ping timeout: 240 seconds)
2021-02-10 05:46:26 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-iovffeyyfyyigcvu) (Ping timeout: 240 seconds)
2021-02-10 05:46:27 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-02-10 05:46:29 +0100Tesseraction(~Tesseract@unaffiliated/tesseraction)
2021-02-10 05:46:35 +0100LiyangHU[m](liyangmatr@gateway/shell/matrix.org/x-khsquopybxsinqvm) (Ping timeout: 260 seconds)
2021-02-10 05:46:36 +0100noIOBeforeBedtim(dissatisfi@gateway/shell/matrix.org/x-bwslpnirznlxovjv) (Ping timeout: 260 seconds)
2021-02-10 05:46:36 +0100maralorn(maralornma@gateway/shell/matrix.org/x-zziavrugvowqydzv) (Ping timeout: 260 seconds)
2021-02-10 05:46:39 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-xkznhxdclgbgmodf) (Ping timeout: 268 seconds)
2021-02-10 05:46:40 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-stcjgbkwbrmjmqpx) (Ping timeout: 244 seconds)
2021-02-10 05:46:43 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-gzvrhyhbwatwuwxi) (Ping timeout: 265 seconds)
2021-02-10 05:46:44 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-cwjyzhxtjclzvzku) (Ping timeout: 265 seconds)
2021-02-10 05:46:51 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-uucsbodegjaqlecd) (Ping timeout: 258 seconds)
2021-02-10 05:46:57 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-ajxczgizukhumbgd) (Ping timeout: 272 seconds)
2021-02-10 05:46:57 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-vwniefyivdlueqvy) (Ping timeout: 272 seconds)
2021-02-10 05:47:04 +0100jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-unvspidyacclrggp) (Ping timeout: 260 seconds)
2021-02-10 05:47:11 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-xeugwpfohgdfiekb) (Ping timeout: 244 seconds)
2021-02-10 05:47:23 +0100kiltzman(~k1ltzman@195.189.99.96)
2021-02-10 05:47:26 +0100betrion[m](betrionmat@gateway/shell/matrix.org/x-kgnrjpfwruxoxiik) (Ping timeout: 240 seconds)
2021-02-10 05:47:26 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-mfwznvajdbcuziir) (Ping timeout: 240 seconds)
2021-02-10 05:47:26 +0100meckse[m](mecksematr@gateway/shell/matrix.org/x-femtcckzddcbutta) (Ping timeout: 240 seconds)
2021-02-10 05:47:26 +0100lierdakil[m](lierdakilm@gateway/shell/matrix.org/x-gurcwxcramopldsp) (Ping timeout: 240 seconds)
2021-02-10 05:47:26 +0100SlackIntegration(slackbotma@gateway/shell/matrix.org/x-oasirwcpruhpfipe) (Ping timeout: 240 seconds)
2021-02-10 05:47:29 +0100 <koz_> OK wow.
2021-02-10 05:47:32 +0100tomsen[m](tfbiomatri@gateway/shell/matrix.org/x-niwtimgnotrlgrjy) (Ping timeout: 260 seconds)
2021-02-10 05:47:32 +0100berberman[T](berberma4@gateway/shell/matrix.org/x-dziomcyirgyogxeb) (Ping timeout: 260 seconds)
2021-02-10 05:47:32 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-qgxppkedmgxzarko) (Ping timeout: 260 seconds)
2021-02-10 05:47:32 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-xlxusvhtslwsqtyc) (Ping timeout: 260 seconds)
2021-02-10 05:47:32 +0100PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-wtfkvxvbcyhgxsnt) (Ping timeout: 260 seconds)
2021-02-10 05:47:41 +0100 <koz_> That caching strat? The Ubuntu runners finish in less than _2_ minutes.
2021-02-10 05:47:41 +0100adziahel[m](adziahelma@gateway/shell/matrix.org/x-lyfahhmkhzdtqzhg) (Ping timeout: 265 seconds)
2021-02-10 05:47:48 +0100 <jared-w> noice
2021-02-10 05:47:53 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-yravhuokkwqqlmxt) (Ping timeout: 268 seconds)
2021-02-10 05:47:53 +0100sawmon-and-natal(sawmon-and@gateway/shell/matrix.org/x-pjbeggbwxyijweot) (Ping timeout: 268 seconds)
2021-02-10 05:47:53 +0100bram[m]1(bramvdbnet@gateway/shell/matrix.org/x-inwpuwxpaklebhej) (Ping timeout: 268 seconds)
2021-02-10 05:47:53 +0100jamesfielder[m](jamesfield@gateway/shell/matrix.org/x-ggvbpzlwewptqmao) (Ping timeout: 268 seconds)
2021-02-10 05:47:53 +0100xosdy[m](xosdyaleth@gateway/shell/matrix.org/x-swbdkqqxwrsgwtoa) (Ping timeout: 268 seconds)
2021-02-10 05:47:55 +0100 <koz_> 10x CI lol.
2021-02-10 05:48:00 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-eqqabndmfhgdbxzf) (Ping timeout: 260 seconds)
2021-02-10 05:48:13 +0100itai33[m](itai33matr@gateway/shell/matrix.org/x-hpyfridophyoywyj) (Ping timeout: 272 seconds)
2021-02-10 05:48:15 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2021-02-10 05:48:17 +0100 <jared-w> it should theoretically be as fast as incremental rebuilds locally are. In practice, a bit less, but not too bad
2021-02-10 05:48:18 +0100 <koz_> ... Windows of course has to be the fly in the ointment.
2021-02-10 05:48:24 +0100immae(immaematri@gateway/shell/matrix.org/x-ucfragmlhonpitiu) (Ping timeout: 240 seconds)
2021-02-10 05:48:24 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-ggzwkyqklwmrikyv) (Ping timeout: 240 seconds)
2021-02-10 05:48:26 +0100oreoking[m]1(oreokingma@gateway/shell/matrix.org/x-jcusdubzyhittdzg) (Ping timeout: 240 seconds)
2021-02-10 05:48:26 +0100 <jared-w> of course!
2021-02-10 05:48:29 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2021-02-10 05:49:07 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-bmfqjnpcefzefvsd) (Ping timeout: 268 seconds)
2021-02-10 05:49:07 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-kiopfrbrvnzymric) (Ping timeout: 268 seconds)
2021-02-10 05:49:07 +0100freeman42x[m](freeman42x@gateway/shell/matrix.org/x-gaahxrylbtfyhabh) (Ping timeout: 268 seconds)
2021-02-10 05:49:07 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-shtimerywhswkdny) (Ping timeout: 268 seconds)
2021-02-10 05:49:07 +0100DamienCassou(damiencass@gateway/shell/matrix.org/x-vsavibfivqppmsbi) (Ping timeout: 268 seconds)
2021-02-10 05:49:07 +0100siraben(sirabenmat@gateway/shell/matrix.org/x-yibcfixlmzlubxkl) (Ping timeout: 268 seconds)
2021-02-10 05:49:07 +0100bsima[m](bensimatim@gateway/shell/matrix.org/x-suajwdkwcrwumpcu) (Ping timeout: 268 seconds)
2021-02-10 05:49:14 +0100 <koz_> Does the Github Actions file format have line continuations?
2021-02-10 05:49:18 +0100 <koz_> Something like \
2021-02-10 05:49:38 +0100 <koz_> Because the line for installing cabal-docspec on Windows is long enough to take someone's eye out at this point.
2021-02-10 05:49:44 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-avrunmqpnajwjhyb) (Ping timeout: 240 seconds)
2021-02-10 05:49:44 +0100cnmne[m](cnmnematri@gateway/shell/matrix.org/x-howgbmzhnqmhylxn) (Ping timeout: 240 seconds)
2021-02-10 05:49:45 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-vlseozawpomwxsaw) (Ping timeout: 240 seconds)
2021-02-10 05:49:45 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-zzdxxhuxtlcwhqwo) (Ping timeout: 240 seconds)
2021-02-10 05:49:45 +0100pythag76[m](pythag76ma@gateway/shell/matrix.org/x-zayhvmqrqchjcomz) (Ping timeout: 240 seconds)
2021-02-10 05:49:45 +0100metamod[m](metamodmat@gateway/shell/matrix.org/x-cwgxheeatcnmnolb) (Ping timeout: 240 seconds)
2021-02-10 05:49:55 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-vnqnlgicwqzslism) (Ping timeout: 258 seconds)
2021-02-10 05:49:55 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-dbgtrdoqxzqcpezr) (Ping timeout: 258 seconds)
2021-02-10 05:50:07 +0100svc0[m](svc0matrix@gateway/shell/matrix.org/x-lfwkfdzqrumixhmw) (Ping timeout: 265 seconds)
2021-02-10 05:50:21 +0100boistordu(boistordum@gateway/shell/matrix.org/x-dcdctncuiazflhhb) (Ping timeout: 268 seconds)
2021-02-10 05:50:32 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-afkfotiyymltayhn) (Quit: Connection closed for inactivity)
2021-02-10 05:50:45 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9)
2021-02-10 05:52:47 +0100Tario(~Tario@201.192.165.173)
2021-02-10 05:54:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 05:54:44 +0100 <koz_> jared-w: OK, this happened again. It's a non-deterministic fault AFAICT - am I wrong? https://github.com/kozross/text-ascii/runs/1868732836?check_suite_focus=true
2021-02-10 05:55:04 +0100 <koz_> This is the weird part. https://github.com/kozross/text-ascii/runs/1868732836?check_suite_focus=true#step:14:15
2021-02-10 05:55:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 05:56:29 +0100hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-nswambcmsfqgebtk)
2021-02-10 05:56:42 +0100shutendoji[m](shutendoji@gateway/shell/matrix.org/x-crsdenrwifaboqvb)
2021-02-10 05:57:03 +0100 <koz_> OK yeah, it's consistent and I'm confused.
2021-02-10 05:57:03 +0100ichor[m](hakonmatri@gateway/shell/matrix.org/x-biowoyayifyttutz)
2021-02-10 05:57:08 +0100utdemir[m](utdemirmat@gateway/shell/matrix.org/x-dbnfmaozoqkzjqlv)
2021-02-10 05:57:10 +0100jchia[m](jchiamatri@gateway/shell/matrix.org/x-kazhdunyqzywnhrv)
2021-02-10 05:57:12 +0100doct0rhu[m](doct0rhumo@gateway/shell/matrix.org/x-mywaugrvnxdeuagi)
2021-02-10 05:57:25 +0100simara[m](simaramatr@gateway/shell/matrix.org/x-sunlpltnmcaqtzom)
2021-02-10 05:58:02 +0100bitmagie1(~Thunderbi@i59F53E8C.versanet.de)
2021-02-10 05:58:59 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-02-10 05:59:02 +0100bitmagie(~Thunderbi@200116b8062cd500ec89398f450f3631.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-02-10 05:59:02 +0100bitmagie1bitmagie
2021-02-10 05:59:23 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-eeieiakbndmbjcga)
2021-02-10 05:59:40 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e86f:713:210:b5d)
2021-02-10 06:00:02 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 264 seconds)
2021-02-10 06:00:49 +0100Lurkki[m](lurkkipriv@gateway/shell/matrix.org/x-iyqqfstbthubtjcr)
2021-02-10 06:01:06 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) ()
2021-02-10 06:01:13 +0100 <koz_> Could caching text-ascii's build products be the cause?
2021-02-10 06:01:17 +0100shieru[m](shierualet@gateway/shell/matrix.org/x-jpyglifpwxwgmqww)
2021-02-10 06:01:29 +0100Vanilla[m](danielm14@gateway/shell/matrix.org/x-djofesfrpiyljgri)
2021-02-10 06:02:07 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-bmeeufypevpusedw)
2021-02-10 06:02:13 +0100darkcodi[m](darkcodima@gateway/shell/matrix.org/x-soupswcdquuoigbs)
2021-02-10 06:02:20 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-zkvgygtkexgfwetr)
2021-02-10 06:02:20 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 06:02:23 +0100alexfmpe(alexfmpema@gateway/shell/matrix.org/x-aikimbupepocatuu)
2021-02-10 06:03:20 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) (Client Quit)
2021-02-10 06:03:30 +0100alar[m](alarmxalat@gateway/shell/matrix.org/x-kpzwexjpbbexgoeh)
2021-02-10 06:03:30 +0100enya[m](enyaismatr@gateway/shell/matrix.org/x-zopufoieowinqdtm)
2021-02-10 06:03:30 +0100AmitLevy[m](amitmostly@gateway/shell/matrix.org/x-nixsvyyufgklkpzb)
2021-02-10 06:03:30 +0100ciderpunx[m](ciderpunxm@gateway/shell/matrix.org/x-bsadydoyhqszzdnw)
2021-02-10 06:03:30 +0100CaptainYukinoshi(captain-yu@gateway/shell/matrix.org/x-jauhmahqqucrhthy)
2021-02-10 06:03:31 +0100VarikValefor[m](varikvalef@gateway/shell/matrix.org/x-qrijqzplxpwvktse)
2021-02-10 06:03:45 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-02-10 06:03:52 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:e86f:713:210:b5d) (Client Quit)
2021-02-10 06:04:26 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 06:04:46 +0100acdsystemliorg[m(acdsysteml@gateway/shell/matrix.org/x-ricxfotomgahotyx)
2021-02-10 06:04:47 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) (Client Quit)
2021-02-10 06:04:51 +0100mly[m](mlydisenco@gateway/shell/matrix.org/x-yynnivnivsiulkae)
2021-02-10 06:04:51 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-tqfafzamumzirela)
2021-02-10 06:04:52 +0100joshualit140[m](joshualit1@gateway/shell/matrix.org/x-bwyvjvwincpzhgrj)
2021-02-10 06:05:00 +0100sramsay64[m](sramsay64p@gateway/shell/matrix.org/x-gwtwlqdldweyodtp)
2021-02-10 06:06:47 +0100maralorn(maralornma@gateway/shell/matrix.org/x-hvwopnngiwtusqib)
2021-02-10 06:06:51 +0100pedrorubster[m](pedrorubst@gateway/shell/matrix.org/x-pfrtranwguapeuuo)
2021-02-10 06:08:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 06:08:27 +0100clog(~nef@bespin.org)
2021-02-10 06:08:29 +0100LiyangHU[m](liyangmatr@gateway/shell/matrix.org/x-bpyblsnrhywehczi)
2021-02-10 06:08:43 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net)
2021-02-10 06:09:20 +0100noIOBeforeBedtim(dissatisfi@gateway/shell/matrix.org/x-jxlugcrvctekxscd)
2021-02-10 06:09:25 +0100domenkozar[m](domenkozar@NixOS/user/domenkozar)
2021-02-10 06:09:27 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-qcwtlkwnzuumfgea)
2021-02-10 06:09:37 +0100ezrakilty(~ezrakilty@75-172-120-225.tukw.qwest.net) (Client Quit)
2021-02-10 06:09:49 +0100Sarievo[m](sarievoale@gateway/shell/matrix.org/x-xylaqhfystxyyuwp)
2021-02-10 06:10:32 +0100srid(sridmatrix@gateway/shell/matrix.org/x-snjjovxmshceudji)
2021-02-10 06:10:35 +0100 <jared-w> https://github.com/kozross/text-ascii/blob/main/src/Text/Ascii.hs#L153 is it this?
2021-02-10 06:10:48 +0100michaelpj(michaelpjm@gateway/shell/matrix.org/x-xqycevqfcixyzqua)
2021-02-10 06:10:50 +0100dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-zqudmytrrplhgdvs)
2021-02-10 06:10:59 +0100 <jared-w> (doctests import Prelude.. and the module imports Control.Category..
2021-02-10 06:11:01 +0100 <jared-w> )
2021-02-10 06:11:06 +0100fgaz(fgazmatrix@gateway/shell/matrix.org/x-zfiwlwyosughdpny)
2021-02-10 06:11:08 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-fdjjtskblpinulyd)
2021-02-10 06:11:10 +0100lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-nvvdnlirgolpncci)
2021-02-10 06:11:11 +0100unclechu(unclechuma@gateway/shell/matrix.org/x-sdxcxvcvrsbcfadi)
2021-02-10 06:11:11 +0100psamim(samimpmatr@gateway/shell/matrix.org/x-zayaxobioedyvltl)
2021-02-10 06:11:12 +0100themsay[m](themsaymat@gateway/shell/matrix.org/x-cutxiikrldygwool)
2021-02-10 06:11:49 +0100ThaEwat(thaewraptm@gateway/shell/matrix.org/x-twhupuwjrylkdmyz)
2021-02-10 06:12:24 +0100 <jared-w> If that's not the case, my first suspicion is that TemplateHaskell + macOS + caching doesn't always play well (or really at all). Lots of weird dylib issues going on. In a compile you usually see the actual dylib issue but cabal-docspec might be masking the issue
2021-02-10 06:13:10 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-02-10 06:14:15 +0100mentaal[m](mentaalmat@gateway/shell/matrix.org/x-zktrijqfjfrypvwu)
2021-02-10 06:14:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 06:14:45 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-pntxtdmyrnefvkyx)
2021-02-10 06:14:50 +0100jerin(jerinmatri@gateway/shell/matrix.org/x-wtcdluvnmxnxtkrv)
2021-02-10 06:14:58 +0100Poscat[m](poscatmatr@gateway/shell/matrix.org/x-tbncdqraooskzakh)
2021-02-10 06:15:13 +0100siraben(sirabenmat@gateway/shell/matrix.org/x-dfwwwtuxpdenkfks)
2021-02-10 06:15:16 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 06:15:56 +0100 <koz_> I don't think it's that - it doesn't fail on anything other than MacOS.
2021-02-10 06:16:08 +0100psydruid(psydruidma@gateway/shell/matrix.org/x-rvtkcayfvuqlnxvs)
2021-02-10 06:16:08 +0100 <koz_> So I think I might have to uncache dist-newstyle on MacOS.
2021-02-10 06:16:14 +0100 <koz_> Yay, more special cases.
2021-02-10 06:17:26 +0100m4v1(~m4v@185.204.1.185) (Remote host closed the connection)
2021-02-10 06:21:11 +0100xosdy[m](xosdyaleth@gateway/shell/matrix.org/x-sjsjczggrpwuelve)
2021-02-10 06:21:20 +0100jamesfielder[m](jamesfield@gateway/shell/matrix.org/x-itgboauarupzmhqj)
2021-02-10 06:21:20 +0100bram[m]1(bramvdbnet@gateway/shell/matrix.org/x-xoyjxebuypxojgvj)
2021-02-10 06:21:30 +0100phittacus(bklmatrixo@gateway/shell/matrix.org/x-tdyoqvsyqfaoeeih)
2021-02-10 06:21:32 +0100sawmon-and-natal(sawmon-and@gateway/shell/matrix.org/x-pwtglkgkgbiuvjzb)
2021-02-10 06:21:53 +0100sigmacool[m](sigmacoolm@gateway/shell/matrix.org/x-evqlutsaphrpcbci)
2021-02-10 06:21:54 +0100adziahel[m](adziahelma@gateway/shell/matrix.org/x-xwgzkvzflgupjlmt)
2021-02-10 06:22:01 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2021-02-10 06:22:05 +0100meckse[m](mecksematr@gateway/shell/matrix.org/x-rhirjxecxqstuzkj)
2021-02-10 06:22:07 +0100jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-xhuuctxtgcpkqrbp)
2021-02-10 06:22:13 +0100betrion[m](betrionmat@gateway/shell/matrix.org/x-exsechfwwnuuwkkj)
2021-02-10 06:22:16 +0100tomsen[m](tfbiomatri@gateway/shell/matrix.org/x-blsbzatlttvamskw)
2021-02-10 06:22:16 +0100johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-prncgcrieypzkgzx)
2021-02-10 06:22:21 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-02-10 06:22:30 +0100rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-vptkevswyiacaius)
2021-02-10 06:22:41 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-mnsxlawsbenlqdgs)
2021-02-10 06:22:46 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-mndllvfezpshaeqb)
2021-02-10 06:22:48 +0100kadoban(kadobanmat@gateway/shell/matrix.org/x-jdsljzvupywkkidg)
2021-02-10 06:23:07 +0100itai33[m](itai33matr@gateway/shell/matrix.org/x-fkpzfqhctwxrsgia)
2021-02-10 06:23:11 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:a0b0:fd4:1e0b:1c07)
2021-02-10 06:23:26 +0100 <jared-w> I'll open up a PR really quick
2021-02-10 06:23:29 +0100jkaye[m](jkayematri@gateway/shell/matrix.org/x-slqdohoxdbmzapkb)
2021-02-10 06:23:51 +0100ManofLetters[m](manoflette@gateway/shell/matrix.org/x-zrubcouipmwyfoob)
2021-02-10 06:23:52 +0100 <jared-w> I tend to just do `cabal new-build || { cabal clean && cabal new-build; }` and that clears up the issue.
2021-02-10 06:23:56 +0100the_1_[m](the1matrix@gateway/shell/matrix.org/x-mpemizndnejoyati)
2021-02-10 06:24:05 +0100 <glguy> jared-w, what're you tackling tonight?
2021-02-10 06:24:20 +0100oreoking[m]1(oreokingma@gateway/shell/matrix.org/x-vxkxnidqmzrqndby)
2021-02-10 06:24:21 +0100 <jared-w> CI pain. Like work, but not work ;)
2021-02-10 06:24:26 +0100bitmagie(~Thunderbi@i59F53E8C.versanet.de) (Quit: bitmagie)
2021-02-10 06:24:44 +0100pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-bealkbvmyinwlrjt)
2021-02-10 06:24:45 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-wktsrjudueshiyvy)
2021-02-10 06:24:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 06:24:45 +0100bsima[m](bensimatim@gateway/shell/matrix.org/x-rfobilqhuddhwodo)
2021-02-10 06:24:48 +0100immae(immaematri@gateway/shell/matrix.org/x-nvkfblvdyzisplkk)
2021-02-10 06:24:52 +0100 <glguy> Do you do much docker?
2021-02-10 06:24:53 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-izsptaagjppwvrwd)
2021-02-10 06:24:57 +0100freeman42x[m](freeman42x@gateway/shell/matrix.org/x-qgajqmsbwmravvgq)
2021-02-10 06:25:17 +0100 <jared-w> Ah yeah, tons of it.
2021-02-10 06:25:20 +0100 <glguy> if it's more than 0 (my level) I might have to pick your brain on the clock tomorrow :)
2021-02-10 06:25:20 +0100metamod[m](metamodmat@gateway/shell/matrix.org/x-gwsrdauonqmxivcz)
2021-02-10 06:25:30 +0100cnmne[m](cnmnematri@gateway/shell/matrix.org/x-hdvwcpskepwgsifg)
2021-02-10 06:25:34 +0100Hanma[m](hanmamatri@gateway/shell/matrix.org/x-tcdsbuwrvrhlwteh)
2021-02-10 06:25:47 +0100plumenator[m](plumenator@gateway/shell/matrix.org/x-psirmvjdyttvfuyj)
2021-02-10 06:25:50 +0100svc0[m](svc0matrix@gateway/shell/matrix.org/x-bpxqtevxuqyganbo)
2021-02-10 06:25:57 +0100my_name_is_not_j(mynameisno@gateway/shell/matrix.org/x-fmxzobjqxngszttw)
2021-02-10 06:25:59 +0100CrabMan(phi-matrix@gateway/shell/matrix.org/x-btuvkzgsupggtulm)
2021-02-10 06:25:59 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-lysherfxpsilhozs)
2021-02-10 06:26:16 +0100 <jared-w> feel free :) I've done more than my share of docker shenanigans.
2021-02-10 06:26:44 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.0)
2021-02-10 06:27:02 +0100pythag76[m](pythag76ma@gateway/shell/matrix.org/x-iyceqchxadropdwc)
2021-02-10 06:27:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 06:28:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-10 06:28:48 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2021-02-10 06:29:00 +0100boistordu(boistordum@gateway/shell/matrix.org/x-uyltojhcmvxcevxs)
2021-02-10 06:29:31 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Quit: Connection closed)
2021-02-10 06:31:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 06:35:38 +0100 <jared-w> koz_: ayy so it turns out it was a one line change to get "real" doctest working and it seems to work the same way? So I could just use `build-tool-depends` behind a flag so that it (I think) wouldn't ever affect downstream dependency solving. That simplifies things quite a bit if it works for you
2021-02-10 06:35:58 +0100gioyik_(~gioyik@gateway/tor-sasl/gioyik)
2021-02-10 06:37:22 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 268 seconds)
2021-02-10 06:39:37 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 06:40:52 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-02-10 06:40:56 +0100 <fresheyeball> hello out there
2021-02-10 06:41:26 +0100 <fresheyeball> I am in a bad performance situation and need to track down bottlenecks
2021-02-10 06:41:40 +0100 <fresheyeball> is there an easy way to time a pure function?
2021-02-10 06:41:47 +0100 <fresheyeball> And I don't mean in ghci
2021-02-10 06:42:00 +0100 <fresheyeball> I need to run the program, and get timings in the terminal
2021-02-10 06:43:28 +0100petersen(~petersen@redhat/juhp) (Quit: petersen)
2021-02-10 06:44:10 +0100petersen(~petersen@redhat/juhp)
2021-02-10 06:46:14 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 06:47:33 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-10 06:47:56 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-02-10 06:48:42 +0100 <jared-w> criterion and a benchmark suite?
2021-02-10 06:49:19 +0100 <fresheyeball> I am not looking to benchmark
2021-02-10 06:49:47 +0100 <fresheyeball> I am debugging, and really just want to see how long functions take to run while I interact with the program
2021-02-10 06:49:52 +0100jedws(~jedws@101.184.202.248) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 06:49:59 +0100gioyik_(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.0)
2021-02-10 06:50:00 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2021-02-10 06:50:21 +0100nineonine(~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
2021-02-10 06:50:27 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 06:50:29 +0100pako(~pako@dynamic-089-014-070-018.89.14.pool.telefonica.de) (Remote host closed the connection)
2021-02-10 06:50:44 +0100 <fresheyeball> this is so ugly
2021-02-10 06:51:17 +0100 <fresheyeball> `trace (show $ unsafePerformIO getCurrentTime)`
2021-02-10 06:52:55 +0100 <jared-w> looks like what I would do :) but I'm not a perf hunting expert for haskell by any means
2021-02-10 06:58:31 +0100raym(~ray@45.64.220.157)
2021-02-10 06:58:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 06:58:57 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-10 06:59:57 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 07:00:36 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-02-10 07:03:01 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-02-10 07:04:35 +0100hirc(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Quit: Ping timeout (120 seconds))
2021-02-10 07:05:15 +0100petersen(~petersen@redhat/juhp) (Quit: petersen)
2021-02-10 07:06:35 +0100bgamari(~bgamari@2001:470:e438::1) (Ping timeout: 258 seconds)
2021-02-10 07:07:09 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-02-10 07:09:58 +0100aggin(~ecm@103.88.87.30) (Quit: WeeChat 3.0)
2021-02-10 07:11:00 +0100hiptobecubic(~john@unaffiliated/hiptobecubic) (Ping timeout: 256 seconds)
2021-02-10 07:11:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 07:11:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 07:13:18 +0100bgamari(~bgamari@72.65.101.131)
2021-02-10 07:13:23 +0100 <koz_> jared-w: What do you mean by 'real' doctest? You mean the sol package?
2021-02-10 07:16:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-02-10 07:18:01 +0100 <fresheyeball> is there a foldl' analog for traverse?
2021-02-10 07:18:15 +0100 <dibblego> @type foldlM
2021-02-10 07:18:17 +0100 <lambdabot> (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
2021-02-10 07:18:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 07:21:11 +0100 <jared-w> koz_: yeah
2021-02-10 07:21:25 +0100 <koz_> jared-w: It will be a cold day in hell before I touch another sol package.
2021-02-10 07:21:36 +0100 <koz_> I'd rather jump through these hoops.
2021-02-10 07:21:54 +0100 <jared-w> (it's on hackage so `build-tool-depends` works like normal). That's fair.
2021-02-10 07:21:59 +0100 <koz_> Oh would you look at that, Windows has the same problem!
2021-02-10 07:22:06 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f)
2021-02-10 07:22:42 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2021-02-10 07:23:03 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 07:23:07 +0100 <koz_> At least the caching reduces rotations.
2021-02-10 07:23:22 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f) (Remote host closed the connection)
2021-02-10 07:24:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f)
2021-02-10 07:24:16 +0100 <koz_> (well, speeds up, but yeah)
2021-02-10 07:28:16 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-02-10 07:28:45 +0100nckx(~nckx@tobias.gr) (Ping timeout: 276 seconds)
2021-02-10 07:28:50 +0100 <koz_> Woo, another giant rebuild, hopefully for the last time.
2021-02-10 07:28:52 +0100nckx[2](~nckx@tobias.gr)
2021-02-10 07:28:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f) (Ping timeout: 260 seconds)
2021-02-10 07:29:10 +0100ski(~ski@ed-3358-10.studat.chalmers.se) (Ping timeout: 276 seconds)
2021-02-10 07:29:10 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-10 07:29:27 +0100ski(~ski@ed-3358-10.studat.chalmers.se)
2021-02-10 07:29:49 +0100gentauro(~gentauro@unaffiliated/gentauro) (Ping timeout: 276 seconds)
2021-02-10 07:30:02 +0100 <jared-w> the fallback keys should hopefully prevent mass rebuilds
2021-02-10 07:30:06 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-02-10 07:30:41 +0100nckx[2]nckx
2021-02-10 07:31:03 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 07:31:58 +0100 <koz_> Yeah, let's see if my own efforts amount to the same.
2021-02-10 07:32:07 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:a0b0:fd4:1e0b:1c07) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 07:32:10 +0100 <koz_> Annoyingly, the Ubuntu builds cache brilliantly.
2021-02-10 07:35:16 +0100sMuNiX(~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca) (Ping timeout: 265 seconds)
2021-02-10 07:35:17 +0100 <koz_> OK, macOS no longer asplode.
2021-02-10 07:35:41 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 07:36:12 +0100thc202(~thc202@unaffiliated/thc202)
2021-02-10 07:36:33 +0100 <jared-w> nice nice
2021-02-10 07:37:10 +0100 <jared-w> koz_: relevant macos cabal issue because of course that's a thing: https://github.com/haskell/cabal/issues/7202
2021-02-10 07:37:42 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-02-10 07:38:08 +0100Neuromancer(~Neuromanc@unaffiliated/neuromancer)
2021-02-10 07:38:16 +0100 <koz_> Lol, so 3.4 might fix this too?
2021-02-10 07:38:48 +0100msim(~quassel@2001:8003:d194:d000::d8d)
2021-02-10 07:40:41 +0100 <koz_> OK, Windows worked too. Now to see how the caching goes.
2021-02-10 07:40:55 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-10 07:40:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 07:42:19 +0100 <koz_> OK, let's see if we can beat 20m.
2021-02-10 07:43:41 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 265 seconds)
2021-02-10 07:45:57 +0100 <koz_> Nope, Windows still doesn't like that caching argh.
2021-02-10 07:46:05 +0100 <koz_> macOS is fine though?
2021-02-10 07:46:41 +0100 <fresheyeball> my performance tuning exploration continues
2021-02-10 07:46:55 +0100 <fresheyeball> I have been able to measure timings on my functions and found a bottleneck
2021-02-10 07:47:06 +0100 <jared-w> koz_: hmmm
2021-02-10 07:47:17 +0100 <fresheyeball> it's a recursive function
2021-02-10 07:47:19 +0100 <koz_> Same kind of failure.
2021-02-10 07:47:25 +0100 <fresheyeball> and worse it calls itself with traverse
2021-02-10 07:47:41 +0100 <fresheyeball> however I see no obvious reason it should be THIS slow
2021-02-10 07:47:47 +0100 <fresheyeball> this is insanely slow
2021-02-10 07:48:03 +0100 <jared-w> Windows still broken eh? Odd
2021-02-10 07:48:16 +0100 <koz_> https://github.com/kozross/text-ascii/runs/1869208691?check_suite_focus=true#step:14:15
2021-02-10 07:48:33 +0100 <koz_> https://github.com/kozross/text-ascii/blob/dev/.github/workflows/haskell.yml
2021-02-10 07:48:36 +0100 <koz_> Most current gore.
2021-02-10 07:48:55 +0100 <fresheyeball> what can I do?
2021-02-10 07:48:57 +0100 <MarcelineVQ> quadraticly slow?
2021-02-10 07:49:04 +0100 <fresheyeball> I don't know
2021-02-10 07:49:14 +0100 <koz_> fresheyeball: What's the function in question?
2021-02-10 07:49:26 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-10 07:49:50 +0100 <koz_> jared-w: The Windows build copies instead of symlinking, and does overwrites.
2021-02-10 07:49:53 +0100 <koz_> Could this be the issue?
2021-02-10 07:49:58 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-02-10 07:50:10 +0100 <jared-w> Shouldn't be the issue, I think
2021-02-10 07:50:25 +0100 <koz_> I can't really explain it any other way then.
2021-02-10 07:50:39 +0100 <fresheyeball> https://gitlab.com/fresheyeball/Shpadoinkle/-/blob/master/backends/pardiff/Shpadoinkle/Backend/Par…
2021-02-10 07:50:51 +0100 <koz_> The macOS builds work with this caching scheme, the Windows ones get the exact same problem.
2021-02-10 07:51:35 +0100 <fresheyeball> right now, processing an html child list with 100000 nodes is taking about 2 seconds on my laptop
2021-02-10 07:51:56 +0100 <fresheyeball> I am not doing anything especially expensive here
2021-02-10 07:52:11 +0100 <fresheyeball> 100000 is not very much either I wouldn't think
2021-02-10 07:52:47 +0100 <jared-w> ahh, koz_: try adding `--write-ghc-environment-files=always` to the cabal build of your text-ascii
2021-02-10 07:52:55 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 07:53:05 +0100 <koz_> jared-w: In which build? Or just YOLO all of them?
2021-02-10 07:53:43 +0100 <koz_> I guess YOLO all of them it is.
2021-02-10 07:53:46 +0100 <jared-w> if that doesn't work, I'm out of ideas for now. line 64 and 76
2021-02-10 07:54:15 +0100 <jared-w> (the `cabal build --only-dependencies` and `cabal build --flags` lines)
2021-02-10 07:54:29 +0100 <koz_> Let's see how this goes.
2021-02-10 07:54:39 +0100 <jared-w> alrighty. Keep me updated; I'm off for the night :)
2021-02-10 07:54:42 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f)
2021-02-10 07:54:46 +0100 <koz_> See ya! Thanks so much!
2021-02-10 07:54:49 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-02-10 07:56:15 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 07:56:35 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f) (Remote host closed the connection)
2021-02-10 07:57:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 07:57:37 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-10 07:58:19 +0100 <koz_> jared-w: Nope, Windows still blows up. Thanks for the help anyway.
2021-02-10 07:59:23 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-02-10 08:00:24 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-10 08:02:00 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-10 08:02:07 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-10 08:08:56 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-02-10 08:10:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 08:15:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 08:16:32 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-02-10 08:17:18 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 08:22:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-10 08:23:26 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-02-10 08:25:19 +0100petersen(~petersen@redhat/juhp)
2021-02-10 08:27:30 +0100acidjnk_new(~acidjnk@p200300d0c722c490f89e83442ea0b11b.dip0.t-ipconnect.de)
2021-02-10 08:28:10 +0100forgottenone(~forgotten@176.42.19.18)
2021-02-10 08:31:03 +0100hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-02-10 08:31:12 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 08:35:08 +0100MrMobius(~MrMobius@208.58.206.154) (Read error: Connection reset by peer)
2021-02-10 08:35:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 08:37:51 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f)
2021-02-10 08:39:04 +0100 <olligobber> is there an extension to overload the space function application operator to other types?
2021-02-10 08:39:22 +0100 <olligobber> I'm sick of putting so many copies of the same operator
2021-02-10 08:39:43 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f) (Remote host closed the connection)
2021-02-10 08:40:20 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f)
2021-02-10 08:40:32 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-10 08:41:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 08:43:05 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 08:43:46 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-02-10 08:44:30 +0100pera(~pera@unaffiliated/pera)
2021-02-10 08:44:42 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f) (Ping timeout: 260 seconds)
2021-02-10 08:47:25 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-10 08:47:48 +0100 <dsal> Which operator?
2021-02-10 08:48:43 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-10 08:48:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 08:49:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 08:50:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-10 08:51:21 +0100 <MarcelineVQ>
2021-02-10 08:52:07 +0100 <lortabac> olligobber: maybe you can make a quasi-quoter?
2021-02-10 08:52:32 +0100zar(~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2021-02-10 08:53:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 08:53:52 +0100 <olligobber> dsal, ($$$) :: TypedLambda (a -> b) v -> TypedLambda a v -> TypedLambda b v
2021-02-10 08:53:58 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 08:54:16 +0100hirc(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2021-02-10 08:55:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 08:56:13 +0100 <olligobber> lortabac, guess I'll read about template haskell
2021-02-10 08:56:49 +0100 <lortabac> TBH I don't think it would be shorter than $$$
2021-02-10 08:57:23 +0100 <olligobber> aww :(
2021-02-10 08:57:35 +0100 <koz_> Dolla dolla dolla.
2021-02-10 08:58:36 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 246 seconds)
2021-02-10 08:58:58 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-02-10 08:59:00 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 09:02:08 +0100knupfer(~Thunderbi@200116b82ce26a00f5b46d79f58c2619.dip.versatel-1u1.de)
2021-02-10 09:03:52 +0100michalz(~user@185.246.204.54)
2021-02-10 09:06:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 09:10:28 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-10 09:11:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 09:12:18 +0100 <dexterfoo> are monad transformers still a good choice in 2021?
2021-02-10 09:12:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 09:15:06 +0100howdoi(uid224@gateway/web/irccloud.com/x-yfncngfrscfyesxs) (Quit: Connection closed for inactivity)
2021-02-10 09:16:03 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-02-10 09:16:13 +0100 <dminuoso> dexterfoo: A good choice what for?
2021-02-10 09:18:00 +0100 <dexterfoo> for writing testable IO code.
2021-02-10 09:18:02 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-02-10 09:18:11 +0100 <dminuoso> That's not what transformers exist for.
2021-02-10 09:18:29 +0100 <dminuoso> Were you perhaps thinking of writing mtl-style code?
2021-02-10 09:18:36 +0100 <dexterfoo> yes
2021-02-10 09:18:57 +0100 <dminuoso> Ah. Well, I guess the answer depends on who you ask.
2021-02-10 09:19:03 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-02-10 09:19:35 +0100 <koz_> I also am not sure what 'testable IO code' means.
2021-02-10 09:19:42 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:87f2:2077:d406:e584)
2021-02-10 09:19:43 +0100 <koz_> IO code can be quite testable... with just IO.
2021-02-10 09:19:49 +0100 <koz_> Depends what IO you're doing.
2021-02-10 09:21:01 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2021-02-10 09:21:32 +0100forgottenone(~forgotten@176.42.19.18) (Remote host closed the connection)
2021-02-10 09:21:46 +0100 <lortabac> also... https://www.parsonsmatt.org/2017/07/27/inverted_mocking.html
2021-02-10 09:22:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 09:22:37 +0100_bin(~bin@2600:1700:10a1:38d0:edac:3b4f:504:68cd) (Ping timeout: 260 seconds)
2021-02-10 09:23:35 +0100_bin(~bin@2600:1700:10a1:38d0:a809:2ad3:9eb4:5907)
2021-02-10 09:23:57 +0100 <dexterfoo> i mean mockable IO
2021-02-10 09:25:34 +0100vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 272 seconds)
2021-02-10 09:26:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 09:27:14 +0100dosjt(~user@84.122.202.215.dyn.user.ono.com)
2021-02-10 09:28:28 +0100 <dminuoso> dexterfoo: If you want that kind of separation, there's generally two roads. There's the free monad road and mtl-style encoding
2021-02-10 09:28:42 +0100 <dminuoso> Whether they are a good choice, you have to decide for yourself.
2021-02-10 09:29:00 +0100 <dminuoso> They weren't replaced by a better alternative, at least in widespread use, recently, if that's what you're asking.
2021-02-10 09:29:59 +0100 <dminuoso> (Or freer, even)
2021-02-10 09:35:18 +0100 <dexterfoo> what about polysemy?
2021-02-10 09:36:45 +0100jedws(~jedws@101.184.202.248)
2021-02-10 09:38:10 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 09:39:27 +0100 <dminuoso> dexterfoo: polysemy is just a library around free monads, iuic.
2021-02-10 09:40:11 +0100 <dminuoso> (Well, higher order free monads)
2021-02-10 09:40:17 +0100borne(~fritjof@200116b864b43e007eece5d071d7bcc1.dip.versatel-1u1.de)
2021-02-10 09:40:22 +0100jedws(~jedws@101.184.202.248) (Client Quit)
2021-02-10 09:40:41 +0100 <dexterfoo> ok thank. i think i will go with mtl-style
2021-02-10 09:43:33 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-10 09:45:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 09:47:31 +0100forgottenone(~forgotten@176.42.19.18)
2021-02-10 09:49:25 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d581:1bcd:84fc:c483) (Remote host closed the connection)
2021-02-10 09:51:12 +0100Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-10 09:52:03 +0100Kaeipi(~Kaiepi@47.54.252.148)
2021-02-10 09:52:44 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-02-10 09:54:19 +0100Kaeipi(~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2021-02-10 09:56:25 +0100jle`(~mstksg@unaffiliated/mstksg) (Ping timeout: 240 seconds)
2021-02-10 09:56:27 +0100 <ph88^> is there an option in cabal to automatically import a source file for every module in my project ?
2021-02-10 09:57:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 09:58:05 +0100jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2021-02-10 09:58:05 +0100jle`(~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2021-02-10 09:58:05 +0100jle`(~mstksg@unaffiliated/mstksg)
2021-02-10 09:58:33 +0100hirc(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Quit: Connection closed)
2021-02-10 10:00:04 +0100joshualit140[m](joshualit1@gateway/shell/matrix.org/x-bwyvjvwincpzhgrj) (Quit: Idle for 30+ days)
2021-02-10 10:00:31 +0100 <dminuoso> No.
2021-02-10 10:00:58 +0100 <olligobber> unless the source file is prelude? hmm
2021-02-10 10:01:31 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 2.9)
2021-02-10 10:01:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 10:02:47 +0100funkatronixxx(~funkatron@2001:981:f73:1:2c55:ed71:be33:2acb)
2021-02-10 10:03:20 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-10 10:03:21 +0100funkatronixxx(~funkatron@2001:981:f73:1:2c55:ed71:be33:2acb) (Client Quit)
2021-02-10 10:06:22 +0100acidjnk_new(~acidjnk@p200300d0c722c490f89e83442ea0b11b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-10 10:06:36 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 240 seconds)
2021-02-10 10:07:54 +0100toorevitimirp(~tooreviti@117.182.180.8) (Ping timeout: 246 seconds)
2021-02-10 10:08:08 +0100toorevitimirp(~tooreviti@117.182.180.8)
2021-02-10 10:13:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 10:13:30 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-10 10:15:39 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-02-10 10:15:56 +0100kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-02-10 10:17:26 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-02-10 10:17:45 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-10 10:18:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-10 10:19:27 +0100pera(~pera@unaffiliated/pera)
2021-02-10 10:24:04 +0100ADG1089__(~aditya@122.163.210.206)
2021-02-10 10:24:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 10:24:14 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 10:24:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit)
2021-02-10 10:24:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 10:25:13 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-10 10:26:13 +0100 <dexterfoo> maybe you can use a custom Prelude
2021-02-10 10:28:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 10:29:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 10:31:35 +0100eugleo(~eugleo@ip-86-49-250-120.net.upcbroadband.cz)
2021-02-10 10:32:24 +0100eugleo(~eugleo@ip-86-49-250-120.net.upcbroadband.cz) (Remote host closed the connection)
2021-02-10 10:33:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 10:36:39 +0100eugleo(~eugleo@ip-86-49-250-120.net.upcbroadband.cz)
2021-02-10 10:36:42 +0100borne(~fritjof@200116b864b43e007eece5d071d7bcc1.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-02-10 10:36:54 +0100eugleo(~eugleo@ip-86-49-250-120.net.upcbroadband.cz) (Remote host closed the connection)
2021-02-10 10:37:19 +0100zar(~zar@fw1.ciirc.cvut.cz)
2021-02-10 10:37:31 +0100pjb(~t@2a01cb04063ec5000c7095db6c592b59.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-02-10 10:38:55 +0100xff0x(~xff0x@2001:1a81:5205:c800:b3d4:a0d9:be65:9c7a) (Ping timeout: 272 seconds)
2021-02-10 10:40:10 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-02-10 10:41:41 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-02-10 10:44:44 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-02-10 10:44:55 +0100ADG1089__(~aditya@122.163.210.206) (Remote host closed the connection)
2021-02-10 10:46:06 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 10:49:48 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 10:50:23 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-spbffzhyjbuhrkxe)
2021-02-10 10:51:54 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-10 10:51:56 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-llhqfmqnlvacscpp) (Quit: Connection closed for inactivity)
2021-02-10 10:52:11 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-10 10:52:21 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 246 seconds)
2021-02-10 10:54:15 +0100jess(jess@freenode/staff/jess)
2021-02-10 10:54:22 +0100xff0x(~xff0x@2001:1a81:5205:c800:b3d4:a0d9:be65:9c7a)
2021-02-10 10:55:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Ping timeout: 264 seconds)
2021-02-10 10:56:50 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-02-10 11:00:32 +0100pjb(~t@2a01cb04063ec500ac61b0739aec887b.ipv6.abo.wanadoo.fr)
2021-02-10 11:00:34 +0100Rudd0(~Rudd0@185.189.115.103)
2021-02-10 11:00:58 +0100msim(~quassel@2001:8003:d194:d000::d8d) ("https://quassel-irc.org - Chat comfortably. Anywhere.")
2021-02-10 11:01:03 +0100msim(~quassel@2001:8003:d194:d000::d8d)
2021-02-10 11:03:55 +0100bitmagie(~Thunderbi@200116b8066f6c004484f895f0c226ae.dip.versatel-1u1.de)
2021-02-10 11:04:49 +0100shf(~sheaf@2a01:cb19:80cc:7e00:2939:2eff:3d7d:ae11) (Read error: Connection reset by peer)
2021-02-10 11:05:02 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 11:07:59 +0100toast52(97c0a219@gateway/web/cgi-irc/kiwiirc.com/ip.151.192.162.25)
2021-02-10 11:08:46 +0100 <toast52> Hi, has cabal changed recently?
2021-02-10 11:09:23 +0100 <toast52> I tried to run `cabal init` for the first time in a while, and it failed saying "Error: no package name provided"
2021-02-10 11:09:39 +0100 <toast52> But I never remember having to provide a package name
2021-02-10 11:10:10 +0100catt(~r@31.127.31.37)
2021-02-10 11:10:32 +0100knupfer(~Thunderbi@200116b82ce26a00f5b46d79f58c2619.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-02-10 11:10:50 +0100 <merijn> toast52: Try "cabal init --interactive"
2021-02-10 11:11:00 +0100 <merijn> toast52: I think 3.4 will revert back to interactive as default
2021-02-10 11:12:53 +0100bitmagie(~Thunderbi@200116b8066f6c004484f895f0c226ae.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-10 11:13:14 +0100 <toast52> okay I think the reason why it failed was because my current directory has the same name as an existing package on hackage?
2021-02-10 11:13:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 11:14:34 +0100 <toast52> It fails claiming no package name provided but when i specify the package name `cabal init -p <name>` it asks for confirmation whether I want to make a package with this name
2021-02-10 11:15:11 +0100toorevitimirp(~tooreviti@117.182.180.8) (Ping timeout: 265 seconds)
2021-02-10 11:15:33 +0100 <merijn> hmm
2021-02-10 11:16:17 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 11:16:41 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-10 11:17:38 +0100toorevitimirp(~tooreviti@117.182.180.8)
2021-02-10 11:18:37 +0100borne(~fritjof@2001:638:708:30da:869e:36b5:4de6:58f)
2021-02-10 11:19:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-02-10 11:19:34 +0100xcmw(~textual@dyn-72-33-2-47.uwnet.wisc.edu) (Quit: Textual IRC Client: www.textualapp.com)
2021-02-10 11:20:57 +0100MasseR(~MasseR@51.15.143.128) (Ping timeout: 264 seconds)
2021-02-10 11:21:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 11:22:45 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-02-10 11:25:03 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-10 11:30:10 +0100msim(~quassel@2001:8003:d194:d000::d8d) ("https://quassel-irc.org - Chat comfortably. Anywhere.")
2021-02-10 11:32:05 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-02-10 11:32:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 11:33:05 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 11:33:28 +0100fendor(~fendor@91.141.1.179.wireless.dyn.drei.com)
2021-02-10 11:34:11 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-02-10 11:35:25 +0100danza(~francesco@151.53.74.130)
2021-02-10 11:35:58 +0100Tops2(~Tobias@dyndsl-091-249-082-219.ewe-ip-backbone.de)
2021-02-10 11:36:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 11:37:12 +0100__monty__(~toonn@unaffiliated/toonn)
2021-02-10 11:38:49 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2021-02-10 11:39:40 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-10 11:41:54 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2021-02-10 11:48:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 11:48:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 11:48:39 +0100son0p(~son0p@181.58.39.182)
2021-02-10 11:50:15 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-02-10 11:52:08 +0100ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2021-02-10 11:53:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 11:53:41 +0100Tops21(~Tobias@dyndsl-091-249-082-219.ewe-ip-backbone.de)
2021-02-10 11:53:57 +0100darjeeling_(~darjeelin@122.245.216.78) (Ping timeout: 246 seconds)
2021-02-10 11:54:07 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2021-02-10 11:54:31 +0100Tops22(~Tobias@dyndsl-091-249-082-219.ewe-ip-backbone.de)
2021-02-10 11:55:32 +0100Aleksejs(~Aleksejs@haskell.lv)
2021-02-10 11:55:40 +0100 <olligobber> I'm trying to write template haskell, how do I turn a [Q [Dec]] into a Q [Dec]?
2021-02-10 11:55:47 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-10 11:56:55 +0100Tops2(~Tobias@dyndsl-091-249-082-219.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2021-02-10 11:57:06 +0100 <olligobber> ah, think I got it
2021-02-10 11:57:09 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-02-10 11:57:10 +0100carlomagno1(~cararell@148.87.23.11) (Remote host closed the connection)
2021-02-10 11:58:09 +0100fendor_(~fendor@178.165.131.10.wireless.dyn.drei.com)
2021-02-10 11:58:17 +0100carlomagno(~cararell@148.87.23.11)
2021-02-10 11:58:43 +0100Tops21(~Tobias@dyndsl-091-249-082-219.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2021-02-10 11:59:27 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-10 12:00:31 +0100fendor(~fendor@91.141.1.179.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-02-10 12:01:00 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-10 12:01:12 +0100 <olligobber> no?
2021-02-10 12:01:24 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-02-10 12:02:30 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-02-10 12:02:30 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-10 12:02:40 +0100 <olligobber> ah got it, fmap concat . sequenceA
2021-02-10 12:03:03 +0100 <Rembane> :t fmap concat . sequenceA
2021-02-10 12:03:04 +0100 <lambdabot> (Traversable t, Applicative f) => t (f [a]) -> f [a]
2021-02-10 12:03:04 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-02-10 12:06:18 +0100 <Rembane> I thought mapM could be used instead, which is why I did the type lookup. I was wrong. :)
2021-02-10 12:06:26 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 12:07:48 +0100 <ski> @type foldr (liftA2 (++)) (pure [])
2021-02-10 12:07:49 +0100 <lambdabot> (Foldable t, Applicative f) => t (f [a]) -> f [a]
2021-02-10 12:08:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-10 12:09:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 12:09:30 +0100darjeeling_(~darjeelin@122.245.216.78)
2021-02-10 12:09:44 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 12:09:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:11:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 12:13:24 +0100kuribas(~user@ptr-25vy0i7bgyugf65b17d.18120a2.ip6.access.telenet.be)
2021-02-10 12:14:31 +0100rfc08x001(~quassel@183.215.50.227)
2021-02-10 12:15:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-10 12:15:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:20:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-10 12:20:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:23:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 12:25:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-10 12:26:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:28:19 +0100 <olligobber> so now I have a Q [Dec], how do I use it?
2021-02-10 12:28:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 12:30:09 +0100 <olligobber> I want to export the definitions...
2021-02-10 12:31:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-10 12:32:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:35:35 +0100sMuNiX(~sMuNiX@204.48.76.179)
2021-02-10 12:35:45 +0100 <olligobber> I guess I can just export an Int -> Int -> Exp and require anyone using it to $() it
2021-02-10 12:35:52 +0100lkurusa_(~lkurusa@209.250.237.122) (Quit: leaving)
2021-02-10 12:36:01 +0100 <olligobber> I guess I can just export an Int -> Int -> Q Exp and require anyone using it to $() it
2021-02-10 12:36:03 +0100lkurusa(~lkurusa@fedora/Levex)
2021-02-10 12:36:09 +0100 <olligobber> oops forgot you can't edit messages on irc
2021-02-10 12:36:48 +0100knupfer(~Thunderbi@dynamic-046-114-145-007.46.114.pool.telefonica.de)
2021-02-10 12:37:01 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-02-10 12:37:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-10 12:38:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:38:15 +0100rfc08x001(~quassel@183.215.50.227) ("https://quassel-irc.org - Chat comfortably. Anywhere.")
2021-02-10 12:38:35 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-10 12:39:47 +0100xff0x(~xff0x@2001:1a81:5205:c800:b3d4:a0d9:be65:9c7a) (Ping timeout: 260 seconds)
2021-02-10 12:40:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 12:40:34 +0100xff0x(~xff0x@2001:1a81:5205:c800:6913:5209:495:1378)
2021-02-10 12:41:28 +0100Rudd0(~Rudd0@185.189.115.103) (Remote host closed the connection)
2021-02-10 12:43:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-10 12:43:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:44:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 12:46:52 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-10 12:47:30 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-10 12:48:24 +0100tvrsky(~tvrsky@2804:108c:c989:8901:d844:7f99:9fe0:d997)
2021-02-10 12:48:50 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-02-10 12:48:59 +0100tvrsky(~tvrsky@2804:108c:c989:8901:d844:7f99:9fe0:d997) (Client Quit)
2021-02-10 12:49:06 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-02-10 12:49:45 +0100acidjnk_new(~acidjnk@p200300d0c722c490f89e83442ea0b11b.dip0.t-ipconnect.de)
2021-02-10 12:51:57 +0100sMuNiX(~sMuNiX@204.48.76.179) (Read error: Connection reset by peer)
2021-02-10 12:52:05 +0100dosjt(~user@84.122.202.215.dyn.user.ono.com) (Ping timeout: 240 seconds)
2021-02-10 12:52:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 12:53:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-10 12:54:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 12:56:22 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 12:56:26 +0100Arokh21(~Arokh@42-3-101-162.static.netvigator.com)
2021-02-10 12:56:26 +0100Arokh21(~Arokh@42-3-101-162.static.netvigator.com) (Connection closed)
2021-02-10 12:56:37 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds)
2021-02-10 12:57:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Ping timeout: 260 seconds)
2021-02-10 12:57:24 +0100 <dminuoso> olligobber: You cant add exports in template haskell, sadly.
2021-02-10 12:57:53 +0100 <olligobber> right, but I did manage to get the functions that the template defines at the top level so I can export them
2021-02-10 12:57:58 +0100 <dminuoso> olligobber: The usual trick is to have a separate module, in which you have no export list (such that the module exports everything). This is what you'd do in lens th for example.
2021-02-10 12:58:09 +0100 <olligobber> ooh, good idea
2021-02-10 12:58:37 +0100toast52(97c0a219@gateway/web/cgi-irc/kiwiirc.com/ip.151.192.162.25) (Quit: Connection closed)
2021-02-10 12:58:53 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-02-10 12:59:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-10 13:00:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 13:00:06 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-02-10 13:01:09 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 13:01:13 +0100JamesR10(~JamesR@WGPON-39134-178.wateen.net)
2021-02-10 13:01:13 +0100JamesR10(~JamesR@WGPON-39134-178.wateen.net) (Connection closed)
2021-02-10 13:02:33 +0100dunj3(~dunj3@2001:16b8:30fe:700:8bce:3ef:2afa:9efd)
2021-02-10 13:11:23 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Quit: ZNC 1.7.5 - https://znc.in)
2021-02-10 13:11:33 +0100denisse_(~spaceCat@gateway/tor-sasl/alephzer0)
2021-02-10 13:13:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 13:14:17 +0100clog(~nef@bespin.org) (Ping timeout: 265 seconds)
2021-02-10 13:14:25 +0100Guest23586(~seemtav3@bcde0474.skybroadband.com) (Read error: Connection reset by peer)
2021-02-10 13:15:02 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: leaving)
2021-02-10 13:15:30 +0100Feuermagier_(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-02-10 13:15:53 +0100 <olligobber> yay my first template haskell worked!
2021-02-10 13:16:13 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Read error: Connection reset by peer)
2021-02-10 13:18:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 13:19:28 +0100pera(~pera@unaffiliated/pera) (Quit: leaving)
2021-02-10 13:20:14 +0100Feuermagier_(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Client Quit)
2021-02-10 13:20:24 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6)
2021-02-10 13:22:11 +0100plutoniix(~q@184.82.197.182) (Quit: Leaving)
2021-02-10 13:22:41 +0100haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 256 seconds)
2021-02-10 13:23:28 +0100haritz(~hrtz@62.3.70.206)
2021-02-10 13:23:28 +0100haritz(~hrtz@62.3.70.206) (Changing host)
2021-02-10 13:23:28 +0100haritz(~hrtz@unaffiliated/haritz)
2021-02-10 13:24:20 +0100dosjt(~user@84.122.202.215.dyn.user.ono.com)
2021-02-10 13:24:20 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-10 13:27:33 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 264 seconds)
2021-02-10 13:28:35 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com)
2021-02-10 13:30:19 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 13:32:23 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-10 13:33:24 +0100dosjt(~user@84.122.202.215.dyn.user.ono.com) (Remote host closed the connection)
2021-02-10 13:33:40 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 13:34:44 +0100viluon(uid453725@gateway/web/irccloud.com/x-ggbctwutbiutwlfs)
2021-02-10 13:35:44 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 13:38:49 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr)
2021-02-10 13:39:17 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-10 13:41:41 +0100 <olligobber> and my second template haskell used all my ram: https://gist.github.com/olligobber/c97e9c97a7a5c0a4224506c67491feda
2021-02-10 13:45:55 +0100 <merijn> olligobber: ಠ_ಠ
2021-02-10 13:46:27 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-10 13:46:30 +0100 <olligobber> I had to try it
2021-02-10 13:46:38 +0100 <olligobber> I expected a stack overflow tbh
2021-02-10 13:46:48 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-10 13:46:49 +0100 <olligobber> or something
2021-02-10 13:46:52 +0100 <merijn> Why?
2021-02-10 13:47:19 +0100 <olligobber> that's what happens if you have an undecidable instance that takes infinite time to solve
2021-02-10 13:47:32 +0100 <olligobber> so I just assumed haskell didn't ever infinite loop at compile time
2021-02-10 13:47:44 +0100 <dminuoso> This is almost, but not quite, entirely unlike undecidable instances.
2021-02-10 13:47:45 +0100 <merijn> olligobber: Technically it doesn't overflow
2021-02-10 13:47:57 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-10 13:47:58 +0100 <dminuoso> olligobber: TH is just Haskell code.
2021-02-10 13:48:10 +0100 <merijn> olligobber: GHC's undecidable instances has a timer (max number of steps) after which it goes "eh...this is taking too long"
2021-02-10 13:48:21 +0100 <merijn> olligobber: To prevent it from hanging indefinitely
2021-02-10 13:48:28 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-10 13:48:29 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 13:48:44 +0100 <dminuoso> olligobber: Think of TH as hooking right into the parsing stage of GHC. When GHC parses a TH splice, it *halts* the compiler, and then executes your arbitrary haskell code, and then grafts your splices back into the AST, and then the compiler resumes.
2021-02-10 13:48:45 +0100 <merijn> olligobber: Template Haskell otoh is "just Haskell code" except it's output is "a Haskell AST that gets compiled"
2021-02-10 13:49:00 +0100 <dminuoso> olligobber: Note here the "execute arbitarary haskell code" - it's just a haskell program!
2021-02-10 13:49:07 +0100 <dminuoso> Ignore the fact that this happens *during* GHC.
2021-02-10 13:49:13 +0100 <olligobber> cool
2021-02-10 13:49:58 +0100 <dminuoso> (Perhaps one way to think of it, is as a sort of compiler plugin)
2021-02-10 13:50:10 +0100 <merijn> olligobber: This also means you can do (stupid) things like "execute network/filesystem IO to fetch stuff during compile time"
2021-02-10 13:50:42 +0100 <olligobber> oh god
2021-02-10 13:50:59 +0100 <merijn> olligobber: It has it's uses
2021-02-10 13:51:04 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2021-02-10 13:51:15 +0100 <merijn> olligobber: For example, you can read a CSV file from disk and generate code from that
2021-02-10 13:51:32 +0100 <dminuoso> In my opinion, you're better off with haskell-src-exts for such a use case.
2021-02-10 13:51:51 +0100 <dminuoso> I'd *love* if I could ban IO from TH
2021-02-10 13:51:57 +0100 <merijn> olligobber: Template Haskell is really just "what if our macro's where just arbitrary Haskell code?"
2021-02-10 13:52:15 +0100 <olligobber> it's so cool
2021-02-10 13:52:16 +0100 <merijn> Like, why write hacky stuff with the C preprocessor when you can just write hacky stuff in Haskell!
2021-02-10 13:52:29 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-02-10 13:52:29 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-02-10 13:52:34 +0100 <merijn> olligobber: otoh, you can also do neat tricks like:
2021-02-10 13:52:38 +0100 <merijn> @hackage validated-literals
2021-02-10 13:52:38 +0100 <lambdabot> https://hackage.haskell.org/package/validated-literals
2021-02-10 13:52:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 13:53:32 +0100 <merijn> There's some examples in the github repo
2021-02-10 13:53:47 +0100 <maralorn> Is there something like https://www.conventionalcommits.org/en/v1.0.0/ which is more tailored to Haskell projects/ PVP?
2021-02-10 13:54:00 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com) (Quit: Leaving)
2021-02-10 13:54:07 +0100 <merijn> Probably not?
2021-02-10 13:54:25 +0100bitmagie(~Thunderbi@200116b8066f6c004484f895f0c226ae.dip.versatel-1u1.de)
2021-02-10 13:54:27 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com)
2021-02-10 13:54:27 +0100CMCDragonkai1(~Thunderbi@124.19.3.250)
2021-02-10 13:55:14 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-02-10 13:55:54 +0100 <olligobber> merijn, that's also vv cool
2021-02-10 13:57:25 +0100dhil(~dhil@80.208.56.181)
2021-02-10 13:57:48 +0100_linker_(~linker@2a02:a31a:a045:3500:e120:4743:5ef2:908d)
2021-02-10 13:59:15 +0100MasseR(~MasseR@51.15.143.128)
2021-02-10 13:59:57 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds)
2021-02-10 14:04:07 +0100urodna(~urodna@unaffiliated/urodna)
2021-02-10 14:05:08 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 14:05:52 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-02-10 14:05:52 +0100mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-02-10 14:05:52 +0100mouseghost(~draco@wikipedia/desperek)
2021-02-10 14:06:02 +0100bitmagie(~Thunderbi@200116b8066f6c004484f895f0c226ae.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-10 14:07:11 +0100raynold(~raynold@222.107.5.247)
2021-02-10 14:07:31 +0100raynold(~raynold@222.107.5.247) (Remote host closed the connection)
2021-02-10 14:08:24 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com)
2021-02-10 14:08:30 +0100jackmcbarn(~jackmcbar@183.100.216.224)
2021-02-10 14:08:34 +0100 <jackmcbarn> /!\ this channel has moved to ##hamradio /!\
2021-02-10 14:08:43 +0100jackmcbarn(~jackmcbar@183.100.216.224) (Remote host closed the connection)
2021-02-10 14:10:07 +0100 <merijn> I wonder what kinda thing that's trying to exploit...
2021-02-10 14:11:08 +0100Guest62288(~mnemonic@190.197.98.207)
2021-02-10 14:11:13 +0100ablackackJl(~ablackack@keysrv2.srv.q.p80.net)
2021-02-10 14:11:14 +0100 <Guest62288> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:11:14 +0100Guest62288(~mnemonic@190.197.98.207) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:11:23 +0100 <ablackackJl> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:11:23 +0100ablackackJl(~ablackack@keysrv2.srv.q.p80.net) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:11:44 +0100mz`YT(~mz`@d146.sub5.net78.udm.net)
2021-02-10 14:11:50 +0100 <mz`YT> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:11:50 +0100mz`YT(~mz`@d146.sub5.net78.udm.net) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:11:53 +0100 <nshepperd> :S
2021-02-10 14:12:02 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-10 14:12:33 +0100 <yushyin> Sigyn <3
2021-02-10 14:12:35 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:12:35 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-odqnhcrgjojhorzq)
2021-02-10 14:12:58 +0100meffete(~meffe@91.151.204.76)
2021-02-10 14:13:07 +0100 <meffete> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:13:07 +0100meffete(~meffe@91.151.204.76) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:13:52 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-02-10 14:14:02 +0100Me4502ZK(~Me4502@113-61-188-114.veetime.com)
2021-02-10 14:14:06 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-02-10 14:14:09 +0100 <Me4502ZK> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:14:09 +0100Me4502ZK(~Me4502@113-61-188-114.veetime.com) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:14:17 +0100Bock(~Bock@41.60.113.6)
2021-02-10 14:14:21 +0100Bock(~Bock@41.60.113.6) (Remote host closed the connection)
2021-02-10 14:14:22 +0100GorillaWarfarezR(~GorillaWa@113.252.119.139)
2021-02-10 14:14:26 +0100 <nshepperd> are they just expecting people to believe the messages...?
2021-02-10 14:14:31 +0100 <GorillaWarfarezR> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:14:32 +0100GorillaWarfarezR(~GorillaWa@113.252.119.139) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:14:36 +0100ukari(~ukari@unaffiliated/ukari)
2021-02-10 14:15:09 +0100 <olligobber> I've heard of some spammers pretending to advertise a channel so people get angry at the channel for advertising
2021-02-10 14:15:25 +0100justynsXa(~justyns@1-65-175-007.static.netvigator.com)
2021-02-10 14:15:28 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-10 14:15:31 +0100 <justynsXa> /!\ this channel has moved to #nyymit /!\
2021-02-10 14:15:31 +0100justynsXa(~justyns@1-65-175-007.static.netvigator.com) (Killed (Sigyn (Spam is off topic on freenode.)))
2021-02-10 14:15:53 +0100 <nshepperd> that's a big brain move
2021-02-10 14:16:54 +0100 <geekosaur> they're hitting every channel apparently
2021-02-10 14:18:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 14:18:08 +0100Tario(~Tario@201.192.165.173)
2021-02-10 14:18:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 14:19:09 +0100 <olligobber> I'm in a couple they aren't hitting
2021-02-10 14:21:10 +0100 <nshepperd> it's nice to be unlisted
2021-02-10 14:21:47 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-10 14:22:10 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-02-10 14:22:34 +0100ukari(~ukari@unaffiliated/ukari)
2021-02-10 14:23:21 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-10 14:23:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-02-10 14:24:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 14:25:07 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 14:25:19 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-10 14:25:46 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-10 14:26:22 +0100Franciman(~francesco@host-82-49-79-189.retail.telecomitalia.it)
2021-02-10 14:27:04 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-02-10 14:27:52 +0100 <merijn> They are
2021-02-10 14:28:38 +0100 <merijn> freenode has been surprisingly script kiddie free the past year
2021-02-10 14:29:01 +0100 <dminuoso> Didn't we lose like half the channel last year?
2021-02-10 14:29:05 +0100 <dminuoso> Or was that the year before?
2021-02-10 14:29:28 +0100 <dminuoso> We used to have 1600 people, if memory serves right
2021-02-10 14:29:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 14:30:02 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 14:30:12 +0100 <geekosaur> we were around 1600 as recently as last week; not sure what happened
2021-02-10 14:30:49 +0100 <kuribas> they moved to rust?
2021-02-10 14:34:30 +0100 <Franciman> lulz
2021-02-10 14:35:07 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 14:35:23 +0100catt(~r@31.127.31.37) (Remote host closed the connection)
2021-02-10 14:37:58 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-10 14:41:40 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Ping timeout (120 seconds))
2021-02-10 14:41:58 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-10 14:42:18 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 14:44:12 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 14:44:16 +0100funkatron(~funkatron@185.204.1.185)
2021-02-10 14:44:24 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-10 14:44:40 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-10 14:46:51 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 14:47:21 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-jugdutpahsvcqbpy)
2021-02-10 14:47:26 +0100st8less(~st8less@2603:a060:11fd:0:7651:8270:cc:6f4e)
2021-02-10 14:47:49 +0100alx741(~alx741@186.178.110.250)
2021-02-10 14:48:18 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 256 seconds)
2021-02-10 14:49:53 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 14:51:19 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:1c59:a847:18b4:8e49)
2021-02-10 14:54:25 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 240 seconds)
2021-02-10 14:57:06 +0100carlomagno(~cararell@148.87.23.11) (Remote host closed the connection)
2021-02-10 14:58:12 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-ymwpgafbubcnodvb)
2021-02-10 14:58:24 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:c4ad:290a:c4c0:717b)
2021-02-10 14:58:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-02-10 14:59:54 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-10 15:00:31 +0100sMuNiX(~sMuNiX@204.48.76.179)
2021-02-10 15:00:32 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 15:01:31 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-10 15:02:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 15:02:50 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:8dc5:1d88:1b78:e5ab:dd70) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 15:03:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 15:03:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-10 15:03:02 +0100xff0x(~xff0x@2001:1a81:5205:c800:6913:5209:495:1378) (Ping timeout: 265 seconds)
2021-02-10 15:03:04 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2021-02-10 15:03:47 +0100xff0x(~xff0x@2001:1a81:5205:c800:72c4:a8a9:63c2:ae70)
2021-02-10 15:04:51 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-02-10 15:05:40 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-10 15:08:01 +0100 <Axman6> maybe MAtrix went offline again...
2021-02-10 15:08:07 +0100 <Axman6> Matrix*
2021-02-10 15:08:33 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com)
2021-02-10 15:10:56 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-10 15:11:22 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-02-10 15:12:01 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 265 seconds)
2021-02-10 15:12:47 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 15:13:21 +0100 <tomsmeding> we're just above 1000 now, and #haskell has had around the same number of nicks every time I looked the last half year or so
2021-02-10 15:13:40 +0100 <tomsmeding> geekosaur: if we had 1600 recently it must have been temporary
2021-02-10 15:14:53 +0100 <merijn> No, there was a long period of >1600 a few years back
2021-02-10 15:15:13 +0100 <merijn> but there was a netsplit or something that lost a bunch of lurkers
2021-02-10 15:15:49 +0100 <geekosaur> wasn't that when the old fn admin's account was compromised and they redirected a bunch of channels into other channels?
2021-02-10 15:15:52 +0100dxld(~dxld@rush.pub.dxld.at)
2021-02-10 15:18:02 +0100carlomagno(~cararell@148.87.23.11)
2021-02-10 15:18:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 15:19:09 +0100seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-02-10 15:19:50 +0100ericsagn1(~ericsagne@2405:6580:0:5100:a2d2:896d:399a:a417) (Ping timeout: 264 seconds)
2021-02-10 15:20:08 +0100seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-02-10 15:21:44 +0100timCF(~i.tkachuk@m91-129-101-103.cust.tele2.ee)
2021-02-10 15:22:38 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:8dc5:1d88:1b78:e5ab:dd70)
2021-02-10 15:23:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 15:24:49 +0100Tspoon(tlarjoma@hilla.kapsi.fi) (K-Lined)
2021-02-10 15:25:14 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 268 seconds)
2021-02-10 15:27:30 +0100 <timCF> Hello haskellers! I have a beginner generic question about applicative composition of different monads. For example, I have a 2 functions `getA :: Text -> m (Either Err A)` and `getB :: Text -> m (Either Err B)` and I want to compose it into something of type `m (Either Err (A, B))`. My first instinct is to use applicative, something like `(,) <$> getA x <*> getB y` but obviously I can't because of `m`. I
2021-02-10 15:27:31 +0100sMuNiX(~sMuNiX@204.48.76.179) (Read error: Connection reset by peer)
2021-02-10 15:27:36 +0100 <timCF> don't like do-notation, looks bulky. What are the other options?
2021-02-10 15:28:50 +0100 <kuribas> timCF: you can use ExceptT to compose them.
2021-02-10 15:28:53 +0100 <kuribas> :t ExceptT
2021-02-10 15:28:54 +0100 <lambdabot> m (Either e a) -> ExceptT e m a
2021-02-10 15:29:16 +0100 <dminuoso> runExceptT $ (,) <$> ExceptT (getA t1) <*> ExceptT (getB t2)
2021-02-10 15:29:55 +0100 <dminuoso> Or, just use do-notation. I might prefer the later if its just an odd instance.
2021-02-10 15:30:17 +0100son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-02-10 15:30:18 +0100 <kuribas> or liftA2 (liftA2 (,))
2021-02-10 15:30:21 +0100 <opqdonut> how about `liftA2 (,) <$> getA x <*> getB y` for that double-applicative-goodness
2021-02-10 15:30:30 +0100 <kuribas> :t liftA2 (liftA2 (,))
2021-02-10 15:30:30 +0100 <opqdonut> or what kuribas said
2021-02-10 15:30:31 +0100 <lambdabot> (Applicative f1, Applicative f2) => f1 (f2 a) -> f1 (f2 b) -> f1 (f2 (a, b))
2021-02-10 15:30:49 +0100 <opqdonut> the combination of liftA2 and <$> tickles my fancy somehow
2021-02-10 15:30:51 +0100 <dminuoso> There comes a point where trying to be smart defeats readability
2021-02-10 15:30:56 +0100Guest_61(590a6856@86.89-10-104.nextgentel.com)
2021-02-10 15:31:02 +0100 <dminuoso> You will write it, and not understand what this does a month from now.
2021-02-10 15:31:12 +0100 <dminuoso> At least with runExceptT/ExceptT it's clear
2021-02-10 15:31:18 +0100Guest_61(590a6856@86.89-10-104.nextgentel.com) (Client Quit)
2021-02-10 15:31:26 +0100ericsagn1(~ericsagne@2405:6580:0:5100:5542:a02b:6ef4:719e)
2021-02-10 15:32:01 +0100 <kuribas> nested liftA2 will apply the function nested, that seems quite clear.
2021-02-10 15:32:03 +0100 <dminuoso> If you intermix liftA2 and <$>/<*>, it's clear that you're tapping into two separate applicative instances, and that requires much more mental stack and context awareness to know which instances are being used.
2021-02-10 15:32:07 +0100 <kuribas> And if you have a good editor you can see the types.
2021-02-10 15:32:14 +0100 <dminuoso> It's not quite clear, because you have to *know* the types involved.
2021-02-10 15:32:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 15:32:35 +0100 <dminuoso> But then again I generally dislike liftA2
2021-02-10 15:32:39 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 15:32:44 +0100 <kuribas> It depends on the context...
2021-02-10 15:33:07 +0100 <dminuoso> Also, if it *needs* editor integration to be readable, then it's not good code style
2021-02-10 15:33:19 +0100 <kuribas> A bit of verbosity can't hurt...
2021-02-10 15:33:46 +0100 <kuribas> dminuoso: I am quite grateful for hackage showing types now...
2021-02-10 15:33:50 +0100 <kuribas> in the source code I mean.
2021-02-10 15:34:13 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-10 15:35:12 +0100 <timCF> Cool, I'll take a look guys, thank! And do you know any "eager" version of "applicative"? Ideally I want to get `m (Either [Err] (A, B))` from my example, where left part of `Either` collects all the errors from expressions
2021-02-10 15:35:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 15:35:55 +0100 <kuribas> timCF: collecting errors has nothing to do with lazyness.
2021-02-10 15:36:05 +0100__minoru__shirae(~shiraeesh@109.166.58.250) (Ping timeout: 240 seconds)
2021-02-10 15:36:22 +0100 <geekosaur> that's not up to laziness or up to Applicative, it's up to replacements for Either. which do exist.
2021-02-10 15:36:23 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-10 15:36:29 +0100 <timCF> well, normal applicative is kinda "lazy" - it stops argument evaluation after 1st error occurs
2021-02-10 15:36:32 +0100 <dminuoso> timCF: Validation
2021-02-10 15:36:35 +0100 <dminuoso> https://hackage.haskell.org/package/either-5.0.1.1/docs/Data-Either-Validation.html
2021-02-10 15:36:55 +0100 <geekosaur> right, that's the one I was trying to recall. there are also fancier ones
2021-02-10 15:37:22 +0100 <kuribas> you can use partitionEithers
2021-02-10 15:37:33 +0100 <kuribas> there is These also...
2021-02-10 15:37:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-02-10 15:37:46 +0100 <dminuoso> Well, for These the monad transformer is ChronicleT, which is probably what geekosaur meant
2021-02-10 15:38:02 +0100 <timCF> kuribas: yes, I'm currently using it with combination of do-notation
2021-02-10 15:38:21 +0100 <timCF> dminuoso: thanks, I'll take a look to the lib
2021-02-10 15:38:59 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2021-02-10 15:38:59 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Client Quit)
2021-02-10 15:39:48 +0100 <olligobber> :t getCompose . liftA2 (,) . Compose
2021-02-10 15:39:50 +0100 <lambdabot> error:
2021-02-10 15:39:50 +0100 <lambdabot> Variable not in scope: getCompose :: (f0 b0 -> f0 (a0, b0)) -> c
2021-02-10 15:40:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 15:40:37 +0100 <olligobber> wait that won't work
2021-02-10 15:41:03 +0100 <kuribas> olligobber: you cannot compose monads
2021-02-10 15:41:13 +0100 <kuribas> olligobber: you need to use a monad transformer
2021-02-10 15:41:13 +0100 <olligobber> you can compose applicatives though
2021-02-10 15:41:27 +0100 <olligobber> right?
2021-02-10 15:41:30 +0100 <dminuoso> Yes.
2021-02-10 15:41:42 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 3.0)
2021-02-10 15:41:45 +0100 <dminuoso> olligobber: Or to be more precise, you can not compose *arbitrary* monads.
2021-02-10 15:42:22 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-02-10 15:42:43 +0100 <dminuoso> You can compose exactly those, for which you have a particular `swap :: (Monad m, Monad n) :: m (n (m (n a))) -> m (m (n (n a)))` such that using this monad diagrams commute
2021-02-10 15:42:48 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-10 15:43:06 +0100 <dminuoso> the type signature is not accurate, Im not sure how to describe it well.
2021-02-10 15:43:32 +0100 <olligobber> `swap :: (Monad m, Monad n) => m (n (m (n a))) -> m (m (n (n a)))` ?
2021-02-10 15:43:35 +0100 <dminuoso> Ah I guess `swap :: M (N (M (N a))) -> M (M (N (N a)))` for some appropriate choices of M and N
2021-02-10 15:43:41 +0100 <dminuoso> That is better
2021-02-10 15:43:42 +0100 <olligobber> yah
2021-02-10 15:43:53 +0100average(uid473595@gateway/web/irccloud.com/x-ivwqjzfyrxxehqwh) (Quit: Connection closed for inactivity)
2021-02-10 15:43:56 +0100 <dminuoso> So whenever you have such a swap, you can compose N and M
2021-02-10 15:44:07 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2021-02-10 15:44:09 +0100 <dminuoso> (Assuming monad laws are satisfied with it)
2021-02-10 15:44:16 +0100 <olligobber> anyway, I wasn't even doing anything that required a monad instance of Compose
2021-02-10 15:44:32 +0100 <olligobber> :t liftA2
2021-02-10 15:44:33 +0100 <lambdabot> Applicative f => (a -> b -> c) -> f a -> f b -> f c
2021-02-10 15:44:46 +0100 <olligobber> :t liftM2
2021-02-10 15:44:48 +0100 <lambdabot> Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r
2021-02-10 15:45:33 +0100raym(~ray@45.64.220.157) (Quit: leaving)
2021-02-10 15:45:48 +0100raym(~ray@45.64.220.157)
2021-02-10 15:46:31 +0100 <olligobber> :m Data.Functor.Compose
2021-02-10 15:46:36 +0100 <olligobber> no?
2021-02-10 15:46:50 +0100 <olligobber> > import Data.Functor.Compose
2021-02-10 15:46:53 +0100 <lambdabot> <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘import’
2021-02-10 15:46:56 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-10 15:46:57 +0100 <olligobber> :(
2021-02-10 15:48:57 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:1c59:a847:18b4:8e49) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 15:49:09 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 264 seconds)
2021-02-10 15:49:27 +0100 <olligobber> \x y -> getCompose $ liftA2 (,) (Compose x) (Compose y) :: (Applicative f, Applicative g) => f (g a) -> f (g b) -> f (g (a, b))
2021-02-10 15:49:38 +0100 <geekosaur> olligobbler, use yahb
2021-02-10 15:49:44 +0100 <olligobber> @pf \x y -> getCompose $ liftA2 (,) (Compose x) (Compose y)
2021-02-10 15:49:44 +0100 <lambdabot> Maybe you meant: pl bf
2021-02-10 15:50:05 +0100 <olligobber> I give up
2021-02-10 15:50:06 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 15:50:07 +0100 <olligobber> goodnight
2021-02-10 15:50:14 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-02-10 15:51:00 +0100Major_Biscuit(~Major_Bis@x065156.citg-m.tudelft.nl)
2021-02-10 15:51:03 +0100 <geekosaur> % import Data.Functor.Compose
2021-02-10 15:51:04 +0100 <yahb> geekosaur:
2021-02-10 15:53:27 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-10 15:53:42 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 15:54:27 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-02-10 15:54:33 +0100albert_42(~albert_42@2a02:8108:1100:16d8:e03d:e73d:6263:1e48)
2021-02-10 15:54:38 +0100albert_42(~albert_42@2a02:8108:1100:16d8:e03d:e73d:6263:1e48) (Client Quit)
2021-02-10 15:54:57 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 272 seconds)
2021-02-10 15:55:33 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2021-02-10 15:55:37 +0100fendor_fendor
2021-02-10 15:56:05 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 15:57:49 +0100__minoru__shirae(~shiraeesh@109.166.58.250)
2021-02-10 15:58:15 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 15:59:34 +0100cmcma20(~cmcma20@l37-192-2-125.novotelecom.ru) (Quit: leaving)
2021-02-10 16:02:01 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-02-10 16:02:19 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-02-10 16:05:00 +0100swater(bouhier200@perso.iiens.net) (Quit: leaving)
2021-02-10 16:05:19 +0100swater(bouhier200@perso.iiens.net)
2021-02-10 16:06:41 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-02-10 16:08:03 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-10 16:08:09 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-02-10 16:10:23 +0100 <[exa]> Are there any good/practical/widely used monad examples where >> is defined differently than >>=, e.g. for optimization reasons?
2021-02-10 16:10:29 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 16:12:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 16:14:01 +0100 <dminuoso> [exa]: []
2021-02-10 16:14:25 +0100 <dminuoso> Oh wait
2021-02-10 16:14:34 +0100 <dminuoso> I misread
2021-02-10 16:15:46 +0100 <[exa]> like, I could ask more precisely....what are the monads where it's useful to explicitly define >> rather than relying on `a >> b = a >>= const b`
2021-02-10 16:17:16 +0100 <kuribas> I'd think ghc would be smart enough to inline it...
2021-02-10 16:17:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-10 16:17:38 +0100 <kuribas> I cannot think of a monad where that's not trivial...
2021-02-10 16:18:16 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2021-02-10 16:19:05 +0100ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Remote host closed the connection)
2021-02-10 16:20:20 +0100ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2021-02-10 16:21:03 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-02-10 16:22:40 +0100 <[exa]> hm, good idea-- perhaps some parts where it's actually not trivial to inline it, like builtins or a FFI call of a function that has a resultless variant
2021-02-10 16:23:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 16:24:39 +0100Jd007(~Jd007@162.156.11.151)
2021-02-10 16:25:11 +0100 <lortabac> isn't an ad-hoc (>>) **always** an optimization? (because it lets you save a lambda)
2021-02-10 16:25:59 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2021-02-10 16:26:52 +0100conal(~conal@64.71.133.70)
2021-02-10 16:27:03 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net)
2021-02-10 16:27:11 +0100 <merijn> lortabac: You're assuming that the lambda isn't trivially optimised away
2021-02-10 16:27:17 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-02-10 16:27:18 +0100ClaudiusMaximus(~claude@191.123.199.146.dyn.plus.net) (Changing host)
2021-02-10 16:27:18 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-02-10 16:28:07 +0100 <merijn> [exa]: Actually, I think I see a case where it might optimise
2021-02-10 16:28:21 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 16:28:25 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-02-10 16:28:54 +0100 <merijn> [exa]: Consider "data Tree a = Leaf a | Branch (Tree a) (Tree a)" where the monad instance basically replace every Leaf with a new sub tree
2021-02-10 16:29:46 +0100 <merijn> i.e. "return x = Leaf x" and "Branch b1 b2 >>= f = Branch (b1 >>= f) (b2 >>= f); Leaf x >>= f = f x"
2021-02-10 16:29:52 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-02-10 16:30:08 +0100 <merijn> [exa]: With >>= you end up computing a new, unique subtree for every leaf
2021-02-10 16:30:42 +0100 <merijn> With >> you can optimise, compute the right-hand once and share it across all leaves
2021-02-10 16:30:53 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-02-10 16:31:03 +0100 <merijn> Although I guess "const b" has the same effect, I guess...
2021-02-10 16:31:05 +0100 <merijn> hmm
2021-02-10 16:31:28 +0100 <merijn> I'm out of ideas, then! :p
2021-02-10 16:31:31 +0100 <lortabac> merijn: I asked because I don't know
2021-02-10 16:32:08 +0100 <lortabac> which optimization makes the lambda disappear?
2021-02-10 16:32:10 +0100 <merijn> lortabac: I mean, the default implementation of (>>) is just "a >> b = a >>= \_ -> b"
2021-02-10 16:32:20 +0100 <kuribas> lortabac: I think (>>) is more to save some typing...
2021-02-10 16:32:30 +0100 <merijn> lortabac: So unless someone defines a custom >> then >>= isn't an optimisation at all :p
2021-02-10 16:32:43 +0100 <merijn> eh, s/>>=/>>
2021-02-10 16:33:00 +0100 <[exa]> yeah it seems that proper laziness makes it equivalent in all cases that don't contain something totaly unhaskellish
2021-02-10 16:33:25 +0100 <merijn> lortabac: If >>= is inlined you can probably eliminate the lambda because the application is fixed
2021-02-10 16:34:46 +0100 <tomsmeding> what if your monad is unknown, i.e. you get the methods via a dictionary?
2021-02-10 16:36:07 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-10 16:36:18 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-02-10 16:36:38 +0100 <tomsmeding> but then with laziness, the right-hand side will still only be computed once because of the const
2021-02-10 16:38:00 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-10 16:38:14 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 16:40:19 +0100Wuzzy(~Wuzzy@p57a2f142.dip0.t-ipconnect.de)
2021-02-10 16:40:37 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 16:40:42 +0100lassulus(~lassulus@NixOS/user/lassulus) (Quit: WeeChat 2.9)
2021-02-10 16:41:08 +0100lassulus(~lassulus@NixOS/user/lassulus)
2021-02-10 16:42:26 +0100st8less(~st8less@2603:a060:11fd:0:7651:8270:cc:6f4e) (Ping timeout: 240 seconds)
2021-02-10 16:44:37 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2021-02-10 16:46:05 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Quit: Leaving.)
2021-02-10 16:46:25 +0100CMCDragonkai1(~Thunderbi@124.19.3.250) (Ping timeout: 240 seconds)
2021-02-10 16:47:25 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-10 16:47:43 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de)
2021-02-10 16:47:47 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr)
2021-02-10 16:48:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f)
2021-02-10 16:48:55 +0100toorevitimirp(~tooreviti@117.182.180.8) (Remote host closed the connection)
2021-02-10 16:50:11 +0100nineonin_(~nineonine@50.216.62.2)
2021-02-10 16:51:33 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 16:52:39 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:1c59:a847:18b4:8e49)
2021-02-10 16:53:24 +0100nineonine(~nineonine@2604:3d08:7785:9600:6936:ff86:ddf8:5a0f) (Ping timeout: 240 seconds)
2021-02-10 16:54:55 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-10 16:57:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-10 16:58:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-02-10 16:59:25 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-02-10 16:59:41 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-10 17:00:03 +0100pythag76[m](pythag76ma@gateway/shell/matrix.org/x-iyceqchxadropdwc) (Quit: Idle for 30+ days)
2021-02-10 17:02:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 17:03:45 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-02-10 17:04:25 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-10 17:05:27 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-10 17:06:18 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-10 17:07:27 +0100deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-02-10 17:08:29 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-10 17:08:45 +0100darjeeling_(~darjeelin@122.245.216.78) (Ping timeout: 240 seconds)
2021-02-10 17:10:27 +0100deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-02-10 17:10:49 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-10 17:10:52 +0100deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-02-10 17:13:57 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-10 17:14:19 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-10 17:18:16 +0100__minoru__shirae(~shiraeesh@109.166.58.250) (Ping timeout: 240 seconds)
2021-02-10 17:19:42 +0100Rudd0(~Rudd0@185.189.115.108)
2021-02-10 17:21:01 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-02-10 17:22:11 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:8dc5:1d88:1b78:e5ab:dd70) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 17:23:20 +0100darjeeling_(~darjeelin@122.245.209.191)
2021-02-10 17:26:35 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 17:27:37 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-ymwpgafbubcnodvb) (Quit: Connection closed for inactivity)
2021-02-10 17:28:27 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-10 17:29:18 +0100niko(~niko@freenode/staff/ubuntu.member.niko) (Quit: Lost terminal)
2021-02-10 17:30:43 +0100forgottenone(~forgotten@176.42.19.18) (Quit: Konversation terminated!)
2021-02-10 17:31:24 +0100niko(~niko@freenode/staff/ubuntu.member.niko)
2021-02-10 17:32:35 +0100dunj3(~dunj3@2001:16b8:30fe:700:8bce:3ef:2afa:9efd) (Quit: Leaving)
2021-02-10 17:32:41 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-02-10 17:33:15 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 17:33:50 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de)
2021-02-10 17:35:07 +0100__minoru__shirae(~shiraeesh@109.166.58.250)
2021-02-10 17:36:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 17:37:44 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-02-10 17:38:09 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-10 17:38:18 +0100kiltzman(~k1ltzman@195.189.99.96) (Ping timeout: 256 seconds)
2021-02-10 17:38:26 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 264 seconds)
2021-02-10 17:38:32 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-02-10 17:38:48 +0100nshepperd21(~nshepperd@li364-218.members.linode.com)
2021-02-10 17:38:59 +0100nshepperd2(~nshepperd@li364-218.members.linode.com) (Read error: Connection reset by peer)
2021-02-10 17:38:59 +0100nshepperd21nshepperd2
2021-02-10 17:40:08 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-02-10 17:40:09 +0100statusfailed(~statusfai@statusfailed.com) (Ping timeout: 264 seconds)
2021-02-10 17:40:23 +0100statusfailed(~statusfai@statusfailed.com)
2021-02-10 17:40:41 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-10 17:40:50 +0100michalz(~user@185.246.204.54) (Ping timeout: 264 seconds)
2021-02-10 17:41:01 +0100kiltzman(~k1ltzman@195.189.99.96)
2021-02-10 17:41:06 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-02-10 17:42:19 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 17:42:29 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-10 17:42:47 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-02-10 17:45:48 +0100zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-02-10 17:47:26 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-10 17:47:31 +0100zaquest(~notzaques@5.128.210.178)
2021-02-10 17:47:47 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr)
2021-02-10 17:47:48 +0100j2t(~j2t@84.122.202.215.dyn.user.ono.com) (Quit: Leaving)
2021-02-10 17:50:42 +0100ph88^(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-02-10 17:50:44 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2021-02-10 17:52:05 +0100klardotsh(~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2021-02-10 17:52:50 +0100napping(~brandon@174-20-93-137.mpls.qwest.net)
2021-02-10 17:53:17 +0100deviantfero(~deviantfe@190.150.27.58) (Read error: Connection reset by peer)
2021-02-10 17:54:15 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-10 17:55:45 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-02-10 17:56:54 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-02-10 18:00:04 +0100klardotsh(~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net)
2021-02-10 18:03:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 18:07:56 +0100hiroaki(~hiroaki@2a02:908:4b18:8c40::b730)
2021-02-10 18:09:53 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 268 seconds)
2021-02-10 18:10:34 +0100xff0x(~xff0x@2001:1a81:5205:c800:72c4:a8a9:63c2:ae70) (Ping timeout: 265 seconds)
2021-02-10 18:10:36 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-10 18:11:04 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2021-02-10 18:11:07 +0100hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 256 seconds)
2021-02-10 18:11:08 +0100xff0x(~xff0x@2001:1a81:5205:c800:e675:4c3f:a213:be50)
2021-02-10 18:11:45 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 18:11:55 +0100timCF(~i.tkachuk@m91-129-101-103.cust.tele2.ee) (Quit: leaving)
2021-02-10 18:12:47 +0100conal(~conal@64.71.133.70)
2021-02-10 18:13:05 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-02-10 18:13:14 +0100ph88^(~ph88@2a02:8109:9e00:7e5c:90c5:cd54:af9d:fe90)
2021-02-10 18:13:56 +0100Igloo(~igloo@matrix.chaos.earth.li) (Ping timeout: 240 seconds)
2021-02-10 18:17:54 +0100Major_Biscuit(~Major_Bis@x065156.citg-m.tudelft.nl) (Ping timeout: 246 seconds)
2021-02-10 18:18:33 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-02-10 18:20:38 +0100hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-02-10 18:22:08 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-10 18:23:37 +0100borne(~fritjof@2001:638:708:30da:869e:36b5:4de6:58f) (Quit: WeeChat 3.0)
2021-02-10 18:24:48 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-10 18:25:42 +0100acidjnk_new(~acidjnk@p200300d0c722c490f89e83442ea0b11b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-10 18:26:08 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-10 18:27:09 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-malrnayvmzxcgqzv)
2021-02-10 18:30:07 +0100ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Ping timeout: 272 seconds)
2021-02-10 18:31:40 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-10 18:31:45 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2021-02-10 18:34:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Remote host closed the connection)
2021-02-10 18:36:20 +0100Igloo(~igloo@matrix.chaos.earth.li)
2021-02-10 18:43:39 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 18:45:52 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-10 18:46:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 18:47:21 +0100matijja(~matijja@193.77.181.208) (Ping timeout: 264 seconds)
2021-02-10 18:47:26 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-10 18:47:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr)
2021-02-10 18:48:39 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 18:49:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 18:53:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-02-10 18:53:55 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2021-02-10 18:54:42 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-02-10 18:54:42 +0100knupfer(~Thunderbi@dynamic-046-114-145-007.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2021-02-10 18:55:30 +0100average(uid473595@gateway/web/irccloud.com/x-wwtlzdwsplmuipsi)
2021-02-10 18:58:44 +0100rajivr(uid269651@gateway/web/irccloud.com/x-pyntiyxxzmvjyunk) (Quit: Connection closed for inactivity)
2021-02-10 19:00:01 +0100conal(~conal@64.71.133.70)
2021-02-10 19:01:41 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2021-02-10 19:05:51 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-02-10 19:06:31 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Remote host closed the connection)
2021-02-10 19:07:05 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2021-02-10 19:07:21 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 19:07:41 +0100ubert(~Thunderbi@p200300ecdf25d9c2e6b318fffe838f33.dip0.t-ipconnect.de)
2021-02-10 19:07:49 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-02-10 19:08:58 +0100 <infinisil> Hey, I'm having a couple compilation issues due to cabal resolving the base16-bytestring package to version 1.x. I want to try making it resolve to version 0.x instead
2021-02-10 19:09:28 +0100 <infinisil> However, base16-bytestring isn't actually a direct dependency of my project. Rather it's a transitive one
2021-02-10 19:09:43 +0100 <merijn> infinisil: What's the compilation issue?
2021-02-10 19:09:47 +0100 <infinisil> Can I still add a version constraint to it somehow? And how would I do that?
2021-02-10 19:10:25 +0100hiptobecubic(~john@unaffiliated/hiptobecubic)
2021-02-10 19:10:30 +0100 <merijn> You can via some flag that I forgot probably "--constraint" or something
2021-02-10 19:10:43 +0100 <infinisil> merijn: Its decode function changed the type signature (and function)
2021-02-10 19:10:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 19:11:03 +0100 <infinisil> And https://hackage.haskell.org/package/hexstring and another package depends on the old decode function
2021-02-10 19:11:05 +0100 <merijn> infinisil: Sounds like one of your dependencies fucked up it's bounds
2021-02-10 19:11:19 +0100merijnsighs
2021-02-10 19:11:24 +0100 <merijn> No upper-bounds at all
2021-02-10 19:11:45 +0100 <infinisil> (it's a rather old package, I'm surprised it worked at all until base16-bytestring 1.x came along)
2021-02-10 19:12:14 +0100 <monochrom> Yeah, --constraint or put it in cabal.project.local or something
2021-02-10 19:13:14 +0100 <infinisil> Ahhh this here https://cabal.readthedocs.io/en/3.4/cabal-project.html#solver-configuration-options
2021-02-10 19:13:16 +0100 <infinisil> Nice thanks
2021-02-10 19:14:35 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-02-10 19:15:39 +0100 <infinisil> Well of course, another dependency requires >=1.x *surprised pikachu face*
2021-02-10 19:15:45 +0100 <yushyin> :D
2021-02-10 19:16:25 +0100 <infinisil> So I guess I'll try to patch all libraries that don't work with the new version
2021-02-10 19:17:04 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 265 seconds)
2021-02-10 19:17:17 +0100 <merijn> infinisil: Open a ticket on the hexstring repo to make a new revision that puts in an upperbound and (if there's no quick response another one referencing the issue here: https://github.com/haskell-infra/hackage-trustees)
2021-02-10 19:17:47 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: leaving)
2021-02-10 19:18:04 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Remote host closed the connection)
2021-02-10 19:18:11 +0100 <infinisil> Ah nice
2021-02-10 19:18:12 +0100hekkaidekapus[(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-10 19:18:30 +0100 <merijn> So that cabal can at least recognise that doesn't work
2021-02-10 19:19:10 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-02-10 19:19:18 +0100 <infinisil> I do actually have a patch to make it work with the new version, was hoping I could get around using that though by just using the older base16-bytestring
2021-02-10 19:19:34 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-10 19:21:41 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 19:22:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 19:23:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 19:23:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 19:25:43 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 19:25:47 +0100xff0x(~xff0x@2001:1a81:5205:c800:e675:4c3f:a213:be50) (Ping timeout: 260 seconds)
2021-02-10 19:26:23 +0100xff0x(~xff0x@2001:1a81:5205:c800:4c19:a4e4:1bf7:864b)
2021-02-10 19:26:55 +0100matijja(~matijja@193.77.181.208)
2021-02-10 19:27:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-10 19:27:30 +0100frozenErebus(~frozenEre@94.128.81.133)
2021-02-10 19:27:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-02-10 19:29:15 +0100_vaibhavingale_(~Adium@203.188.228.9) (Quit: Leaving.)
2021-02-10 19:29:39 +0100_vaibhavingale_(~Adium@203.188.228.9)
2021-02-10 19:29:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 19:30:05 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-10 19:30:34 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2021-02-10 19:30:34 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Client Quit)
2021-02-10 19:31:13 +0100revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2021-02-10 19:31:36 +0100son0p(~son0p@181.136.122.143)
2021-02-10 19:32:09 +0100 <infinisil> https://github.com/solatis/haskell-hexstring/issues/3
2021-02-10 19:32:18 +0100 <infinisil> Though I wouldn't be surprised to get no response
2021-02-10 19:32:57 +0100Igloo(~igloo@matrix.chaos.earth.li) (Ping timeout: 264 seconds)
2021-02-10 19:33:01 +0100 <merijn> infinisil: https://wiki.haskell.org/Taking_over_a_package :p
2021-02-10 19:33:55 +0100 <infinisil> The package is so trivial that I'd probably rather just implement this in some util module
2021-02-10 19:34:08 +0100 <infinisil> Also, there's probably more up-to-date packages with the same functionality out there
2021-02-10 19:34:13 +0100 <merijn> infinisil: But that leaves the rest of the world broken! :p
2021-02-10 19:34:28 +0100_vaibhavingale_(~Adium@203.188.228.9) (Ping timeout: 256 seconds)
2021-02-10 19:34:32 +0100 <infinisil> Hehe, I should take over the package, only to deprecate it
2021-02-10 19:36:38 +0100 <merijn> infinisil: tbh, simple small packages are fairly little maintenance effort. Basically, you bump the bounds and make a revision when a new GHC comes out and that's about it :p
2021-02-10 19:37:22 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-10 19:38:37 +0100matijja(~matijja@193.77.181.208) (Quit: bye)
2021-02-10 19:38:45 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-02-10 19:38:45 +0100Wuzzy(~Wuzzy@p57a2f142.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-02-10 19:39:07 +0100exbio(~popsort@unaffiliated/exbio)
2021-02-10 19:39:42 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-10 19:39:50 +0100 <zzz> i can't seem to use lambdabot with the -e flag. am i missing something?
2021-02-10 19:40:18 +0100 <zzz> (on the command line)
2021-02-10 19:41:40 +0100kuribas(~user@ptr-25vy0i7bgyugf65b17d.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-02-10 19:41:49 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-02-10 19:42:58 +0100ukari(~ukari@unaffiliated/ukari)
2021-02-10 19:44:32 +0100 <zzz> i'm getting: Plugin `eval' failed with: mueval: readCreateProcessWithExitCode: runInteractiveProcess: exec: does not exist (No such file or directory)
2021-02-10 19:46:13 +0100exbio(~popsort@unaffiliated/exbio) (Quit: -a- IRC for Android 2.1.59)
2021-02-10 19:46:36 +0100shailangsa(~shailangs@host86-186-133-22.range86-186.btcentralplus.com) (Ping timeout: 240 seconds)
2021-02-10 19:47:51 +0100son0p(~son0p@181.136.122.143) (Ping timeout: 246 seconds)
2021-02-10 19:48:32 +0100Igloo(~igloo@matrix.chaos.earth.li)
2021-02-10 19:49:42 +0100son0p(~son0p@181.136.122.143)
2021-02-10 19:50:53 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-02-10 19:52:03 +0100dhil(~dhil@80.208.56.181) (Ping timeout: 246 seconds)
2021-02-10 19:54:01 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:1c59:a847:18b4:8e49) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 19:54:26 +0100tremon(~aschuring@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-02-10 19:56:31 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:1c59:a847:18b4:8e49)
2021-02-10 19:57:08 +0100frozenErebus(~frozenEre@94.128.81.133) (Ping timeout: 256 seconds)
2021-02-10 19:58:09 +0100napping(~brandon@174-20-93-137.mpls.qwest.net) (Ping timeout: 264 seconds)
2021-02-10 20:00:05 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2021-02-10 20:03:29 +0100berberman_(~berberman@unaffiliated/berberman)
2021-02-10 20:04:17 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-02-10 20:04:28 +0100clmg(~clmg@2601:1c2:200:720:ffc:c4da:a960:d019)
2021-02-10 20:04:33 +0100matijja(~matijja@193.77.181.208)
2021-02-10 20:04:33 +0100 <clmg> has anyone used obelisk? https://github.com/obsidiansystems/obelisk
2021-02-10 20:04:35 +0100 <clmg> what did they think?
2021-02-10 20:04:55 +0100 <clmg> (i'm looking for a web framework with a good type checker)
2021-02-10 20:05:13 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 20:05:16 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-02-10 20:06:28 +0100ukari(~ukari@unaffiliated/ukari)
2021-02-10 20:07:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Remote host closed the connection)
2021-02-10 20:07:48 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 20:08:25 +0100forgottenone(~forgotten@176.42.19.18)
2021-02-10 20:09:19 +0100shailangsa(~shailangs@host86-186-133-22.range86-186.btcentralplus.com)
2021-02-10 20:10:10 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-02-10 20:12:36 +0100andreas303(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 268 seconds)
2021-02-10 20:13:28 +0100andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-02-10 20:16:22 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-02-10 20:23:52 +0100napping(~brandon@174-20-93-137.mpls.qwest.net)
2021-02-10 20:25:13 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 265 seconds)
2021-02-10 20:26:01 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2021-02-10 20:28:27 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-02-10 20:28:27 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815)
2021-02-10 20:28:33 +0100napping(~brandon@174-20-93-137.mpls.qwest.net) (Ping timeout: 272 seconds)
2021-02-10 20:29:10 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-02-10 20:31:35 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-10 20:31:48 +0100geekosaur(82650c7a@130.101.12.122)
2021-02-10 20:32:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 20:36:02 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:87f2:2077:d406:e584) (Ping timeout: 264 seconds)
2021-02-10 20:39:27 +0100Lowl3v3l(~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Quit: Leaving.)
2021-02-10 20:41:48 +0100napping(~brandon@174-20-93-137.mpls.qwest.net)
2021-02-10 20:43:54 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-02-10 20:43:59 +0100kritzefitz(~kritzefit@212.86.56.80) (Client Quit)
2021-02-10 20:45:18 +0100__minoru__shirae(~shiraeesh@109.166.58.250) (Ping timeout: 256 seconds)
2021-02-10 20:45:32 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Quit: Leaving)
2021-02-10 20:46:16 +0100napping(~brandon@174-20-93-137.mpls.qwest.net) (Ping timeout: 240 seconds)
2021-02-10 20:49:22 +0100 <jil> hello
2021-02-10 20:50:41 +0100swarmcollectivewaves
2021-02-10 20:51:35 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-02-10 20:52:36 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-10 20:52:53 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
2021-02-10 20:52:57 +0100__minoru__shirae(~shiraeesh@109.166.59.8)
2021-02-10 20:56:12 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-10 20:56:47 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-10 20:57:44 +0100 <swarmcollective> Hello __minoru_shirae, I pushed the code using the IORefs for inter thread communication to github. Are you still interested in seeing the working solution?
2021-02-10 20:57:48 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-10 20:58:03 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-10 20:58:15 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:1c59:a847:18b4:8e49) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 20:59:27 +0100mputz(~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
2021-02-10 20:59:36 +0100 <swarmcollective> __minoru__shirae ... https://github.com/calledtoconstruct/lambdabot/blob/patches/lambdabot-dashboard-plugins/src/Lambda…
2021-02-10 21:00:04 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2021-02-10 21:00:18 +0100napping(~brandon@174-20-93-137.mpls.qwest.net)
2021-02-10 21:00:40 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 21:01:01 +0100Deide(~Deide@217.155.19.23)
2021-02-10 21:03:15 +0100acidjnk_new(~acidjnk@p200300d0c722c490f89e83442ea0b11b.dip0.t-ipconnect.de)
2021-02-10 21:03:16 +0100 <jil> I'm trying to rewritte iterate_ using the unfold function as in https://paste.debian.net/1184974/ but I get an error I don't understand.
2021-02-10 21:03:45 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds)
2021-02-10 21:03:59 +0100 <jil> Expected type t0 a0 -> t0 a0, Actual type: a -> a
2021-02-10 21:04:12 +0100 <jil> what is the difference between the tow ?
2021-02-10 21:04:17 +0100 <jil> two ?
2021-02-10 21:04:42 +0100edge563(~edge563@gateway/tor-sasl/edge563)
2021-02-10 21:04:48 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 21:04:56 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-02-10 21:05:03 +0100 <davean> jil: well, t a is not in any way a
2021-02-10 21:05:05 +0100napping(~brandon@174-20-93-137.mpls.qwest.net) (Ping timeout: 256 seconds)
2021-02-10 21:05:15 +0100 <davean> a is a parameter to the type "function" t
2021-02-10 21:05:33 +0100 <davean> so the function is on some sort of t
2021-02-10 21:06:00 +0100 <jil> it's not clear
2021-02-10 21:06:07 +0100 <davean> No, thats very clear
2021-02-10 21:06:26 +0100 <davean> t a is only related to a in so much as you've passed the idea of a to t
2021-02-10 21:06:27 +0100 <jil> understand for me ..obviously.
2021-02-10 21:06:50 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-02-10 21:06:50 +0100 <merijn> jil: Consider "Maybe Int" vs "Int"
2021-02-10 21:06:59 +0100 <jil> ok
2021-02-10 21:07:14 +0100petersen(~petersen@redhat/juhp)
2021-02-10 21:07:27 +0100 <merijn> "t a -> t a" could correspond to "Maybe Int -> Maybe Int" (t = Maybe, a = Int), but *not* "Int -> Int"
2021-02-10 21:07:33 +0100 <jil> t0 a0 is a type ?
2021-02-10 21:07:40 +0100 <davean> yes
2021-02-10 21:07:54 +0100 <jil> 't0 a0'
2021-02-10 21:08:10 +0100 <davean> 't a' is the type resulting from applying a to t
2021-02-10 21:08:36 +0100 <merijn> jil: null isn't in your paste?
2021-02-10 21:09:42 +0100 <jil> it is. merijn
2021-02-10 21:10:37 +0100 <davean> You use it, but it isn't defined.
2021-02-10 21:10:45 +0100 <jil> applying a to t ?? I did not expect 'a' to be something that could be applied.
2021-02-10 21:12:18 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:99a4:2d8a:e58d:6f88)
2021-02-10 21:12:21 +0100 <davean> Refering to merijn's example, Maybe is a function for defining a type, it takes a type and produces a resulting type
2021-02-10 21:12:25 +0100 <davean> Int is a type
2021-02-10 21:12:33 +0100 <davean> thus thats a thing Maybe can take
2021-02-10 21:12:43 +0100 <davean> Thus Int applied to Maybe is Maybe Int
2021-02-10 21:12:54 +0100 <monochrom> ahem applying t to a
2021-02-10 21:13:02 +0100 <davean> er, sorry, yes
2021-02-10 21:13:26 +0100 <monochrom> plug a into t
2021-02-10 21:13:33 +0100 <davean> Since it can only produce one result from such an application we don't need another name for it, the application its self will do
2021-02-10 21:13:37 +0100xcmw(~textual@dyn-72-33-2-47.uwnet.wisc.edu)
2021-02-10 21:14:47 +0100fweht(uid404746@gateway/web/irccloud.com/x-mkirdejgbvpvpwwr)
2021-02-10 21:15:38 +0100fweht(uid404746@gateway/web/irccloud.com/x-mkirdejgbvpvpwwr) ()
2021-02-10 21:15:46 +0100knupfer(~Thunderbi@200116b82ce26a00f0bfe57b3d26cef4.dip.versatel-1u1.de)
2021-02-10 21:17:48 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 246 seconds)
2021-02-10 21:18:41 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2021-02-10 21:18:49 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-02-10 21:20:57 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-02-10 21:21:54 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-02-10 21:22:07 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128) (Remote host closed the connection)
2021-02-10 21:22:11 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-02-10 21:25:44 +0100hexagenic(~mattias@2001:2002:51e0:74c9:5098:c4b6:1b73:7815) (Quit: WeeChat 1.9.1)
2021-02-10 21:25:51 +0100 <__minoru__shirae> swarmcollective: awesome, thanks. so you can make an IORef out of anything by just wrapping it with it?
2021-02-10 21:26:43 +0100millerti(~millerti@2603-7081-5c02-f029-e50f-87b8-dbcb-3f29.res6.spectrum.com)
2021-02-10 21:35:49 +0100acidjnk_new2(~acidjnk@p200300d0c724a28468193f3bf077429d.dip0.t-ipconnect.de)
2021-02-10 21:36:04 +0100Wuzzy(~Wuzzy@p5790e290.dip0.t-ipconnect.de)
2021-02-10 21:36:44 +0100 <ephemient> :t newIORef
2021-02-10 21:36:44 +0100acidjnk_new(~acidjnk@p200300d0c722c490f89e83442ea0b11b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-02-10 21:36:45 +0100 <lambdabot> error:
2021-02-10 21:36:45 +0100 <lambdabot> • Variable not in scope: newIORef
2021-02-10 21:36:45 +0100 <lambdabot> • Perhaps you meant ‘newSTRef’ (imported from Data.STRef)
2021-02-10 21:36:54 +0100 <ephemient> :t Data.IORef.newIORef
2021-02-10 21:36:56 +0100 <lambdabot> a -> IO (GHC.IORef.IORef a)
2021-02-10 21:37:51 +0100 <ephemient> __minoru__shirae: forall a. ↑
2021-02-10 21:38:38 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-spbffzhyjbuhrkxe) (Quit: Connection closed for inactivity)
2021-02-10 21:38:49 +0100 <swarmcollective> Correct, it is only sharing a reference (pointer) to the thing. As long as you use it as a one way communication, it should be quite stable.
2021-02-10 21:39:22 +0100 <merijn> __minoru__shirae: You don't really "make" something into an IORef, it's more "you make an IORef and give it an initial value to point too"
2021-02-10 21:40:01 +0100 <merijn> But you can make IORef for any type of value, yes
2021-02-10 21:40:27 +0100kfollstad(~kfollstad@23.90.89.3)
2021-02-10 21:40:40 +0100 <merijn> IORef's aren't great for communicating between threads, though. They have *super* finnicky consistency guarantees
2021-02-10 21:41:41 +0100 <swarmcollective> I'm going to look into MVar for cases where I need to guard against overlapping operations. For instance, I might want to share a list of objects. Each time the web service thread needs to request an action on the lambdabot thread, it will add to the list. The lambdabot thread can check for events, process them, and clear the list. Since both these operations involve modification of the list,
2021-02-10 21:41:43 +0100 <swarmcollective> an MVar "should" be used.
2021-02-10 21:41:58 +0100 <swarmcollective> Though, IORef and semaphore may work, it would be more complicated.
2021-02-10 21:42:30 +0100 <merijn> swarmcollective: Wouldn't a Chan work better?
2021-02-10 21:42:37 +0100 <ephemient> MVar a is basically an IORef (Maybe a) with synchronization
2021-02-10 21:42:51 +0100 <swarmcollective> Probably! :) I'll look at Chan before diving into that feature.
2021-02-10 21:43:08 +0100 <merijn> swarmcollective: "mvar with list" sounds like a super hacky and inconvenient alternative version of a channel :p
2021-02-10 21:43:30 +0100 <merijn> swarmcollective: Chan is basically a wrapper around a linked list of MVars
2021-02-10 21:43:50 +0100 <swarmcollective> merijn, excellent! That sounds perfect.
2021-02-10 21:43:53 +0100 <merijn> swarmcollective: So you can have 1 (or more) threads putting values into the Chan and then have 1 (or more) threads reading values from the Chan
2021-02-10 21:43:59 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 21:44:29 +0100kenran(~kenran@i577BCD61.versanet.de)
2021-02-10 21:44:55 +0100kenran(~kenran@i577BCD61.versanet.de) (Client Quit)
2021-02-10 21:46:28 +0100 <ephemient> Chan probably does the double-list thing to get amortized O(1) FIFO
2021-02-10 21:46:31 +0100 <swarmcollective> "Throws BlockedIndefinitelyOnMVar when the channel is empty and no other thread holds a reference to the channel."
2021-02-10 21:46:32 +0100 <ephemient> but yeah
2021-02-10 21:46:47 +0100 <swarmcollective> ^^^ So, no need to kill thread, or send a sigint.
2021-02-10 21:47:26 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-10 21:47:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr)
2021-02-10 21:48:02 +0100 <glguy> ephemient: No, Chan doesn't do the double list thing, it uses mutable cells to build its structure
2021-02-10 21:48:32 +0100 <glguy> ephemient: Chan is complicated so that it can support duplication of a channel so that two readers can read all the messages individually
2021-02-10 21:48:50 +0100 <swarmcollective> Since the web service only needs to know the current state and not every intermediate state, IORef makes sense for that side. Sending a request from the web service back to the core of the lambdabot seems like a use-case for Chan.
2021-02-10 21:48:51 +0100 <glguy> TChan copies this behavior, but TQueue (both from STM) use the double list implementation you mention
2021-02-10 21:48:52 +0100 <ephemient> ooh, tricksies. it would need a MVar of MVar to pull that off... but I guess that's fine
2021-02-10 21:50:28 +0100 <swarmcollective> glguy, would you recommend TChan, TQueue, or Chan over the others for the above use-case?
2021-02-10 21:51:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-02-10 21:51:32 +0100 <merijn> ephemient: No
2021-02-10 21:51:38 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-sfsvhlxqubpwlcwh)
2021-02-10 21:51:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 21:51:54 +0100 <merijn> swarmcollective: Oh, I have a library with closable Chan :p
2021-02-10 21:52:37 +0100 <ephemient> hmm. I guess I can't imagine how it works, then. might have to into it myself...
2021-02-10 21:52:42 +0100 <merijn> Which also solves the broadcast issue that TChan fixes, but Chan doesn't
2021-02-10 21:52:58 +0100 <merijn> ephemient: Simon Marlow's Parallel and Concurrent Haskell books covers how it works
2021-02-10 21:53:08 +0100heatsink(~heatsink@2600:1700:bef1:5e10:e95b:84e8:3635:d128)
2021-02-10 21:53:18 +0100 <merijn> ephemient: That's the explanation I based my own channel code on (together with Control.Concurrent.MVar)
2021-02-10 21:53:21 +0100 <merijn> eh
2021-02-10 21:53:23 +0100 <merijn> Control.Concurrent.Chan
2021-02-10 21:53:58 +0100 <merijn> swarmcollective: It's probably use TVar/MVar over IORef, tbh
2021-02-10 21:54:07 +0100millerti(~millerti@2603-7081-5c02-f029-e50f-87b8-dbcb-3f29.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-02-10 21:54:09 +0100 <tdammers> big caveat with (T)Chan, btw.: these little critters aren't bounded, so if the producer is faster than the consumers, it will just eat up all your RAM and then bring your computer to a grinding swapping halt
2021-02-10 21:55:07 +0100ubert(~Thunderbi@p200300ecdf25d9c2e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-10 21:55:26 +0100 <swarmcollective> merijn, I've been wanting to read that book. It is / was accessible online, IIRC.
2021-02-10 21:55:38 +0100 <merijn> tdammers: I mostly use them as job queues, tbh
2021-02-10 21:56:54 +0100 <swarmcollective> tdammers, good to know. For now, my use-case is low volume (human on the producer side).
2021-02-10 21:56:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-02-10 21:58:21 +0100 <swarmcollective> merijn, thanks for the Closable mention. I will include a signal to shutdown, so it is graceful.
2021-02-10 21:59:13 +0100millerti(~millerti@2603-7081-5c02-f029-20f9-cd8e-1841-aeb4.res6.spectrum.com)
2021-02-10 21:59:38 +0100 <swarmcollective> As far as I can tell, the scotty thread will require the sending of a sigint (or similar) to be graceful-ish. I'm currently using killthread, but sigint is on my to-do list.
2021-02-10 22:00:25 +0100 <merijn> swarmcollective: https://hackage.haskell.org/package/broadcast-chan ;)
2021-02-10 22:01:06 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-02-10 22:01:38 +0100_vaibhavingale_(~Adium@203.188.228.9)
2021-02-10 22:01:49 +0100 <merijn> sigint is cursed
2021-02-10 22:02:08 +0100 <merijn> In fact, all Haskell signal handling is cursed and will be until I get around to making it uncursed
2021-02-10 22:02:09 +0100 <swarmcollective> Ahhh! When you said "I have a library", I thought you were indicating that it was, for whatever reason, proprietary. :D Thanks for the link!
2021-02-10 22:03:14 +0100 <merijn> I should probably update my stuff for GHC 9.0
2021-02-10 22:03:25 +0100merijnputs it on the todo list >.>
2021-02-10 22:03:26 +0100 <swarmcollective> merign, "Portability: haha" <-- that's great!
2021-02-10 22:04:23 +0100 <__minoru__shirae> swarmcollective: here is a link to the "Parallel and Concurrent Haskell" book: https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/pr02.html
2021-02-10 22:04:42 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Ping timeout: 246 seconds)
2021-02-10 22:05:20 +0100 <swarmcollective> __minoru__shirae That's it! Excellent and thank you!
2021-02-10 22:05:45 +0100_vaibhavingale_(~Adium@203.188.228.9) (Ping timeout: 240 seconds)
2021-02-10 22:06:16 +0100nineonin_(~nineonine@50.216.62.2) ()
2021-02-10 22:07:49 +0100conal(~conal@64.71.133.70)
2021-02-10 22:09:49 +0100 <__minoru__shirae> swarmcollective: you can navigate using table of contents at https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/
2021-02-10 22:10:20 +0100 <__minoru__shirae> (the "start free trial" button may be misleading)
2021-02-10 22:13:47 +0100xff0x(~xff0x@2001:1a81:5205:c800:4c19:a4e4:1bf7:864b) (Ping timeout: 260 seconds)
2021-02-10 22:14:12 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-02-10 22:14:27 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64)
2021-02-10 22:14:52 +0100 <my_name_is_not_j> https://stackoverflow.com/questions/51581150/what-does-t-a-mean-in-type-signature-in-haskell
2021-02-10 22:14:58 +0100 <my_name_is_not_j> For the above, I am wondering why `Prelude> all id Nothing` returns `True`
2021-02-10 22:15:19 +0100 <my_name_is_not_j> `Prelude> all id []` seems to return `True` as well.... hmmmmm
2021-02-10 22:15:35 +0100_linker_(~linker@2a02:a31a:a045:3500:e120:4743:5ef2:908d) (Ping timeout: 272 seconds)
2021-02-10 22:16:07 +0100acidjnk_new2(~acidjnk@p200300d0c724a28468193f3bf077429d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-02-10 22:16:32 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-02-10 22:16:55 +0100_linker_(~linker@2a02:a31a:a045:3500:e120:4743:5ef2:908d)
2021-02-10 22:16:56 +0100 <my_name_is_not_j> Shouldn't they correspond to False?
2021-02-10 22:17:31 +0100 <monochrom> http://www.vex.net/~trebla/homework/empty.html
2021-02-10 22:18:37 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 22:21:16 +0100xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds)
2021-02-10 22:22:09 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Ping timeout: 256 seconds)
2021-02-10 22:22:46 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-10 22:23:10 +0100Entertainment(~entertain@104.246.131.28)
2021-02-10 22:23:26 +0100xff0x(~xff0x@2001:1a81:5205:c800:4c19:a4e4:1bf7:864b)
2021-02-10 22:24:05 +0100usr25(~usr25@unaffiliated/usr25)
2021-02-10 22:24:53 +0100 <ephemient> :t all id `asAppliedTo` Nothing
2021-02-10 22:24:54 +0100 <lambdabot> Maybe Bool -> Bool
2021-02-10 22:25:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-10 22:25:38 +0100 <ephemient> > map (all id) [Nothing, Just False, Just True]
2021-02-10 22:25:40 +0100 <lambdabot> [True,False,True]
2021-02-10 22:26:06 +0100 <ephemient> my_name_is_not_j: ↑
2021-02-10 22:26:31 +0100 <my_name_is_not_j> <monochrom "http://www.vex.net/~trebla/homew"> Thank you!! This helped!
2021-02-10 22:27:01 +0100 <my_name_is_not_j> Thanks everyone
2021-02-10 22:27:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 22:27:41 +0100 <my_name_is_not_j> The other thing I was wondering here is why `Maybe` types are part of `Foldable`?? For lists this makes sense since you can apply `foldl` and `foldr` on it, but it doesn't seem to make sense (to me) why `Maybe` types are foldable...
2021-02-10 22:28:30 +0100 <my_name_is_not_j> `Maybe` types either hold 1 value (Just x) or nothing at all (Nothing)
2021-02-10 22:28:31 +0100 <my_name_is_not_j> Why the need to fold over them?
2021-02-10 22:28:40 +0100 <ephemient> they're really short lists ;)
2021-02-10 22:28:44 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 22:29:03 +0100 <ephemient> it's not that you want it on Maybe specifically, but that you can write generic code for any Foldable that will also work on Maybe
2021-02-10 22:29:19 +0100 <koz_> Maybe a can be thought of as a list that's either empty or contains precisely one element.
2021-02-10 22:30:13 +0100 <my_name_is_not_j> OK
2021-02-10 22:30:26 +0100 <koz_> Kinda like how Identity a is a list that always has exactly one element.
2021-02-10 22:30:44 +0100 <koz_> And 'Either e a' is a list that has zero or one element, plus possibly some jank Foldable doesn't care about.
2021-02-10 22:31:00 +0100 <my_name_is_not_j> Identity a?
2021-02-10 22:31:20 +0100 <koz_> Yep.
2021-02-10 22:31:22 +0100 <my_name_is_not_j> I get an error when I do `:i Identity`
2021-02-10 22:31:24 +0100 <koz_> There is such a thing.
2021-02-10 22:31:30 +0100 <koz_> It's in Data.Functor.Identity
2021-02-10 22:31:35 +0100 <koz_> You probably don't have that module imported.
2021-02-10 22:31:36 +0100 <my_name_is_not_j> ohhh
2021-02-10 22:32:04 +0100 <my_name_is_not_j> OK makes sense, thanks !
2021-02-10 22:32:15 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-10 22:34:27 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-10 22:35:03 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-02-10 22:38:09 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64)
2021-02-10 22:38:49 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-02-10 22:42:38 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-02-10 22:42:39 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 22:56:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-10 22:59:17 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-02-10 22:59:30 +0100Tario(~Tario@201.192.165.173)
2021-02-10 23:00:44 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-02-10 23:01:00 +0100napping(~brandon@174-20-93-137.mpls.qwest.net)
2021-02-10 23:01:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-10 23:02:15 +0100vicfred_(~vicfred@unaffiliated/vicfred)
2021-02-10 23:02:29 +0100vicfred(~vicfred@unaffiliated/vicfred) (Read error: Connection reset by peer)
2021-02-10 23:05:29 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 23:05:47 +0100napping(~brandon@174-20-93-137.mpls.qwest.net) (Ping timeout: 256 seconds)
2021-02-10 23:06:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-10 23:06:26 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 23:07:05 +0100conal(~conal@64.71.133.70)
2021-02-10 23:08:17 +0100hseg(~gesh@185.120.124.95)
2021-02-10 23:08:37 +0100knupfer(~Thunderbi@200116b82ce26a00f0bfe57b3d26cef4.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2021-02-10 23:08:58 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 268 seconds)
2021-02-10 23:09:09 +0100 <hseg> hey, trying to set a breakpoint in a where clause, ghci complains that "no breakpoint found" when i try by-line syntax and "parse error" when i try qualification syntax
2021-02-10 23:09:28 +0100 <hseg> (i.e. :break line and :break top.clause, resp)
2021-02-10 23:11:16 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-02-10 23:12:20 +0100conal(~conal@64.71.133.70)
2021-02-10 23:12:33 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-02-10 23:15:24 +0100_linker_(~linker@2a02:a31a:a045:3500:e120:4743:5ef2:908d) (Remote host closed the connection)
2021-02-10 23:15:38 +0100_linker_(~linker@2a02:a31a:a045:3500:e120:4743:5ef2:908d)
2021-02-10 23:15:56 +0100 <koz_> jared-w: First of all, you are the hero we don't deserve. Second of all - you managed to solve text-ascii's woes?
2021-02-10 23:16:51 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-10 23:17:27 +0100alx741(~alx741@186.178.110.250) (Quit: alx741)
2021-02-10 23:17:49 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr) (Remote host closed the connection)
2021-02-10 23:18:12 +0100zebrag(~inkbottle@aaubervilliers-654-1-112-148.w86-198.abo.wanadoo.fr)
2021-02-10 23:19:23 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-02-10 23:21:20 +0100edge563(~edge563@gateway/tor-sasl/edge563) (Quit: edge563)
2021-02-10 23:22:36 +0100hseg(~gesh@185.120.124.95) (Ping timeout: 240 seconds)
2021-02-10 23:24:35 +0100alx741(~alx741@186.178.110.250)
2021-02-10 23:24:54 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-10 23:25:07 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-02-10 23:25:11 +0100jb551(~jb55@gateway/tor-sasl/jb55)
2021-02-10 23:27:38 +0100lawid(~quassel@dslb-090-186-199-090.090.186.pools.vodafone-ip.de)
2021-02-10 23:27:52 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-10 23:27:55 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2021-02-10 23:28:57 +0100jaan(~jaan@5.186.113.246.cgn.fibianet.dk)
2021-02-10 23:29:45 +0100jaan(~jaan@5.186.113.246.cgn.fibianet.dk) (Client Quit)
2021-02-10 23:30:10 +0100jaan(~aramend@5.186.113.246.cgn.fibianet.dk)
2021-02-10 23:30:36 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:99a4:2d8a:e58d:6f88) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-10 23:30:46 +0100 <swarmcollective> :t Data.Functor.Identity
2021-02-10 23:30:47 +0100 <lambdabot> error:
2021-02-10 23:30:47 +0100 <lambdabot> Not in scope: data constructor ‘Data.Functor.Identity’
2021-02-10 23:30:47 +0100 <lambdabot> No module named ‘Data.Functor’ is imported.
2021-02-10 23:30:48 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-02-10 23:30:52 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-02-10 23:30:57 +0100 <koz_> % :t Identity
2021-02-10 23:30:57 +0100 <yahb> koz_: a -> Identity a
2021-02-10 23:31:03 +0100 <koz_> % :i Identity
2021-02-10 23:31:04 +0100 <yahb> koz_: type Identity :: * -> *; newtype Identity a = Identity {runIdentity :: a}; -- Defined in `Data.Functor.Identity'; instance Applicative Identity -- Defined in `Data.Functor.Identity'; instance Eq a => Eq (Identity a) -- Defined in `Data.Functor.Identity'; instance Functor Identity -- Defined in `Data.Functor.Identity'; instance Monad Identity -- Defined in `Data.Functor.Identity'; instance Monoid a =>
2021-02-10 23:31:20 +0100 <swarmcollective> Thanks!
2021-02-10 23:31:40 +0100dddddd_(~dddddd@unaffiliated/dddddd)
2021-02-10 23:31:41 +0100 <jaan> Hi! Quick unicode question for more experienced Haskellers. I want to read a unicode character into T.Text straight from the source code.
2021-02-10 23:31:43 +0100 <jaan> https://paste.tomsmeding.com/OqqU8YT7
2021-02-10 23:32:14 +0100 <koz_> jaan: You can turn on OverloadedStrings and just write the literal.
2021-02-10 23:32:15 +0100 <jaan> String -> Text doesn't seem to make sense since String can't represent unicode in the first place. What are my options here?
2021-02-10 23:32:21 +0100 <koz_> Uhh.
2021-02-10 23:32:25 +0100 <koz_> String 100% can.
2021-02-10 23:32:31 +0100 <koz_> Char is a Unicode code point.
2021-02-10 23:32:39 +0100 <koz_> So String can represent 'Unicode' just fine.
2021-02-10 23:32:56 +0100 <jaan> utf16*
2021-02-10 23:32:59 +0100dddddd(~dddddd@unaffiliated/dddddd) (Ping timeout: 256 seconds)
2021-02-10 23:33:02 +0100 <koz_> Doesn't matter.
2021-02-10 23:33:22 +0100 <koz_> % :t "😺"
2021-02-10 23:33:22 +0100 <yahb> koz_: [Char]
2021-02-10 23:33:35 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 272 seconds)
2021-02-10 23:33:36 +0100 <koz_> % :set -XOverloadedStrings
2021-02-10 23:33:36 +0100 <yahb> koz_:
2021-02-10 23:33:40 +0100 <koz_> % :t "😺"
2021-02-10 23:33:40 +0100 <yahb> koz_: IsString p => p
2021-02-10 23:33:51 +0100 <koz_> IsString Text is most definitely a thing.
2021-02-10 23:34:33 +0100 <koz_> So if you're dealing with literals, I'd say the easiest option is 'enable OverloadedStrings'.
2021-02-10 23:35:23 +0100hiroaki(~hiroaki@2a02:908:4b18:8c40::b730) (Ping timeout: 272 seconds)
2021-02-10 23:38:08 +0100lawid(~quassel@dslb-090-186-199-090.090.186.pools.vodafone-ip.de) (Quit: lawid)
2021-02-10 23:38:21 +0100alx741(~alx741@186.178.110.250) (Quit: alx741)
2021-02-10 23:38:34 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-10 23:40:08 +0100lawid(~quassel@dslb-090-186-199-090.090.186.pools.vodafone-ip.de)
2021-02-10 23:41:59 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-02-10 23:43:31 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-10 23:43:31 +0100finn_elijaGuest54318
2021-02-10 23:43:31 +0100FinnElijafinn_elija
2021-02-10 23:44:18 +0100Tario(~Tario@201.192.165.173)
2021-02-10 23:44:28 +0100conal(~conal@64.71.133.70)
2021-02-10 23:44:38 +0100jaanaramend
2021-02-10 23:44:53 +0100clog(~nef@bespin.org)
2021-02-10 23:46:29 +0100Guest54318(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-02-10 23:46:38 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2021-02-10 23:46:42 +0100 <aramend> used this together with setLocaleEncoding and it worked, thanks 😽
2021-02-10 23:46:48 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-02-10 23:46:55 +0100 <koz_> You're welcome, nyan.
2021-02-10 23:47:13 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:f917:edc:2196:d8f9)
2021-02-10 23:48:32 +0100conal(~conal@64.71.133.70)
2021-02-10 23:48:47 +0100 <aramend> But I was under the false assumption that Data.Text is needed for UTF encodings and that you can't use String. If it is not required, is it just recommended then?
2021-02-10 23:48:58 +0100 <koz_> aramend: String is a linked list of Char.
2021-02-10 23:49:04 +0100 <koz_> It _works_, but it's not very efficient.
2021-02-10 23:49:14 +0100millerti(~millerti@2603-7081-5c02-f029-20f9-cd8e-1841-aeb4.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-02-10 23:49:20 +0100 <koz_> Text, on the other hand, is UTF-16 encoded and packed.
2021-02-10 23:49:25 +0100 <koz_> Which is much _more_ efficient.
2021-02-10 23:49:32 +0100 <koz_> Capability-wise, they are equivalent.
2021-02-10 23:50:07 +0100 <aramend> That clears it up. And yeah, I've heard the List is versatile but slow spiel.
2021-02-10 23:50:31 +0100 <koz_> The thing is, list versus Vector is another story.
2021-02-10 23:50:36 +0100 <koz_> This is String versus Text.
2021-02-10 23:50:52 +0100 <koz_> And that's _different_, because by definition, String and Text aren't polymorphic in their contents.
2021-02-10 23:51:28 +0100 <koz_> (the stories are related, but ultimately orthogonal IMHO)
2021-02-10 23:52:14 +0100 <aramend> Okay, time to sleep for me, bye!
2021-02-10 23:52:16 +0100aramend(~aramend@5.186.113.246.cgn.fibianet.dk) (Quit: aramend)
2021-02-10 23:54:22 +0100remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer)
2021-02-10 23:58:10 +0100remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2021-02-10 23:58:31 +0100 <slack1256> https://pastebin.com/xyXQM3ks
2021-02-10 23:58:31 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-10 23:59:09 +0100 <slack1256> I got this example, I would have thought that `infiniteRef` would have some allocation. Why isn't this the case?