2021/06/12

2021-06-12 00:00:01 +0200 <monochrom> Huh, Python is the posterboy for explicitness? Don't kid me.
2021-06-12 00:00:08 +0200Rembane_hands out swords
2021-06-12 00:00:29 +0200 <maerwald> monochrom: I'm talking about the zen, not python
2021-06-12 00:00:40 +0200 <maerwald> there's a reason the zen exists :>
2021-06-12 00:01:00 +0200 <monochrom> I guess then Haskell zen is dynamic typing.
2021-06-12 00:01:02 +0200 <maerwald> if python was the zen, there would be no zen
2021-06-12 00:02:16 +0200 <monochrom> But I'm not sure why implicitness is brought up.
2021-06-12 00:02:41 +0200 <monochrom> Both "withFoo (\h -> ...)" and "ContT withFoo" are very explicit.
2021-06-12 00:03:08 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:5cec:59a9:cebf:aa78)
2021-06-12 00:03:44 +0200sheepduck(~sheepduck@2607:fea8:2a61:4800::6b7b) (Remote host closed the connection)
2021-06-12 00:03:52 +0200 <maerwald> Transformer stacks in general are rather implicit... you're hiding (potentially non-trivial logic) in the bind operator, including the interaction of all the layers. It's implicit and non-declarative
2021-06-12 00:04:14 +0200 <maerwald> you have to understand the operational semantics
2021-06-12 00:04:50 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 00:05:16 +0200 <maerwald> ContT + ExceptT + StateT + IO -> gg
2021-06-12 00:05:24 +0200 <monochrom> No.
2021-06-12 00:06:13 +0200 <monochrom> Either you're mistaking transformer stacks for monadic class-constrained polymorphism, or you're mistaking implicitness for complexity.
2021-06-12 00:07:14 +0200 <monochrom> If I have "yikes :: (MonadA m, MonadB m) => m ()", it's >>= is unclear, yes.
2021-06-12 00:07:19 +0200 <dminuoso> Rembane_: You cant hand out swords but not hand out popcorn.
2021-06-12 00:07:36 +0200 <sshine> vim > emacs
2021-06-12 00:07:44 +0200 <Rembane_> dminuoso: Sorry, I was too busy eating them myselves, I'm gonna pop some more soon though.
2021-06-12 00:08:01 +0200 <dminuoso> monochrom: And welcome to the effect system game.
2021-06-12 00:08:18 +0200 <monochrom> But if I have "yo :: AT (BT IO) ()", it's >>= is very well understood, especially since for example we know it is not BT (AT IO).
2021-06-12 00:08:51 +0200 <dminuoso> Is that very well understood? If I put in three transformer layers, is it always instantly clear to all relevant users?
2021-06-12 00:09:03 +0200 <monochrom> What you can complain is that by the time I have AT (BT (CT (DT IO))) it is a lot to follow. But it's very explicit.
2021-06-12 00:09:10 +0200 <dminuoso> Note, Im not talking about you who may have pondered about it so often that it becomes second nature to you
2021-06-12 00:09:38 +0200 <sshine> dminuoso, maybe "well understood" means your lifts need to go in a specific order that enforces some clarity?
2021-06-12 00:09:50 +0200 <sshine> sorry, that was probably a question directed to monochrom.
2021-06-12 00:10:11 +0200 <monochrom> Yes.
2021-06-12 00:10:40 +0200 <maerwald> monochrom: no. "Implicit" doesn't mean "class-constrained"
2021-06-12 00:10:46 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1)
2021-06-12 00:11:19 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-06-12 00:12:13 +0200 <maerwald> But yes, mtl has a special kind of implicitness... or rather... it defers the order of effects to the call-site
2021-06-12 00:12:20 +0200 <maerwald> I don't consider that the implicitness problem
2021-06-12 00:12:28 +0200 <maerwald> it's just undefined if you look at the type sig
2021-06-12 00:12:52 +0200 <maerwald> implicit is how the transformers interact
2021-06-12 00:12:59 +0200 <dminuoso> monochrom: And to be fair, as long as AT/BT are just opaque type names, the effects and thus their ordering are not obvious/mentioned.
2021-06-12 00:13:27 +0200 <maerwald> you have to understand exactly what's happening to understand that some orders of stacks don't make sense, leak space or whatnot
2021-06-12 00:13:28 +0200 <dminuoso> It all relies on you knowing what AT/BT/... are, how they are defined, and how their layering order affects effects.
2021-06-12 00:13:35 +0200 <dminuoso> It's not very explicit I think.
2021-06-12 00:13:36 +0200 <maerwald> yep
2021-06-12 00:14:37 +0200 <dminuoso> If it was explicit, I wouldnt have to @unmtl every time I wonder "jeesh, should StateT go inside or outside". Or maybe I'm just dumb *shrugs*
2021-06-12 00:14:39 +0200 <monochrom> Have you ever complained the same of opague function names too?
2021-06-12 00:14:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-06-12 00:14:59 +0200 <monochrom> For example "filter" is an opague function name.
2021-06-12 00:15:06 +0200 <dminuoso> Yes, and I hate it every time.
2021-06-12 00:15:14 +0200 <maerwald> dminuoso: yeah... I've used StateT exactly once :> (and just as a performance optimization over IORef)
2021-06-12 00:15:18 +0200 <dminuoso> I cant for my life remember whether the predicate selects items to be dropped or preserved.
2021-06-12 00:15:23 +0200 <dminuoso> Every time I use it.
2021-06-12 00:15:27 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 00:15:30 +0200 <monochrom> And empirically 50% of the people really believe that it means filter odd [1,2,3] = [2].
2021-06-12 00:15:42 +0200 <maerwald> yes
2021-06-12 00:15:49 +0200 <maerwald> I've hit this for 5 years
2021-06-12 00:15:56 +0200 <dminuoso> some/many are right in that department too.
2021-06-12 00:15:56 +0200 <maerwald> then I started to get it
2021-06-12 00:16:02 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-06-12 00:16:17 +0200 <dminuoso> or `guard` with STM!
2021-06-12 00:16:45 +0200 <monochrom> If no one has done a good job explaining filter or AT, that's a documentation problem. That is not a criticism against AT (BT IO) or filter . map f
2021-06-12 00:16:57 +0200 <maerwald> right... and back to ContT... I know what it does if I read the implementation... and 2 days later I don't know anymore, because it's really void of intuition
2021-06-12 00:17:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 00:17:18 +0200 <dminuoso> maerwald: I guess the usage of ContT to get rid of just with is outside that confusion.
2021-06-12 00:17:33 +0200 <dminuoso> The crux of ContT is that it can be (ab)used to create all kinds of bizarre control flows
2021-06-12 00:17:39 +0200 <maerwald> yep
2021-06-12 00:17:58 +0200 <monochrom> The most you can complain is my imprecise wording.
2021-06-12 00:18:19 +0200 <dminuoso> monochrom: Im not sure this is a documentation problem.
2021-06-12 00:18:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-06-12 00:18:37 +0200 <monochrom> I should have lawyerly worded: AT (BT IO) is no less explicit than AT, BT, IO. filter . map f is no less explicit than filter, map, f.
2021-06-12 00:19:04 +0200 <safinaskar> i just sent my proof to haskell-cafe
2021-06-12 00:19:23 +0200 <maerwald> I'm gonna mess up my release arguing here... I already forgot what I uploaded
2021-06-12 00:19:24 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-06-12 00:21:17 +0200benin03(~benin@183.82.205.218)
2021-06-12 00:21:48 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 252 seconds)
2021-06-12 00:22:57 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 00:24:12 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Client Quit)
2021-06-12 00:24:59 +0200reumeth(~reumeth@user/reumeth)
2021-06-12 00:25:16 +0200 <monochrom> You should have focused on critiquing ContT alone rather than broadenly to all transformer stacks.
2021-06-12 00:25:23 +0200 <xerox> if only you had captured the continuation before
2021-06-12 00:25:44 +0200 <monochrom> :) I resisted making that joke.
2021-06-12 00:25:51 +0200 <xerox> sorry xD
2021-06-12 00:27:11 +0200 <maerwald> monochrom: ContT is just the worst... although I like this post https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/the-mother-of-all-m…
2021-06-12 00:27:24 +0200 <maerwald> "Suppose someone stole all the monads but one, which monad would you want it to be?"
2021-06-12 00:27:27 +0200 <maerwald> :>
2021-06-12 00:28:08 +0200 <davean> I'd want it to be IO that I got to keep
2021-06-12 00:29:29 +0200 <monochrom> I might abuse the wording "one". ContT r IO is still one monad, especially if you don't let me decompose and use ContT or IO separately.
2021-06-12 00:29:52 +0200 <maerwald> In that case I'd pick `ExceptT e IO a`
2021-06-12 00:29:58 +0200 <maerwald> that's the only stack I ever use
2021-06-12 00:30:08 +0200 <Rembane_> Can you stack as many as you want to and still have one monad?
2021-06-12 00:30:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-12 00:31:19 +0200 <monochrom> And ContT r IO would be close enough to Scheme's pervasive IO-plus-shift-reset environment such that everything said in the paper that inspired that blog post can be done.
2021-06-12 00:31:51 +0200 <monochrom> Rembane_: Yeah! But I pretend to be not so greedy.
2021-06-12 00:32:06 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 264 seconds)
2021-06-12 00:32:08 +0200alex3(~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 272 seconds)
2021-06-12 00:32:27 +0200 <Rembane_> monochrom: That's very good.
2021-06-12 00:34:25 +0200 <xerox> I was thinking what was the thing that paired with reset and I could only think of something like push, shift it was
2021-06-12 00:36:12 +0200 <monochrom> I know of restaurants that have a menu item "salad bar". It means that, although the restaurant is not normally an all-you-can-eat-buffet kind, you do get to choose the "salad bar" thing as one of your items, and the price entitles you to go to the salad bar and fill one plate.
2021-06-12 00:36:34 +0200 <monochrom> Naturally, people would stack veggies on that plate as much as possible.
2021-06-12 00:37:08 +0200 <monochrom> If you are at a monad salad bar, what would you stack on your plate? >:)
2021-06-12 00:37:43 +0200 <Rembane_> An infinite stack of ExceptT! :D
2021-06-12 00:37:48 +0200 <DigitalKiwi> only one plate?
2021-06-12 00:37:53 +0200 <DigitalKiwi> oh no
2021-06-12 00:37:54 +0200 <monochrom> Only one plate.
2021-06-12 00:38:08 +0200 <jaevanko> Is the plate Identity or IO?
2021-06-12 00:38:08 +0200 <maerwald> Although, I switched to `Excepts`... ExceptT is boring
2021-06-12 00:38:27 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 00:38:34 +0200 <monochrom> Would you like a game of monad stack Jenga?
2021-06-12 00:39:24 +0200dhil(~dhil@80.208.56.181) (Ping timeout: 252 seconds)
2021-06-12 00:39:33 +0200 <geekosaur> Chronicle?
2021-06-12 00:39:48 +0200alex3(~alex3@BSN-77-82-41.static.siol.net)
2021-06-12 00:40:30 +0200 <DigitalKiwi> no wonder they don't like me at spaghetti works ;_;
2021-06-12 00:41:14 +0200 <Rembane_> "Hi, I brought my infinite monad transformer plate, I hope that's cool with you."
2021-06-12 00:42:56 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-12 00:44:09 +0200 <maerwald> reminds me of the first weird scene of the facebook movie... could go likes this: "what's you favorite transformer?" ... and when your date answers with ContT, you know you have a great match
2021-06-12 00:44:43 +0200 <monochrom> :)
2021-06-12 00:48:12 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-06-12 00:52:29 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru) ()
2021-06-12 00:53:09 +0200dhil(~dhil@195.213.192.47)
2021-06-12 00:57:02 +0200sm2n(~sm2n@user/sm2n)
2021-06-12 01:03:37 +0200 <DigitalKiwi> ideal transformer
2021-06-12 01:04:55 +0200iblis(~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de)
2021-06-12 01:08:14 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-06-12 01:09:33 +0200UpstreamSalmon(uid12077@id-12077.stonehaven.irccloud.com)
2021-06-12 01:17:21 +0200wagle(~wagle@quassel.wagle.io) (Ping timeout: 252 seconds)
2021-06-12 01:20:05 +0200xff0x_(~xff0x@2001:1a81:5346:bf00:ada3:bdcd:e60c:3e25) (Remote host closed the connection)
2021-06-12 01:20:22 +0200xff0x_(~xff0x@2001:1a81:5346:bf00:b798:b33b:5653:d347)
2021-06-12 01:20:55 +0200wagle(~wagle@quassel.wagle.io)
2021-06-12 01:21:19 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1) (Quit: Leaving)
2021-06-12 01:21:50 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 268 seconds)
2021-06-12 01:24:51 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds)
2021-06-12 01:24:59 +0200ikex(~ash@user/ikex)
2021-06-12 01:31:14 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-12 01:33:02 +0200wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-06-12 01:33:33 +0200wagle(~wagle@quassel.wagle.io)
2021-06-12 01:35:18 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 01:36:28 +0200iblis(~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) (Quit: Leaving.)
2021-06-12 01:36:42 +0200iblis(~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de)
2021-06-12 01:38:18 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-12 01:38:48 +0200wagle(~wagle@quassel.wagle.io) (Ping timeout: 244 seconds)
2021-06-12 01:40:04 +0200fluffyballoon(~fluffybal@2620:72:0:6480::10f7) (Quit: Client closed)
2021-06-12 01:40:21 +0200wagle(~wagle@quassel.wagle.io)
2021-06-12 01:44:15 +0200sheepduck(~sheepduck@2607:fea8:2a61:4800::5d7c)
2021-06-12 01:44:51 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-06-12 01:48:57 +0200sheepduck(~sheepduck@2607:fea8:2a61:4800::5d7c) (Remote host closed the connection)
2021-06-12 01:54:25 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-06-12 01:56:44 +0200wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Client Quit)
2021-06-12 01:59:01 +0200awth13(~user@user/awth13) (Quit: ERC (IRC client for Emacs 27.2))
2021-06-12 02:02:40 +0200ec_(~ec@gateway/tor-sasl/ec)
2021-06-12 02:02:42 +0200xff0x_(~xff0x@2001:1a81:5346:bf00:b798:b33b:5653:d347) (Ping timeout: 264 seconds)
2021-06-12 02:03:57 +0200bilegeek(~bilegeek@2600:1008:b06d:65ed:93d7:e6a:a06d:9e4) (Quit: Leaving)
2021-06-12 02:04:26 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-06-12 02:04:34 +0200xff0x_(~xff0x@2001:1a81:5379:8000:74e9:6703:8cf4:c6c7)
2021-06-12 02:05:20 +0200pe200012_(~pe200012@120.236.161.38)
2021-06-12 02:05:44 +0200pe200012(~pe200012@183.63.73.36) (Ping timeout: 264 seconds)
2021-06-12 02:17:47 +0200MorrowM(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-06-12 02:18:00 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:5cec:59a9:cebf:aa78) (Quit: Leaving)
2021-06-12 02:19:50 +0200leah2(~leah@vuxu.org) (Read error: Connection reset by peer)
2021-06-12 02:20:29 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 02:22:04 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
2021-06-12 02:26:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 02:27:08 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 02:27:32 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-06-12 02:30:59 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
2021-06-12 02:33:37 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 02:33:49 +0200lbseale_(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-06-12 02:33:58 +0200Bartosz(~textual@24.35.90.211)
2021-06-12 02:36:56 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-06-12 02:37:11 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 244 seconds)
2021-06-12 02:37:33 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-12 02:40:16 +0200dcoutts_(~duncan@94.186.125.91.dyn.plus.net)
2021-06-12 02:42:21 +0200bontaq`bontaq
2021-06-12 02:46:56 +0200ikex(~ash@user/ikex) (Ping timeout: 268 seconds)
2021-06-12 02:53:57 +0200MorrowM(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer)
2021-06-12 02:54:25 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 02:55:56 +0200ikex(~ash@user/ikex)
2021-06-12 02:58:29 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-06-12 03:00:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-12 03:02:13 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-12 03:02:57 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-12 03:04:42 +0200iblis1(~Adium@141.20.217.196)
2021-06-12 03:07:21 +0200iblis(~Adium@p200300e9770baa0100d945c5feb5025a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-06-12 03:08:24 +0200Bartosz(~textual@24.35.90.211)
2021-06-12 03:08:24 +0200Bartosz(~textual@24.35.90.211) (Client Quit)
2021-06-12 03:11:41 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-12 03:12:04 +0200thyriaen(~thyriaen@45.178.75.13)
2021-06-12 03:13:29 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds)
2021-06-12 03:14:06 +0200xff0x_(~xff0x@2001:1a81:5379:8000:74e9:6703:8cf4:c6c7) (Ping timeout: 264 seconds)
2021-06-12 03:15:00 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-06-12 03:15:46 +0200xff0x_(~xff0x@2001:1a81:5382:9400:de6:80d2:c3d3:91ab)
2021-06-12 03:18:27 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 03:20:28 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 03:22:44 +0200hmmmas(~chenqisu1@183.217.200.246)
2021-06-12 03:22:50 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds)
2021-06-12 03:25:34 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-12 03:26:06 +0200 <systemfault> Hi, anyone up for a monoid question? Is "Min" or "Max" a valid monoid?
2021-06-12 03:27:18 +0200oxide(~lambda@user/oxide) (Ping timeout: 244 seconds)
2021-06-12 03:28:05 +0200 <c_wraith> systemfault: only for types that have upper and lower bounds
2021-06-12 03:28:21 +0200 <c_wraith> systemfault: which is why the Min and Max aliases in base are semigroups instead
2021-06-12 03:30:52 +0200 <c_wraith> Ah, those types have Monoid instances too, that depend on Bounded instances existing
2021-06-12 03:31:36 +0200 <systemfault> I guess it makes sense
2021-06-12 03:32:04 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar)
2021-06-12 03:32:20 +0200 <systemfault> Thank you :)
2021-06-12 03:33:36 +0200asthasr(~asthasr@162.210.29.120) (Read error: Connection reset by peer)
2021-06-12 03:37:12 +0200awth13(~user@user/awth13)
2021-06-12 03:41:12 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 03:42:08 +0200jneira(~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed)
2021-06-12 03:43:44 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar) (Ping timeout: 265 seconds)
2021-06-12 03:43:45 +0200jocke-l(jocke-l@a.x0.is) (Quit: WeeChat 1.6)
2021-06-12 03:44:43 +0200ozataman(~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 03:44:47 +0200jocke-l(jocke-l@a.x0.is)
2021-06-12 03:48:35 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-12 03:48:58 +0200hmmmas(~chenqisu1@183.217.200.246) (Quit: Leaving.)
2021-06-12 03:54:53 +0200jespada(~jespada@90.254.242.55) (Ping timeout: 244 seconds)
2021-06-12 03:54:53 +0200MQ-17J(~MQ-17J@8.21.10.116) (Read error: Connection reset by peer)
2021-06-12 03:55:47 +0200MQ-17J(~MQ-17J@8.21.10.116)
2021-06-12 03:57:23 +0200iblis(~Adium@p200300e9770baa011581fbd97cfaa023.dip0.t-ipconnect.de)
2021-06-12 03:57:31 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving)
2021-06-12 03:58:20 +0200jespada(~jespada@90.254.242.55)
2021-06-12 03:58:49 +0200iblis1(~Adium@141.20.217.196) (Ping timeout: 244 seconds)
2021-06-12 03:58:58 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2021-06-12 04:08:24 +0200td_(~td@94.134.91.189) (Ping timeout: 252 seconds)
2021-06-12 04:10:09 +0200td_(~td@94.134.91.54)
2021-06-12 04:11:18 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 04:11:33 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 04:11:40 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 04:11:41 +0200iblis(~Adium@p200300e9770baa011581fbd97cfaa023.dip0.t-ipconnect.de) (Quit: Leaving.)
2021-06-12 04:12:18 +0200MQ-17J(~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
2021-06-12 04:15:50 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-12 04:20:05 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 04:23:33 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-06-12 04:23:37 +0200peterhil_(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-12 04:24:36 +0200ozataman(~ozataman@71.190.112.58)
2021-06-12 04:27:10 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 04:31:33 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 04:32:01 +0200koishi_(~koishi_@67.209.186.120.16clouds.com)
2021-06-12 04:33:01 +0200ec_(~ec@gateway/tor-sasl/ec)
2021-06-12 04:33:07 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-06-12 04:33:07 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services)))
2021-06-12 04:33:08 +0200finn_elijaFinnElija
2021-06-12 04:34:08 +0200koishi_(~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection)
2021-06-12 04:49:52 +0200rk04(~rk04@user/rajk)
2021-06-12 04:53:36 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 04:54:03 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 04:55:01 +0200derelict(~derelict@user/derelict) (Ping timeout: 272 seconds)
2021-06-12 04:57:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 05:02:50 +0200MorrowM(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-06-12 05:11:05 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 05:12:51 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar)
2021-06-12 05:16:34 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 05:25:25 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-12 05:25:34 +0200MQ-17J(~MQ-17J@8.21.10.116)
2021-06-12 05:30:21 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2021-06-12 05:30:25 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-06-12 05:30:37 +0200wei2912(~wei2912@112.199.250.21)
2021-06-12 05:31:19 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-06-12 05:31:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-12 05:31:38 +0200Lord_of_Life_Lord_of_Life
2021-06-12 05:33:28 +0200ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 252 seconds)
2021-06-12 05:35:08 +0200MQ-17J(~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
2021-06-12 05:37:19 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2021-06-12 05:37:21 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-12 05:41:42 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 264 seconds)
2021-06-12 05:44:17 +0200mpt(~tom@2a02:908:1862:49e0::5)
2021-06-12 05:47:06 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 05:51:20 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-12 05:51:36 +0200nerdypepper(znc@user/nerdypepper) (Quit: bye)
2021-06-12 05:52:26 +0200mpt(~tom@2a02:908:1862:49e0::5) (Ping timeout: 252 seconds)
2021-06-12 05:53:42 +0200rk04(~rk04@user/rajk) (Ping timeout: 264 seconds)
2021-06-12 06:00:01 +0200jolly(~jolly@208.180.97.158) (Quit: Connection closed)
2021-06-12 06:00:09 +0200chomwitt(~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295)
2021-06-12 06:07:46 +0200seeg(~seeg@2a05:f480:1400:311:5400:1ff:feff:256) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-06-12 06:07:46 +0200seeg0seeg
2021-06-12 06:08:17 +0200systemhalted(~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2021-06-12 06:09:08 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 06:09:24 +0200ikex(~ash@user/ikex) (Ping timeout: 252 seconds)
2021-06-12 06:12:51 +0200systemhalted(~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Client Quit)
2021-06-12 06:13:08 +0200systemhalted(~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2021-06-12 06:13:42 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-12 06:14:08 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-12 06:14:14 +0200systemhalted(~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Client Quit)
2021-06-12 06:16:08 +0200seeg_(~seeg@45.76.32.162)
2021-06-12 06:16:36 +0200systemhalted(~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2021-06-12 06:17:07 +0200rk04(~rk04@user/rajk)
2021-06-12 06:19:49 +0200sudden(~cat@h-98-128-128-173.A351.priv.bahnhof.se)
2021-06-12 06:20:12 +0200alx741(~alx741@186.178.108.59) (Quit: alx741)
2021-06-12 06:22:18 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 06:24:39 +0200systemhaltedsqueamishossifra
2021-06-12 06:26:44 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-12 06:27:20 +0200squeamishossifra(~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Quit: Igloo IRC: https://iglooirc.com)
2021-06-12 06:27:47 +0200systemhalted(~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2021-06-12 06:28:17 +0200systemhaltedaqualogic
2021-06-12 06:28:41 +0200aqualogicsystemhalted
2021-06-12 06:31:23 +0200systemhaltedpalakmathur
2021-06-12 06:31:30 +0200rk04(~rk04@user/rajk) (Ping timeout: 264 seconds)
2021-06-12 06:31:43 +0200palakmathursystemhalted
2021-06-12 06:32:10 +0200systemhalteddragonslayer
2021-06-12 06:32:25 +0200dragonslayersystemhalted
2021-06-12 06:34:44 +0200qbt(~edun@user/edun)
2021-06-12 06:34:45 +0200systemhalteddonandley
2021-06-12 06:35:04 +0200donandleysystemhalted
2021-06-12 06:36:41 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 06:40:57 +0200systemhalted(~systemhal@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Remote host closed the connection)
2021-06-12 06:48:48 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 244 seconds)
2021-06-12 06:49:31 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-06-12 06:58:06 +0200awth13(~user@user/awth13) (Ping timeout: 244 seconds)
2021-06-12 07:06:03 +0200peterhil_(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-06-12 07:08:31 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 07:09:20 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 07:12:40 +0200argento(~argent0@168-227-96-53.ptr.westnet.com.ar) (Remote host closed the connection)
2021-06-12 07:13:12 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-12 07:14:59 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-12 07:18:47 +0200reumeth(~reumeth@user/reumeth)
2021-06-12 07:19:49 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 07:23:06 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-06-12 07:23:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-06-12 07:23:45 +0200ozataman(~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 07:27:04 +0200Morrow_(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net)
2021-06-12 07:27:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 07:30:15 +0200MorrowM(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds)
2021-06-12 07:33:37 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-12 07:35:31 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-12 07:36:17 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 07:37:32 +0200wei2912(~wei2912@112.199.250.21) (Ping timeout: 264 seconds)
2021-06-12 07:38:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-12 07:40:42 +0200Bartosz(~textual@24.35.90.211)
2021-06-12 07:43:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-06-12 07:43:41 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-06-12 07:44:15 +0200ukari(~ukari@user/ukari)
2021-06-12 07:46:09 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 07:47:29 +0200pdxleif(~leif@75.164.44.108)
2021-06-12 07:47:41 +0200ikex(~ash@user/ikex)
2021-06-12 07:50:23 +0200unyu(~pyon@user/pyon) (Quit: WeeChat 3.1)
2021-06-12 07:55:16 +0200trent1(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-12 07:57:19 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 08:01:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-12 08:05:00 +0200awth13(~user@user/awth13)
2021-06-12 08:09:54 +0200zmt00(~zmt00@user/zmt00) (Quit: Gone.)
2021-06-12 08:19:21 +0200rk04(~rk04@user/rajk)
2021-06-12 08:21:30 +0200unyu(~pyon@user/pyon)
2021-06-12 08:21:56 +0200aerona(~aerona@2600:6c54:4600:f300:4447:2579:c2f7:363d) (Quit: Leaving)
2021-06-12 08:22:08 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-12 08:22:39 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 08:39:20 +0200pdxleif(~leif@75.164.44.108) (Ping timeout: 264 seconds)
2021-06-12 08:40:13 +0200thyriaen(~thyriaen@45.178.75.13) (Quit: Leaving)
2021-06-12 08:48:46 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-12 08:49:32 +0200Morrow_(~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds)
2021-06-12 08:49:38 +0200oxide(~lambda@user/oxide)
2021-06-12 08:52:05 +0200trent1(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 272 seconds)
2021-06-12 08:56:25 +0200rk04(~rk04@user/rajk) (Quit: rk04)
2021-06-12 08:59:02 +0200awth13(~user@user/awth13) (Read error: Connection reset by peer)
2021-06-12 08:59:03 +0200awth13`(~user@185.209.196.143)
2021-06-12 08:59:38 +0200awth13`(~user@185.209.196.143) (Client Quit)
2021-06-12 09:00:02 +0200awth13(~user@user/awth13)
2021-06-12 09:00:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds)
2021-06-12 09:02:39 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-06-12 09:05:15 +0200awth13(~user@user/awth13) (Ping timeout: 256 seconds)
2021-06-12 09:07:16 +0200nerdypepper(~nerdypepp@152.67.162.71)
2021-06-12 09:07:44 +0200MQ-17J(~MQ-17J@8.21.10.116)
2021-06-12 09:10:45 +0200nerdypepper(~nerdypepp@152.67.162.71) (Changing host)
2021-06-12 09:10:45 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2021-06-12 09:11:58 +0200hmmmas(~chenqisu1@183.217.200.246)
2021-06-12 09:19:08 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 09:19:41 +0200wonko(~wjc@62.115.229.50)
2021-06-12 09:24:13 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-06-12 09:26:08 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-06-12 09:27:15 +0200awth13(~user@user/awth13)
2021-06-12 09:32:26 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-12 09:33:44 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 09:41:10 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-06-12 09:45:05 +0200MQ-17J(~MQ-17J@8.21.10.116) (Ping timeout: 252 seconds)
2021-06-12 09:46:07 +0200MQ-17J(~MQ-17J@8.21.10.116)
2021-06-12 09:47:24 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2021-06-12 09:47:39 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2021-06-12 09:49:15 +0200kunrooted[m](~kunrooted@2001:470:69fc:105::a4a)
2021-06-12 09:49:20 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-12 09:49:27 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-12 09:50:35 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 09:57:23 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 244 seconds)
2021-06-12 09:58:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 09:59:06 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-06-12 09:59:13 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-06-12 10:00:10 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-06-12 10:00:31 +0200kunrooted[m]unrooted
2021-06-12 10:00:49 +0200gehmehgeh(~user@user/gehmehgeh)
2021-06-12 10:00:55 +0200unrooted(~kunrooted@2001:470:69fc:105::a4a) (Quit: Reconnecting)
2021-06-12 10:01:10 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-06-12 10:08:58 +0200helby(~x@alpine/moderator/helby)
2021-06-12 10:12:35 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 10:16:38 +0200schuelermine(~anselmsch@user/schuelermine)
2021-06-12 10:17:13 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-06-12 10:18:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 10:22:53 +0200helby(~x@alpine/moderator/helby) ()
2021-06-12 10:30:11 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 252 seconds)
2021-06-12 10:31:36 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-06-12 10:37:31 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-06-12 10:38:10 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds)
2021-06-12 10:38:14 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 10:38:35 +0200awschnap(~lavaman@98.38.249.169)
2021-06-12 10:38:39 +0200awschnap(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-12 10:41:27 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-12 10:47:59 +0200yangby(~secret@115.199.110.48)
2021-06-12 10:49:29 +0200yangby(~secret@115.199.110.48) (Client Quit)
2021-06-12 10:50:07 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-12 10:53:27 +0200fendor_(~fendor@91.141.0.106.wireless.dyn.drei.com)
2021-06-12 10:56:13 +0200 <siers> should derive-storable hackage package work?
2021-06-12 10:56:39 +0200fendor(~fendor@91.141.3.58.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2021-06-12 10:57:18 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-12 10:57:24 +0200hmmmas(~chenqisu1@183.217.200.246) (Quit: Leaving.)
2021-06-12 10:57:36 +0200yangby(~secret@115.199.110.48)
2021-06-12 10:59:19 +0200 <c_wraith> looks like it was updated around the time of the last GHC release, so... probably?
2021-06-12 11:03:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-06-12 11:03:32 +0200amk(~amk@176.61.106.150) (Remote host closed the connection)
2021-06-12 11:03:34 +0200yangby(~secret@115.199.110.48) (Quit: Go out for a walk and buy a drink.)
2021-06-12 11:04:49 +0200yangby(~secret@115.199.110.48)
2021-06-12 11:06:34 +0200yangby(~secret@115.199.110.48) (Client Quit)
2021-06-12 11:07:53 +0200yangby(~secret@115.199.110.48)
2021-06-12 11:10:48 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-12 11:11:51 +0200 <nilof> Hey, so I'm wondering, is there a functional priority queue that becomes as efficient as a list when the input is sorted?
2021-06-12 11:14:16 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 11:14:22 +0200 <nilof> alternatively I'm actually interested in a priority queue that can be merged efficiently with an already sorted lazy list
2021-06-12 11:14:26 +0200bb010g(~bb010gmat@2001:470:69fc:105::9a5) (Quit: Reconnecting)
2021-06-12 11:14:43 +0200bb010g(~bb010gmat@2001:470:69fc:105::9a5)
2021-06-12 11:14:51 +0200 <nilof> without materializing the list
2021-06-12 11:16:17 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 11:17:23 +0200 <Rembane_> nilof: Maybe I'm a bit too tired here, so I don't understand the problem properly, but how do you use your list?
2021-06-12 11:18:19 +0200 <nilof> It's to implement an rKanren like DSL
2021-06-12 11:18:46 +0200 <nilof> where I want to replace breadth first search with a priority queue
2021-06-12 11:18:58 +0200 <nilof> so it can do Djkstra or A*
2021-06-12 11:20:14 +0200yangby(~secret@115.199.110.48) (Quit: Go out for a walk and buy a drink.)
2021-06-12 11:21:03 +0200 <Rembane_> nilof: Got it. If your input is always sorted, you can use a list instead, but otherwise there are quite some packages and other resources: https://stackoverflow.com/questions/6976559/comparison-of-priority-queue-implementations-in-haskell
2021-06-12 11:22:27 +0200 <nilof> right, the thing I was wondering is if there is something more efficient for merging them lazily, the most basic strategy is to have a binary tree with lists as the leafs
2021-06-12 11:23:09 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 244 seconds)
2021-06-12 11:24:10 +0200 <c_wraith> yes, there are more efficient things.
2021-06-12 11:24:26 +0200 <c_wraith> you can build a priority queue that looks only at the heads of lists
2021-06-12 11:24:54 +0200 <c_wraith> amusingly, discussion of one of the few examples I've seen of that came up on r/haskell today
2021-06-12 11:26:14 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-12 11:26:32 +0200 <c_wraith> https://www.cs.hmc.edu/%7Eoneill/papers/Sieve-JFP.pdf builds such a priority queue as an incidental thing. (it's a bit broken and only works right for that particular use case...)
2021-06-12 11:27:42 +0200wonko(~wjc@62.115.229.50)
2021-06-12 11:32:53 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 252 seconds)
2021-06-12 11:33:31 +0200leah2(~leah@vuxu.org)
2021-06-12 11:37:16 +0200da39a3ee5e6b4b0d(~textual@67.23.55.162)
2021-06-12 11:39:14 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 11:44:09 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-06-12 11:44:24 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-12 11:44:37 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2021-06-12 11:45:03 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-06-12 11:45:26 +0200 <vaibhavsagar[m]> hi, I'm trying to build an application with profiling by editing `cabal.project.local` as indicated here (https://cabal.readthedocs.io/en/3.4/nix-local-build.html?highlight=profiling#how-can-i-profile-my-…) but it's giving me errors about `base`? "Perhaps you haven't installed the "p_dyn" libraries for package ‘base-4.14.1.0’?"
2021-06-12 11:46:17 +0200 <vaibhavsagar[m]> how do I install these?
2021-06-12 11:47:43 +0200amk(~amk@176.61.106.150)
2021-06-12 11:48:41 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-12 11:48:50 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-06-12 11:50:15 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-12 11:51:24 +0200 <c_wraith> they should come with ghc
2021-06-12 11:52:36 +0200reumeth(~reumeth@user/reumeth)
2021-06-12 11:52:48 +0200 <vaibhavsagar[m]> hmm, I'm using a GHC provided by Nixpkgs, maybe that's the issue?
2021-06-12 11:53:19 +0200 <c_wraith> yeah, it probably removed them to reduce the download size. no idea how to tell it to include them
2021-06-12 11:53:34 +0200 <vaibhavsagar[m]> Is there a way to get a GHC with profiling libraries from Nixpkgs?
2021-06-12 11:53:40 +0200 <c_wraith> Not a Nix user, so I can't help much there.
2021-06-12 11:56:39 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 11:57:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:1d2f:92ad:f3ce:a171) (Remote host closed the connection)
2021-06-12 11:57:58 +0200 <guest61> I'm running ghc on arm64, could I use cable to install libraries?
2021-06-12 12:02:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 12:03:09 +0200ubert(~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de)
2021-06-12 12:09:57 +0200MQ-17J(~MQ-17J@8.21.10.116) (Ping timeout: 264 seconds)
2021-06-12 12:12:06 +0200 <gentauro> would it be possible to get a `Haskell` `annotate` + `freeze` just like what exists for `Dhall`? https://docs.dhall-lang.org/discussions/Safety-guarantees.html#code-injection
2021-06-12 12:12:29 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-06-12 12:14:10 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 12:14:50 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 12:17:31 +0200jespada(~jespada@90.254.242.55) (Ping timeout: 265 seconds)
2021-06-12 12:18:57 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds)
2021-06-12 12:19:20 +0200 <merijn> Define "possible" :p
2021-06-12 12:19:25 +0200jespada(~jespada@90.254.242.55)
2021-06-12 12:19:37 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-06-12 12:19:42 +0200 <merijn> given sufficient manpower/money and stubbornness very few things are impossible :p
2021-06-12 12:22:55 +0200doublex_(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Read error: Connection reset by peer)
2021-06-12 12:23:19 +0200doublex_(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
2021-06-12 12:23:30 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host)
2021-06-12 12:24:54 +0200benin03(~benin@183.82.205.218) (Ping timeout: 264 seconds)
2021-06-12 12:25:01 +0200mc47(~mc47@xmonad/TheMC47)
2021-06-12 12:25:04 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-12 12:25:54 +0200oxide(~lambda@user/oxide)
2021-06-12 12:27:21 +0200leif(uid501722@id-501722.stonehaven.irccloud.com)
2021-06-12 12:30:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2021-06-12 12:31:55 +0200benin03(~benin@183.82.205.218)
2021-06-12 12:33:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-12 12:35:00 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-06-12 12:35:54 +0200xff0x_xff0x
2021-06-12 12:37:12 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds)
2021-06-12 12:39:22 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-12 12:40:05 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-06-12 12:40:05 +0200oxide(~lambda@user/oxide) (Ping timeout: 272 seconds)
2021-06-12 12:46:30 +0200mc47(~mc47@xmonad/TheMC47) (Ping timeout: 264 seconds)
2021-06-12 12:48:07 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: No route to host)
2021-06-12 12:48:22 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 12:48:25 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-12 12:51:06 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-12 12:53:18 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-06-12 12:54:39 +0200zaquest(~notzaques@5.128.210.178)
2021-06-12 12:58:59 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:6149:a9e8:86ec:e649)
2021-06-12 12:59:58 +0200edwtjo(~edwtjo@user/edwtjo)
2021-06-12 13:10:02 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 13:13:15 +0200Guest9(~Guest9@43.250.157.5)
2021-06-12 13:15:54 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-12 13:16:28 +0200oxide(~lambda@user/oxide)
2021-06-12 13:19:11 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 13:22:10 +0200bfrk(~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
2021-06-12 13:26:15 +0200bfrk(~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Quit: bfrk)
2021-06-12 13:27:10 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-12 13:30:23 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-12 13:33:18 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 256 seconds)
2021-06-12 13:40:04 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-06-12 13:40:06 +0200mpt(~tom@2a02:908:1862:49e0::5)
2021-06-12 13:40:23 +0200 <DigitalKiwi> just redefine the words
2021-06-12 13:43:16 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 13:44:38 +0200oxide(~lambda@user/oxide) (Ping timeout: 256 seconds)
2021-06-12 13:44:57 +0200pottsy(~pottsy@2400:4050:b560:3700:1def:faee:e2d6:f91c)
2021-06-12 13:47:06 +0200kuribas(~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be)
2021-06-12 13:50:57 +0200 <siers> how can I make [(a, b)] from the Storable.Vector a and Storable.Vector b?
2021-06-12 13:51:42 +0200bfrk_(~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
2021-06-12 13:51:53 +0200 <siers> I could toList . zipWith, but then I'd have to have a storable instance for (a, b)
2021-06-12 13:52:46 +0200 <siers> ah V.toList twice and then zip... I am slow
2021-06-12 13:53:52 +0200bfrk_(~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Client Quit)
2021-06-12 13:53:54 +0200oxide(~lambda@user/oxide)
2021-06-12 13:59:43 +0200neceve(~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
2021-06-12 13:59:54 +0200zebrag(~chris@user/zebrag)
2021-06-12 14:02:24 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-12 14:06:04 +0200 <merijn> siers: Well, that was only 2 minutes to realise, could be worse :p
2021-06-12 14:06:45 +0200kumo(~kumo@139.180.144.166) (Quit: WeeChat 2.9)
2021-06-12 14:07:59 +0200bfrk(~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de)
2021-06-12 14:09:45 +0200azeem(~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-12 14:15:17 +0200phadej(phadej@kapsi.fi)
2021-06-12 14:15:28 +0200phadej(phadej@kapsi.fi) ()
2021-06-12 14:18:33 +0200 <kuribas> Is there a way to set a field using GHC.Records?
2021-06-12 14:18:48 +0200 <kuribas> https://hackage.haskell.org/package/base-4.12.0.0/docs/GHC-Records.html
2021-06-12 14:21:05 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 14:21:22 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-12 14:21:43 +0200zebrag(~chris@user/zebrag)
2021-06-12 14:22:54 +0200 <gentauro> merijn: like in easy to implement xD
2021-06-12 14:23:43 +0200 <gentauro> but I guess it involves that a compiler can `reduce` to a (normal)form deterministically as Dhall can do
2021-06-12 14:24:01 +0200 <gentauro> but since Haskell isn't total
2021-06-12 14:24:12 +0200 <gentauro> it might not be possible right?
2021-06-12 14:30:13 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: No route to host)
2021-06-12 14:30:50 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-12 14:34:11 +0200 <merijn> Correct
2021-06-12 14:34:24 +0200killsushi(~killsushi@user/killsushi)
2021-06-12 14:36:31 +0200berberman_(~berberman@user/berberman)
2021-06-12 14:36:38 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 14:37:41 +0200berberman(~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-06-12 14:41:03 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge)
2021-06-12 14:41:06 +0200sekun(~sekun@180.190.221.56)
2021-06-12 14:41:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
2021-06-12 14:41:41 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon)
2021-06-12 14:45:14 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-06-12 14:45:34 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 14:45:49 +0200mpt(~tom@2a02:908:1862:49e0::5) (Ping timeout: 256 seconds)
2021-06-12 14:46:52 +0200leif(uid501722@id-501722.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-12 14:51:00 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 14:52:27 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-12 14:52:44 +0200Deide(~Deide@wire.desu.ga)
2021-06-12 14:52:44 +0200Deide(~Deide@wire.desu.ga) (Changing host)
2021-06-12 14:52:44 +0200Deide(~Deide@user/deide)
2021-06-12 14:52:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-12 14:53:45 +0200derelict(~derelict@user/derelict)
2021-06-12 14:53:57 +0200dhil(~dhil@195.213.192.47)
2021-06-12 14:54:42 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 14:54:45 +0200pavonia(~user@user/siracusa)
2021-06-12 14:59:13 +0200dhil(~dhil@195.213.192.47) (Ping timeout: 272 seconds)
2021-06-12 15:00:08 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 15:00:33 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 15:01:01 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1)
2021-06-12 15:01:15 +0200alx741(~alx741@186.178.108.59)
2021-06-12 15:04:31 +0200lbseale(~lbseale@user/ep1ctetus)
2021-06-12 15:08:43 +0200doublex__(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689)
2021-06-12 15:08:44 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 15:10:04 +0200 <maerwald> I just wanted to build www.haskell.org and now I'm waiting for nix to download 1k packages
2021-06-12 15:10:37 +0200fizbin_(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 15:11:03 +0200benin037(~benin@183.82.205.218)
2021-06-12 15:11:18 +0200da39a3ee_(~textual@67.23.55.162)
2021-06-12 15:11:27 +0200awth13`(~user@185.209.196.143)
2021-06-12 15:12:19 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-12 15:12:20 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Read error: Connection reset by peer)
2021-06-12 15:12:52 +0200octocelly(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 15:13:02 +0200octocelly(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
2021-06-12 15:13:02 +0200mikoto-c1(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-12 15:13:18 +0200MidAutumnMoon7(~MidAutumn@user/midautumnmoon)
2021-06-12 15:13:27 +0200 <maerwald> and now I get https://i.imgur.com/BNJIzWc.png lol
2021-06-12 15:13:47 +0200 <maerwald> every time I interact with nix, I regret it
2021-06-12 15:14:18 +0200dhil(~dhil@80.208.56.181)
2021-06-12 15:15:22 +0200octocelly(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 15:15:45 +0200 <hpc> use deb packages, get your regret out of the way up front :D
2021-06-12 15:15:49 +0200octocelly(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection)
2021-06-12 15:16:05 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-12 15:16:19 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-06-12 15:16:35 +0200hrdl(~hrdl@mail.hrdl.eu) (Remote host closed the connection)
2021-06-12 15:18:14 +0200alx741(~alx741@186.178.108.59) (*.net *.split)
2021-06-12 15:18:14 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1) (*.net *.split)
2021-06-12 15:18:14 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (*.net *.split)
2021-06-12 15:18:14 +0200derelict(~derelict@user/derelict) (*.net *.split)
2021-06-12 15:18:14 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon) (*.net *.split)
2021-06-12 15:18:14 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (*.net *.split)
2021-06-12 15:18:14 +0200kuribas(~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be) (*.net *.split)
2021-06-12 15:18:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (*.net *.split)
2021-06-12 15:18:14 +0200edwtjo(~edwtjo@user/edwtjo) (*.net *.split)
2021-06-12 15:18:14 +0200Feuermagier(~Feuermagi@user/feuermagier) (*.net *.split)
2021-06-12 15:18:14 +0200benin03(~benin@183.82.205.218) (*.net *.split)
2021-06-12 15:18:14 +0200doublex_(~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (*.net *.split)
2021-06-12 15:18:14 +0200da39a3ee5e6b4b0d(~textual@67.23.55.162) (*.net *.split)
2021-06-12 15:18:14 +0200leah2(~leah@vuxu.org) (*.net *.split)
2021-06-12 15:18:14 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (*.net *.split)
2021-06-12 15:18:14 +0200bb010g(~bb010gmat@2001:470:69fc:105::9a5) (*.net *.split)
2021-06-12 15:18:14 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se) (*.net *.split)
2021-06-12 15:18:14 +0200awth13(~user@user/awth13) (*.net *.split)
2021-06-12 15:18:14 +0200benin037benin03
2021-06-12 15:18:15 +0200MidAutumnMoon7MidAutumnMoon
2021-06-12 15:20:19 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2021-06-12 15:21:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 15:21:51 +0200fizbin_(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 244 seconds)
2021-06-12 15:22:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-06-12 15:25:32 +0200leah2(~leah@vuxu.org)
2021-06-12 15:25:45 +0200alx741(~alx741@186.178.108.59)
2021-06-12 15:26:05 +0200hrdl(~hrdl@mail.hrdl.eu)
2021-06-12 15:26:15 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net)
2021-06-12 15:26:24 +0200edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
2021-06-12 15:26:24 +0200edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
2021-06-12 15:26:24 +0200edwtjo(~edwtjo@user/edwtjo)
2021-06-12 15:26:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-12 15:26:51 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-12 15:27:16 +0200derelict(~derelict@user/derelict)
2021-06-12 15:27:35 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-12 15:28:04 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 15:28:30 +0200Guest9(~Guest9@43.250.157.5) (Ping timeout: 264 seconds)
2021-06-12 15:36:59 +0200kuribas(~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be)
2021-06-12 15:37:04 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-12 15:39:41 +0200bb010g(~bb010gmat@2001:470:69fc:105::9a5)
2021-06-12 15:40:35 +0200 <nilof> c_wraith : huh that is a really cool use of a priority queue, I had missed that
2021-06-12 15:41:29 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 265 seconds)
2021-06-12 15:41:56 +0200 <nilof> Oh yeah btw, are any of the tree-based priority queues stable?
2021-06-12 15:42:20 +0200 <nilof> i.e. if they act as a queue when everything you insert has the same priority
2021-06-12 15:44:09 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-12 15:44:19 +0200da39a3ee5e6b4b0d(~textual@2403:6200:8876:2955:f1c5:68ee:212f:e12f)
2021-06-12 15:44:23 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 15:45:21 +0200da39a3ee_(~textual@67.23.55.162) (Ping timeout: 265 seconds)
2021-06-12 15:45:37 +0200 <nilof> not necessarily that heapsorting with it becomes a stable sort, though that is technically nice too
2021-06-12 15:46:44 +0200 <nilof> That's trivially doable with sorted RRB-vectors or finger trees ofc
2021-06-12 15:50:20 +0200gehmehgeh_(~user@user/gehmehgeh)
2021-06-12 15:51:07 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2021-06-12 15:51:18 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-06-12 15:51:29 +0200amahl(~amahl@87-95-128-122.bb.dnainternet.fi)
2021-06-12 15:51:33 +0200teaSlurper(~chris@81.96.113.213)
2021-06-12 15:51:51 +0200schuelermine(~anselmsch@user/schuelermine) (Quit: WeeChat 3.1)
2021-06-12 15:52:33 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 15:54:08 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 15:55:57 +0200ubert(~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-06-12 15:57:06 +0200oxide(~lambda@user/oxide)
2021-06-12 15:57:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 15:57:42 +0200stefan-_(~cri@42dots.de) (Ping timeout: 244 seconds)
2021-06-12 15:58:30 +0200jespada(~jespada@90.254.242.55) (Ping timeout: 264 seconds)
2021-06-12 15:59:39 +0200jespada(~jespada@90.254.242.55)
2021-06-12 16:01:58 +0200stefan-_(~cri@42dots.de)
2021-06-12 16:11:04 +0200teaSlurper(~chris@81.96.113.213) (Remote host closed the connection)
2021-06-12 16:15:55 +0200teaSlurper(~chris@81.96.113.213)
2021-06-12 16:17:33 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 16:18:03 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-06-12 16:19:28 +0200polux0(~polux@51.15.169.172)
2021-06-12 16:19:55 +0200shailangsa(~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Ping timeout: 252 seconds)
2021-06-12 16:20:27 +0200teaSlurper(~chris@81.96.113.213) (Ping timeout: 252 seconds)
2021-06-12 16:20:35 +0200 <DigitalKiwi> parse sea or par seck
2021-06-12 16:20:36 +0200connrs_(~connrs@user/connrs)
2021-06-12 16:21:01 +0200connrs(~connrs@user/connrs) (Ping timeout: 252 seconds)
2021-06-12 16:21:01 +0200connrs_connrs
2021-06-12 16:21:16 +0200 <DigitalKiwi> pairseq
2021-06-12 16:21:23 +0200 <DigitalKiwi> pear
2021-06-12 16:21:33 +0200oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2021-06-12 16:21:34 +0200polux(~polux@51.15.169.172) (Ping timeout: 252 seconds)
2021-06-12 16:21:34 +0200polux0polux
2021-06-12 16:22:06 +0200pe200012_(~pe200012@120.236.161.38) (Ping timeout: 252 seconds)
2021-06-12 16:22:16 +0200reumeth(~reumeth@user/reumeth) (Remote host closed the connection)
2021-06-12 16:22:18 +0200pe200012_(~pe200012@183.63.73.36)
2021-06-12 16:22:34 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-06-12 16:23:12 +0200Square(~a@178.62.91.8) (Ping timeout: 252 seconds)
2021-06-12 16:23:21 +0200oxide(~lambda@user/oxide)
2021-06-12 16:25:45 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-06-12 16:26:45 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 264 seconds)
2021-06-12 16:27:24 +0200Square(~a@178.62.91.8)
2021-06-12 16:30:03 +0200xff0x(~xff0x@2001:1a81:5382:9400:de6:80d2:c3d3:91ab) (Ping timeout: 244 seconds)
2021-06-12 16:30:23 +0200mniip_mniip
2021-06-12 16:31:01 +0200xff0x(~xff0x@2001:1a81:5382:9400:396b:8b84:7b33:5a72)
2021-06-12 16:31:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-12 16:31:43 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-06-12 16:35:29 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
2021-06-12 16:36:56 +0200zeenk(~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-06-12 16:37:29 +0200aerona(~aerona@2600:6c54:4600:f300:6de7:8f27:ad87:4107)
2021-06-12 16:38:03 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 16:38:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 16:38:40 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-12 16:38:41 +0200teaSlurper(~chris@81.96.113.213)
2021-06-12 16:41:19 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 16:42:39 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 272 seconds)
2021-06-12 16:42:41 +0200Henson(~kvirc@23-233-1-122.cpe.pppoe.ca)
2021-06-12 16:42:44 +0200zebrag(~chris@user/zebrag)
2021-06-12 16:44:00 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-12 16:44:45 +0200oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-06-12 16:47:10 +0200shailangsa(~shailangs@host86-186-177-181.range86-186.btcentralplus.com)
2021-06-12 16:47:51 +0200reumeth(~reumeth@user/reumeth)
2021-06-12 16:48:38 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-12 16:50:28 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2-rc1)
2021-06-12 16:57:21 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 264 seconds)
2021-06-12 16:57:57 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-06-12 16:58:15 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
2021-06-12 16:58:30 +0200killsushi(~killsushi@user/killsushi) (Ping timeout: 264 seconds)
2021-06-12 17:00:31 +0200 <kuribas> How do you handle conflicting fields for RecordWildCards?
2021-06-12 17:00:40 +0200oxide(~lambda@user/oxide)
2021-06-12 17:02:15 +0200 <kuribas> I have a lot of records with identical fields which I want to ignore.
2021-06-12 17:02:52 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-06-12 17:03:04 +0200 <kuribas> hmm, maybe using a lambda
2021-06-12 17:04:05 +0200 <kuribas> ok, it's ugly but it works.
2021-06-12 17:04:28 +0200Crypt9a2e(~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4)
2021-06-12 17:05:00 +0200Crypt9a2e(~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4) (Read error: Connection reset by peer)
2021-06-12 17:05:20 +0200Crypt9a2e(~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4)
2021-06-12 17:05:21 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-12 17:05:54 +0200bastelfreak(~bastelfre@basteles-bastelknecht.bastelfreak.org)
2021-06-12 17:05:57 +0200 <janus> kuribas: prefix all your record fields with the name of their record. If your record is called StudentGroupBinding, it's fields could be prefixed with "sgb"
2021-06-12 17:06:20 +0200 <kuribas> janus: that defeats the purpose for using them in the first place.
2021-06-12 17:07:42 +0200 <janus> kuribas: i don't understand. the point of a record is to group a bunch of data and get one value that refers to them. if the fields have a prefix, that is still possible
2021-06-12 17:08:33 +0200 <kuribas> I have types with a subset of fields. With recordWildCards I can do: toSmaller :: Bigger -> Smaller; toSmaller Bigger{..} = Smaller{..}
2021-06-12 17:08:43 +0200 <kuribas> But it depends on them having the same name.
2021-06-12 17:09:44 +0200 <kuribas> it saves a lot of boilerplate code.
2021-06-12 17:11:08 +0200zebrag(~chris@user/zebrag)
2021-06-12 17:11:18 +0200 <janus> ok, i can see how it breaks that usecase. many of my records have smart constructors that i am using with applicative syntax, so i can't be doing that anyway
2021-06-12 17:11:44 +0200 <janus> i was told that the purescript records are much better, but i havn't tried them
2021-06-12 17:12:22 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 17:12:41 +0200 <tomsmeding> maerwald: lol
2021-06-12 17:12:51 +0200 <maerwald> tomsmeding: not funny
2021-06-12 17:12:53 +0200 <tomsmeding> and it's not even windows
2021-06-12 17:13:21 +0200 <janus> kuribas: another approach is to have your data type be polymorphic and have "type Bigger = Polymorphic ExtraData" and "type Smaller = Polymorphic ()". then they can have the same fields ;)
2021-06-12 17:13:30 +0200 <maerwald> tomsmeding: yes... I sorta had this vision... if someone married windows and unix principles, would that be nix?
2021-06-12 17:13:43 +0200 <maerwald> powerful and bloated all the way
2021-06-12 17:13:46 +0200hueso(~root@152.170.216.40) (Read error: Connection reset by peer)
2021-06-12 17:14:03 +0200 <kuribas> janus: yeah, but bigger is autogenerated from a SQL schema :-)
2021-06-12 17:14:42 +0200hueso(~root@152.170.216.40)
2021-06-12 17:16:35 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-12 17:17:09 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-06-12 17:20:52 +0200 <DigitalKiwi> doesn't seem to be nix related
2021-06-12 17:20:54 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 17:21:55 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-12 17:23:20 +0200 <DigitalKiwi> ls /usr/bin/
2021-06-12 17:23:21 +0200 <DigitalKiwi> env
2021-06-12 17:23:46 +0200 <maerwald> DigitalKiwi: I aborted and built it in 1/10th time with cabal
2021-06-12 17:24:14 +0200 <DigitalKiwi> kiwi@mvp-nixos ~ []$ welke mkdir
2021-06-12 17:24:18 +0200 <DigitalKiwi> /nix/store/wq2b68y4hi98zzm8p1jk7ybf23ly56m0-coreutils-8.32/bin/coreutils
2021-06-12 17:24:33 +0200 <tomsmeding> wtf is 'welke' and why is that dutch
2021-06-12 17:24:52 +0200 <DigitalKiwi> presumably it's which in dutch
2021-06-12 17:24:55 +0200 <tomsmeding> it is
2021-06-12 17:25:20 +0200 <DigitalKiwi> welke () { readlink -f "$(command -v "${1}")"}
2021-06-12 17:25:21 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-12 17:26:01 +0200 <tomsmeding> when is that different from 'which'?
2021-06-12 17:27:04 +0200 <geekosaur> when you start a new process to see it, you see what the next shell to open would see, not what your current shell sees
2021-06-12 17:27:19 +0200 <geekosaur> this is why posix specifies "type" as a shell built-in
2021-06-12 17:27:19 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-06-12 17:27:23 +0200 <DigitalKiwi> kiwi@mvp-nixos ~ []$ which mkdir
2021-06-12 17:27:25 +0200 <DigitalKiwi> /run/current-system/sw/bin/mkdir
2021-06-12 17:27:30 +0200yoctocell_(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 17:28:25 +0200yoctocell_(~yoctocell@h87-96-130-155.cust.a3fiber.se) (Client Quit)
2021-06-12 17:28:33 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds)
2021-06-12 17:28:56 +0200yoctocell(~yoctocell@h87-96-130-155.cust.a3fiber.se)
2021-06-12 17:29:05 +0200 <DigitalKiwi> https://mostlyabsurd.com/files/2021-06-12-152839_2202x1023_scrot.png
2021-06-12 17:30:06 +0200 <DigitalKiwi> the next message from them was a gist to welke lol
2021-06-12 17:30:22 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-12 17:30:41 +0200 <DigitalKiwi> any more questions
2021-06-12 17:30:48 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-12 17:33:05 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 17:33:21 +0200sedeki(~textual@user/sedeki)
2021-06-12 17:34:23 +0200 <DigitalKiwi> anyway i think maerwald is probably having PATH issues since...it's not actually using nix
2021-06-12 17:34:47 +0200zebrag(~chris@user/zebrag)
2021-06-12 17:35:31 +0200zmt00(~zmt00@user/zmt00)
2021-06-12 17:37:32 +0200sedeki(~textual@user/sedeki) (Client Quit)
2021-06-12 17:39:15 +0200da39a3ee5e6b4b0d(~textual@2403:6200:8876:2955:f1c5:68ee:212f:e12f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 17:39:24 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-12 17:40:24 +0200 <maerwald> well, nix is in PATH
2021-06-12 17:40:33 +0200 <maerwald> The rest is up to nix, not me
2021-06-12 17:40:34 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 17:40:51 +0200 <DigitalKiwi> https://www.youtube.com/watch?v=0XH3oMNKApI this is really about nix
2021-06-12 17:41:06 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-12 17:45:11 +0200 <DigitalKiwi> i don't know who's responsibility it is to make the PATH right
2021-06-12 17:46:15 +0200 <tomsmeding> geekosaur: and... how is that different exactly? it's not like a new process would suddenly get a different environment than the current process magically
2021-06-12 17:46:39 +0200 <DigitalKiwi> you very clearly do not want it to work though and i don't know enough to help nor do you want helped so *shrug*
2021-06-12 17:47:22 +0200 <geekosaur> tomsmeding, PATH doesn't have to be exported from a shell to be used, plus there's caching of seen commands so changes aren't necessarily visible immediately
2021-06-12 17:47:49 +0200 <tomsmeding> geekosaur: ah right
2021-06-12 17:47:53 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 268 seconds)
2021-06-12 17:48:07 +0200 <tomsmeding> having an unexported modified PATH sounds like a recipe for trouble though
2021-06-12 17:48:08 +0200 <DigitalKiwi> i can nixos-rebuild switch and that /run/current-system/sw/bin/mkdir will no longer point to /nix/store/wq2b68y4hi98zzm8p1jk7ybf23ly56m0-coreutils-8.32/bin/coreutils
2021-06-12 17:48:38 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-06-12 17:48:45 +0200 <DigitalKiwi> or even just nix-shell nix-env etc...
2021-06-12 17:53:19 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-12 17:53:48 +0200 <geekosaur> tomsmeding, in general it is. csh auto-exported changes to $path for that reason, and you can still set that behavior in zsh iirc
2021-06-12 17:53:55 +0200 <DigitalKiwi> kiwi@mvp-nixos ~ []$ echo $NIX_PATH
2021-06-12 17:54:00 +0200 <DigitalKiwi> /home/kiwi/.nix-defexpr/channels:nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixos:nixos-config=/etc/nixos/configuration.nix:/nix/var/nix/profiles/per-user/root/channelskiwi@mvp-nixos ~ []$ echo $PATH/home/kiwi/bin:/run/wrappers/bin:/home/kiwi/.nix-profile/bin:/etc/profiles/per-user/kiwi/bin:/nix/var/nix/profiles/default/bin:/run/current-system/sw/bin
2021-06-12 17:57:06 +0200 <tomsmeding> geekosaur: if a shell variable is already set to exported, then the variable isn't any different from the exported one, right?
2021-06-12 17:57:24 +0200 <tomsmeding> so "auto-exporting changes to $path" sounds like a redundant statement to me assuming that PATH is exported anyway
2021-06-12 17:57:39 +0200 <geekosaur> correct, but shell variables don't inherit that from being imported
2021-06-12 17:57:47 +0200 <geekosaur> which is weird and counterintuitive
2021-06-12 17:58:18 +0200ubert(~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de)
2021-06-12 17:58:24 +0200 <geekosaur> so while a shell's $PATH comes in from the environment, it is not marked as exported; the shell has to do an explicit `export PATH` for its changes to get exported
2021-06-12 17:59:20 +0200 <tomsmeding> ...no? $ bash -c 'echo $PATH' ; PATH="abc:$PATH" ; bash -c 'echo $PATH'
2021-06-12 17:59:34 +0200 <tomsmeding> the second time it shows an abc-prefixed path for me
2021-06-12 18:00:14 +0200 <geekosaur> are you sure something didn't do an export earlier, maybe in your dotfiles?
2021-06-12 18:00:19 +0200 <tomsmeding> but perhaps this is shell-dependent (this example is in bash)
2021-06-12 18:00:25 +0200 <geekosaur> it doesn't have to be repeated on every change.
2021-06-12 18:00:26 +0200 <tomsmeding> oh right
2021-06-12 18:00:33 +0200 <tomsmeding> oh that's dumb
2021-06-12 18:00:37 +0200 <geekosaur> yeh
2021-06-12 18:00:46 +0200 <geekosaur> weird and nonintuitive, like I said
2021-06-12 18:01:25 +0200 <geekosaur> and rather than fix it, POSIX specified ways to see what's really going on
2021-06-12 18:02:12 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 18:02:26 +0200 <DigitalKiwi> isn't *nix great
2021-06-12 18:03:05 +0200 <tomsmeding> luckily posix doesn't match *nix :)
2021-06-12 18:03:41 +0200 <DigitalKiwi> isn't *ix great
2021-06-12 18:04:02 +0200 <tomsmeding> geekosaur: can't reproduce with 'bash --norc --verbose'
2021-06-12 18:04:16 +0200 <tomsmeding> not sure if that's sufficient to make it not read any config files ever
2021-06-12 18:04:16 +0200 <geekosaur> interesting. so maybe bash did fix it.
2021-06-12 18:04:27 +0200 <geekosaur> I think I said earlier that zsh did
2021-06-12 18:04:32 +0200 <tomsmeding> ("can't reproduce" as in my above example behaves the same)
2021-06-12 18:04:36 +0200 <geekosaur> for csh emulation at least
2021-06-12 18:06:46 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-12 18:10:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 18:10:23 +0200ozataman(~ozataman@71.190.112.58)
2021-06-12 18:13:11 +0200jess(~jess@libera/staff/jess) ()
2021-06-12 18:13:13 +0200Bartosz(~textual@24.35.90.211)
2021-06-12 18:19:14 +0200 <Clint> tomsmeding: do you have "export PATH" in /etc/profile?
2021-06-12 18:19:29 +0200 <tomsmeding> Clint: yes
2021-06-12 18:19:55 +0200 <tomsmeding> I was hoping --norc would stop it from reading any of that but I already feared that wouldn't work
2021-06-12 18:20:03 +0200benin036(~benin@183.82.205.218)
2021-06-12 18:20:04 +0200 <geekosaur> bu tthat should only be read by login shells (bash -l)
2021-06-12 18:20:31 +0200benin036(~benin@183.82.205.218) (Client Quit)
2021-06-12 18:20:32 +0200 <tomsmeding> also I ran 'bash --norc --verbose' which I think prints out all that it executes, and it didn't show anything on startup
2021-06-12 18:21:11 +0200benin03(~benin@183.82.205.218) (Ping timeout: 268 seconds)
2021-06-12 18:22:48 +0200 <Clint> iirc, zsh at least autoexports almost any parameter it imports
2021-06-12 18:22:51 +0200 <Clint> maybe bash does the same thing
2021-06-12 18:23:13 +0200 <geekosaur> yeh, I commented on zsh already
2021-06-12 18:23:34 +0200 <tomsmeding> I'm kind of hoping I never have to deal with this as an issue since I can't manage to reproduce it now :p
2021-06-12 18:23:54 +0200 <geekosaur> hope you don't. it's nothing but confusion
2021-06-12 18:26:44 +0200MQ-17J(~MQ-17J@8.21.10.116)
2021-06-12 18:32:41 +0200jaevanko(~jaevanko@2600:1700:1330:2bef:5548:773a:cf10:a3a1)
2021-06-12 18:34:22 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-06-12 18:37:09 +0200ubert(~Thunderbi@p200300ecdf259ddf6d4493bcfbeaba19.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-06-12 18:39:02 +0200zebrag(~chris@user/zebrag)
2021-06-12 18:39:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 18:43:48 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 18:44:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
2021-06-12 18:44:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-12 18:46:07 +0200qbt(~edun@user/edun) (Quit: Leaving)
2021-06-12 18:47:11 +0200killsushi(~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11)
2021-06-12 18:47:11 +0200killsushi(~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Changing host)
2021-06-12 18:47:11 +0200killsushi(~killsushi@user/killsushi)
2021-06-12 18:49:33 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds)
2021-06-12 18:50:38 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-12 18:50:46 +0200rk04(~rk04@user/rajk)
2021-06-12 18:51:52 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-06-12 18:53:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 18:54:19 +0200sedeki(~textual@user/sedeki)
2021-06-12 18:55:32 +0200econo(uid147250@user/econo)
2021-06-12 18:58:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-12 18:58:40 +0200 <dminuoso> Im trying to write a client library against an external API with servant. Part of the API will return URLs inside JSON against the same API, as a way to reference related resources. Does someone know of an existing way of creating a servant ClientM against a particular URL from an API endpoint?
2021-06-12 18:59:47 +0200 <dminuoso> Some kind of `urlA :: BaseUrl -> Either Text (ClientM A); urlB :: BaseUrl -> Either Text (ClientM B); urlA :<|> urlB = urlClient`
2021-06-12 19:00:12 +0200 <dminuoso> Naively it seems I should be able to write it myself, but perhaps someone else has stepped over this before.
2021-06-12 19:00:28 +0200sedeki(~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2021-06-12 19:00:33 +0200pottsy(~pottsy@2400:4050:b560:3700:1def:faee:e2d6:f91c) (Ping timeout: 255 seconds)
2021-06-12 19:02:09 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 264 seconds)
2021-06-12 19:03:19 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-06-12 19:03:48 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-12 19:05:00 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 19:07:33 +0200rk04(~rk04@user/rajk) (Ping timeout: 264 seconds)
2021-06-12 19:09:19 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
2021-06-12 19:10:11 +0200derelict(~derelict@user/derelict) (Quit: WeeChat 3.1)
2021-06-12 19:10:26 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 19:11:45 +0200Sgeo(~Sgeo@user/sgeo)
2021-06-12 19:12:33 +0200alx741(~alx741@186.178.108.59) (Ping timeout: 272 seconds)
2021-06-12 19:15:26 +0200xff0x(~xff0x@2001:1a81:5382:9400:396b:8b84:7b33:5a72) (Ping timeout: 252 seconds)
2021-06-12 19:16:11 +0200derelict(~derelict@user/derelict)
2021-06-12 19:16:11 +0200xff0x(~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674)
2021-06-12 19:17:55 +0200dhil(~dhil@80.208.56.181) (Ping timeout: 268 seconds)
2021-06-12 19:18:19 +0200rk04(~rk04@user/rajk)
2021-06-12 19:18:37 +0200renzhi(~xp@modemcable070.17-177-173.mc.videotron.ca)
2021-06-12 19:18:48 +0200Jinchu(~Jinchu@84-253-239-63.bb.dnainternet.fi) (Remote host closed the connection)
2021-06-12 19:23:51 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 19:24:05 +0200rk04(~rk04@user/rajk) (Ping timeout: 272 seconds)
2021-06-12 19:25:05 +0200killsushi(~killsushi@user/killsushi) (Quit: Leaving)
2021-06-12 19:25:09 +0200alx741(~alx741@181.196.69.243)
2021-06-12 19:25:10 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 19:27:01 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 19:28:29 +0200killsushi(~killsushi@user/killsushi)
2021-06-12 19:29:55 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-12 19:32:25 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-12 19:35:36 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-12 19:35:54 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds)
2021-06-12 19:36:23 +0200Guest9(~Guest9@43.250.157.5)
2021-06-12 19:37:12 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 19:37:43 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-12 19:38:43 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru)
2021-06-12 19:39:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-06-12 19:40:05 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 19:40:42 +0200 <safinaskar> how to convert haskell code to ast? for example, to template haskell expression?
2021-06-12 19:41:04 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 19:41:26 +0200 <safinaskar> i tried "-ddump-parsed-ast", but output of this option is not valid haskell expression, because it contains location info
2021-06-12 19:42:37 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-06-12 19:43:11 +0200 <Square> safinaskar, Might be the wrong answer but what about 'reify :: Name -> Q Info'
2021-06-12 19:43:22 +0200shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-06-12 19:43:55 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 19:44:25 +0200 <Square> ...doing that recursively and printing it would get you some sort of ast
2021-06-12 19:45:18 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-06-12 19:45:54 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
2021-06-12 19:45:58 +0200Bartosz(~textual@24.35.90.211)
2021-06-12 19:46:53 +0200 <pavonia> safinaskar: Do you want some specific AST type or just anyone? Otherwise you could use the haskell-src-exts package
2021-06-12 19:48:10 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2021-06-12 19:48:20 +0200 <safinaskar> Square: i want to get ast of file from disk
2021-06-12 19:48:31 +0200 <safinaskar> pavonia: any
2021-06-12 19:49:32 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
2021-06-12 19:49:55 +0200 <Square> theres "reifyModule" too. reifyModule :: Module -> Q ModuleInfo
2021-06-12 19:50:58 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be)
2021-06-12 19:51:40 +0200 <safinaskar> Square: it doesn't allow to get module's ast
2021-06-12 19:51:54 +0200 <safinaskar> ok, i am looking at haskell-src-exts. it seems it is what i want
2021-06-12 19:52:16 +0200machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2021-06-12 19:53:01 +0200 <dminuoso> You probably should use ghc-lib instead of haskell-src-exts.
2021-06-12 19:53:11 +0200 <dminuoso> The latter is on the brink of deprecation
2021-06-12 19:53:27 +0200 <DigitalKiwi> depreciation
2021-06-12 19:53:33 +0200warnz(~warnz@2600:1700:77c0:5610:210a:ba95:5325:60a6)
2021-06-12 19:53:48 +0200 <geekosaur> deprecation
2021-06-12 19:54:00 +0200 <c_wraith> I thought there was a new parser library that is intended to be compatible with the ghc interpretation.
2021-06-12 19:54:18 +0200 <DigitalKiwi> no no pretty sure it's about to be worth a lot fewer
2021-06-12 19:54:20 +0200 <geekosaur> ghc-lib-parser, I think
2021-06-12 19:54:24 +0200 <dminuoso> That seems like redundant effort, seeing as ghc-lib exposes that already?
2021-06-12 19:54:30 +0200 <c_wraith> ah, ghc-parser
2021-06-12 19:55:26 +0200 <c_wraith> ghc-lib is a compatibility shim for the ghc package, and the ghc package is not really designed to be easily usable
2021-06-12 19:55:28 +0200 <dminuoso> ghc-lib-parser is just a tweak on ghc-lib for a particular set of users.
2021-06-12 19:56:03 +0200 <dminuoso> ah interesting, ghc-lib itself depends on ghc-lib-parser
2021-06-12 19:56:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-12 19:58:11 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-12 19:59:31 +0200Crypt9a2e(~Crypt9a2e@2409:4072:301:9da3:81fa:805a:fd5b:12a4) (Remote host closed the connection)
2021-06-12 19:59:51 +0200Crypt9a2e(~Crypt9a2e@157.51.21.53)
2021-06-12 20:00:19 +0200 <qrpnxz> i'm thinking about installing stack from the shell script, but i'd like to know where it's gonna put files first to make sure it's not something disgusting
2021-06-12 20:01:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-06-12 20:01:01 +0200 <c_wraith> pretty sure it all goes into ~/.stack
2021-06-12 20:01:02 +0200 <dminuoso> qrpnxz: Which operating system?
2021-06-12 20:01:26 +0200 <qrpnxz> does it decide based on the system? I use debian
2021-06-12 20:02:02 +0200 <dminuoso> Well there's windows too.. :)
2021-06-12 20:02:21 +0200 <qrpnxz> didn't know sh script ran on windows
2021-06-12 20:02:24 +0200 <dminuoso> Then what c_wraith is right.
2021-06-12 20:02:24 +0200 <c_wraith> yeah, but the curl | sh install doesn't work on windows
2021-06-12 20:03:38 +0200 <dminuoso> qrpnxz: Windows has its own shell, powershell, you have mingw, you have windows subsystem for linux with bash, zsh, etc all available...
2021-06-12 20:03:46 +0200 <dminuoso> Im not going to guess for you. ;-)
2021-06-12 20:03:57 +0200 <qrpnxz> looks like it knows about .local, i'll try to run it without root and see if it does something sane in a debian docker container
2021-06-12 20:06:08 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-12 20:06:23 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-06-12 20:07:16 +0200Bartosz(~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 20:07:24 +0200 <qrpnxz> it tries to install smth with apt hmmmm
2021-06-12 20:10:07 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 20:10:49 +0200xff0x(~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674) (Ping timeout: 272 seconds)
2021-06-12 20:11:01 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-06-12 20:11:06 +0200xff0x(~xff0x@185.65.135.235)
2021-06-12 20:11:18 +0200 <monochrom> Perhaps it's ensuring that libgmp-dev exists
2021-06-12 20:11:51 +0200hklhvl(~user@73.173.185.9)
2021-06-12 20:11:58 +0200 <qrpnxz> yeah i'm trying to install what it needs by hand first
2021-06-12 20:12:00 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-12 20:15:54 +0200johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 264 seconds)
2021-06-12 20:15:55 +0200 <qrpnxz> looks like it rly want to install in usr/local, how to get it to only do .local
2021-06-12 20:16:12 +0200 <safinaskar> haskell-src-exts works, thank you
2021-06-12 20:16:31 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-12 20:17:30 +0200 <monochrom> Since you're running the install script in docker, have you taken care to say "-u ..." to run as non-root?
2021-06-12 20:17:37 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 20:18:06 +0200 <tomsmeding> qrpnxz: stack is just a binary, you can just download the binary itself directly and store that wherever you want; thereafter it will just use ~/.stack for the downloaded/compiled files
2021-06-12 20:18:42 +0200 <qrpnxz> can you configure it to not use .stack
2021-06-12 20:23:20 +0200 <tomsmeding> qrpnxz: see the --stack_root flag or the STACK_ROOT environment variable https://docs.haskellstack.org/en/v2.7.1/GUIDE/#setting-stack-root-location
2021-06-12 20:23:30 +0200 <qrpnxz> great thx
2021-06-12 20:24:07 +0200 <safinaskar> how you keep last message in irc channel you have read?
2021-06-12 20:25:56 +0200 <tomsmeding> safinaskar: that depends entirely on the client you're using
2021-06-12 20:26:48 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
2021-06-12 20:28:06 +0200 <safinaskar> please, say me some client, that has such feature
2021-06-12 20:28:57 +0200 <allbery_b> are you asking for one that saves a backlog, or one which keeps activity from when you aren't connected?
2021-06-12 20:29:10 +0200allbery_bgeekosaur
2021-06-12 20:29:10 +0200 <safinaskar> allbery_b: no
2021-06-12 20:29:10 +0200 <maerwald> weechat has it all
2021-06-12 20:29:17 +0200 <safinaskar> geekosaur: no
2021-06-12 20:29:36 +0200 <safinaskar> i want to somehow mark last read message
2021-06-12 20:29:50 +0200 <tomsmeding> almost every client does that
2021-06-12 20:30:00 +0200 <tomsmeding> I'm surprised if the web client doesn't
2021-06-12 20:30:07 +0200 <safinaskar> it doesn't
2021-06-12 20:30:13 +0200tomsmedingis surprised
2021-06-12 20:30:15 +0200 <geekosaur> the web client does but only until you touch the window
2021-06-12 20:30:39 +0200 <safinaskar> web client allows me to mark messages, but this marks are lost when i select some text using normal browser selection
2021-06-12 20:30:58 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-06-12 20:30:59 +0200 <tomsmeding> oh you want _manual_ marking
2021-06-12 20:31:10 +0200 <safinaskar> yes!
2021-06-12 20:31:28 +0200 <safinaskar> so does any client have this feature?
2021-06-12 20:31:32 +0200 <tomsmeding> ¯\_(ツ)_/¯
2021-06-12 20:32:25 +0200 <tomsmeding> there's an emacs irc plugin; if that's anything like emacs style, it probably has every feature ever
2021-06-12 20:32:32 +0200 <tomsmeding> but I'm not an emacs user so I wouldn't know :p
2021-06-12 20:33:06 +0200 <geekosaur> there's at least two emacs irc modes; erc seems to be most popular
2021-06-12 20:34:01 +0200Crypt9a2e-1(~Crypt9a2e@157.51.116.113)
2021-06-12 20:35:39 +0200Crypt9a2e(~Crypt9a2e@157.51.21.53) (Ping timeout: 252 seconds)
2021-06-12 20:36:59 +0200ikex(~ash@user/ikex) (Ping timeout: 272 seconds)
2021-06-12 20:37:33 +0200sekun(~sekun@180.190.221.56) (Ping timeout: 264 seconds)
2021-06-12 20:39:30 +0200xff0x(~xff0x@185.65.135.235) (Ping timeout: 252 seconds)
2021-06-12 20:41:17 +0200xff0x(~xff0x@2001:1a81:5382:9400:bf95:26e2:74b9:5674)
2021-06-12 20:41:57 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 20:42:30 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-12 20:44:30 +0200 <vaibhavsagar[m]> safinaskar: I use element.io which has this feature IIUC
2021-06-12 20:44:59 +0200 <safinaskar> vaibhavsagar[m]: thanks, i will try
2021-06-12 20:45:10 +0200 <dminuoso> tomsmeding: From experience, this "has every feature ever" definitely does not apply to every emacs package out there.
2021-06-12 20:45:39 +0200 <dminuoso> Id argue, it only applies to a select few packages. But those tend to be the reasons why emacs is liked by its users, like magit.
2021-06-12 20:46:04 +0200 <qrpnxz> hmm, what do i do about "`unexpected Unknown SPDX license identifier`" from stack
2021-06-12 20:47:07 +0200 <tomsmeding> dminuoso: makes sense, it hardly _can_ apply to most packages by sheer lack of manpower
2021-06-12 20:47:20 +0200 <tomsmeding> qrpnxz: what's the value of the 'license:' key in your cabal file
2021-06-12 20:47:32 +0200 <tomsmeding> or, I guess, package.yaml if applicable
2021-06-12 20:47:37 +0200 <qrpnxz> BlueOak-1.0.0
2021-06-12 20:47:39 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
2021-06-12 20:47:49 +0200 <qrpnxz> a valid spdx, but stack doesn't like it, how to correct
2021-06-12 20:49:03 +0200 <qrpnxz> or maybe it's cabal that doesn't like it
2021-06-12 20:49:05 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be)
2021-06-12 20:49:15 +0200 <qrpnxz> but i'm doing `stack build`
2021-06-12 20:50:46 +0200 <tomsmeding> probably the Cabal library (which is the library behind both the cabal-install tool, called "cabal", and stack)
2021-06-12 20:51:33 +0200 <safinaskar> dminuoso: tomsmeding: i once got extreme example of this "has every feature". emacs has so-called "emacs undo" by default (websearch!). I tried to find some emacs package to enable normal undo. and i unable to do this. instead i found package, which provides normal undo, but also provides some additional mechanisms for traversing undo tree. so i
2021-06-12 20:51:34 +0200 <safinaskar> installed this package
2021-06-12 20:52:06 +0200renzhi(~xp@modemcable070.17-177-173.mc.videotron.ca) (Quit: WeeChat 2.3)
2021-06-12 20:52:24 +0200 <tomsmeding> qrpnxz: hm cabal seems fine with proper spdx expressions https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=spdx#pkg-field-license
2021-06-12 20:53:42 +0200 <qrpnxz> hmmm
2021-06-12 20:54:05 +0200 <safinaskar> syntax for license field changed between versions
2021-06-12 20:54:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 20:54:14 +0200 <safinaskar> it depends on value in "cabal-version" field
2021-06-12 20:54:50 +0200 <qrpnxz> mine says 2.2
2021-06-12 20:54:54 +0200 <qrpnxz> so should work ig
2021-06-12 20:54:55 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 245 seconds)
2021-06-12 20:55:12 +0200 <tomsmeding> apparently that then has the "3.0 2017-12-28" SPDX license identifier list?
2021-06-12 20:55:21 +0200 <qrpnxz> just noticed that, OLD BOI
2021-06-12 20:55:36 +0200 <geekosaur> but the license is from after 2017
2021-06-12 20:55:41 +0200geekosaurjust looked it up
2021-06-12 20:55:53 +0200 <qrpnxz> yeah, blueoak got added march 2019
2021-06-12 20:56:08 +0200 <qrpnxz> so it's not in cabals list
2021-06-12 20:56:46 +0200 <qrpnxz> ok guess i'll try to look for a way to do a non-spdx license
2021-06-12 20:56:48 +0200__monty__(~toonn@user/toonn)
2021-06-12 20:57:24 +0200 <safinaskar> vaibhavsagar[m]: does element.io support irc?
2021-06-12 20:57:47 +0200 <vaibhavsagar[m]> yes, that's what I'm using right now
2021-06-12 20:58:11 +0200fizbin(~fizbin@73.112.85.251)
2021-06-12 20:58:51 +0200 <qrpnxz> aren't you talking through a bridge, that's not the same as element supporting irc
2021-06-12 20:59:20 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 20:59:32 +0200 <vaibhavsagar[m]> I'm not sure I understand the difference
2021-06-12 21:00:38 +0200lavaman(~lavaman@98.38.249.169)
2021-06-12 21:00:57 +0200 <qrpnxz> the former is a element being a matrix client talking to a program using the matrix protocol that then talks to IRC land, the latter is element also being an irc client and talking to libera using the irc protocol
2021-06-12 21:01:20 +0200 <safinaskar> qrpnxz: "tries to install smth with apt hmmmm" - you may try ghcup instead of stack, it doesn't call apt
2021-06-12 21:01:35 +0200 <qrpnxz> bruh, stack is so slow my god
2021-06-12 21:01:52 +0200 <qrpnxz> safinaskar, i just put the binary in my .local, no script required
2021-06-12 21:02:25 +0200fizbin(~fizbin@73.112.85.251) (Ping timeout: 245 seconds)
2021-06-12 21:03:06 +0200 <qrpnxz> lmao wtf, this is the executable `.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.2.1.0/build/test-exe/test-exe`
2021-06-12 21:03:17 +0200 <tomsmeding> qrpnxz: welcome to haskell build tools
2021-06-12 21:03:39 +0200awth13`(~user@185.209.196.143) (Quit: ERC (IRC client for Emacs 27.2))
2021-06-12 21:03:43 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-12 21:03:47 +0200 <vaibhavsagar[m]> I think it's accurate to say that matrix supports IRC https://matrix.org/docs/projects/bridge/matrix-org-irc-bridge
2021-06-12 21:03:47 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 21:03:52 +0200 <qrpnxz> i mean it's kind of par for the course, only language that does it nicely is Go afaict
2021-06-12 21:04:07 +0200 <vaibhavsagar[m]> but if you want to be pedantic about it, sure
2021-06-12 21:04:10 +0200awth13(~user@user/awth13)
2021-06-12 21:04:14 +0200 <qrpnxz> that's a bridge, like i described
2021-06-12 21:04:14 +0200 <tomsmeding> qrpnxz: the go compiler is very fast, but then GHC does a _lot_ more than go
2021-06-12 21:04:38 +0200 <qrpnxz> tru, though in terms of speed, i think the major hold up was stack not ghc, hard to tell tho
2021-06-12 21:04:55 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-06-12 21:05:23 +0200 <tomsmeding> once it's actually compiling the modules (the [1 of 10] lines), that's ghc
2021-06-12 21:05:43 +0200 <maerwald> ghc isn't a fast compiler like go
2021-06-12 21:06:22 +0200 <qrpnxz> there may have been a network bottleneck as well, gonna try not to judge stack too hard just yet. Maybe when i pull yesod that'll be a true test of stack
2021-06-12 21:07:10 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 21:07:10 +0200guest20210612(~user@109.252.90.89)
2021-06-12 21:07:20 +0200 <maerwald> stack is very inefficient when it comes to cloning repos
2021-06-12 21:07:36 +0200guest20210612(~user@109.252.90.89) ()
2021-06-12 21:07:36 +0200pdxleif(~leif@75.164.44.108)
2021-06-12 21:07:43 +0200 <maerwald> https://imgur.com/BNJIzWc.png
2021-06-12 21:07:48 +0200 <maerwald> oops
2021-06-12 21:07:52 +0200 <maerwald> my clipboard is broken
2021-06-12 21:07:57 +0200 <maerwald> https://github.com/commercialhaskell/stack/issues/5411
2021-06-12 21:07:57 +0200 <qrpnxz> jesus lol
2021-06-12 21:07:57 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
2021-06-12 21:07:59 +0200 <maerwald> that one
2021-06-12 21:08:08 +0200 <maerwald> (this could have been worse, lol)
2021-06-12 21:08:09 +0200 <qrpnxz> don't you need like thousands of args for that to happen
2021-06-12 21:08:39 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 252 seconds)
2021-06-12 21:08:41 +0200 <qrpnxz> > clones as many times the repository as there are subdirs
2021-06-12 21:08:41 +0200 <qrpnxz> rip
2021-06-12 21:08:43 +0200 <lambdabot> error:
2021-06-12 21:08:43 +0200 <lambdabot> • Variable not in scope:
2021-06-12 21:08:43 +0200 <lambdabot> clones
2021-06-12 21:09:27 +0200 <qrpnxz> maybe i should just use cabal? lol
2021-06-12 21:09:59 +0200 <maerwald> I'd be lying if I said "yeah, it's better in all respects", but I do prefer it
2021-06-12 21:11:21 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 21:12:19 +0200 <safinaskar> qrpnxz: i use cabal and everything is ok. two tips: (1) install it using ghcup (2) use v2-* commands
2021-06-12 21:12:30 +0200 <qrpnxz> thx for tips
2021-06-12 21:12:45 +0200 <geekosaur> as of cabal 3.x the v2-commands are default anyway
2021-06-12 21:13:01 +0200 <maerwald> I miss sandboxes
2021-06-12 21:13:05 +0200 <geekosaur> which can be confusing for stuff tht assumes v1-commands are still default
2021-06-12 21:14:13 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds)
2021-06-12 21:14:29 +0200 <maerwald> I think we should just reboot cabal-install
2021-06-12 21:15:07 +0200 <maerwald> I feel, lately, ppl want cabal-install to compete with stack, instead of providing things stack doesn't
2021-06-12 21:15:31 +0200 <safinaskar> qrpnxz: look at this my dockerfile for inspiration: https://paste.debian.net/1200986/
2021-06-12 21:17:36 +0200 <qrpnxz> ty
2021-06-12 21:17:40 +0200jakalx(~jakalx@base.jakalx.net)
2021-06-12 21:18:43 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 272 seconds)
2021-06-12 21:19:54 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 21:20:03 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-06-12 21:21:20 +0200renzhi(~xp@modemcable070.17-177-173.mc.videotron.ca)
2021-06-12 21:21:29 +0200fizbin(~fizbin@73.112.85.251)
2021-06-12 21:23:43 +0200reumeth(~reumeth@user/reumeth) (Ping timeout: 268 seconds)
2021-06-12 21:25:28 +0200warnz(~warnz@2600:1700:77c0:5610:210a:ba95:5325:60a6) (Remote host closed the connection)
2021-06-12 21:25:42 +0200fizbin(~fizbin@73.112.85.251) (Ping timeout: 252 seconds)
2021-06-12 21:28:03 +0200 <qrpnxz> `ghcup: /home/qrpnxz/.local/bin/stack: getSymbolicLinkTarget:readSymbolicLink: invalid argument (Invalid argument)`
2021-06-12 21:28:04 +0200 <qrpnxz> hmm
2021-06-12 21:28:31 +0200 <maerwald> qrpnxz: did you enable xdg dirs?
2021-06-12 21:28:36 +0200 <qrpnxz> yes
2021-06-12 21:28:37 +0200 <smitop> is there any observable (other than through memory overusage) difference between seq and a identify function that ignores the first argument?
2021-06-12 21:28:40 +0200 <maerwald> qrpnxz: don't
2021-06-12 21:28:47 +0200 <qrpnxz> :( don't do me like this ghcup
2021-06-12 21:28:49 +0200 <janus> safinaskar: i always use v2 for a single project in nix-style, what does it do when invoked globally like that?
2021-06-12 21:28:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-12 21:29:06 +0200 <maerwald> qrpnxz: that's a conflict of binaries installed by whatnot and how ghcup handles them
2021-06-12 21:29:16 +0200 <maerwald> XDG support should go
2021-06-12 21:29:16 +0200bfrk(~bfrk@200116b84548c000c4b7ca996e91149b.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2021-06-12 21:29:59 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-12 21:30:15 +0200 <maerwald> but you can also just remove the binary
2021-06-12 21:30:25 +0200 <qrpnxz> i just need to change where ghcup puts bins, the rest should be fine
2021-06-12 21:30:30 +0200 <maerwald> or that
2021-06-12 21:30:35 +0200xsperry(~as@user/xsperry) (Remote host closed the connection)
2021-06-12 21:30:50 +0200 <maerwald> that's what I don't like about config options... you can't predict how users use them
2021-06-12 21:30:59 +0200 <qrpnxz> but only way i see is to make an alias :/
2021-06-12 21:31:12 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-12 21:31:22 +0200 <maerwald> yeah, why not
2021-06-12 21:31:28 +0200 <maerwald> that's what shell is for
2021-06-12 21:31:53 +0200 <maerwald> if a program runs ghcup without asking you, you should be angry
2021-06-12 21:32:10 +0200 <qrpnxz> it'll have to be a shell script then
2021-06-12 21:32:27 +0200 <qrpnxz> though, who runs ghcup?
2021-06-12 21:32:29 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-12 21:32:36 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 21:32:37 +0200 <maerwald> qrpnxz: I think VSCode does
2021-06-12 21:32:41 +0200 <qrpnxz> ic
2021-06-12 21:32:46 +0200 <maerwald> but they probably do their own prefix or so
2021-06-12 21:32:50 +0200 <maerwald> not sure
2021-06-12 21:32:58 +0200 <qrpnxz> will make script just to be safe
2021-06-12 21:33:15 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
2021-06-12 21:34:16 +0200 <safinaskar> how to generate pictures with such comparison tables: https://www.etalabs.net/compare_libcs.html ? ideally svg
2021-06-12 21:34:18 +0200 <maerwald> qrpnxz: you can rename ghcup to ghcup-bin, then make ghcup a wrapper script. But then make sure you run `ghcup upgrade --inplace`, otherwise it may overwrite your wrapper
2021-06-12 21:34:54 +0200 <qrpnxz> indeed, thx for heads up, i'll also remove write perm just in case
2021-06-12 21:34:57 +0200 <maerwald> qrpnxz: or just remove write permissions
2021-06-12 21:35:00 +0200 <maerwald> yep
2021-06-12 21:35:39 +0200hklhvl(~user@73.173.185.9) (Quit: ERC (IRC client for Emacs 27.2))
2021-06-12 21:36:45 +0200Feuermagier(~Feuermagi@user/feuermagier)
2021-06-12 21:36:46 +0200 <maerwald> the readSymbolicLink bug above can be fixed, but there are more problems with XDG... e.g. when installing binaries that start with `cabal-`, such as `cabal-hie`
2021-06-12 21:36:56 +0200dunkeln(~dunkeln@94.129.65.28)
2021-06-12 21:36:58 +0200 <maerwald> so a hermetic binary dir is better
2021-06-12 21:37:38 +0200aerkenemesis(~aerkeneme@c83-252-164-58.bredband.tele2.se)
2021-06-12 21:38:07 +0200 <maerwald> I'm not sure ~/.local/bin is already in the XDG spec even
2021-06-12 21:38:33 +0200 <maerwald> seems it is
2021-06-12 21:38:37 +0200 <safinaskar> smitop: "seq undefined 0" and "(\a b -> b) undefined 0" give different results
2021-06-12 21:38:45 +0200 <maerwald> " User-specific executable files may be stored in $HOME/.local/bin. Distributions should ensure this directory shows up in the UNIX $PATH environment variable, at an appropriate place. "
2021-06-12 21:38:58 +0200 <safinaskar> smitop: websearch "haskell bottom"
2021-06-12 21:39:05 +0200 <aerkenemesis> I'm having some problems building my project, I'm gettning `ghc: ^^ could not load 'recursionzmschemesz.......', dependency unresolved. This only happens when I do a `nix build`, if I build "normally" using cabal new-build in my nix-shell it works
2021-06-12 21:39:07 +0200 <smitop> thanks!
2021-06-12 21:39:20 +0200 <qrpnxz> it is but cabal doesn't want to play nice with what's already there then an alternative will be needed
2021-06-12 21:39:22 +0200 <safinaskar> smitop: this is basic question, i recommend reading "learn you haskell for great good" first
2021-06-12 21:39:33 +0200fizbin(~fizbin@73.112.85.251)
2021-06-12 21:39:36 +0200 <smitop> yes i have already read that
2021-06-12 21:39:43 +0200 <aerkenemesis> I found some stuff related to profiling when googling the problem but I don't have any profiling enabled
2021-06-12 21:39:51 +0200 <maerwald> qrpnxz: it says *may*... so I guess we could adhere to XDG spec and not put binaries in ~/.local/bin?
2021-06-12 21:40:16 +0200 <qrpnxz> ofc you can change XDG_BIN_HOME
2021-06-12 21:40:17 +0200 <safinaskar> janus: "what does it do when invoked globally like that?" - it downloads packages, builds them, cache them and make them available in plain "ghc" or "ghci"
2021-06-12 21:40:22 +0200 <qrpnxz> .local/bin is the default
2021-06-12 21:40:30 +0200 <maerwald> qrpnxz: that's variable was made p by ghcup :)
2021-06-12 21:40:34 +0200 <maerwald> the XDG spec doesn't have it
2021-06-12 21:40:35 +0200 <qrpnxz> it wasn't tho
2021-06-12 21:40:38 +0200 <qrpnxz> it does
2021-06-12 21:40:40 +0200 <maerwald> no
2021-06-12 21:40:47 +0200 <qrpnxz> look https://theos.kyriasis.com/~kyrias/basedir-spec.html
2021-06-12 21:41:04 +0200 <maerwald> I'm looking at https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html
2021-06-12 21:41:34 +0200 <maerwald> there was a PR about it, but I don't remember the XDG_BIN_HOME or similar being accepted
2021-06-12 21:41:39 +0200 <janus> safinaskar: but if the project you're building is incompatible with one of those installed packages, it will be installed locally to the project and the globally installed version is ignored?
2021-06-12 21:41:39 +0200 <qrpnxz> mm, fair enough
2021-06-12 21:42:11 +0200 <qrpnxz> anyway, i'm sure it's used by other programs as well, it fits like a glove
2021-06-12 21:42:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 21:42:35 +0200 <qrpnxz> ik that .local/bin, variable or not, is def the defacto std for local bin
2021-06-12 21:42:55 +0200 <maerwald> qrpnxz: feel free to comment on https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/96
2021-06-12 21:43:05 +0200 <maerwald> I don't know what to do with XDG dirs
2021-06-12 21:43:40 +0200fizbin(~fizbin@73.112.85.251) (Ping timeout: 245 seconds)
2021-06-12 21:43:44 +0200 <maerwald> ah, here was the converstion https://gitlab.freedesktop.org/xdg/xdg-specs/-/issues/63
2021-06-12 21:43:51 +0200 <safinaskar> janus: i think yes
2021-06-12 21:44:14 +0200 <safinaskar> janus: i think this global list is ignored when i do "cabal v2-build"
2021-06-12 21:44:16 +0200 <qrpnxz> i mean it should probably be using $XDG_DATA_HOME/ghcup/bin not bin home
2021-06-12 21:44:22 +0200 <qrpnxz> that's what i'm gonna do
2021-06-12 21:44:26 +0200 <maerwald> qrpnxz: yeah, that's one way
2021-06-12 21:44:35 +0200 <safinaskar> janus: but i think cache itself is used, of course, i. e. cabal doesn't download them twice
2021-06-12 21:44:43 +0200 <janus> safinaskar: aaah ok so that dockerfile is explicitly for development, not for CI or something like that
2021-06-12 21:45:33 +0200 <maerwald> qrpnxz: it would be a breaking change though
2021-06-12 21:45:40 +0200 <janus> i wonder if there is a way to convert a haskell projects dependency list into something that can be used to prepare a docker image
2021-06-12 21:45:55 +0200 <janus> because CI builds should really be using prebaked dependencies, no?
2021-06-12 21:46:03 +0200dunkeln(~dunkeln@94.129.65.28) (Ping timeout: 252 seconds)
2021-06-12 21:46:11 +0200 <safinaskar> janus: "is explicitly for development" - yes, it allows me to run ghci and have all this packages available in ghci
2021-06-12 21:46:58 +0200 <maerwald> qrpnxz: at any rate, I'll provide a fix for the bug
2021-06-12 21:47:01 +0200 <qrpnxz> maerwald, well the cabal ppl don't really have to change anything. I'm able to do so by just by making that script
2021-06-12 21:47:06 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24) (Ping timeout: 264 seconds)
2021-06-12 21:47:19 +0200 <qrpnxz> though ofc making the script is kind of annoying
2021-06-12 21:47:46 +0200 <qrpnxz> maybe have an ENV variable to ignore BIN_HOME and use the data dir?
2021-06-12 21:48:04 +0200 <safinaskar> janus: you may see ci script i use here: https://git.sr.ht/~safinaskar/check-cfg-ambiguity/tree/master/item/.build.yml
2021-06-12 21:48:06 +0200 <qrpnxz> that might be the best backward compatible change
2021-06-12 21:48:20 +0200 <safinaskar> janus: it uses sourcehut's ci (but it is similar to other CIs around)
2021-06-12 21:48:38 +0200 <safinaskar> janus: and the script is a bit advanced, because it uses my own manual parsing of cabal file
2021-06-12 21:49:00 +0200 <safinaskar> janus: you may see prev. versions of this script in git history, they are simpler
2021-06-12 21:49:02 +0200 <janus> oh, that was my fear :P manual parsing
2021-06-12 21:49:15 +0200 <safinaskar> janus: i mean shell/sed/grep parsing
2021-06-12 21:49:36 +0200 <janus> so not parsing, more like SATANISM :O
2021-06-12 21:51:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 21:51:54 +0200 <safinaskar> janus: this version https://git.sr.ht/~safinaskar/check-cfg-ambiguity/tree/c6909efcbc1139c8c09fb407144e523743e7fec3/it… is pretty simple
2021-06-12 21:53:12 +0200Scotty_Trees(~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Ping timeout: 252 seconds)
2021-06-12 21:54:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-12 21:54:50 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2021-06-12 21:55:38 +0200Guest9(~Guest9@43.250.157.5) (Quit: Connection closed)
2021-06-12 21:55:54 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 21:56:26 +0200 <safinaskar> janus: formulate concretely your question on docker images and ci. it seems i will be able to answer it. i spend a lot of time trying to create "perfect" ci script. here is my haskell-cafe question (answers/thread follow) on ci and cabal: https://mail.haskell.org/pipermail/haskell-cafe/2021-May/134014.html . here is end of thread:
2021-06-12 21:56:27 +0200 <safinaskar> https://mail.haskell.org/pipermail/haskell-cafe/2021-May/134030.html , i. e. solution i arrived
2021-06-12 21:56:54 +0200mastarija(~mastarija@31.217.22.43)
2021-06-12 21:58:04 +0200Crypt9a2e-2(~Crypt9a2e@157.51.13.43)
2021-06-12 21:58:07 +0200 <janus> wow, great links! :D i'll dig in, thanks
2021-06-12 21:58:49 +0200 <safinaskar> qrpnxz: i always struggle when i see "ppl" on this channel. it seems i will need some script for autoreplacement
2021-06-12 21:59:12 +0200 <qrpnxz> perhaps :)
2021-06-12 21:59:46 +0200 <safinaskar> janus: ask your exact question here first
2021-06-12 21:59:49 +0200slack1256(~slack1256@181.203.57.171)
2021-06-12 22:00:41 +0200 <janus> i don't really have the exact question, i am mostly just pondering how i would prepare a docker image for building if i had to. just curious
2021-06-12 22:00:44 +0200 <safinaskar> janus: also, sourcehut ci costs 2 usd/month, as opposed to various free CIs. still i love sourcehut
2021-06-12 22:01:10 +0200beka(~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds)
2021-06-12 22:01:19 +0200Crypt9a2e(~Crypt9a2e@157.51.116.113)
2021-06-12 22:01:20 +0200Crypt9a2e-1(~Crypt9a2e@157.51.116.113) (Read error: Connection reset by peer)
2021-06-12 22:01:23 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-12 22:01:42 +0200 <janus> sourcehut is great, i just started recently also. happy to pay and support it
2021-06-12 22:01:50 +0200 <safinaskar> janus: just put dockerfile in your source tree. and write to this dockerfile commands which will install cabal and then write command "cabal v2-build". this command will build the project with all dependencies
2021-06-12 22:02:55 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-06-12 22:03:39 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 22:03:40 +0200Crypt9a2e-2(~Crypt9a2e@157.51.13.43) (Ping timeout: 245 seconds)
2021-06-12 22:04:26 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-06-12 22:05:06 +0200juhp(~juhp@128.106.188.66) (Ping timeout: 264 seconds)
2021-06-12 22:05:52 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-12 22:06:26 +0200 <aerkenemesis> I'm getting linking errors when I use template haskell, what do I do?
2021-06-12 22:07:30 +0200Crypt9a2e-1(~Crypt9a2e@157.51.13.43)
2021-06-12 22:07:30 +0200 <aerkenemesis> https://pastebin.com/HwekP8SD
2021-06-12 22:07:52 +0200Crypt9a2e(~Crypt9a2e@157.51.116.113) (Read error: Connection reset by peer)
2021-06-12 22:07:52 +0200juhp(~juhp@128.106.188.66)
2021-06-12 22:08:55 +0200Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-06-12 22:09:25 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Client Quit)
2021-06-12 22:09:43 +0200boxscape(~boxscape@user/boxscape)
2021-06-12 22:10:22 +0200Techcable(~Techcable@168.235.93.147)
2021-06-12 22:10:34 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-12 22:11:43 +0200fizbin(~fizbin@73.112.85.251)
2021-06-12 22:11:47 +0200 <geekosaur> looks to me like it's looking for a profiled version of the recursion-schemes dependency during TH compilation, and not finding it?
2021-06-12 22:11:54 +0200Crypt9a2e-1(~Crypt9a2e@157.51.13.43) (Ping timeout: 252 seconds)
2021-06-12 22:13:15 +0200fizbin_(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
2021-06-12 22:14:06 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-06-12 22:14:18 +0200 <geekosaur> given that nix is involved, I'd expect this to be a nix-related issue where it's only exposing the dynamic version of recursion-schemes, but a profiling one is also needed because THis being used while doing a profiling build
2021-06-12 22:14:29 +0200 <geekosaur> *TH is
2021-06-12 22:14:54 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-06-12 22:15:22 +0200 <aerkenemesis> geekosaur I was trying to figure out why profiling is enabled but I can't find any traces of it
2021-06-12 22:15:44 +0200 <aerkenemesis> would you mind looking at the cabal file?
2021-06-12 22:16:14 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-12 22:16:21 +0200fizbin(~fizbin@73.112.85.251) (Ping timeout: 272 seconds)
2021-06-12 22:17:07 +0200 <geekosaur> I could look but suspect it has more to do with the nix derivation, and I can't help there
2021-06-12 22:18:02 +0200 <aerkenemesis> https://gitlab.com/leash-lang/leash/-/blob/master/leash.cabal
2021-06-12 22:18:36 +0200 <geekosaur> --enable-library-profiling in the configure parameters
2021-06-12 22:18:45 +0200 <aerkenemesis> mm it's using `callCabal2Nix`, imma dive into that then maybe. But according to the ghc flags reported in the log I pasted I can't see any profiling
2021-06-12 22:19:05 +0200 <aerkenemesis> really? how did I miss that
2021-06-12 22:19:13 +0200hexfive(~eric@50.35.83.177)
2021-06-12 22:19:15 +0200 <safinaskar> aerkenemesis: your link gives "You need to sign in or sign up before continuing."
2021-06-12 22:19:17 +0200hexfive(~eric@50.35.83.177) (Client Quit)
2021-06-12 22:19:37 +0200 <aerkenemesis> weird, I put it public
2021-06-12 22:19:49 +0200 <safinaskar> aerkenemesis: https://gitlab.com/leash-lang/leash/ gives same message
2021-06-12 22:19:56 +0200 <aerkenemesis> try again
2021-06-12 22:19:58 +0200thyriaen(~thyriaen@45.178.75.13)
2021-06-12 22:20:01 +0200 <geekosaur> worse than that, I went ahead with my google accoiunt and now have a 404 page
2021-06-12 22:20:06 +0200 <aerkenemesis> it had to be configured in 2 places :P
2021-06-12 22:20:14 +0200 <safinaskar> aerkenemesis: both links work
2021-06-12 22:20:19 +0200mastarija(~mastarija@31.217.22.43) (Quit: Leaving)
2021-06-12 22:20:22 +0200 <geekosaur> ok, shift-reload worked this time
2021-06-12 22:20:39 +0200 <aerkenemesis> yeah there's a bug with gitlab when you have a dash in the project name, weird that they haven't fixed that - it's been like that for years
2021-06-12 22:21:00 +0200safinaskar(~safinaska@109-252-90-89.nat.spd-mgts.ru) ()
2021-06-12 22:21:11 +0200 <geekosaur> ok, no profiling in the cabal file so it must come from the nix derivation
2021-06-12 22:21:15 +0200 <aerkenemesis> it`ll rewrite the url to `leash/-lang` when you hit back
2021-06-12 22:21:45 +0200 <aerkenemesis> right, I'll dive into how that works then. thanks a lot :)
2021-06-12 22:22:00 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-12 22:24:39 +0200safinaskar(~safinaska@109.252.90.89)
2021-06-12 22:25:09 +0200 <DigitalKiwi> that's horrible
2021-06-12 22:25:14 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-12 22:25:51 +0200 <safinaskar> aerkenemesis: is leash-lang pure functional?
2021-06-12 22:25:53 +0200 <DigitalKiwi> almost as bad as the time they said they'd take money from literally anyone
2021-06-12 22:27:58 +0200 <aerkenemesis> safinaskar yes it is
2021-06-12 22:28:34 +0200 <safinaskar> aerkenemesis: nobody will use it
2021-06-12 22:28:40 +0200 <DigitalKiwi> but that rewrite rule... awful. pure trash
2021-06-12 22:28:48 +0200 <aerkenemesis> safinaskar okay, thanks
2021-06-12 22:28:59 +0200 <aerkenemesis> encouraging
2021-06-12 22:30:03 +0200 <maerwald> qrpnxz: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/54e8e3efb051a2f9de805c8a6ea6ead6439a0c38
2021-06-12 22:30:14 +0200 <safinaskar> aerkenemesis: is leash embedded in haskell?
2021-06-12 22:30:49 +0200 <aerkenemesis> safinaskar what do you mean?
2021-06-12 22:30:53 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:4587:6292:4bfd:4d24)
2021-06-12 22:31:15 +0200 <safinaskar> aerkenemesis: is leash simply lib for haskell or it is language on its own?
2021-06-12 22:31:27 +0200 <aerkenemesis> safinaskar it's a language of its own
2021-06-12 22:31:39 +0200 <aerkenemesis> more judgements?
2021-06-12 22:31:41 +0200blades_blades
2021-06-12 22:32:08 +0200 <safinaskar> i see " You need to sign in or sign up before continuing." again
2021-06-12 22:32:21 +0200 <aerkenemesis> yeah because you were being an ass so I shut down access
2021-06-12 22:33:05 +0200kuribas(~user@ptr-25vy0i8qzjio5c5v059.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-06-12 22:33:37 +0200 <safinaskar> well, i am attempting to give advice. if you would embed language in haskell (i. e. simply create haskell lib), you will attract more user. nobody want to learn compeletely new language. there already a lot of shells
2021-06-12 22:34:15 +0200 <aerkenemesis> okay whatever you say man, maybe the point isn't to please you but for me to learn something
2021-06-12 22:35:28 +0200 <safinaskar> aerkenemesis: look at https://shakebuild.com/ . this can see an successful example of "shell" embedded in haskell
2021-06-12 22:35:37 +0200 <safinaskar> s/can see/can be seen/
2021-06-12 22:35:45 +0200alex3(~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 264 seconds)
2021-06-12 22:35:56 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: -)
2021-06-12 22:36:29 +0200phma(~phma@host-67-44-208-20.hnremote.net) (Read error: Connection reset by peer)
2021-06-12 22:36:55 +0200 <dminuoso> aerkenemesis: This error looks suspiciously familiar.
2021-06-12 22:37:13 +0200 <drdo> xb
2021-06-12 22:37:14 +0200 <drdo> oops
2021-06-12 22:37:17 +0200phma(~phma@host-67-44-209-1.hnremote.net)
2021-06-12 22:37:38 +0200 <DigitalKiwi> safinaskar: man not every project needs to be useful to everyone
2021-06-12 22:37:46 +0200 <aerkenemesis> dminuoso https://github.com/input-output-hk/cardano-sl/blob/develop/docs/profiling.md
2021-06-12 22:37:47 +0200 <DigitalKiwi> or even anyone
2021-06-12 22:38:04 +0200 <aerkenemesis> that's very similar and it also mentions profiling
2021-06-12 22:38:09 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-12 22:38:36 +0200 <dminuoso> aerkenemesis: Is your project available on gitlab any time soon?
2021-06-12 22:38:45 +0200 <dminuoso> Im tempted to reproduce this locally
2021-06-12 22:39:03 +0200 <janus> aerkenemesis: it is a bug in the cabal library: https://stackoverflow.com/a/67882095/309483
2021-06-12 22:39:03 +0200 <aerkenemesis> if you want to look at it I can open it up, I just shut it down because I got some discouraging comments about its usefulness
2021-06-12 22:39:15 +0200 <janus> aerkenemesis: just had that problem last week, can't believe people are not talking more about it...
2021-06-12 22:39:34 +0200 <safinaskar> aerkenemesis: i will not open this link anymore, feel free to open project
2021-06-12 22:39:38 +0200 <aerkenemesis> it's open again
2021-06-12 22:39:47 +0200alex3(~alex3@BSN-77-82-41.static.siol.net)
2021-06-12 22:39:47 +0200 <janus> i also asked in here, and monochrom suggested that it was an old problem... then i asked that SO question
2021-06-12 22:39:50 +0200 <aerkenemesis> https://gitlab.com/leash-lang/leash
2021-06-12 22:40:04 +0200 <janus> dminuoso: my SO question has a minimal project that you can use to reproduce it
2021-06-12 22:40:28 +0200safinaskar(~safinaska@109.252.90.89) ()
2021-06-12 22:40:53 +0200 <aerkenemesis> my CI minutes were up on gitlab for a few weeks so I don't know what change I did to introduce this
2021-06-12 22:41:26 +0200 <aerkenemesis> I could possibly backtrack but the builds are slow and there are hundreds of commits :S
2021-06-12 22:41:37 +0200 <exarkun> log2 hundreds = few
2021-06-12 22:41:59 +0200 <dminuoso> aerkenemesis: Curious, in that shell command, what's the meaning of `.#leash`?
2021-06-12 22:42:03 +0200 <aerkenemesis> true, but gitlab CI minutes are pricy :D
2021-06-12 22:42:32 +0200 <aerkenemesis> dminuoso it means "build the flake here (.) and the package inside of it called leash"
2021-06-12 22:42:39 +0200 <dminuoso> Ah, flakes
2021-06-12 22:42:44 +0200 <aerkenemesis> <path>#<pkg>
2021-06-12 22:42:53 +0200 <dminuoso> Mmm, which nix version is that on?
2021-06-12 22:43:09 +0200 <aerkenemesis> I can give you a derivation to reproduce without flakes if you want
2021-06-12 22:43:19 +0200 <dminuoso> That'd be helpful
2021-06-12 22:43:25 +0200 <aerkenemesis> give me 5 minutes
2021-06-12 22:43:52 +0200 <aerkenemesis> dminuoso you on nixos-unstable?
2021-06-12 22:43:57 +0200 <dminuoso> I can be on anything you want
2021-06-12 22:44:13 +0200 <aerkenemesis> ok I'll pin to the same nixpkgs version I'm using then
2021-06-12 22:45:27 +0200wonko(~wjc@62.115.229.50)
2021-06-12 22:48:52 +0200 <aerkenemesis> dminuoso https://pastebin.com/Tv9PRDWz
2021-06-12 22:50:03 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-06-12 22:51:26 +0200 <dminuoso> Okay could reproduce
2021-06-12 22:51:41 +0200dhil(~dhil@195.213.192.47)
2021-06-12 22:51:58 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-12 22:52:44 +0200 <aerkenemesis> I tried bumping to ghc9.0 but that didn't help either
2021-06-12 22:58:04 +0200 <dminuoso> Let's see if this is nix related. Im going to try building it with cabal v2-
2021-06-12 22:58:32 +0200 <dminuoso> Yeah, builds fine outside nix
2021-06-12 22:59:01 +0200 <dminuoso> With ghc 8.8.4, anyhow
2021-06-12 22:59:57 +0200 <dminuoso> aerkenemesis: Maybe there's something awfully broken with the interaction between nix, alex and the linker.
2021-06-12 22:59:58 +0200 <aerkenemesis> it will also build if you nix-shell and run cabal from there
2021-06-12 23:01:18 +0200 <aerkenemesis> dminuoso what makes you think alex is involved in the error?L
2021-06-12 23:02:17 +0200beka(~beka@104-244-27-23.static.monkeybrains.net)
2021-06-12 23:02:22 +0200 <dminuoso> aerkenemesis: well this triggers on Leash.hs, no?
2021-06-12 23:02:54 +0200 <dminuoso> Ohh
2021-06-12 23:02:58 +0200 <aerkenemesis> I'm not seeing that
2021-06-12 23:02:59 +0200 <dminuoso> Im being silly, dont mind my comment
2021-06-12 23:03:00 +0200mikoto-c1(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds)
2021-06-12 23:03:03 +0200 <dminuoso> It's all compiled, linker.
2021-06-12 23:03:45 +0200fizbin_(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Remote host closed the connection)
2021-06-12 23:04:02 +0200fizbin(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
2021-06-12 23:04:20 +0200 <aerkenemesis> I'm having a hard time parsing out any useful info from these error messages
2021-06-12 23:04:46 +0200 <aerkenemesis> except it seems to have something to do with the TH usage in recursion schemes
2021-06-12 23:04:55 +0200 <janus> am i on you guys ignore lists or what?
2021-06-12 23:05:36 +0200 <aerkenemesis> janus haha nope, but I haven't seen you type anything since you mentioned SO
2021-06-12 23:05:53 +0200fizbin(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Remote host closed the connection)
2021-06-12 23:06:06 +0200 <janus> aerkenemesis: but have you considered trying out the proposal in the SO answer? to determine if it is that problem?
2021-06-12 23:06:35 +0200 <aerkenemesis> janus I couldn't find it and then I forgot about it, could you paste the link please?
2021-06-12 23:06:50 +0200 <janus> aerkenemesis: https://stackoverflow.com/a/67882095/309483
2021-06-12 23:06:55 +0200 <aerkenemesis> never mind, found it
2021-06-12 23:07:02 +0200 <aerkenemesis> ah thx
2021-06-12 23:07:10 +0200fizbin(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
2021-06-12 23:08:12 +0200 <dminuoso> janus: Mmm, the error message appears wildly different, and they already have TemplateHaskell in default-extensions
2021-06-12 23:08:40 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-12 23:08:54 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-06-12 23:10:10 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-12 23:10:15 +0200 <dminuoso> but indeed, I could reproduce locally with cabal and --enable-library-profiling
2021-06-12 23:10:30 +0200 <aerkenemesis> I'm not getting `other-extensions: TemplateHaskell` to work
2021-06-12 23:10:44 +0200 <dminuoso> So geekosaur was completely spot on
2021-06-12 23:10:46 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-12 23:11:22 +0200 <dminuoso> However, since I can reproduce this with `cabal`, this does not appear to be a nix bug
2021-06-12 23:11:38 +0200fizbin(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3) (Ping timeout: 268 seconds)
2021-06-12 23:12:15 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-06-12 23:12:23 +0200 <aerkenemesis> I don't even care about profiling at this point so for the sake of my CI I'd be happy to just turn it off for the nix build
2021-06-12 23:12:24 +0200teaSlurper(~chris@81.96.113.213) (Read error: Connection reset by peer)
2021-06-12 23:12:25 +0200 <dminuoso> aerkenemesis: https://github.com/llvm-hs/llvm-hs/issues/86
2021-06-12 23:12:53 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Client Quit)
2021-06-12 23:13:22 +0200 <janus> dminuoso: i dunno if the error is really wildly different, one difference is that the leash error is using ghci. i don't know how different the errors from ghci and non-gchi are. i cut off a lot of it in my SO question
2021-06-12 23:13:42 +0200gehmehgeh_(~user@user/gehmehgeh) (Quit: Leaving)
2021-06-12 23:14:15 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-12 23:14:58 +0200 <janus> aerkenemesis: ok, thanks for trying. sorry for wasting your time then
2021-06-12 23:15:26 +0200 <aerkenemesis> janus no man, A for effort. thanks for that :)
2021-06-12 23:15:30 +0200 <dminuoso> aerkenemesis: and your link to cardano seems to match exactly too
2021-06-12 23:15:54 +0200 <aerkenemesis> yep, it's the same
2021-06-12 23:18:34 +0200 <aerkenemesis> is is possibly related to the `-RTS` flag ghc seems to get with the nix build?=
2021-06-12 23:18:43 +0200teaSlurper(~chris@81.96.113.213)
2021-06-12 23:19:17 +0200 <aerkenemesis> I'm guessing here, I'm pretty ignorant about the technicalities of GHC
2021-06-12 23:19:33 +0200pdxleif(~leif@75.164.44.108) (Ping timeout: 252 seconds)
2021-06-12 23:20:31 +0200pdxleif(~leif@75.164.44.108)
2021-06-12 23:20:44 +0200 <aerkenemesis> it spits out the flags passed to ghc when you run the nix build `setupCompileFlags: -package-db=/build/setup-package.conf.d -j12 +RTS -A64M -RTS -threaded -rtsopts`
2021-06-12 23:21:08 +0200 <dminuoso> aerkenemesis: Like I said, when you build with `cabal build --enable-library-profiling` it breaks too
2021-06-12 23:21:20 +0200 <aerkenemesis> yes, I did verify that too
2021-06-12 23:22:51 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
2021-06-12 23:23:18 +0200 <dminuoso> aerkenemesis: Mmm, with cabal the bug triggers direclty on building lib/Language/Leash/Ast.hs,
2021-06-12 23:23:32 +0200 <dminuoso> Judging from the symbol name, its the call to makeBaseFunctor
2021-06-12 23:23:37 +0200 <dminuoso> (or splice, rather)
2021-06-12 23:24:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-12 23:24:44 +0200dmwit_dmwit
2021-06-12 23:26:18 +0200 <dminuoso> aerkenemesis: and it seems to triggers right around adding -prof to ghc
2021-06-12 23:26:40 +0200 <DigitalKiwi> a lot of the linked issues say w/e was supposedly fixed in 8.4.x ... regression?
2021-06-12 23:27:00 +0200 <aerkenemesis> I can't see any evidence of profiling being enabled in the nix build though
2021-06-12 23:27:15 +0200 <dminuoso> aerkenemesis: I got a workaround.
2021-06-12 23:27:22 +0200 <dminuoso> aerkenemesis: Add {-# OPTIONS_GHC -fno-prof-auto #-} on Ast.hs
2021-06-12 23:27:24 +0200 <aerkenemesis> DigitalKiwi I could try to back off to 8.3
2021-06-12 23:27:26 +0200 <dminuoso> Oh wait.
2021-06-12 23:27:28 +0200 <aerkenemesis> 8.4*
2021-06-12 23:27:31 +0200 <dminuoso> No. mmm
2021-06-12 23:27:53 +0200 <DigitalKiwi> https://gitlab.haskell.org/ghc/ghc/-/issues/14931
2021-06-12 23:28:00 +0200 <dminuoso> aerkenemesis: https://gitlab.haskell.org/ghc/ghc/-/issues/18320
2021-06-12 23:28:05 +0200 <dminuoso> This is the correct bug report
2021-06-12 23:28:08 +0200allbery_b(~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-12 23:28:35 +0200 <DigitalKiwi> 8.4.2 to be safe i guess lol
2021-06-12 23:28:52 +0200 <DigitalKiwi> https://gitlab.haskell.org/ghc/ghc/-/issues/14705
2021-06-12 23:30:57 +0200 <aerkenemesis> I tried the `-fno-prof-auto` trick, even put it globally in the cabal file, didn't work
2021-06-12 23:31:03 +0200slack1256(~slack1256@181.203.57.171) (Remote host closed the connection)
2021-06-12 23:31:18 +0200 <aerkenemesis> I'mma try and find a nixpkgs release that has ghc 8.4.2 and try that
2021-06-12 23:31:21 +0200 <dminuoso> aerkenemesis: Go file a bug report. This myriad of related bug reports suggests there's a deeper issue here.
2021-06-12 23:31:35 +0200 <dminuoso> I can reproduce on 8.8.1 at least
2021-06-12 23:31:39 +0200 <aerkenemesis> dminuoso I will
2021-06-12 23:31:43 +0200geekosaur(~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-06-12 23:31:51 +0200allbery_bgeekosaur
2021-06-12 23:32:03 +0200 <dminuoso> aerkenemesis: Like it has been pointed out by Ryan in one issue, its not even about -fprof-auto, mere -prof triggers it
2021-06-12 23:32:09 +0200 <dminuoso> you can verify by
2021-06-12 23:32:17 +0200 <dminuoso> run `cabal -v build --enable-library-profiling`
2021-06-12 23:32:30 +0200 <dminuoso> copy the command, and just strip the two profiling flags, it will build. add -prof back in, it breaks
2021-06-12 23:34:52 +0200amahl(~amahl@87-95-128-122.bb.dnainternet.fi) (Remote host closed the connection)
2021-06-12 23:35:00 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-06-12 23:35:09 +0200 <geekosaur> yes, I assumed this bug because it's somewhat hard to fix at present; TH doesn't sufficiently differentiate between build time and run time
2021-06-12 23:35:14 +0200 <dminuoso> aerkenemesis: as a hotfix, you can patch up the callCabal2nix generated derivation to remove that configure flag
2021-06-12 23:35:16 +0200 <geekosaur> (this also affects cross compilation)
2021-06-12 23:35:37 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-06-12 23:36:04 +0200 <dminuoso> overrideCabal drv (drv: { enableLibraryProfiling = false; });
2021-06-12 23:36:07 +0200 <dminuoso> ought to do the trick
2021-06-12 23:36:09 +0200 <geekosaur> so it tries to find a symbol from a profiling library instead of the normal one it's passed, iirc
2021-06-12 23:36:32 +0200 <geekosaur> or possibly the other way around since the TH env supposedly shouldn't need profiling
2021-06-12 23:37:15 +0200 <aerkenemesis> I added to that already existing bug report
2021-06-12 23:37:18 +0200 <janus> hmm i would like a notification when those linked open issues are fixed, but the "notifications" slider is somehow disabled ...
2021-06-12 23:37:22 +0200 <aerkenemesis> https://gitlab.haskell.org/ghc/ghc/-/issues/18320
2021-06-12 23:37:47 +0200 <dminuoso> aerkenemesis: Let me know if overriding the derivation like that works.
2021-06-12 23:38:04 +0200 <DigitalKiwi> nix-env -f channel:nixos-20.03 -qaP -A haskell.compiler has 8.4.4
2021-06-12 23:39:36 +0200 <dminuoso> geekosaur: Wouldn't that suggest that TH splices never work if spliced into a library built with profiling enabled?
2021-06-12 23:39:51 +0200 <DigitalKiwi> just like in case it helps no idea if it does or not >.>
2021-06-12 23:39:52 +0200haltux(~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-12 23:40:11 +0200 <geekosaur> *and* there's no profiling version of a dependency from which a spliced symbol comes
2021-06-12 23:40:28 +0200 <aerkenemesis> dminuoso that did indeed work
2021-06-12 23:40:52 +0200 <geekosaur> which is probably rare these days since both cabal and stack normally build profiling versions of dependencies too
2021-06-12 23:41:23 +0200 <dminuoso> aerkenemesis: Cute project idea by the way. Do you have a more comprehensive description of the language somewhere?
2021-06-12 23:42:08 +0200 <aerkenemesis> dminuoso the readme is horribly out of date, but I suggest you look at the test/*.bats files
2021-06-12 23:42:40 +0200 <geekosaur> that said, the bug report aerkenemesis linked suggested a slightly different etiology (then again, not that different, instead of wrong library it's missing direct function witout profiling wrapper or something similar)
2021-06-12 23:43:12 +0200 <dminuoso> geekosaur: Heh, I can see fingers being pointed at cabal already.
2021-06-12 23:43:14 +0200 <aerkenemesis> I've kept it hidden away from the public because it's not usable yet, I only opened it up for this ghc bug :D
2021-06-12 23:43:41 +0200 <dminuoso> geekosaur: In the sense that it's cabals job to provide all the needed library flavors to the linker.
2021-06-12 23:44:22 +0200 <geekosaur> that wpould apply if it were exactly what the error message claimed (missing dependency library)
2021-06-12 23:44:26 +0200 <dminuoso> I recall some other similar issues where in certain situations quasiquoter splices with external FFI used in the quasiquoter source module lead to linker errors
2021-06-12 23:44:41 +0200 <geekosaur> but instead it's a wrong symbol so that points at ghc instead of cabal because symbols aren't up to cabal
2021-06-12 23:44:54 +0200 <dminuoso> mmm
2021-06-12 23:44:54 +0200 <geekosaur> (well, hashes are but this isn't part of a hash)
2021-06-12 23:45:03 +0200 <DigitalKiwi> as someone who mostly writes bash because i'm not good enough at haskell to do what i want as quickly i'm a fan ;p
2021-06-12 23:45:18 +0200chisui(~chisui@200116b8666c8300b41cb8c96969b3fb.dip.versatel-1u1.de)
2021-06-12 23:45:40 +0200 <geekosaur> it also rules out nix except as a source of the profiling flag that triggers the bug
2021-06-12 23:46:36 +0200 <dminuoso> geekosaur: We ruled out nix by fact of triggering this bug outside of nix. :)
2021-06-12 23:46:55 +0200 <geekosaur> you had to specify the profiling flag yourself though, didn't you?
2021-06-12 23:46:59 +0200 <dminuoso> Yeah.
2021-06-12 23:47:08 +0200 <geekosaur> so where's it coming from in the nix case?
2021-06-12 23:47:25 +0200 <sshine> I want to model a language that has uint8, uint16, uint24, ..., uint256, and int8, ..., int256. on the one hand, I want to focus on ergonomics, so having UInt8 as a data constructor. on the other hand, that leads to some annoying repetition. I thought of creating an Enum type and have 'UInt Bits8_256 | Int Bits8_256' and create pattern aliases for convenience... does the amount of constructors impair
2021-06-12 23:47:28 +0200 <dminuoso> nix automatically builds profiling libraries by default unless you specify otherwise
2021-06-12 23:47:31 +0200 <sshine> performance (an Enum with 32 values) vs. simply using integers?
2021-06-12 23:47:34 +0200 <DigitalKiwi> haskell4nix
2021-06-12 23:48:05 +0200 <aerkenemesis> geekosaur dminuoso figured out that library profiling have to be explicitly disabled with callCabal2Nix
2021-06-12 23:49:42 +0200 <dminuoso> aerkenemesis: oh you can also use `disableLibraryProfiling` directly, no need to manually fiddle around with overrideCabal :)
2021-06-12 23:49:56 +0200 <aerkenemesis> If you're interested the diff for the fix is here https://pastebin.com/A5Hq2Nub
2021-06-12 23:50:13 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-06-12 23:50:31 +0200 <dminuoso> (i.e. pkgs.haskell.lib.disableLibraryProfiling)
2021-06-12 23:50:33 +0200 <dminuoso> Looks a bit nicer :0
2021-06-12 23:51:11 +0200 <aerkenemesis> right, I'll have to look at what the options are. Thanks a ton for the help though, the project moves on again :)
2021-06-12 23:51:27 +0200 <aerkenemesis> and hopefully some pressure on the GHC team to fix this issue
2021-06-12 23:51:38 +0200 <DigitalKiwi> plz don't make me go to pastebin dot com ;(
2021-06-12 23:51:51 +0200 <aerkenemesis> haha, what's what the cool kids use these days?
2021-06-12 23:52:03 +0200 <dminuoso> @where paste
2021-06-12 23:52:03 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-06-12 23:52:03 +0200geekosaurhas an extension that forces the raw link for pastebin
2021-06-12 23:52:04 +0200 <aerkenemesis> I realize I could just have linked my gitlab commit
2021-06-12 23:52:22 +0200pkkm(~pkkm@dgs4.neoplus.adsl.tpnet.pl)
2021-06-12 23:52:25 +0200 <dminuoso> aerkenemesis: Of course that will not work if you disable access to your gitlab project again.
2021-06-12 23:52:27 +0200 <dminuoso> ;)
2021-06-12 23:52:35 +0200 <DigitalKiwi> https://mostlyabsurd.com/files/2021-06-12-215207_904x1430_scrot.png
2021-06-12 23:52:40 +0200 <aerkenemesis> I'll keep it open for the sake of the bug report :D
2021-06-12 23:53:41 +0200boxscape(~boxscape@user/boxscape) (Quit: Connection closed)
2021-06-12 23:53:59 +0200ozataman(~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-12 23:54:08 +0200boxscape(~boxscape@user/boxscape)
2021-06-12 23:54:19 +0200machinedgod(~machinedg@24.105.81.50)
2021-06-12 23:54:45 +0200 <geekosaur> https://github.com/jperkin/pastebin-raw-text
2021-06-12 23:55:02 +0200 <geekosaur> for chrome, no idea about firefox equivalent
2021-06-12 23:55:19 +0200 <DigitalKiwi> .glirclogs/phrik/2021-01-12.log:[00:27:08] <phrik> Pastebin.com is swamped with advertisements and random captchas. Malware found on pastebin.com has resulted in it being blocked for some users. It injects CRLF line-endings. Please, use something else. Use something sane like https://gist.github.com https://bpaste.net http://ix.io https://paste.rs
2021-06-12 23:56:10 +0200 <DigitalKiwi> lol ix.io ;(
2021-06-12 23:56:50 +0200sciencentistguy(~sciencent@hacksoc/ordinary-member)
2021-06-12 23:56:50 +0200sciencentistguy(~sciencent@hacksoc/ordinary-member) (Client Quit)
2021-06-12 23:56:55 +0200fizbin(~fizbin@2601:8a:4080:1280:d58e:2782:3061:3fa3)
2021-06-12 23:57:00 +0200 <DigitalKiwi> https://mostlyabsurd.com/files/2021-06-12-215632_1961x1033_scrot.png
2021-06-12 23:57:02 +0200sciencentistguy(~sciencent@hacksoc/ordinary-member)
2021-06-12 23:57:50 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 245 seconds)
2021-06-12 23:58:14 +0200xsperry(~as@user/xsperry)
2021-06-12 23:58:50 +0200boxscape(~boxscape@user/boxscape) (Client Quit)
2021-06-12 23:58:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-12 23:59:03 +0200 <qrpnxz> lenses are pretty cool
2021-06-12 23:59:37 +0200 <DigitalKiwi> are you dibblego
2021-06-12 23:59:55 +0200 <qrpnxz> no i'm qrpnxz