Home liberachat/#haskell: Logs Calendar

Logs on 2023-05-15 (liberachat/#haskell)

00:01:35 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
00:11:12 × vandita quits (~vandit@87-97-13-47.pool.digikabel.hu) (Ping timeout: 265 seconds)
00:12:36 vandita joins (~vandit@94-21-33-124.pool.digikabel.hu)
00:14:17 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
00:14:18 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
00:14:18 wroathe joins (~wroathe@user/wroathe)
00:18:08 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
00:21:13 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
00:24:40 freeside_ joins (~mengwong@103.252.202.151)
00:24:54 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:200b:a013:81d0:d721)
00:29:08 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:200b:a013:81d0:d721) (Ping timeout: 240 seconds)
00:29:11 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
00:31:37 × superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 258 seconds)
00:41:14 freeside_ joins (~mengwong@103.252.202.151)
00:42:35 × evincar quits (~evincar@user/evincar) (Ping timeout: 256 seconds)
00:45:23 evincar joins (~evincar@user/evincar)
00:45:25 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
00:45:25 nate2 joins (~nate@98.45.169.16)
00:45:35 × Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds)
00:54:59 × remexre quits (~remexre@user/remexre) (Remote host closed the connection)
00:55:21 remexre joins (~remexre@user/remexre)
00:55:28 × remexre quits (~remexre@user/remexre) (Remote host closed the connection)
00:55:46 remexre joins (~remexre@user/remexre)
00:56:48 × evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds)
00:58:45 × remexre quits (~remexre@user/remexre) (Remote host closed the connection)
00:59:05 remexre joins (~remexre@user/remexre)
00:59:19 evincar joins (~evincar@user/evincar)
01:02:46 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
01:03:00 Fischmiep joins (~Fischmiep@user/Fischmiep)
01:04:25 freeside_ joins (~mengwong@103.252.202.151)
01:06:29 × Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood)
01:07:00 Fischmiep joins (~Fischmiep@user/Fischmiep)
01:07:23 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
01:08:47 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
01:10:50 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:14:35 × evincar quits (~evincar@user/evincar) (Ping timeout: 264 seconds)
01:16:57 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:19:57 evincar joins (~evincar@user/evincar)
01:22:59 freeside_ joins (~mengwong@103.252.202.151)
01:23:06 × Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving)
01:23:31 Feuermagier joins (~Feuermagi@user/feuermagier)
01:28:54 jscript joins (~jscript@cpe-172-193-181-254.qld.foxtel.net.au)
01:30:28 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
01:36:57 <jscript> how do i get libgen to be found ?
01:37:31 × evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds)
01:38:38 <jscript> by ghc configure
01:48:25 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
01:55:01 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
01:56:02 <hololeap> library genesis?
01:57:22 freeside_ joins (~mengwong@103.252.202.151)
01:57:30 <jscript> yea
01:57:40 krei-se joins (~krei-se@p57af2733.dip0.t-ipconnect.de)
01:57:41 <jscript> also llvm llc and llvm opt
01:58:05 <jscript> and libtool
01:59:48 <hololeap> jscript: how are you building ghc? I think there's options for hadrian to build via llvm
02:00:05 <jscript> ./configure
02:00:21 <jscript> for 8.6.1
02:00:44 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
02:00:45 <hololeap> oh, that's super old... not sure how to help there
02:02:04 <jscript> alright
02:02:37 <hololeap> why are you trying to use such an old version?
02:03:42 <jscript> for base .14
02:03:43 <jscript> for base 1.14
02:03:55 <jscript> [22:53] <dminuoso> HLS since published on hackage always demanded base >= 4.12 (which corresponds to GHC 8.6.1)
02:04:08 × xff0x quits (~xff0x@2405:6580:b080:900:aeac:e4ca:6855:10e2) (Ping timeout: 246 seconds)
02:05:24 <hololeap> released 2018-09-22
02:05:56 <jscript> yea
02:06:42 wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
02:07:57 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
02:09:08 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:200b:a013:81d0:d721)
02:10:55 <hololeap> I personally wouldn't bother to test with such an old version, but I definitely wouldn't except using CI through github
02:11:01 × wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
02:11:27 <hololeap> which uses debian and seems to "just work"
02:11:33 × vandita quits (~vandit@94-21-33-124.pool.digikabel.hu) (Ping timeout: 265 seconds)
02:11:53 <hololeap> or maybe ghcup would work, but I wouldn't be surprised if it doesn't go back that far
02:12:18 <hololeap> 8.10? sure why not? 8.6? who is still using that??
02:13:04 <hololeap> I think going back 3 major versions is plenty
02:13:08 vandita joins (~vandit@178-164-188-53.pool.digikabel.hu)
02:13:29 <hololeap> e.g. 9.4, 9.2, 9.0 (maybe 8.10)
02:14:44 <hololeap> haskell-language-server demands this?
02:15:59 × td_ quits (~td@i53870921.versanet.de) (Ping timeout: 240 seconds)
02:16:18 sympt joins (~sympt@user/sympt)
02:18:06 td_ joins (~td@i5387092B.versanet.de)
02:19:09 <probie> My last job was on 8.10.7 when I left (and I only left that at the start of this year). I think a fair few industry users will still be on 8.10
02:24:13 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
02:25:01 nickhs joins (~nickhs@23.158.16.17)
02:25:47 <nickhs> Hey there! i'm trying to use Aeson's eitherDecode to parse two different messages - similar to this https://play.haskell.org/saved/6vrKUnvz - but the compiler always picks the first branch for the type. Not sure how to best express that I want the type to be coerced?
02:29:42 × caryhartline quits (~caryhartl@2600:1700:2d0:8d30:a8ad:52bb:f68e:e718) (Quit: caryhartline)
02:33:13 <jackdk> $WORK is on 9.2.4 as another data point. I could imagine a performance-conscious GHCjs shop staying with 8.6.5
02:37:12 freeside_ joins (~mengwong@103.252.202.151)
02:39:56 <jackdk> nickhs: I don't think coercions are what you're looking for here. I would probably parse into a type that could represent either output that you seek. For example, defining a type `data Msg = Foo FooMsg | Bar BarMsg` and writing a `FromJSON` instance which attempts one parse and then the other. The `(<|>)` operator from class `Alternative` might be useful.
02:41:35 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 264 seconds)
02:42:10 <nickhs> jackdk: I think you're right, the "parse" here is a bad name since aesons actually already done the parsing/decoding - it's now up to two functions to process the message. I ended up creating a sum type to describe both cases and then unpacking and repacking the types inside each branch so the processFooMsg type can still only take in a foo msg
02:42:15 × terrorjack quits (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
02:43:45 terrorjack joins (~terrorjac@2a01:4f8:c17:87f8::)
02:45:33 <jackdk> Make sure you're not needlessly parsing the input string twice
02:46:45 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
02:46:59 freeside_ joins (~mengwong@103.252.202.151)
02:49:35 × mncheck quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds)
02:51:38 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:58:45 × jscript quits (~jscript@cpe-172-193-181-254.qld.foxtel.net.au) (Quit: Konversation terminated!)
02:58:56 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
03:01:22 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
03:02:14 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 246 seconds)
03:16:28 × nickhs quits (~nickhs@23.158.16.17) (Ping timeout: 245 seconds)
03:17:05 freeside_ joins (~mengwong@103.252.202.151)
03:20:40 evincar joins (~evincar@user/evincar)
03:21:47 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds)
03:23:52 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
03:24:40 × pharonix71 quits (~pharonix7@user/pharonix71) (Remote host closed the connection)
03:24:40 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer)
03:24:40 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
03:24:40 × califax quits (~califax@user/califx) (Write error: Connection reset by peer)
03:24:40 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
03:24:55 chexum joins (~quassel@gateway/tor-sasl/chexum)
03:25:05 califax joins (~califax@user/califx)
03:25:06 pharonix71 joins (~pharonix7@user/pharonix71)
03:25:14 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
03:25:48 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:28:55 img joins (~img@user/img)
03:39:51 wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
03:46:01 × rf quits (~rf@2605:59c8:179c:f610:c307:c081:a3e:bb75) (Ping timeout: 240 seconds)
03:47:41 titibandit joins (~titibandi@user/titibandit)
03:48:28 × wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
03:49:56 mixfix41 joins (~sdeny9ee@user/mixfix41)
04:01:29 × mixfix41 quits (~sdeny9ee@user/mixfix41) (Quit: left libera)
04:09:21 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:11:35 × titibandit quits (~titibandi@user/titibandit) (Ping timeout: 264 seconds)
04:19:59 × vandita quits (~vandit@178-164-188-53.pool.digikabel.hu) (Ping timeout: 240 seconds)
04:21:45 vandita joins (~vandit@92-249-185-231.pool.digikabel.hu)
04:24:13 wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
04:24:47 × evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds)
04:25:09 Guest71 joins (~Guest71@178.232.104.138)
04:28:07 trev joins (~trev@user/trev)
04:28:28 × wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
04:31:08 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
04:34:52 × monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER)
04:36:04 img joins (~img@user/img)
04:40:59 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
04:53:35 freeside_ joins (~mengwong@103.252.202.151)
04:57:07 titibandit joins (~titibandi@user/titibandit)
04:57:59 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
05:04:36 takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:05:55 takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be)
05:05:55 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
05:12:57 mbuf joins (~Shakthi@49.207.178.186)
05:18:25 bgs joins (~bgs@212-85-160-171.dynamic.telemach.net)
05:21:25 freeside_ joins (~mengwong@103.252.202.151)
05:26:01 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
05:26:18 wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
05:31:08 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
05:33:35 × wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
05:40:51 evincar joins (~evincar@user/evincar)
05:54:08 boukenshaou joins (~Boukensha@115.248.21.178)
05:55:00 harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
05:56:05 × boukenshaou quits (~Boukensha@115.248.21.178) (Client Quit)
05:56:21 boukenshaou joins (~Boukensha@115.248.21.178)
05:59:46 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
06:10:01 × bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds)
06:13:07 monochrom joins (trebla@216.138.220.146)
06:13:11 × vandita quits (~vandit@92-249-185-231.pool.digikabel.hu) (Ping timeout: 240 seconds)
06:15:09 vandita joins (~vandit@178-164-213-68.pool.digikabel.hu)
06:19:44 × evincar quits (~evincar@user/evincar) (Ping timeout: 248 seconds)
06:21:14 freeside_ joins (~mengwong@103.252.202.151)
06:23:30 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
06:24:41 titibandit joins (~titibandi@user/titibandit)
06:28:11 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
06:29:20 × Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 260 seconds)
06:29:20 × landonf quits (landonf@mac68k.info) (Ping timeout: 260 seconds)
06:29:20 × edm quits (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 260 seconds)
06:29:20 × supersven quits (sid501114@id-501114.ilkley.irccloud.com) (Ping timeout: 260 seconds)
06:29:20 × bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (Ping timeout: 260 seconds)
06:29:22 qhong_ joins (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)
06:29:25 × madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
06:29:28 supersven joins (sid501114@id-501114.ilkley.irccloud.com)
06:29:31 bradparker joins (sid262931@id-262931.uxbridge.irccloud.com)
06:29:32 landonf joins (landonf@mac68k.info)
06:29:39 madnight joins (~madnight@static.59.103.201.195.clients.your-server.de)
06:29:40 nshepperd21 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
06:29:55 × qhong quits (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 260 seconds)
06:29:55 × danso quits (~danso@user/danso) (Ping timeout: 260 seconds)
06:29:55 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 260 seconds)
06:29:55 × mht-wtf quits (~mht@2a03:b0c0:3:e0::1e2:c001) (Ping timeout: 260 seconds)
06:29:55 × degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 260 seconds)
06:29:55 × carter quits (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 260 seconds)
06:29:55 × Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 260 seconds)
06:30:08 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
06:30:10 Hobbyboy|BNC joins (Hobbyboy@hobbyboy.co.uk)
06:30:11 × Dykam quits (Dykam@dykam.nl) (Remote host closed the connection)
06:30:17 anderson_ joins (~ande@user/anderson)
06:30:22 × kawen_ quits (~quassel@static.208.191.216.95.clients.your-server.de) (Remote host closed the connection)
06:30:30 × mtjm quits (~mutantmel@2604:a880:2:d0::208b:d001) (Ping timeout: 260 seconds)
06:30:30 × meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds)
06:30:30 × Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (Ping timeout: 260 seconds)
06:30:30 × Guest7839 quits (sid22336@user/amir) (Ping timeout: 260 seconds)
06:30:30 × S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (Ping timeout: 260 seconds)
06:30:30 × NemesisD quits (sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 260 seconds)
06:30:30 × beaky quits (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 260 seconds)
06:30:34 Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
06:30:39 danso joins (~danso@user/danso)
06:31:02 CodeKiwi joins (~kiwi@2604:a880:400:d0::1ca0:e001)
06:31:05 × heartburn quits (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 260 seconds)
06:31:05 × fbytez quits (~uid@user/fbytez) (Ping timeout: 260 seconds)
06:31:05 × DigitalKiwi quits (~kiwi@2604:a880:400:d0::1ca0:e001) (Ping timeout: 260 seconds)
06:31:05 × anderson quits (~ande@user/anderson) (Ping timeout: 260 seconds)
06:31:05 × dove quits (~irc@2600:3c00:e000:287::1) (Ping timeout: 260 seconds)
06:31:05 × nshepperd2 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 260 seconds)
06:31:05 × Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 260 seconds)
06:31:05 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 260 seconds)
06:31:05 × christiaanb quits (sid84827@id-84827.lymington.irccloud.com) (Ping timeout: 260 seconds)
06:31:05 nshepperd21 is now known as nshepperd2
06:31:19 Dykam joins (Dykam@dykam.nl)
06:31:22 fbytez joins (~uid@2001:bc8:2117:100::)
06:31:30 kawen joins (~quassel@static.208.191.216.95.clients.your-server.de)
06:32:10 beaky joins (~beaky@2a03:b0c0:0:1010::1e:a001)
06:32:17 NemesisD joins (sid24071@id-24071.lymington.irccloud.com)
06:32:34 Adeon joins (sid418992@id-418992.lymington.irccloud.com)
06:32:47 heartburn joins (~gass@2a00:d880:3:1::b1e4:b241)
06:32:51 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
06:32:54 meinside joins (uid24933@id-24933.helmsley.irccloud.com)
06:32:56 degraafk joins (sid71464@id-71464.lymington.irccloud.com)
06:32:57 anderson_ is now known as anderson
06:32:58 dove joins (~irc@2600:3c00:e000:287::1)
06:33:03 nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
06:33:07 Guest7839 joins (sid22336@id-22336.hampstead.irccloud.com)
06:33:25 carter joins (sid14827@id-14827.helmsley.irccloud.com)
06:33:39 christiaanb joins (sid84827@id-84827.lymington.irccloud.com)
06:33:42 acidjnk joins (~acidjnk@p200300d6e7072f49656669c7267a9e8d.dip0.t-ipconnect.de)
06:33:55 mtjm joins (~mutantmel@2604:a880:2:d0::208b:d001)
06:34:33 Hobbyboy|BNC is now known as Hobbyboy
06:35:38 freeside_ joins (~mengwong@103.252.202.151)
06:36:03 mht-wtf joins (~mht@2a03:b0c0:3:e0::1e2:c001)
06:38:08 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
06:39:08 mncheck joins (~mncheck@193.224.205.254)
06:41:13 × potash quits (~potash@user/foghorn) (Ping timeout: 265 seconds)
06:42:02 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 246 seconds)
06:44:14 edm_ joins (sid147314@id-147314.hampstead.irccloud.com)
06:44:41 S11001001 joins (sid42510@id-42510.ilkley.irccloud.com)
06:44:57 Hafydd joins (~Hafydd@user/hafydd)
06:47:53 shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
06:50:50 oo_miguel joins (~Thunderbi@77.252.47.78)
06:52:02 gmg joins (~user@user/gehmehgeh)
06:55:39 × harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
06:59:47 × Guest71 quits (~Guest71@178.232.104.138) (Quit: Client closed)
07:03:12 merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
07:05:17 evincar joins (~evincar@user/evincar)
07:08:16 × merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
07:09:01 michalz joins (~michalz@185.246.207.203)
07:09:56 lortabac joins (~lortabac@2a01:e0a:541:b8f0:f2f9:934b:840d:efc0)
07:10:33 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
07:12:14 gurkenglas joins (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de)
07:16:46 freeside_ joins (~mengwong@103.252.202.151)
07:21:01 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
07:21:48 titibandit joins (~titibandi@user/titibandit)
07:30:04 × jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 265 seconds)
07:30:47 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
07:31:52 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
07:37:56 ubert joins (~Thunderbi@p200300ecdf18b6bbcb3abf0ef164eaee.dip0.t-ipconnect.de)
07:40:31 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:41:18 jero98772 joins (~jero98772@2800:484:1d84:9000::2)
07:46:31 freeside_ joins (~mengwong@103.252.202.151)
07:50:56 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
07:57:07 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
07:58:39 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:58:48 × evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds)
08:03:29 × phma quits (~phma@host-67-44-208-35.hnremote.net) (Read error: Connection reset by peer)
08:04:12 phma joins (~phma@host-67-44-208-44.hnremote.net)
08:05:12 merijn joins (~merijn@185.143.104.11)
08:05:35 × cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds)
08:14:13 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
08:15:30 <merijn> Anyone know how the monoidal behaviour of build-depends if you list the same dependency twice? does it union the version ranges? Use || or them? keep the last one?
08:15:46 <merijn> (in cabal, ofc)
08:15:48 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
08:17:36 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 248 seconds)
08:18:24 × boukenshaou quits (~Boukensha@115.248.21.178) (Ping timeout: 265 seconds)
08:19:18 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:19:39 boukenshaou joins (~Boukensha@115.248.21.178)
08:21:11 chele joins (~chele@user/chele)
08:21:37 cfricke joins (~cfricke@user/cfricke)
08:21:45 × vandita quits (~vandit@178-164-213-68.pool.digikabel.hu) (Ping timeout: 240 seconds)
08:23:44 vandita joins (~vandit@84-236-1-40.pool.digikabel.hu)
08:25:40 use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:b0a5:d562:30d8:fcbb)
08:26:58 × Angelz quits (Angelz@Angelz.oddprotocol.org) (Ping timeout: 250 seconds)
08:28:06 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:200b:a013:81d0:d721) (Remote host closed the connection)
08:32:31 × merijn quits (~merijn@185.143.104.11) (Ping timeout: 240 seconds)
08:39:43 × jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 256 seconds)
08:42:28 merijn joins (~merijn@185.143.104.11)
08:43:15 MelMalik is now known as AndreaB
08:45:00 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
08:45:11 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
08:46:18 Lord_of_Life_ is now known as Lord_of_Life
08:46:46 <geekosaur> uses the last one, so you can override with a `--build-depends` or `cabal.project` etc., aiui
08:47:57 <merijn> geekosaur: ok, that's probably the most useful behaviour for me, since I need some conditional blocks for differing compiler versions
08:51:23 jero98772 joins (~jero98772@2800:484:1d84:9000::2)
08:53:40 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
08:53:54 Angelz joins (Angelz@Angelz.oddprotocol.org)
08:54:45 <c_wraith> yeah.. turns out cabal.project.freeze isn't special, except that it's loaded last of all the standard configs so that it can override less specific dependency bounds
08:55:36 tomsmeding would have expected taking the intersection of the version ranges
08:55:58 <tomsmeding> that would still allow overriding _less_ specific dependency bounds, but not _more_ specific ones
08:56:21 <merijn> tomsmeding: But that's unhelpful with conditionals, though
08:56:37 <c_wraith> in theory you could put other things cabal understands in cabal.project.freeze. Except that would surprise a lot of people and be really fragile as people tend to treat it as a file to delete and regenerate when needed.
08:56:38 <merijn> tomsmeding: i.e. I might want two separate ranges for GHC 8.10 and 9.4
08:56:49 <tomsmeding> merijn: I guess I would expect the conditionals to have an 'else' :p
08:57:25 <tomsmeding> 'Last' is also defensible though
08:57:54 <geekosaur> it's also easier 🙂
08:58:04 <geekosaur> both to implement and to reason about
08:58:15 <tomsmeding> is it? Wouldn't intersection just involve concatenating the lists of bounds
08:58:32 <tomsmeding> and reasoning simplicity is subjective here :p
08:59:20 <tomsmeding> i.e. can't I already write 'base >=4.14 >=4.15'
08:59:32 <tomsmeding> well with && between them I guess
09:01:59 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 240 seconds)
09:02:36 wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
09:04:05 kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
09:06:41 nek0 joins (~nek0@2a01:4f8:222:2b41::12)
09:06:55 × wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
09:07:39 zeenk joins (~zeenk@2a02:2f04:a105:f00::7fe)
09:28:28 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289)
09:32:01 × dontdieych quits (~alarm@132.226.169.184) (Quit: WeeChat 3.8)
09:32:50 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 250 seconds)
09:46:08 × ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
09:47:59 × mei quits (~mei@user/mei) (Ping timeout: 240 seconds)
10:03:48 × jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
10:04:32 mei joins (~mei@user/mei)
10:04:57 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
10:06:14 jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
10:07:50 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
10:09:26 freeside_ joins (~mengwong@103.252.202.151)
10:11:38 streetlamp joins (~Boukensha@115.248.21.178)
10:13:39 enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7)
10:13:52 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
10:14:00 × boukenshaou quits (~Boukensha@115.248.21.178) (Ping timeout: 250 seconds)
10:15:35 ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
10:16:19 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
10:16:56 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
10:20:06 <carbolymer> If I have a cabal library and executable, and a bit different version bounds in each one (tighter ones in executable), cabal will just pick a version satisfying both and use it bo build everything, right?
10:23:39 <geekosaur> yes, presuming the executable depends on the library
10:30:21 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289)
10:31:20 <carbolymer> yes
10:31:45 <carbolymer> so in this case, basically the version bound can be specified only in the library dependency
10:32:18 <carbolymer> s/can be specified only/could be specified just
10:33:27 <geekosaur> unless there's a reasonable case to be made for the library being usable without the executable, such that looser bounds make some sense
10:34:48 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 250 seconds)
10:46:06 dontdieych joins (~alarm@132.226.169.184)
10:50:03 × vandita quits (~vandit@84-236-1-40.pool.digikabel.hu) (Ping timeout: 256 seconds)
10:51:39 vandita joins (~vandit@178-164-207-107.pool.digikabel.hu)
10:54:05 zer0bitz_ joins (~zer0bitz@user/zer0bitz)
10:54:19 CiaoSen joins (~Jura@dynamic-046-114-221-004.46.114.pool.telefonica.de)
10:54:23 × jjb quits (~jjb@user/jjb) (Ping timeout: 240 seconds)
10:55:09 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds)
10:55:15 <merijn> I think he means the executable depends on the library in the same package
10:55:28 <merijn> In wich case, yes, you can leave the dependency on the executable unrestricted
10:55:36 <merijn> Because the library will restrict it
10:55:53 <carbolymer> yep, thanks geekosaur, merijn
10:56:14 <merijn> tomsmeding: && would be silly, since that's just >=4.15 :p
10:56:22 <merijn> tomsmeding: || or would make more sense
10:56:37 jjb joins (~jjb@user/jjb)
10:56:55 <carbolymer> we have a situation now where version bounds are sprinkled everywhere, so simple dependency update triggers domino effect and necessity to change multiple packages
11:02:34 qhong_ is now known as qhong
11:03:49 xff0x joins (~xff0x@ai098135.d.east.v6connect.net)
11:10:51 <geekosaur[m]> merijn, but || is silly because that's just >= 4.14 :p
11:13:00 <merijn> geekosaur[m]: ah, yeah, actually true :p
11:13:44 freeside_ joins (~mengwong@103.252.202.151)
11:18:05 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
11:18:45 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds)
11:26:45 × streetlamp quits (~Boukensha@115.248.21.178) (Remote host closed the connection)
11:26:53 × gurkenglas quits (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de) (Ping timeout: 256 seconds)
11:31:01 <yin> in which situation would i want to limit a dependency's version?
11:31:32 <yin> putting a ceiling on it, i mean
11:31:38 <yin> an upper bound
11:32:29 <yin> that'a not a major, breaking change
11:34:42 <[exa]> yin: if you depend on specific behavior that dependency authors don't consider as breaking if modified
11:35:38 <jade[m]> sometimes things like deprecations could get in your way
11:36:24 <[exa]> "it slowed the program down by printing a gigaton of deprecation warnings" is a common engineering complaint, yes. :D
11:36:57 <jade[m]> haha
11:39:41 <[exa]> not funny, I had this happening in linux kernel, one networking patch started spewing a WARN for each packet that was sent to a network interface; which isn't helpful at all on a backbone router
11:40:07 gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
11:42:04 freeside_ joins (~mengwong@103.252.202.151)
11:42:12 <jade[m]> I thought you were joking 🤣
11:42:30 <yin> that's amazing
11:42:32 <[exa]> I wish I were
11:42:49 <[exa]> anyway yeah events like this really adjust your attitude to dependency updates
11:43:00 <yin> got it
11:44:10 <[exa]> there's a pretty good approach with compathelpers nowadays, basically there's some automated thing (compathelper bot on github or so) that keeps dependencies upper bounds tight and scans for possible bumps when dependencies get released
11:45:14 <[exa]> which is nice because 1] breakage won't sneak in 2] package is moreless up-to-date most of the time 3] because it's generating normal pull requests that trigger tests, the updates won't sneak around the tests
11:45:38 <[exa]> but 4] if 2 packages somehow depend on each other and everything is automated, you get an infinite dependency bumping loop
11:46:23 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
11:49:55 <yin> haskell should be an easy language to test for breaking changes
11:50:10 <yin> i'm thinking edge cases and all that
11:50:19 <yin> bottoms
11:50:31 akegalj joins (~akegalj@141-136-161-155.dsl.iskon.hr)
11:50:46 <yin> it can provide at least some guarantees
11:56:34 × akegalj quits (~akegalj@141-136-161-155.dsl.iskon.hr) (Quit: leaving)
12:00:03 <geekosaur> until someone gets the bright idea of having a function you use ~constantly throw an exception in some cases, and then everything breaks silently
12:00:13 geekosaur still miffed about that
12:00:57 <yin> wait
12:01:49 <yin> how can something throw an exception and break silently at the same time?
12:02:17 <geekosaur> "break at runtime instead of throwing a compile error because you violated a new invariant"
12:03:21 geekosaur argued for it being `Maybe` or `ExceptT` and lost. then we got two separate waves of user-reported crashes
12:03:39 <yin> ia this a popular module?
12:04:15 <geekosaur> X11, as of a couple years ago. xmonad uses `getWindowAttributes` from it
12:04:36 <yin> ouch, that sounds awful
12:04:46 <geekosaur> arguably it was a bugfix because the function would silently produce garbage (but usually not a coredump)
12:05:01 <geekosaur> but it shouldn't habve changed to an exception because those can't be typechecked
12:05:21 <geekosaur> and every use suddenly had to be wrapped in `catch`, `catchX`, or `userCode`
12:05:38 <geekosaur> (the latter two being xmonad internal handler functions)
12:15:32 vglfr joins (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887)
12:16:36 × vglfr quits (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887) (Remote host closed the connection)
12:17:10 vglfr joins (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887)
12:17:12 × vglfr quits (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887) (Remote host closed the connection)
12:18:57 vglfr joins (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887)
12:19:18 × vglfr quits (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887) (Remote host closed the connection)
12:20:15 vglfr joins (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887)
12:25:22 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:26:50 freeside_ joins (~mengwong@103.252.202.151)
12:28:23 freeside1 joins (~mengwong@185.223.152.159)
12:28:45 <dminuoso> Is there some newtype wrappers that have a memoized hash of the thing inside for faster comparison?
12:30:25 <geekosaur> er? by runtime there's no "inside"
12:30:50 <dminuoso> Oh, I guess `data` :-)
12:31:16 <dminuoso> My brain just imagined everything I could possibly desire to be free.
12:31:23 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds)
12:33:24 chomwitt joins (~chomwitt@2a02:587:7a04:2000:1ac0:4dff:fedb:a3f1)
12:33:40 <yin> dminuoso: can't you use somekind of Map?
12:33:42 <geekosaur> might this be a use case for a StablePtr?
12:34:52 <dminuoso> Mmm, StablePtr wont work (imagine you have a bytestring that was copied)
12:35:12 × freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
12:35:37 <dminuoso> But I guess Ill just cook myself some TextWithHash
12:45:37 cfricke joins (~cfricke@user/cfricke)
12:48:21 <merijn> :O
12:48:38 <merijn> Wait, Hackage has built in notifications for when your dependencies are updated out of your bounds? :O
12:56:00 ub joins (~Thunderbi@p200300ecdf18b6bbfb0914264665628c.dip0.t-ipconnect.de)
12:59:30 <merijn> geekosaur[m], tomsmeding: I'm sad to report version constraints are, in fact, && together
13:00:57 <merijn> Well, that sucks balls
13:01:40 <merijn> That's gonna make it way more annoying to write this all out
13:02:53 wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net)
13:06:26 <dminuoso> carbolymer: One thing to keep in mind, that obviously there is not going to be a "perfect" plan. So if if the executable component introduces extra constraints it can leave with some bizarre artifacts (because cabal-plan will not do an exhaustive search)
13:07:08 × wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
13:07:49 <dminuoso> Though in reality this will be rare (since generally lower versions will broadly have lower upper bounds on its dependencies)
13:08:23 × vandita quits (~vandit@178-164-207-107.pool.digikabel.hu) (Ping timeout: 240 seconds)
13:09:23 <Hecate> dminuoso: FastString in GHC ?
13:09:43 <dminuoso> Hecate: Ohh!
13:09:54 cheater joins (~Username@user/cheater)
13:10:03 <merijn> bleh
13:10:23 vandita joins (~vandit@92-249-179-105.pool.digikabel.hu)
13:10:24 <merijn> And I can't write a single version in build-depends with an || modifier
13:10:27 <dminuoso> Hecate: Yes! I need to plug that out :)
13:10:39 <merijn> bah
13:11:02 <dminuoso> merijn: with the intent to communicate that if that constraint is inherited (via a transitive dependency), its ORed and not ANDed?
13:11:29 <merijn> dminuoso: Not transitive
13:11:55 <Hecate> dminuoso: 👍 :)
13:11:58 <merijn> Basically, I have a dependency on "mtl ^>= 2.3.1" and I wanted to selectively override that with 2.2.2 for GHC 9.0
13:12:01 <carbolymer> dminuoso: by bizarre artifacts you mean unbuildable plan?
13:12:11 <dminuoso> carbolymer: Not necessarily.
13:12:31 <dminuoso> carbolymer: cabal-plan does not do an exhaustive search of all plans.
13:12:37 <merijn> dminuoso: I don't want to generalise the entire buildplan on other GHCs to allow 2.2.2 though
13:13:19 × enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq)
13:13:20 <merijn> So I just wanted "mtl ^>= 2.3.1" 'if impl(ghc == 9.0.*) build-depends: mtl ^>= 2.2.2"
13:13:28 <dminuoso> carbolymer: or rather, if a buildable plan exists (with the specified flags), cabal-plan will find it
13:13:40 <dminuoso> But it is not guaranteed to give you the "best plan" (whatever that means)
13:13:47 <merijn> But now I need to write if/else, moving mtl out of the overall dependency list
13:14:02 <merijn> And I need to do that for a number of other dependencies, which is kinda annoying
13:18:04 × chomwitt quits (~chomwitt@2a02:587:7a04:2000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
13:26:57 freeside joins (~mengwong@103.252.202.151)
13:30:36 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds)
13:30:56 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:32:17 × merijn quits (~merijn@185.143.104.11) (Read error: Connection reset by peer)
13:32:26 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289)
13:32:35 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
13:34:24 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
13:36:47 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 246 seconds)
13:39:23 brettgilio joins (~brettgili@x-irc.gq)
13:52:15 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
13:52:33 L29Ah joins (~L29Ah@wikipedia/L29Ah)
13:55:40 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
13:58:33 freeside joins (~mengwong@103.252.202.151)
13:59:16 CodeKiwi is now known as DigitalKiwi
14:07:01 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
14:15:45 × ub quits (~Thunderbi@p200300ecdf18b6bbfb0914264665628c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
14:16:05 ub joins (~Thunderbi@p200300ecdf18b6bbfb0914264665628c.dip0.t-ipconnect.de)
14:19:25 freeside joins (~mengwong@103.252.202.151)
14:20:48 waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
14:22:23 × oo_miguel quits (~Thunderbi@77.252.47.78) (Ping timeout: 240 seconds)
14:24:20 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
14:24:45 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
14:25:41 chexum joins (~quassel@gateway/tor-sasl/chexum)
14:35:04 oo_miguel joins (~Thunderbi@77.252.47.78)
14:35:08 nick4 joins (~nick@wsip-174-78-110-18.pn.at.cox.net)
14:35:31 Sgeo joins (~Sgeo@user/sgeo)
14:37:11 shriekingnoise joins (~shrieking@186.137.175.87)
14:48:00 freeside joins (~mengwong@103.252.202.151)
14:55:25 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds)
15:11:17 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
15:11:40 freeside joins (~mengwong@103.252.202.151)
15:12:23 ub1 joins (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de)
15:12:35 × ub quits (~Thunderbi@p200300ecdf18b6bbfb0914264665628c.dip0.t-ipconnect.de) (Remote host closed the connection)
15:14:40 ub1 is now known as ub
15:15:20 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
15:18:02 viwor joins (~Thunderbi@IGLD-83-130-212-68.inter.net.il)
15:18:12 × xff0x quits (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 250 seconds)
15:19:48 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
15:20:09 xff0x joins (~xff0x@178.255.149.135)
15:22:00 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
15:23:45 azimut joins (~azimut@gateway/tor-sasl/azimut)
15:25:18 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 268 seconds)
15:26:25 xff0x joins (~xff0x@ai098135.d.east.v6connect.net)
15:27:02 eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
15:28:26 × acidjnk quits (~acidjnk@p200300d6e7072f49656669c7267a9e8d.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
15:28:28 freeside joins (~mengwong@103.252.202.151)
15:31:55 _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
15:32:03 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:f2f9:934b:840d:efc0) (Quit: WeeChat 2.8)
15:32:45 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
15:32:59 × finsternis quits (~X@23.226.237.192) (Ping timeout: 248 seconds)
15:34:22 freeside joins (~mengwong@103.252.202.151)
15:36:57 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:40:45 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
15:44:24 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Quit: leaving)
15:44:48 × ubert quits (~Thunderbi@p200300ecdf18b6bbcb3abf0ef164eaee.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
15:44:48 ub is now known as ubert
15:44:51 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
15:47:32 Sciencentistguy4 joins (~sciencent@hacksoc/ordinary-member)
15:49:23 × cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds)
15:49:59 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds)
15:49:59 Sciencentistguy4 is now known as Sciencentistguy
15:50:59 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
15:51:49 × nick4 quits (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 268 seconds)
16:00:00 cheater joins (~Username@user/cheater)
16:03:28 gurkenglas joins (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de)
16:04:46 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
16:05:24 × foghorn quits (~foghorn@user/foghorn) (Remote host closed the connection)
16:07:24 econo joins (uid147250@user/econo)
16:08:32 × CiaoSen quits (~Jura@dynamic-046-114-221-004.46.114.pool.telefonica.de) (Ping timeout: 248 seconds)
16:08:59 freeside joins (~mengwong@103.252.202.151)
16:09:36 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
16:11:37 tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
16:11:55 out-of-memory joins (~out-of-me@172.58.160.241)
16:12:46 <out-of-memory> Hello! I have a program that is exiting with "out of memory", but when I compile with profiling enabled, it works fine!
16:12:59 <out-of-memory> Does anyone have any rough pointers for a case like this?
16:13:05 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
16:13:20 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
16:13:50 <out-of-memory> The numbers look totally reasonable in profiling mode
16:14:05 <out-of-memory> Not too much allocation, not too much GC
16:15:22 <out-of-memory> I am using GHC.Compact, so I probably have 40 or 60 separate regions. That comes out to (60 * 32kb = 1920kb) so less than 2mb of pinned memory from that.
16:17:16 <geekosaur> you could try building with -O0 since profiling disables optimization, but that's less than ideal for practical use
16:17:53 <geekosaur> also if it says something about being unable to mmap 4096 bytes at nil, you may be hitting a recent linux kernel bug
16:18:34 <out-of-memory> I'll try to do -O0 without profiling and see what happens. Be right back!
16:20:04 <out-of-memory> I actually have a question about that though. In my .cabal file: I have a line like this:
16:20:04 <out-of-memory> ghc-options: -threaded -O0 -Wall -Werror
16:20:05 <out-of-memory> But in the output while it is rebuilding, it says "Build profile: -w ghc-9.4.4 -O1"
16:20:43 <out-of-memory> I have noticed this before, but I didn't care quite enough to look into it more. It seems to choose -O1 regardless of whether I say -O0 or -O2 in my cabal file.
16:21:18 <sclv> yeah the profile is the top level settings
16:21:33 <sclv> the cabal file takes precidence
16:21:49 <sclv> the profile applies to all deps as well etc
16:22:03 <johnw> hi sclv!
16:22:32 <sclv> hi john, long time!!
16:24:09 <johnw> yes, very long time
16:24:22 <johnw> I'm coming to NYC next week, but I'll only be at Rockaway Beach
16:24:54 <sclv> ah drat. would have been nice to say hi
16:25:37 <geekosaur> if you're forcing -O0 you may be missing out on optimizations that will reduce memory usage, although I'd more expect that to cause more garbage collections rather than complain about out of memory
16:25:44 <geekosaur> are you setting a cap on the heap?
16:25:53 <geekosaur> (RTS option)
16:26:36 <out-of-memory> No cap, I am letting it pretty much do the defaults.
16:26:43 <out-of-memory> I only have "ghc-options: -threaded -O0 -Wall -Werror" listed
16:26:55 <out-of-memory> when I call the binary, I say "+RTS -N"
16:27:13 <out-of-memory> It's still a work in progress, so I haven't tried to do any tuning of RTS variables
16:27:41 <out-of-memory> I'll show the output of -s to get an idea of things. One sec.
16:29:35 <out-of-memory> sclv, I looked at the top level settings (in `~/.cabal/config` for 3.6 it seems) and it does not explicitly set an optimization level. I assume that means O1 is just the default?
16:29:35 × vandita quits (~vandit@92-249-179-105.pool.digikabel.hu) (Ping timeout: 264 seconds)
16:29:52 <sclv> yep
16:30:38 <out-of-memory> Is there a way to confirm which -O flag which used for a specific build?
16:31:08 vandita joins (~vandit@94-21-55-53.pool.digikabel.hu)
16:31:25 <out-of-memory> Here's the -s output: https://paste.tomsmeding.com/gwxMCGbt
16:32:54 <out-of-memory> My program is a compiler. It is compiling around 20 files. The weirdest features I use are probably GHC.Compact and GHC.Prim structures.
16:33:55 <out-of-memory> I don't have any C calls in my code though
16:34:18 <out-of-memory> So from -s, it seems like everything is fine, but I turn off profiling and get the "out of memory" again
16:34:38 <out-of-memory> Can it be something lazy that is getting forced infinitely?
16:35:01 <geekosaur> profiling shouldn't affect that
16:35:09 <out-of-memory> (It also gives "out of memory" very very quickly. I'm not seeing a spike in my OS view of memory usage either.)
16:36:12 freeside joins (~mengwong@103.252.202.151)
16:36:14 <out-of-memory> Could strictness analysis trigger that though? (I have never looked into strictness analysis enough to know if this could happen.)
16:36:48 <geekosaur> I would expect profiling changing strictness analysis to be a bug
16:37:08 <out-of-memory> Okay, that's a good reference point!
16:37:13 gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
16:37:30 <geekosaur> it's bad enough that profiling disables optimization (we recently got -fprof-late to help with that)
16:38:02 <out-of-memory> I'll look into what that flag does. Maybe it'll help me get the "out of memory" while profiling is on?
16:38:20 × euandreh quits (~Thunderbi@189.6.18.7) (Read error: Connection reset by peer)
16:38:21 <geekosaur> it might,m but I think you need to be on 9.6.1 to get that flag
16:38:31 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
16:39:21 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
16:39:53 <out-of-memory> It says since 9.4.1 here https://downloads.haskell.org/ghc/latest/docs/users_guide/profiling.html#ghc-flag--fprof-late and it's compiling at the moment. Will find out how it goes soon!
16:40:24 <out-of-memory> Thank you for helping me through this by the way!
16:41:06 <geekosaur> no problem, that's what we're here for
16:41:21 <out-of-memory> This flag seems like a great addition! Excited to try it out seriously once this project is ready for optimization :)
16:41:44 <geekosaur> seriously? I'd optimize up front
16:43:41 <out-of-memory> In my particular case, I need to get a working implementation before I put too much focus on optimization.
16:43:44 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 248 seconds)
16:44:04 <out-of-memory> I've been working on this program basically for ~10 years, so I know where the odd spots are by now.
16:44:35 <geekosaur> optimizing the code you write is one thing, letting the compiler do optimizations is another. -O0 is basically debugging the compiler 🙂
16:44:38 <out-of-memory> Okay, no "out of memory" when using the -fprof-late flag!
16:45:18 × jjb quits (~jjb@user/jjb) (Ping timeout: 250 seconds)
16:45:25 × mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving)
16:45:32 <geekosaur> now that's interesting. might be worth a bug report, although testing with 9.4.5 might be warranted first
16:46:03 <out-of-memory> Ah, I am on 9.4.4. I'll check out the release notes real quick.
16:46:43 <out-of-memory> Is there a way to absolutely confirm which flags were used for a given executable?
16:47:01 <c_wraith> Sometimes I wish GHC did fewer optimizations that serve to fix strictness errors and the like. My theory is that would make people a lot less shocked when programs get complex enough that those optimizations no longer fix all their oversights.
16:47:01 <geekosaur> not that I'm aware of. sclv might know more
16:47:04 jjb joins (~jjb@user/jjb)
16:48:43 euandreh joins (~Thunderbi@189.6.18.7)
16:49:02 <geekosaur> huuuh. looks like gcc embeds compile options in its code. maybe that should be proposed for ghc
16:49:39 freeside joins (~mengwong@103.252.202.151)
16:49:40 <sclv> this sounds like a compiler bug possibly. i remember there were some issues where things went funny on boxes with LOTs of memory because it overflowed ghc's own limits
16:49:54 <sclv> so explicitly running with heap and stack sizes set sufficiently large may help
16:50:16 <sclv> (in particular if a box had enough memory, ghc would calculate a very small default heap size due to an integer overflow)
16:50:47 <sclv> those should well be resolved by the 9.4.4 compiler, but who knows
16:50:52 czy joins (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net)
16:51:02 <geekosaur> I would also expect that to not be affected by profiling
16:51:39 <out-of-memory> Interesting! I'll play around with setting heap and stack sizes. (I am on a 2013 MacBook Air, but it'd be good to see if the particular line where the failure occurs changes dramatically.)
16:51:51 <out-of-memory> The 9.4.5 notes don't say anything that looks relevent https://downloads.haskell.org/~ghc/9.4.5/docs/users_guide/9.4.5-notes.html#runtime-system
16:52:30 <out-of-memory> So it may be getting a small heap and stack because it's pretty old, haha
16:52:37 <out-of-memory> I'll report back soon!
16:52:55 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:53:48 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
16:54:30 <sclv> no way afaik to extract ghc flags a binary was compiled with. the cabal-hash file for each package in the store does provide the cleartext of the cabal hash, but that stores the _cabal level_ flags.
16:56:01 <out-of-memory> I started recording SHA for each executable produced, so I can at least confirm that they are different.
16:59:12 × zeenk quits (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!)
17:00:57 freeside joins (~mengwong@103.252.202.151)
17:08:00 <out-of-memory> I am seeing different hashes for executables with different flags. I am still investigating different RTS flags though. (It's a lot of files, so compiles are kind of slow.)
17:08:13 <out-of-memory> (For confirming the hashes I mean)
17:08:25 <geekosaur> yes, but they're hashes so you can't reconstruct the flags from the hashes
17:11:23 <out-of-memory> I at least know the executable is changing based on changing -O0 to -O1 to -O2 which at least detects "I am at optimization level I didn't expect"
17:12:02 <out-of-memory> I cannot reproduce the out-of-memory anymore. All I have been doing is messing with flags in a .cabal file. Very weird.
17:12:36 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
17:13:02 <out-of-memory> Using "ghc-options: -threaded -O1 -Wall -Werror -rtsopts" now and it's gone.
17:13:40 freeside joins (~mengwong@103.252.202.151)
17:14:00 <out-of-memory> I am pretty baffled by how this could happen, so I'll keep an eye out in case it comes up again.
17:15:15 <out-of-memory> In any case, thank you so much geekosaur and sclv for helping me through this problem! Very happy to be able to continue with regular optimization flags, even if it is mysterious why haha
17:15:21 <geekosaur> might still be worth reporting although trying it with `+RTS -M8G` or something might be revealing
17:15:41 <out-of-memory> I can try that. One sec
17:15:51 <out-of-memory> (I don't think I have that much RAM, haha)
17:15:52 <geekosaur> that's a runtime option, not a compile option
17:16:07 <geekosaur> oh, hm
17:16:12 <out-of-memory> Yeah, it worked fine!
17:16:47 <geekosaur> okay, so the RTS may be setting the heap size funny
17:17:45 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
17:19:31 <out-of-memory> I think making a reproducible version of this will be pretty hard. (Have 199 modules at the moment!) But I'll cross that bridge if I come to it! Thank you again!
17:20:03 <geekosaur> np
17:26:29 × shinjipf quits (~shinjipf@137.184.4.49) (Quit: Shinji leaves)
17:26:55 shinjipf joins (~shinjipf@137.184.4.49)
17:27:07 oats_ joins (~thomas@user/oats)
17:28:48 oats_ is now known as tomas
17:34:48 × out-of-memory quits (~out-of-me@172.58.160.241) (Ping timeout: 245 seconds)
17:41:38 × cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds)
17:47:35 × Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 264 seconds)
17:48:17 × czy quits (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
17:53:04 × vglfr quits (~vglfr@2a0d:3344:1b4f:9e10:add0:f322:8c39:7887) (Ping timeout: 248 seconds)
17:53:16 vglfr joins (~vglfr@209.198.137.226)
17:55:35 × oo_miguel quits (~Thunderbi@77.252.47.78) (Ping timeout: 240 seconds)
18:06:25 freeside joins (~mengwong@103.252.202.151)
18:08:59 Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
18:10:55 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds)
18:13:09 × Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection)
18:13:50 waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
18:15:35 × euandreh quits (~Thunderbi@189.6.18.7) (Remote host closed the connection)
18:15:58 euandreh joins (~Thunderbi@189.6.18.7)
18:25:46 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
18:36:23 freeside joins (~mengwong@103.252.202.151)
18:43:33 × zer0bitz_ quits (~zer0bitz@user/zer0bitz) (Quit: No Ping reply in 180 seconds.)
18:44:10 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
18:44:47 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
18:45:00 zer0bitz joins (~zer0bitz@user/zer0bitz)
18:45:59 × mei quits (~mei@user/mei) (Remote host closed the connection)
18:46:14 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
18:46:45 rf joins (~rf@142.99.241.242)
18:51:26 simendsjo joins (~user@84.211.91.241)
18:52:44 × simendsjo quits (~user@84.211.91.241) (Remote host closed the connection)
18:53:46 mei joins (~mei@user/mei)
18:58:38 × vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr)
18:59:52 vulpine joins (xfnw@tilde.team)
19:02:03 × vglfr quits (~vglfr@209.198.137.226) (Read error: Connection reset by peer)
19:02:15 vglfr joins (~vglfr@2a0d:3344:1b4f:9e10:5c0a:60fc:aa33:b5d6)
19:07:15 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Quit: No Ping reply in 180 seconds.)
19:08:41 zer0bitz joins (~zer0bitz@user/zer0bitz)
19:10:00 freeside joins (~mengwong@103.252.202.151)
19:10:58 oo_miguel joins (~Thunderbi@77.252.47.78)
19:11:02 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
19:11:45 × mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8)
19:11:46 Sgeo joins (~Sgeo@user/sgeo)
19:14:35 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds)
19:23:57 × vglfr quits (~vglfr@2a0d:3344:1b4f:9e10:5c0a:60fc:aa33:b5d6) (Ping timeout: 265 seconds)
19:24:56 vglfr joins (~vglfr@209.198.137.226)
19:25:26 × vglfr quits (~vglfr@209.198.137.226) (Read error: Connection reset by peer)
19:25:41 vglfr joins (~vglfr@209.198.137.226)
19:27:06 rf_ joins (~rf@142.99.241.246)
19:27:59 × vglfr quits (~vglfr@209.198.137.226) (Read error: Connection reset by peer)
19:28:01 × rf quits (~rf@142.99.241.242) (Ping timeout: 240 seconds)
19:28:11 vglfr joins (~vglfr@209.198.137.226)
19:30:31 × vglfr quits (~vglfr@209.198.137.226) (Read error: Connection reset by peer)
19:30:46 vglfr joins (~vglfr@209.198.137.226)
19:31:05 × gurkenglas quits (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
19:31:15 pavonia joins (~user@user/siracusa)
19:32:23 ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de)
19:33:46 freeside joins (~mengwong@103.252.202.151)
19:34:10 user____1 joins (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de)
19:35:08 user____1 is now known as gurkenglas
19:37:20 × eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:37:59 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
19:39:47 × heartburn quits (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 264 seconds)
19:40:49 mechap joins (~mechap@user/mechap)
19:45:16 mmhat joins (~mmh@p200300f1c70668f7ee086bfffe095315.dip0.t-ipconnect.de)
19:45:46 acidjnk joins (~acidjnk@p200300d6e7072f49e923159d5e1d01b5.dip0.t-ipconnect.de)
19:47:40 heartburn joins (~gass@2a00:d880:3:1::b1e4:b241)
19:50:31 × vglfr quits (~vglfr@209.198.137.226) (Read error: Connection reset by peer)
19:55:19 freeside joins (~mengwong@103.252.202.151)
19:58:41 vglfr joins (~vglfr@209.198.137.226)
19:59:35 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
20:02:31 cheater joins (~Username@user/cheater)
20:03:07 × vglfr quits (~vglfr@209.198.137.226) (Ping timeout: 256 seconds)
20:03:45 vglfr joins (~vglfr@209.198.137.226)
20:04:37 × mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8)
20:05:42 mechap joins (~mechap@user/mechap)
20:06:47 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:06:54 dr_merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
20:07:18 dr_merijn is now known as merijn
20:08:03 <merijn> bleh
20:08:08 <merijn> asum is in Prelude now?
20:08:28 <merijn> So how do I import it in a backwards compatible manner without GHC bitching at me about unused imports?
20:09:00 <merijn> And of course no mention of this in the migration guide...
20:10:21 <merijn> Am I stuck with CPP to silence this? Because that's gonna annoy me if that's the case
20:12:01 × mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8)
20:18:21 freeside joins (~mengwong@103.252.202.151)
20:18:40 × vandita quits (~vandit@94-21-55-53.pool.digikabel.hu) (Ping timeout: 248 seconds)
20:20:24 vandita joins (~vandit@188-143-101-93.pool.digikabel.hu)
20:22:59 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds)
20:25:23 × rf_ quits (~rf@142.99.241.246) (Quit: Leaving)
20:25:42 rf joins (~rf@142.99.241.246)
20:27:59 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
20:36:08 × takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
20:37:46 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289)
20:37:48 × trev quits (~trev@user/trev) (Quit: trev)
20:38:40 <sm> merijn: I'm not seeing the context, so ignore if off the mark, but the *-compat packages have been helpful with this kind of thing
20:42:20 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 250 seconds)
20:43:01 tan00kee joins (~paul@pauloliver.dev)
20:44:58 Pickchea joins (~private@user/pickchea)
20:45:48 evincar joins (~evincar@user/evincar)
20:50:29 monix joins (~quassel@a85-138-255-115.cpe.netcabo.pt)
20:55:00 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
20:56:24 coot joins (~coot@89-69-206-216.dynamic.chello.pl)
20:58:05 freeside joins (~mengwong@103.252.202.151)
21:01:22 Lycurgus joins (~juan@user/Lycurgus)
21:02:37 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
21:04:06 × bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
21:07:37 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
21:20:34 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
21:23:17 zeenk joins (~zeenk@2a02:2f04:a105:f00::7fe)
21:24:09 × cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds)
21:24:17 freeside joins (~mengwong@103.252.202.151)
21:26:04 zer0bitz_ joins (~zer0bitz@user/zer0bitz)
21:27:19 eL_Bart0- joins (eL_Bart0@dietunichtguten.org)
21:27:28 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds)
21:27:31 × buhman_ quits (sid411355@user/buhman) (Ping timeout: 240 seconds)
21:27:31 × lally quits (sid388228@id-388228.uxbridge.irccloud.com) (Ping timeout: 240 seconds)
21:27:31 × potato44 quits (uid421314@id-421314.lymington.irccloud.com) (Ping timeout: 240 seconds)
21:27:31 × filwisher quits (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 240 seconds)
21:27:41 lally joins (sid388228@id-388228.uxbridge.irccloud.com)
21:28:01 × Vajb quits (~Vajb@2001:999:489:9fc7:2a48:2fed:ac18:a255) (Ping timeout: 240 seconds)
21:28:01 × gonz________ quits (sid304396@id-304396.lymington.irccloud.com) (Ping timeout: 240 seconds)
21:28:01 × alinab_ quits (sid468903@id-468903.helmsley.irccloud.com) (Ping timeout: 240 seconds)
21:28:01 × lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (Ping timeout: 240 seconds)
21:28:23 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
21:28:25 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
21:28:31 × Kamuela_ quits (sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 240 seconds)
21:28:31 × integral quits (sid296274@user/integral) (Ping timeout: 240 seconds)
21:28:31 × mustafa_ quits (sid502723@rockylinux/releng/mustafa) (Ping timeout: 240 seconds)
21:28:31 × dmj` quits (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 240 seconds)
21:28:31 × shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Ping timeout: 240 seconds)
21:28:31 × samhh quits (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 240 seconds)
21:28:34 × jil quits (~user@vps-15050500.vps.ovh.net) (Read error: Connection reset by peer)
21:29:01 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds)
21:29:01 × nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Ping timeout: 240 seconds)
21:29:01 × Angelz quits (Angelz@Angelz.oddprotocol.org) (Ping timeout: 240 seconds)
21:29:01 × Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 240 seconds)
21:29:01 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 240 seconds)
21:29:01 × glowcoil quits (sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 240 seconds)
21:29:01 × cpli quits (77fc530071@2604:bf00:561:2000::252) (Ping timeout: 240 seconds)
21:29:11 potato44 joins (uid421314@2a03:5180:f:2::6:6dc2)
21:29:18 × zeenk quits (~zeenk@2a02:2f04:a105:f00::7fe) (Remote host closed the connection)
21:29:26 alinab_ joins (sid468903@id-468903.helmsley.irccloud.com)
21:29:31 × mira quits (~aranea@wireguard/contributorcat/mira) (Ping timeout: 240 seconds)
21:29:33 tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
21:29:33 nek06 joins (~nek0@2a01:4f8:222:2b41::12)
21:29:33 jil` joins (~user@vps-15050500.vps.ovh.net)
21:29:40 zeenk2 joins (~zeenk@2a02:2f04:a105:f00::7fe)
21:29:46 integral joins (sid296274@user/integral)
21:29:46 mustafa__ joins (sid502723@id-502723.hampstead.irccloud.com)
21:29:49 gonz________ joins (sid304396@id-304396.lymington.irccloud.com)
21:29:49 buhman_ joins (sid411355@id-411355.tinside.irccloud.com)
21:29:51 Hafydd joins (~Hafydd@user/hafydd)
21:29:53 Kamuela__ joins (sid111576@id-111576.tinside.irccloud.com)
21:30:01 × rf quits (~rf@142.99.241.246) (Ping timeout: 240 seconds)
21:30:21 filwisher_ joins (2e6936c793@2604:bf00:561:2000::170)
21:30:22 shreyasminocha joins (51fdc93eda@user/shreyasminocha)
21:30:24 mira joins (~aranea@wireguard/contributorcat/mira)
21:30:26 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving)
21:31:00 × michalz quits (~michalz@185.246.207.203) (Remote host closed the connection)
21:31:06 nek06 is now known as nek0
21:31:06 Kamuela__ is now known as Kamuela_
21:31:45 glowcoil joins (sid3405@id-3405.tinside.irccloud.com)
21:31:59 dmj` joins (sid72307@id-72307.hampstead.irccloud.com)
21:32:29 × gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
21:34:16 samhh joins (7569f027cf@2604:bf00:561:2000::e4)
21:38:33 cpli joins (77fc530071@2604:bf00:561:2000::252)
21:41:01 cheater joins (~Username@user/cheater)
21:41:18 × oo_miguel quits (~Thunderbi@77.252.47.78) (Quit: oo_miguel)
21:41:21 geekosaur joins (~geekosaur@xmonad/geekosaur)
21:41:43 oo_miguel joins (~Thunderbi@77.252.47.78)
21:41:50 lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com)
21:42:15 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
21:45:24 Angelz joins (Angelz@angelz.oddprotocol.org)
21:48:15 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds)
21:53:35 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
21:56:08 × vandita quits (~vandit@188-143-101-93.pool.digikabel.hu) (Read error: Connection reset by peer)
21:59:31 vandita joins (~vandit@94-21-108-18.pool.digikabel.hu)
22:00:00 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
22:04:23 × ddellacosta quits (~ddellacos@143.244.47.71) (Ping timeout: 256 seconds)
22:04:23 × hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
22:05:31 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
22:13:13 qhong_ joins (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)
22:16:11 × qhong quits (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 246 seconds)
22:17:36 × kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 248 seconds)
22:17:42 kaol joins (~kaol@94-237-42-30.nl-ams1.upcloud.host)
22:17:48 × Angelz quits (Angelz@angelz.oddprotocol.org) (Ping timeout: 240 seconds)
22:18:33 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
22:22:20 Patternmaster joins (~georg@user/Patternmaster)
22:22:26 hugo- joins (znc@verdigris.lysator.liu.se)
22:23:01 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
22:27:31 × JimL quits (~quassel@89.162.16.26) (Ping timeout: 240 seconds)
22:27:31 × zeenk2 quits (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!)
22:28:05 rf joins (~rf@2605:59c8:179c:f610:97bf:e844:d780:7181)
22:28:12 × tan00kee quits (~paul@pauloliver.dev) (Quit: WeeChat 3.8)
22:29:49 JimL joins (~quassel@89.162.16.26)
22:33:25 × Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 265 seconds)
22:36:52 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:38:21 merijn joins (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
22:38:48 × mmhat quits (~mmh@p200300f1c70668f7ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
22:38:56 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz)
22:39:41 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289)
22:43:44 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds)
22:44:01 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b97c:3991:b4ea:4289) (Ping timeout: 240 seconds)
22:47:31 × nattiestnate quits (~nate@202.138.250.9) (Quit: WeeChat 3.8)
22:49:05 mechap joins (~mechap@user/mechap)
22:50:29 Fischmiep joins (~Fischmiep@user/Fischmiep)
22:51:44 Angelz joins (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
22:52:06 Guest|15 joins (~Guest|15@181.46.139.177)
22:52:29 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
22:52:38 × Guest|15 quits (~Guest|15@181.46.139.177) (Client Quit)
22:54:28 × acidjnk quits (~acidjnk@p200300d6e7072f49e923159d5e1d01b5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:54:44 × erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
22:55:18 cheater_ joins (~Username@user/cheater)
22:55:45 × emergence quits (thelounge@2607:5300:60:5910:dcad:beff:feef:5bc) (Quit: Ping timeout (120 seconds))
22:55:59 erisco joins (~erisco@d24-141-66-165.home.cgocable.net)
22:56:00 emergence joins (emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
22:57:56 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
22:58:03 cheater_ is now known as cheater
23:01:01 × gurkenglas quits (~user@dynamic-046-114-177-094.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
23:02:47 × pyook quits (~puke@user/puke) (Ping timeout: 240 seconds)
23:02:58 gurkenglas joins (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de)
23:03:01 ddellacosta joins (~ddellacos@143.244.47.84)
23:09:44 × red-snail1 quits (~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 246 seconds)
23:10:02 red-snail1 joins (~snail@static.151.210.203.116.clients.your-server.de)
23:10:31 × gurkenglas quits (~user@dynamic-046-114-178-145.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
23:10:31 × merijn quits (~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
23:11:30 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
23:13:39 qhong_ is now known as qhong
23:14:39 cheater joins (~Username@user/cheater)
23:16:10 Everything joins (~Everythin@46.185.124.65)
23:17:24 freeside joins (~mengwong@103.252.202.151)
23:20:41 cheater_ joins (~Username@user/cheater)
23:21:01 mauke_ joins (~mauke@user/mauke)
23:21:59 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds)
23:22:23 × mauke quits (~mauke@user/mauke) (Ping timeout: 240 seconds)
23:22:23 mauke_ is now known as mauke
23:22:45 × cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds)
23:22:46 cheater_ is now known as cheater
23:26:10 <jackdk> Other options: aim for warning-cleanliness only with latest GHC, provide project-specific prelude.
23:26:48 × rf quits (~rf@2605:59c8:179c:f610:97bf:e844:d780:7181) (Ping timeout: 240 seconds)
23:27:59 × Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds)
23:28:36 cheater_ joins (~Username@user/cheater)
23:29:45 × cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds)
23:30:36 cheater__ joins (~Username@user/cheater)
23:33:03 cheater___ joins (~Username@user/cheater)
23:33:03 cheater___ is now known as cheater
23:33:32 × cheater_ quits (~Username@user/cheater) (Ping timeout: 246 seconds)
23:34:45 × cheater__ quits (~Username@user/cheater) (Ping timeout: 240 seconds)
23:46:43 cheater_ joins (~Username@user/cheater)
23:47:18 freeside joins (~mengwong@103.252.202.151)
23:49:17 × cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds)
23:49:18 cheater_ is now known as cheater
23:53:59 × freeside quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds)
23:56:17 nickhs joins (~nickhs@23.158.16.17)
23:57:06 × nickhs quits (~nickhs@23.158.16.17) (Remote host closed the connection)

All times are in UTC on 2023-05-15.