IRCBrowse

2022/05/17

2022-05-17 00:02:29 +0200 <geekosaur> I'm curious that kmonad is so popular
2022-05-17 00:03:48 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 00:05:04 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-05-17 00:06:52 +0200 <maerwald> uhm... is that trying to do what qmk does in "userland"?
2022-05-17 00:07:49 +0200 <maerwald> can't imagine living without a qmk board anymore anyway
2022-05-17 00:08:47 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 240 seconds)
2022-05-17 00:09:43 +0200DNH(~DNH@2a02:8109:b740:2c4:5cca:7ae0:fc8f:2c52) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-17 00:10:04 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-05-17 00:10:31 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 00:11:03 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 00:14:25 +0200darkstarx(~darkstard@50.53.212.60)
2022-05-17 00:14:36 +0200darkstardevx(~darkstard@50.53.212.60) (Remote host closed the connection)
2022-05-17 00:15:18 +0200ystael(~ystael@user/ystael) (Read error: Connection reset by peer)
2022-05-17 00:21:43 +0200slack1256(~slack1256@181.42.55.115) (Remote host closed the connection)
2022-05-17 00:22:22 +0200laalyn(~laalyn@c-73-189-182-49.hsd1.ca.comcast.net)
2022-05-17 00:28:50 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-05-17 00:36:14 +0200acidjnk(~acidjnk@p200300d0c7068b7375914a6728a979fa.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-05-17 00:40:22 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-05-17 00:50:41 +0200dcoutts(~duncan@47.red-213-97-57.staticip.rima-tde.net)
2022-05-17 00:52:02 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 00:52:50 +0200zebrag(~chris@user/zebrag)
2022-05-17 00:52:55 +0200 <geekosaur> sorry for the voice message earlier, apparently element on android can get into some very odd states. had to reboot the phone to fix it
2022-05-17 00:53:39 +0200 <geekosaur> but yes, that earlier problem was a bad ELF interpreter. in a system whose only diagnostic is a numeric error code, it's difficult to indicate that the ENOENT applies to a different filre
2022-05-17 00:54:15 +0200 <geekosaur> suppose alternately there could be a catch-all error indicating a bad interpreter, but that then leaves you guessing at the problem
2022-05-17 00:55:18 +0200 <geekosaur> "objdump -j .interp -s $file" is helpful here
2022-05-17 00:56:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-05-17 00:58:12 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2022-05-17 01:00:53 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-05-17 01:01:15 +0200 <seydar> is there a consensus on which option parser to use?
2022-05-17 01:01:53 +0200 <geekosaur> optparse-applicative seems to be most popular
2022-05-17 01:02:12 +0200 <geekosaur> cmdargs is second
2022-05-17 01:03:59 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-17 01:04:05 +0200 <sm> cmdargs #1 for me! for better docs
2022-05-17 01:04:12 +0200 <geekosaur> actually there's a more scientific way to do this, https://packdeps.haskellers.com/reverse and look at the dependents for each one
2022-05-17 01:04:29 +0200 <sm> +1
2022-05-17 01:04:55 +0200nate1(~nate@98.45.169.16)
2022-05-17 01:05:28 +0200 <sm> I just announced https://haskell-links.org , with more links cleanup since I last mentioned it here
2022-05-17 01:05:51 +0200 <geekosaur> cmdargs 276, optparse-applicative 867
2022-05-17 01:05:59 +0200 <sm> more search links / more ui cleanup. . I probably should have asked for more browser testing here first. Please let me know how horribly broken it looks in your tools
2022-05-17 01:07:02 +0200 <sm> I also like cmdargs for being monolithic - one package proving the easy, medium, hard APIs. optparse is an ecosystem
2022-05-17 01:07:34 +0200 <sm> third, the name is hard. Ok I'll stop.
2022-05-17 01:07:59 +0200 <geekosaur> on the flip side some people don't like cmdargs because simple mode unsafePerformIO-s all over the place
2022-05-17 01:08:22 +0200 <EvanR> surely the command line args "are pure" xD
2022-05-17 01:08:59 +0200 <peddie> doesn't one also have to make sure not to use certain optimizations with `cmdargs`?
2022-05-17 01:09:07 +0200 <maerwald> I'd like a declarative way for cmdline programs. Don't think we have that
2022-05-17 01:09:11 +0200 <EvanR> similar to the System.Info.os xD
2022-05-17 01:09:12 +0200 <geekosaur> yes, because of thos eunsafePerformIOs
2022-05-17 01:09:38 +0200 <peddie> that was a pretty big warning flag for me
2022-05-17 01:10:03 +0200 <maerwald> EvanR: huh?
2022-05-17 01:10:21 +0200nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-05-17 01:10:27 +0200 <EvanR> os :: String
2022-05-17 01:10:33 +0200 <maerwald> EvanR: that's a static value
2022-05-17 01:10:42 +0200 <maerwald> at compile time
2022-05-17 01:10:44 +0200 <EvanR> and command line args?
2022-05-17 01:10:51 +0200 <geekosaur> dynamic at runtime
2022-05-17 01:11:07 +0200 <EvanR> I'll let yall stew on this xD
2022-05-17 01:11:08 +0200 <sm> geekosaur: very true, they don't. As I was saying the other day, I feel this is dogma. As well documented it provides three apis, from easy to 100% pure
2022-05-17 01:11:51 +0200 <sm> and has anyone ever had a problem with cmdargs caused by this ? I'm willing to learn
2022-05-17 01:12:01 +0200 <peddie> I have been bitten by this
2022-05-17 01:12:09 +0200 <EvanR> I dunno what shell you use, but I have to write out the command line args entirely before the program runs
2022-05-17 01:12:23 +0200 <EvanR> after my last key stroke, they can't change, even before the program is running xD
2022-05-17 01:12:25 +0200 <sm> how so peddie, and which api were you using ?
2022-05-17 01:13:04 +0200 <peddie> sm: wrong optimization options. probably the simple one -- I didn't look at the others, I switched to `optparse-applicative` in half an hour, which seems to me to be both simple and 100% pure
2022-05-17 01:13:20 +0200 <geekosaur> https://downloads.haskell.org/ghc/8.10.7/docs/html/libraries/base-4.14.3.0/System-Environment.html…
2022-05-17 01:13:31 +0200 <geekosaur> getArgs is runtime variable
2022-05-17 01:13:59 +0200 <geekosaur> (ghci uses this to implement :main)
2022-05-17 01:14:00 +0200 <hpc> EvanR: argv is mutable
2022-05-17 01:14:12 +0200 <peddie> sm: this was about 4 years ago, so I don't remember the API details. I've never had a reason to check the docs again
2022-05-17 01:14:17 +0200 <geekosaur> you can also edit the arguments in a C call
2022-05-17 01:14:20 +0200 <EvanR> I knew the house of cards would come crashing down eventually
2022-05-17 01:14:33 +0200 <maerwald> EvanR: also, the string you pass into optparse-applicative gets f'ed up into String and your encoding is lost
2022-05-17 01:14:46 +0200pera(~pera@user/pera) (Quit: leaving)
2022-05-17 01:14:55 +0200 <sm> peddie: glad you found a solution. Every time I tried optparse-applicative I hit a wall, so that's my reason
2022-05-17 01:14:57 +0200 <maerwald> https://github.com/pcapriotti/optparse-applicative/issues/368
2022-05-17 01:15:05 +0200 <EvanR> nice
2022-05-17 01:15:10 +0200mmhat(~mmh@p200300f1c705e328ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-05-17 01:15:37 +0200 <peddie> sm: I imagine this is probably not your issue, but just in case, are you trying to read the haddocks instead of the github readme? for some reason all the useful documentation for `optparse-applicative` is in the github `README.md`
2022-05-17 01:15:48 +0200 <sm> no, that's not the issue
2022-05-17 01:16:01 +0200 <sm> peddie: I'd also like to know how exactly it bit you ? What did you notice ? If you remember
2022-05-17 01:16:10 +0200 <peddie> OK, I figured it was unlikely, but I have seen multiple people get tripped up by that :)
2022-05-17 01:16:25 +0200 <hpc> s/github readme/readme
2022-05-17 01:16:27 +0200 <hpc> https://hackage.haskell.org/package/optparse-applicative
2022-05-17 01:16:31 +0200 <hpc> just scroll down
2022-05-17 01:16:49 +0200 <geekosaur> (also I almost said "in a C hook" earlier. did my brain regress to the 80s?)
2022-05-17 01:16:57 +0200 <peddie> hpc: good point, I forgot it is shown on there now
2022-05-17 01:17:14 +0200 <peddie> sm: if I recall correctly, some argument was mysteriously not being applied when I passed it on the command line
2022-05-17 01:17:46 +0200 <hpc> make it non-mysteriously not applied :P
2022-05-17 01:18:54 +0200 <peddie> hpc: :) it was a mystery to me for a couple hours
2022-05-17 01:19:14 +0200 <sm> I wonder how that happened
2022-05-17 01:20:25 +0200 <peddie> sm: I let the optimizer be too aggressive, and it didn't play well with the impure stuff under the hood . . . I think this behavior is documented, I just didn't check the issues first
2022-05-17 01:20:33 +0200 <sm> and if the doc notes like Even using this scheme, sometimes GHC's optimisations may share values who have the same annotation. To disable sharing you may need to specify {-# OPTIONS_GHC -fno-cse #-} in the module helped
2022-05-17 01:21:49 +0200 <sm> I have always used the explicit api so don't have experience with this
2022-05-17 01:22:32 +0200 <peddie> sm: yes, that is the doc note. if I had applied that first, I probably wouldn't have hit the issue. but that's what I referred to earlier as a "warning flag" . . . that seems pretty unnecessary to me just to parse argv
2022-05-17 01:24:36 +0200 <sm> not to argue with you, but I think it's clear that it's not necessary - unless you want this magical simple api, which all other cool languages have - which I believe is nice to have available
2022-05-17 01:25:11 +0200 <sm> but maybe it could be documented better
2022-05-17 01:25:27 +0200 <peddie> I agree it's not necessary. once bitten, twice shy, I guess. I'm not telling anyone not to use it :) but you asked if it had caused problems for anyone
2022-05-17 01:25:32 +0200aeka(~aeka@user/hiruji)
2022-05-17 01:25:38 +0200 <sm> yeah! I appreciate the details
2022-05-17 01:26:36 +0200forell(~forell@user/forell) (Ping timeout: 276 seconds)
2022-05-17 01:26:53 +0200 <peddie> to me, "here is a friendly API, by the way, don't forget to turn on a GHC optimizer pragma or you will get silent breakage" just smelt a bit odd
2022-05-17 01:27:08 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 01:27:11 +0200 <seydar> how do i see what cabal packages I have installed? I'm trying to turn my blurhash algorithm into a cabal package, but I need to list a specific version of juicypixels, and I think I installed a weird version of the package because it says I don't have juicypixels installed
2022-05-17 01:27:28 +0200 <sm> most of the community has been avoiding cmdargs for years, and I feel it's excessive and a pity, given the pain I've had with optparse, but definitely YMMV
2022-05-17 01:27:31 +0200 <peddie> sm: what walls have you encountered with `optparse-applicative`? I haven't done anything complicated with it
2022-05-17 01:28:04 +0200 <sm> in early attempts it was just missing docs, getting things done was highly non-obvious
2022-05-17 01:28:08 +0200 <seydar> nobody uses lmgtfy you anymore, but it would've been appropriate to thow back at me here
2022-05-17 01:28:47 +0200 <EvanR> hopefully "googling" is becoming less of a verb and maybe people use another search xD
2022-05-17 01:28:53 +0200 <sm> nowadays it's mainly not knowing how to control things precisely (I demand a lot from my options parser)
2022-05-17 01:29:09 +0200 <peddie> sm: I'll never blame someone for bailing on an underdocumented Haskell package . . . it's a common problem
2022-05-17 01:29:17 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-17 01:29:19 +0200 <sm> also, the hassle of figuring out which addons I need to make it easier
2022-05-17 01:29:30 +0200 <maerwald> peddie: there are worse examples though :p
2022-05-17 01:29:42 +0200 <geekosaur[m][m]> seydar, normally you lost the version you need and cabal does the rest. In this case you may need to list it as a setup package
2022-05-17 01:29:55 +0200 <peddie> maerwald: totally agree, and for what it's worth, I don't think it's underdocumented today
2022-05-17 01:30:01 +0200aeka`(~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06)
2022-05-17 01:30:20 +0200 <maerwald> here: https://hackage.haskell.org/package/syb
2022-05-17 01:30:39 +0200 <maerwald> documentation: no. Link to paper: broken
2022-05-17 01:30:42 +0200aeka(~aeka@user/hiruji) (Ping timeout: 272 seconds)
2022-05-17 01:30:42 +0200aeka`aeka
2022-05-17 01:31:34 +0200 <seydar> geekosaur[m][m]: gotcha. i'm trying to add the version that I have to my blur.cabal file, but `cabal list --installed` doesn't actually list juicypixels... so i'm not sure how my code has been compiling
2022-05-17 01:31:42 +0200 <sm> seydar: generally, by running `ghc-pkg list`. In a stack or cabal project, usually prefix that with `stack/cabal exec --`
2022-05-17 01:31:49 +0200forell(~forell@user/forell)
2022-05-17 01:32:39 +0200 <sm> you're probably in the wrong project context, so using the wrong package db. It's a terribly common problem.
2022-05-17 01:33:57 +0200 <seydar> even when I got to my home directory, it doesn't see any of the packages that I've recently installed
2022-05-17 01:33:59 +0200 <geekosaur> or it needs to be a setup-depends
2022-05-17 01:34:11 +0200 <seydar> namely optparse-applicative or juicypixels
2022-05-17 01:34:18 +0200 <geekosaur> right, cabal deliberately hides packages to avoid conflicts between multiple versions
2022-05-17 01:34:34 +0200 <geekosaur> you need to be inside a project which has declared a dependency on those
2022-05-17 01:34:57 +0200 <geekosaur> or if you want to play in the repl, cabal repl --build-depends="..."
2022-05-17 01:35:32 +0200 <geekosaur> everything in cabal is automatically sandboxed to a project
2022-05-17 01:35:49 +0200 <seydar> this is madness
2022-05-17 01:35:51 +0200 <seydar> who approved this
2022-05-17 01:36:12 +0200 <seydar> if i'm starting a new project, how would i find out what packages are available to me?
2022-05-17 01:36:22 +0200 <geekosaur> there is also a way to export things but then you're running the risk of those collisions this is avoiding
2022-05-17 01:36:39 +0200 <geekosaur> you don't, you declare dependencies and let cabal install or expose them as needed
2022-05-17 01:36:58 +0200 <geekosaur> cabal does the hard work, you just declare dependencies and get to coding
2022-05-17 01:37:19 +0200sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-05-17 01:37:26 +0200 <geekosaur> in the bad old days, you had to track this yourself and it was a nightmare if two projects required different versions of a library
2022-05-17 01:37:58 +0200 <geekosaur> cabal and stack both solve this with automatic sandboxing, choosing slightly different ways to manage dependencies
2022-05-17 01:38:12 +0200 <seydar> i just feel like it would be handy to see a list of packages that cabal has installed on my machine
2022-05-17 01:38:16 +0200juri__(~juri@79.140.115.105)
2022-05-17 01:38:19 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-05-17 01:38:24 +0200 <seydar> i feel like i'm asking for salt at a fancy restaurant
2022-05-17 01:38:32 +0200 <sm> seydar, I gave the command, did you see ?
2022-05-17 01:38:56 +0200 <geekosaur> that shows what's exposed
2022-05-17 01:39:08 +0200 <sm> also unexposed
2022-05-17 01:39:23 +0200 <sm> speaking of ghc-pkg's hide/expose feature.
2022-05-17 01:40:01 +0200 <geekosaur> on unix you can see the whole list of installed packages and versions with: ls ~/.cabal/store/ghc-<version>
2022-05-17 01:40:11 +0200 <seydar> sm: both of those still only list a subset of the packages that i know i have
2022-05-17 01:40:16 +0200 <geekosaur> as opposed to simply the ones available in a given project
2022-05-17 01:40:32 +0200 <geekosaur> I don't know where the store lives on windows
2022-05-17 01:40:45 +0200 <sm> seydar, the point is there's multiple package databases, so you have to be in the right one to see what's there. There is also a global database for stack and I believe cabal too, which you can see by being in $HOME.
2022-05-17 01:41:07 +0200juri_(~juri@79.140.121.26) (Ping timeout: 240 seconds)
2022-05-17 01:41:26 +0200 <sclv> what geekosaur just said is what i was just going to suggest -- that's literally everything cabal has built for that ghc version
2022-05-17 01:41:31 +0200 <sm> as for listing what packages are available to install, that's a different question, and I don't think we have a command line tool for it, you have to look on hackage or stackage websites
2022-05-17 01:41:53 +0200 <seydar> i'm going to build this cabal package/eat this cauliflower the way you're all telling me to
2022-05-17 01:41:56 +0200 <seydar> but in the future
2022-05-17 01:42:07 +0200 <geekosaur> I gave you the command to list the store
2022-05-17 01:42:09 +0200 <sclv> `cabal list` does list all packages on hackage, or let you search them
2022-05-17 01:42:20 +0200 <seydar> i'm going to write my haskell program as a library, leave the compiled C, and then connect to that via FFI from ruby and distribute it as a gem
2022-05-17 01:42:30 +0200 <geekosaur> that's everything cabal has locally already and will expose instead of downloading and building if you declare a dependency on it
2022-05-17 01:43:00 +0200 <sm> sclv: ah, nice
2022-05-17 01:43:16 +0200 <seydar> geekosaur: that worked, thank you
2022-05-17 01:43:22 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2022-05-17 01:43:26 +0200 <seydar> i can see which version of pixels i'm using, but optparse-applicative is still MIA
2022-05-17 01:44:25 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-17 01:44:56 +0200 <sm> you know you have it because... `cabal build` builds something depending on it ?
2022-05-17 01:46:05 +0200 <seydar> i have not been using cabal for this project
2022-05-17 01:46:19 +0200 <sclv> what have you been using
2022-05-17 01:46:21 +0200 <seydar> i was programming the the Ancients did: `ghc -O2 Main.hs`
2022-05-17 01:46:24 +0200 <sm> ok.. stack build ?
2022-05-17 01:46:27 +0200 <geekosaur> if you installed it without cabal, then ghc-pkg list --user
2022-05-17 01:46:54 +0200 <geekosaur> (assuming you didn't use stack, but it sounds like you didn't)
2022-05-17 01:47:01 +0200 <sclv> also if you have something in scope in ghci and you don't know where it came from, then `ghc --show-packages` will dump out all the info it has around extremely explicitly
2022-05-17 01:47:18 +0200 <geekosaur> but it'll be invisible to anything you install with cabal
2022-05-17 01:47:27 +0200 <seydar> i was using cabal for packages and then just happily imported them in my code
2022-05-17 01:47:46 +0200 <sclv> you were using `cabal install` you mean?
2022-05-17 01:47:50 +0200 <geekosaur> you should probably pick one way and stick to it. and remember that if you're using the old Setup.hs method then dealing with multiple versions becomes your problem to sort out
2022-05-17 01:47:59 +0200 <sm> ... "it's complicated" ... :(
2022-05-17 01:48:03 +0200 <sclv> or `cabal install --lib` or ... ?
2022-05-17 01:49:40 +0200 <seydar> sclv: i was using `cabal install` and then i'd sometimes do `cabal install --lib` again afterwards, but it never did anything
2022-05-17 01:50:09 +0200 <geekosaur> all cabal install --lib does is write an export record to a ghc environment file pointing to the already installed version
2022-05-17 01:50:10 +0200 <seydar> geekosaur: I was using only `cabal install` before and compiling my code with regular `ghc`
2022-05-17 01:50:41 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-17 01:50:50 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 01:51:05 +0200 <geekosaur> only if there's no already installed version does it install it (cabal-style) first, then write the export record
2022-05-17 01:51:08 +0200 <sclv> ok so everything ghc can see based on running `cabal install --lib` will be a combination of the stuff in `ghc-pkg list` and whatever is in your environment file.
2022-05-17 01:51:47 +0200 <sclv> which is going to be in a directory something like `~/.ghc/x86_64-darwin-8.10.4/environments`
2022-05-17 01:52:31 +0200 <seydar> i feel like i'm taking crazy pills
2022-05-17 01:53:04 +0200 <maerwald> welcome to haskell tooling
2022-05-17 01:53:08 +0200 <sclv> i also feel like you are taking crazy pills
2022-05-17 01:55:18 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-05-17 01:55:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-17 01:55:33 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 01:56:03 +0200 <sm> seydar: understandable.. it gets somewhat better..
2022-05-17 01:57:27 +0200 <seydar> can i specify the build-depends outside of executable and library for use by them both?
2022-05-17 01:57:43 +0200 <sm> FWIW there are a bunch of haskell setups .. it was a bit unclear which you were/are using
2022-05-17 01:58:00 +0200 <sm> yes you can
2022-05-17 01:58:33 +0200 <sclv> well to specify the depends and reuse them, you use a common stanza and import it
2022-05-17 01:59:04 +0200 <sclv> https://cabal.readthedocs.io/en/3.6/cabal-package.html#common-stanzas
2022-05-17 02:00:12 +0200a1paca_(~a1paca@user/a1paca) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-17 02:01:23 +0200 <seydar> ahh, no syntax highlighting for `common` and `import`
2022-05-17 02:01:25 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-05-17 02:01:30 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 02:01:33 +0200 <seydar> therefore i won't use it and will choose to suffer instead
2022-05-17 02:02:02 +0200causal(~user@50.35.83.177)
2022-05-17 02:03:30 +0200 <jackdk> They've been supported since cabal 2.2. consider upgrading your editor instead?
2022-05-17 02:03:33 +0200 <seydar> why is life so difficult: https://paste.tomsmeding.com/LhQwEV6B
2022-05-17 02:04:46 +0200 <sm> <helpfully> the errors seem clear ?
2022-05-17 02:06:06 +0200 <sm> clear-ish ? you need to manually list all the source files, under either exposed-modules: or other-modules:
2022-05-17 02:06:47 +0200 <sm> unless using hpack or stack or a near-future version of cabal I expect
2022-05-17 02:08:14 +0200 <seydar> "monads are just monoids in the category of endofunctors, what's not to get?"
2022-05-17 02:08:42 +0200 <seydar> oh wait
2022-05-17 02:08:43 +0200 <maerwald> sm: will cabal support sourcefile wildcards? I forgot the discussion
2022-05-17 02:08:44 +0200 <seydar> this is embarrassing
2022-05-17 02:08:50 +0200inversed_(~inversed@176.248.27.211)
2022-05-17 02:08:53 +0200 <maerwald> I'm personally quite against it
2022-05-17 02:08:57 +0200inversed(~inversed@176.248.27.211) (Ping timeout: 248 seconds)
2022-05-17 02:09:03 +0200smtoo, sclv probably knows
2022-05-17 02:09:07 +0200 <seydar> those errors are the errors i should be getting because i gave up halfway through trying to get options-applicative to work
2022-05-17 02:09:35 +0200sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-05-17 02:13:20 +0200 <sclv> the tradeoff is a cabal file needs to be a full manifest of the package. so general wildcards as such are off the table. but with an exact-print roundtrip we could have something that auto-rewrote a cabal file to insert modules based on scanning a directory
2022-05-17 02:13:31 +0200 <EvanR> we need better haskell memes
2022-05-17 02:16:02 +0200 <geekosaur> that "monads" meme has definitely outlived its time. if indeed it hadn'timmediately
2022-05-17 02:21:26 +0200Guest4388(~anon@2a02-a444-23b5-1-149e-308-7ccb-251f.fixed6.kpn.net)
2022-05-17 02:22:06 +0200 <seydar> hard disagree
2022-05-17 02:23:25 +0200 <sm> hpack gives the wildcards for those who want them, while keeping .cabal explicit
2022-05-17 02:24:19 +0200 <maerwald[m]> sm: even stack is moving away from hpack
2022-05-17 02:24:29 +0200 <jackdk> cabal-fmt recognises a magic comment that makes it update the list of modules, this avoids the need to use hpack and fight with yaml
2022-05-17 02:24:48 +0200 <Axman6> :o
2022-05-17 02:24:50 +0200 <maerwald[m]> jackdk: that doesn't work too well though
2022-05-17 02:24:58 +0200 <maerwald[m]> Only for simple cases
2022-05-17 02:25:08 +0200 <jackdk> possibly. it has worked well enough for me - perhaps all of my cases are simple
2022-05-17 02:26:29 +0200 <sm> maerwald: it's not dropping hpack or anything like that.. my point was there's at least one existing solution of the "convenience layer on top of explicit layer" type
2022-05-17 02:26:40 +0200prolic(~prolic@2803:2a00:2c0f:b96d:9117:52d2:a70c:a92a)
2022-05-17 02:27:00 +0200 <sm> cabal-fmt sounds like another
2022-05-17 02:27:32 +0200 <prolic> hi guys, got a newbie question again
2022-05-17 02:27:58 +0200Guest4388(~anon@2a02-a444-23b5-1-149e-308-7ccb-251f.fixed6.kpn.net) (Quit: Leaving)
2022-05-17 02:28:12 +0200 <sm> thank god :)
2022-05-17 02:28:15 +0200 <prolic> Given I have "data A = B | C" I want a function "myFunc :: B -> C", which gives me a nice error message. How can I do this?
2022-05-17 02:28:36 +0200 <Axman6> that type doesn't make sense given that definition
2022-05-17 02:28:44 +0200 <Axman6> B and C are values, not types
2022-05-17 02:28:46 +0200 <maerwald[m]> sm: maybe stack will drop it
2022-05-17 02:28:58 +0200 <Axman6> B :: A, C :: A
2022-05-17 02:29:03 +0200 <sm> I can't see that happening, but maybe maerwald
2022-05-17 02:29:05 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-05-17 02:29:08 +0200 <maerwald[m]> Because it causes problems for their reproducibility scheme
2022-05-17 02:29:19 +0200 <geekosaur> prolic, think of A as an enum. B and C are its values
2022-05-17 02:30:11 +0200 <prolic> Ok, makes sense so far. But I actually don't want that function. I have a record with "{myField :: [C]}" - I don't want any "B" inside here.
2022-05-17 02:30:58 +0200 <prolic> or a type alias like: "type D = C"
2022-05-17 02:31:05 +0200 <Axman6> it looks like you're still making the same istake, C is a value,. not a type
2022-05-17 02:31:40 +0200 <Axman6> can you have [B,C,B,B] which is a value which has type [A]
2022-05-17 02:31:43 +0200 <prolic> so I need to do "{myField:: [A]}" and then take care of what I put inside?
2022-05-17 02:32:30 +0200 <sclv> or create separate types for B and C and when you want them
2022-05-17 02:32:47 +0200 <sclv> want them both, use Either B C
2022-05-17 02:33:05 +0200 <Axman6> data B = B; data C = C; data A = OneB B | OneC C
2022-05-17 02:33:36 +0200 <prolic> hmm.. that might work for me
2022-05-17 02:33:38 +0200 <prolic> thanks man
2022-05-17 02:33:44 +0200 <prolic> told you I'm a newbie :)
2022-05-17 02:33:56 +0200 <Axman6> but if you can be a bit more concrete about what you want to do, we can probably help more
2022-05-17 02:35:56 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2022-05-17 02:36:07 +0200 <prolic> https://pastebin.com/WMRjzcdN - something like this
2022-05-17 02:37:00 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
2022-05-17 02:37:10 +0200 <geekosaur> I wonder if what you really want is data B = B ...; data C = C ...; data A = SomeA A | SomeB B
2022-05-17 02:37:29 +0200 <geekosaur> er, data A = SomeB B | SomeC C
2022-05-17 02:37:39 +0200 <geekosaur> then you can use C directly still, while having A
2022-05-17 02:37:53 +0200 <prolic> That's what Axman6 suggested, I think this works fine
2022-05-17 02:38:10 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 240 seconds)
2022-05-17 02:38:32 +0200 <prolic> Only prob is I have to come up for a better name for "SomeA" and "SomeB"
2022-05-17 02:42:52 +0200 <seydar> i'm having some trouble with options-application: https://paste.tomsmeding.com/KiKZlC7a
2022-05-17 02:43:11 +0200 <seydar> my problems derive from my infamiliarity with the library and my limited skills with types
2022-05-17 02:43:41 +0200 <Axman6> options-application -> optparse-applicative?
2022-05-17 02:44:13 +0200 <Axman6> Encode <*> xComponents <*> yComponents should probably be Encode <$> xComponents <*> yComponents
2022-05-17 02:47:12 +0200 <seydar> Axman6: that gets me closer, but not quite: Expected type: Parser (Int -> Command) Actual type: Parser Command
2022-05-17 02:47:35 +0200nehsou^(~nehsou@128-092-160-234.biz.spectrum.com)
2022-05-17 02:48:13 +0200 <Axman6> have you use applicative before?
2022-05-17 02:48:48 +0200 <Axman6> because looking closer, it's clear that Encode expects onle one argument but when you wrute Encode <$> xComponents <*> yComponents you're trying to apply it to two
2022-05-17 02:49:05 +0200 <Axman6> > (,) <$> Just 1 <*> Just 2
2022-05-17 02:49:07 +0200 <lambdabot> Just (1,2)
2022-05-17 02:49:15 +0200 <Axman6> > (,) <$> Just 1 <*> Just 2 <*> Just "Oh no"
2022-05-17 02:49:17 +0200 <lambdabot> error:
2022-05-17 02:49:17 +0200 <lambdabot> • Couldn't match type ‘(a0, a1)’ with ‘[Char] -> b’
2022-05-17 02:49:17 +0200 <lambdabot> Expected type: Maybe ([Char] -> b)
2022-05-17 02:49:26 +0200 <EvanR> it's reporting a confusion between B and A -> B which indicates a number-of-arguments thing
2022-05-17 02:49:36 +0200 <seydar> I was hoping I could combine it all in the EncodeOpts datatype
2022-05-17 02:49:41 +0200 <EvanR> number-of-arguments mismatch
2022-05-17 02:49:43 +0200 <seydar> but I guess that's unnecessary
2022-05-17 02:50:05 +0200 <Axman6> I think you actually want: fmap Encode $ EncodeOpts <$> xComponents <*> yComponents
2022-05-17 02:51:39 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-05-17 02:52:04 +0200 <seydar> that puts me in a Command/Parser Command mismatch
2022-05-17 02:52:09 +0200 <seydar> because Encode just wants a Command
2022-05-17 02:52:32 +0200 <seydar> I'm trying to have Encode take a string as an argument *and* have flags
2022-05-17 02:52:42 +0200 <seydar> flags are dumb though, I can get rid of those
2022-05-17 02:54:13 +0200 <EvanR> the ultimately configurable monster pattern
2022-05-17 02:54:23 +0200 <EvanR> one api entry point, many config options
2022-05-17 02:55:19 +0200raehik(~raehik@82.21.176.157) (Ping timeout: 240 seconds)
2022-05-17 02:55:43 +0200 <seydar> How do I attach flags to a command?
2022-05-17 02:56:56 +0200 <EvanR> it starts with your data types
2022-05-17 02:57:06 +0200 <EvanR> put Flags in Command somewhere
2022-05-17 02:57:15 +0200 <EvanR> then figure out how to parse it
2022-05-17 02:57:43 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-17 02:57:50 +0200 <EvanR> I see you already have SomethingOpts, so nvm
2022-05-17 02:57:56 +0200 <seydar> i'll have to keep playing with that then
2022-05-17 02:58:10 +0200 <seydar> cabal says it can't find my source code which it was previously complaining about: https://paste.tomsmeding.com/wTDpX1Zd
2022-05-17 03:00:48 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-05-17 03:00:59 +0200 <sclv> since the executable uses the same modules the lib does, you need to add them to the `other-modules:` field of the executable
2022-05-17 03:01:33 +0200 <sclv> alternately, you can split your lib modules into a src/ directory, and your executable Main into an app/ directory, and then have the executable explicitly have a build-depends on the lib
2022-05-17 03:01:56 +0200 <seydar> sclv: so those deps need to be listed twice under the executable header?
2022-05-17 03:02:24 +0200 <sclv> no, they only need to be listed _once_ in the executable stanza. currently they are listed zero times.
2022-05-17 03:04:55 +0200 <seydar> perfect! thank you!
2022-05-17 03:05:12 +0200 <seydar> so... where did it put the executable? unless `cabal build` doesn't do that?
2022-05-17 03:05:22 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2022-05-17 03:06:45 +0200 <sclv> `cabal list-bin`
2022-05-17 03:08:44 +0200 <seydar> sclv: is there perhaps an alternative version of that command?
2022-05-17 03:09:18 +0200 <sclv> nope, that's it.
2022-05-17 03:09:40 +0200 <sclv> at the end of a `cabal build` it prints out the location of the executable too, if you read thru the output
2022-05-17 03:10:41 +0200 <seydar> https://paste.tomsmeding.com/c8nbZj0l
2022-05-17 03:10:45 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-05-17 03:10:53 +0200 <seydar> it's not printing it out for me
2022-05-17 03:11:06 +0200 <seydar> i think i found the executable though -- it was buried like 8 directories deep under some x/ folder
2022-05-17 03:14:10 +0200a6a45081-2b83(~aditya@2601:640:8800:6b6:49a4:1744:4ea:ba78)
2022-05-17 03:15:41 +0200ubert(~Thunderbi@p200300ecdf15884b90b4ffb36f546538.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-05-17 03:15:42 +0200ububert
2022-05-17 03:16:03 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-05-17 03:16:20 +0200ubert1(~Thunderbi@p200300ecdf15883e59cedd0c714ad84e.dip0.t-ipconnect.de)
2022-05-17 03:16:52 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-05-17 03:18:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-17 03:18:50 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
2022-05-17 03:19:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 03:20:30 +0200andrey__(~andrey@p200300dbcf1305000a20156e72af94e4.dip0.t-ipconnect.de)
2022-05-17 03:21:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 03:22:59 +0200andrey_(~andrey@p200300dbcf05e8005ddecd234143f629.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-05-17 03:23:15 +0200raoul(~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds))
2022-05-17 03:29:27 +0200byorgey(~byorgey@155.138.238.211) (Ping timeout: 276 seconds)
2022-05-17 03:30:15 +0200bcmiller(~bm3719@66.42.95.185) (Ping timeout: 246 seconds)
2022-05-17 03:30:39 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-05-17 03:33:08 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-05-17 03:34:21 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-17 03:34:27 +0200echoreply(~echoreply@45.32.163.16) (Ping timeout: 246 seconds)
2022-05-17 03:43:19 +0200 <EvanR> seydar, yeah that's what list-bin would've told you xD
2022-05-17 03:44:10 +0200 <seydar> i'm so close i can almost taste it
2022-05-17 03:44:11 +0200 <seydar> https://paste.tomsmeding.com/oEqVxeXu
2022-05-17 03:44:42 +0200 <seydar> but i can't figure out how to combine the two subcommands in a way that make me, ghc, and simon peyton jones happy
2022-05-17 03:45:10 +0200 <seydar> I feel like I shouldn't need to put line 89 in an Opts datatype
2022-05-17 03:46:29 +0200 <prolic> Axman6 - it compiled ! Thanks for your help, you're the best!
2022-05-17 03:48:10 +0200 <EvanR> seydar, you defined Opts (which this parser returns) to be a wrapped Command
2022-05-17 03:48:51 +0200 <EvanR> so you are wrapping the commands
2022-05-17 03:49:47 +0200 <seydar> EvanR right, I was trying to appease the compiler, otherwise I get: No instance for (Semigroup (Parser Command))
2022-05-17 03:50:39 +0200 <seydar> https://paste.tomsmeding.com/8nwCHwLt
2022-05-17 03:50:43 +0200 <seydar> line 89 still gives me trouble
2022-05-17 03:51:41 +0200 <seydar> I need a different function besides <> to combine them
2022-05-17 03:51:44 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-17 03:51:46 +0200 <EvanR> i don't see how Opts helps with the semigroup thing
2022-05-17 03:52:29 +0200 <EvanR> what did you expect <> to be doing
2022-05-17 03:52:30 +0200 <seydar> it helps because it got me a different error
2022-05-17 03:53:10 +0200 <seydar> I was using <> because it was originally hsubparser (encode <> decode) and (please don't be mad) I was randomly changing things and seeing if it made a different
2022-05-17 03:53:22 +0200 <seydar> I just decided to use <|> not knowing if it's a real function, and it compiled
2022-05-17 03:53:24 +0200 <EvanR> did you want to fail over to another parser if the first one fails
2022-05-17 03:53:29 +0200 <EvanR> because that's <|>
2022-05-17 03:54:12 +0200 <EvanR> :t (<|>)
2022-05-17 03:54:14 +0200 <lambdabot> Alternative f => f a -> f a -> f a
2022-05-17 03:54:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 03:56:30 +0200cheater(~Username@user/cheater) (Quit: (BitchX) For a good time, call 1-900-4BitchX)
2022-05-17 03:57:09 +0200cheater(~Username@user/cheater)
2022-05-17 03:57:57 +0200 <seydar> EvanR: here was my problem: i was mixing Parser Command with Mod CommandFields Command
2022-05-17 03:58:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-05-17 03:58:37 +0200 <seydar> THAT's why i kept trying to do hsubparser (encode <> decode) -- but it didn't work because encode and decoded were the wrong function, and i needed to use encOptions and decOptions
2022-05-17 04:00:53 +0200prolic(~prolic@2803:2a00:2c0f:b96d:9117:52d2:a70c:a92a) (Quit: Client closed)
2022-05-17 04:04:37 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-05-17 04:04:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-05-17 04:04:37 +0200finn_elijaFinnElija
2022-05-17 04:05:07 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 04:05:50 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 04:09:52 +0200byorgey(~byorgey@155.138.238.211)
2022-05-17 04:10:30 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-05-17 04:10:50 +0200Benzi-Junior(~BenziJuni@88-149-64-179.du.xdsl.is) (Ping timeout: 240 seconds)
2022-05-17 04:11:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 04:12:33 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 04:16:06 +0200bcmiller(~bm3719@66.42.95.185)
2022-05-17 04:18:21 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2022-05-17 04:18:29 +0200raoul(~raoul@95.179.203.88)
2022-05-17 04:21:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 04:27:34 +0200AlexNoo_(~AlexNoo@178.34.163.80)
2022-05-17 04:29:27 +0200AlexZenon(~alzenon@178.34.162.184) (Ping timeout: 240 seconds)
2022-05-17 04:29:47 +0200Alex_test(~al_test@178.34.162.184) (Ping timeout: 240 seconds)
2022-05-17 04:31:00 +0200AlexNoo(~AlexNoo@178.34.162.184) (Ping timeout: 248 seconds)
2022-05-17 04:33:21 +0200AlexZenon(~alzenon@178.34.163.80)
2022-05-17 04:33:56 +0200Alex_test(~al_test@178.34.163.80)
2022-05-17 04:38:51 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-05-17 04:39:47 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 04:41:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 04:42:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 04:43:10 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-05-17 04:44:26 +0200terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-05-17 04:45:46 +0200 <Axman6> seydar: optparse-applicative can be a bit difficult to figure out how to use, even when you just follow the types. it'd definitely worth spending time looking at the examples (and cargo culting yourself from there until it makes sense)
2022-05-17 04:47:55 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 04:49:19 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 04:50:42 +0200mixfix41(~sdenynine@user/mixfix41) (Ping timeout: 276 seconds)
2022-05-17 04:51:39 +0200Kaipei(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-05-17 04:54:00 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-05-17 04:54:38 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds)
2022-05-17 04:55:03 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 04:56:18 +0200 <seydar> Axman6: i appreciate the validation
2022-05-17 04:56:38 +0200 <seydar> how do i send an email to the hackage board of trustees so i can upload my latest and greatest library?
2022-05-17 04:57:32 +0200 <seydar> I found Herbert Valerio Riedel's email address, but I doubt he wants me to just shoot him a line
2022-05-17 04:57:57 +0200 <Axman6> https://hackage.haskell.org/accounts
2022-05-17 04:58:40 +0200 <seydar> Axman6: right, i have an account
2022-05-17 04:59:03 +0200 <Axman6> https://hackage.haskell.org/users/register-request
2022-05-17 04:59:08 +0200 <Axman6> see the red box
2022-05-17 04:59:23 +0200 <seydar> ahhhhhh thank you
2022-05-17 04:59:34 +0200 <seydar> i knew i read it somewhere but i couldn't figure out where
2022-05-17 04:59:40 +0200 <seydar> i made an account and then didn't go back to that page
2022-05-17 05:02:19 +0200 <seydar> thank you everyone for your help in all of this!
2022-05-17 05:02:36 +0200 <seydar> please make sure to find a way to include my library in your next program
2022-05-17 05:02:59 +0200 <seydar> i expect all haskell applications that display images to use blurhashes now until the images can be fully loaded
2022-05-17 05:03:47 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
2022-05-17 05:04:14 +0200dust_(~dust@122.171.188.87)
2022-05-17 05:06:26 +0200nate1(~nate@98.45.169.16)
2022-05-17 05:10:53 +0200a6a45081-2b83(~aditya@2601:640:8800:6b6:49a4:1744:4ea:ba78) (Remote host closed the connection)
2022-05-17 05:11:10 +0200nate1(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-05-17 05:12:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Quit: leaving)
2022-05-17 05:13:41 +0200 <sm> ^^ = my typical getting started with o-a experience
2022-05-17 05:14:08 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 05:14:23 +0200 <sm> so.. what's a blurhash ?
2022-05-17 05:14:52 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 05:16:52 +0200frost(~frost@user/frost)
2022-05-17 05:18:10 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-05-17 05:18:47 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 05:19:58 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-05-17 05:22:30 +0200dust_(~dust@122.171.188.87) (Ping timeout: 272 seconds)
2022-05-17 05:27:34 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-17 05:28:07 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 05:28:23 +0200srk-(~sorki@user/srk)
2022-05-17 05:29:37 +0200dust_(~dust@122.171.188.87)
2022-05-17 05:29:53 +0200srk(~sorki@user/srk) (Ping timeout: 252 seconds)
2022-05-17 05:30:00 +0200 <jackdk> sm: image placeholder generator that's small enough to fit in a data URI: https://blurha.sh/
2022-05-17 05:30:10 +0200 <sm> thanks
2022-05-17 05:31:07 +0200srk-srk
2022-05-17 05:35:56 +0200Hash(~Hash@tunnel686959-pt.tunnel.tserv15.lax1.ipv6.he.net) (Ping timeout: 252 seconds)
2022-05-17 05:40:00 +0200laalyn(~laalyn@c-73-189-182-49.hsd1.ca.comcast.net) (Quit: Client closed)
2022-05-17 05:40:23 +0200Hash(~Hash@hey.howstoned.ru)
2022-05-17 05:41:07 +0200srk-(~sorki@user/srk)
2022-05-17 05:44:00 +0200srk(~sorki@user/srk) (Ping timeout: 276 seconds)
2022-05-17 05:44:01 +0200srk-srk
2022-05-17 05:44:24 +0200 <Axman6> noice
2022-05-17 05:44:58 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-17 05:49:43 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-05-17 05:49:54 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 05:50:44 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 05:51:31 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2022-05-17 05:56:04 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-05-17 05:58:07 +0200monochrom(trebla@216.138.220.146)
2022-05-17 05:58:34 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2022-05-17 05:59:17 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-05-17 06:05:39 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-05-17 06:08:29 +0200zaquest(~notzaques@5.130.79.72)
2022-05-17 06:10:48 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-17 06:14:29 +0200phma(~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer)
2022-05-17 06:16:31 +0200nattiestnate(~nate@202.138.250.62)
2022-05-17 06:16:42 +0200phma(~phma@197.sub-174-212-160.myvzw.com)
2022-05-17 06:16:46 +0200jinsun(~jinsun@user/jinsun)
2022-05-17 06:16:49 +0200jinsun__(~jinsun@user/jinsun)
2022-05-17 06:17:09 +0200Infinite(~Infinite@49.39.124.179)
2022-05-17 06:18:12 +0200jinsun__(~jinsun@user/jinsun) (Client Quit)
2022-05-17 06:18:14 +0200jinsun(~jinsun@user/jinsun) (Client Quit)
2022-05-17 06:18:35 +0200jinsun(~jinsun@user/jinsun)
2022-05-17 06:18:37 +0200jinsun__(~jinsun@user/jinsun)
2022-05-17 06:18:40 +0200jinsun(~jinsun@user/jinsun) (Client Quit)
2022-05-17 06:18:49 +0200jinsun__(~jinsun@user/jinsun) (Client Quit)
2022-05-17 06:19:33 +0200jinsun(~jinsun@user/jinsun)
2022-05-17 06:19:39 +0200dust_(~dust@122.171.188.87) (Quit: Konversation terminated!)
2022-05-17 06:24:20 +0200Guest|92(~Guest|92@35.24.208.138)
2022-05-17 06:28:28 +0200Infinite(~Infinite@49.39.124.179) (Ping timeout: 252 seconds)
2022-05-17 06:29:10 +0200Guest|92(~Guest|92@35.24.208.138) (Client Quit)
2022-05-17 06:29:41 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-05-17 06:40:35 +0200coot(~coot@213.134.190.95)
2022-05-17 06:50:34 +0200Guest33(~Guest33@2607:fb90:9c4e:b360:842e:cc64:3d28:eed4)
2022-05-17 06:56:17 +0200 <Guest33> Hello! I'm pretty new to Haskell and I'm attempting to write a program that deals with streams of pcap packets. I have a handful of packet types I care about and was considering creating a class "NDPPacket" of which there are several instances. The problem that crops up is that a function can't return a class of things, it needs to return a
2022-05-17 06:56:17 +0200 <Guest33> specific instance... so I can't just turn the stream of Network.Pcap.Streaming.Packet into a stream of different kinds of NDPPacket.
2022-05-17 06:56:18 +0200 <Guest33> What's a more Haskell-way of thinking about this problem?
2022-05-17 06:58:21 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-05-17 06:58:22 +0200 <Axman6> That's right, classes aren't something you subtype - when you say Foo a => String -> a, it means that the _caller_ gets to choose what a is. There are times when this does make sense, like Monoid a => String -> a can basically only do one thing, return mempty
2022-05-17 06:58:56 +0200 <Axman6> but if you do something like Show a => String -> a, you're saying that this code can return any single type which has a Show instance, and that doesn't make much sense
2022-05-17 07:00:44 +0200Lears(~Leary]@122-58-228-205-vdsl.sparkbb.co.nz)
2022-05-17 07:00:59 +0200[Leary](~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Ping timeout: 260 seconds)
2022-05-17 07:02:31 +0200 <Axman6> Guest33: one way to do that is to define a sum type of all the packets you care about: data Packet = TCP TCPPacket | UDP UDPPacket | IMCP IMCPPacket | ...
2022-05-17 07:02:52 +0200 <Axman6> those individual packet types can be instances of some class if it makes sense to have common operations on all of them
2022-05-17 07:04:04 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-17 07:04:19 +0200Vajb(~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56)
2022-05-17 07:04:26 +0200nattiestnate(~nate@202.138.250.62) (Quit: WeeChat 3.5)
2022-05-17 07:06:09 +0200phma_(phma@2001:5b0:2172:8568:a3aa:b9ca:4718:8641)
2022-05-17 07:06:24 +0200 <Guest33> Axman6: I might resort to a sum type. There are definitely same-kinds of things I am doing across all packet types. Since I am learning, I also tend to wonder about building a larger system where all packet types aren't known to (for eg) a single source file. In any case, thanks for your help!
2022-05-17 07:06:30 +0200phma(~phma@197.sub-174-212-160.myvzw.com) (Ping timeout: 260 seconds)
2022-05-17 07:10:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-17 07:12:50 +0200Guest33(~Guest33@2607:fb90:9c4e:b360:842e:cc64:3d28:eed4) (Ping timeout: 252 seconds)
2022-05-17 07:14:33 +0200zmt00(~zmt00@user/zmt00) (Quit: Leaving)
2022-05-17 07:14:36 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-17 07:15:10 +0200titibandit(~thibaut@xdsl-78-35-152-200.nc.de)
2022-05-17 07:15:32 +0200titibandit(~thibaut@xdsl-78-35-152-200.nc.de) (Client Quit)
2022-05-17 07:15:42 +0200titibandit(~thibaut@xdsl-78-35-152-200.nc.de)
2022-05-17 07:16:51 +0200zmt00(~zmt00@user/zmt00)
2022-05-17 07:17:36 +0200dust_(~dust@122.171.188.87)
2022-05-17 07:18:34 +0200 <Axman6> there are ways to do more extensible things, but if you're new to Haskell, they are not solutions you should be reaching for until you are comfortable working with the more normal ones
2022-05-17 07:19:49 +0200 <Axman6> an example would be using existential types: data Packet where Packet :: IsPacket p => p -> Packet; but doing that means you can't ever really know what sort of packet it is, so you're limited to only the operations defined in the IsPacket class
2022-05-17 07:24:24 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-17 07:24:33 +0200Guest33(~Guest33@172.58.89.143)
2022-05-17 07:25:19 +0200 <Guest33> That's fair. I did try to experiment with ExistentialTypes but was out of my depth.:)
2022-05-17 07:28:06 +0200no-n(sid524992@smol/hors) ()
2022-05-17 07:28:34 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 07:32:05 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 07:34:14 +0200gpncarl(~gpncarl@210.12.195.2) (Ping timeout: 272 seconds)
2022-05-17 07:36:21 +0200nehsou^(~nehsou@128-092-160-234.biz.spectrum.com) (Remote host closed the connection)
2022-05-17 07:36:51 +0200michalz(~michalz@185.246.204.107)
2022-05-17 07:37:44 +0200Infinite(~Infinite@49.39.119.190)
2022-05-17 07:38:34 +0200gpncarl(~gpncarl@210.12.195.2)
2022-05-17 07:42:01 +0200raym(~raym@user/raym) (Quit: kernel update, rebooting...)
2022-05-17 07:42:44 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-05-17 07:44:13 +0200raym(~raym@user/raym)
2022-05-17 07:48:36 +0200odnes(~odnes@5-203-172-62.pat.nym.cosmote.net)
2022-05-17 07:50:40 +0200Guest33(~Guest33@172.58.89.143) (Quit: Ping timeout (120 seconds))
2022-05-17 07:58:10 +0200 <dminuoso> https://github.com/rblaze/haskell-dbus/blob/master/dbus.cabal#L84
2022-05-17 07:58:14 +0200 <dminuoso> base >=4.16 && <5
2022-05-17 07:58:16 +0200dminuososighs
2022-05-17 08:05:12 +0200dust_(~dust@122.171.188.87) (Ping timeout: 260 seconds)
2022-05-17 08:12:08 +0200 <[exa]> dminuoso: why not cheer up at the sight of optimism
2022-05-17 08:12:59 +0200 <dminuoso> That was a cheerful sigh.
2022-05-17 08:13:26 +0200 <dminuoso> My mission critical project demands I use dbus.
2022-05-17 08:15:58 +0200 <[exa]> sounds like an easy hotpatch though, no?
2022-05-17 08:16:22 +0200 <[exa]> like, most sw packages need to be patched before they can go into a serious distribution
2022-05-17 08:17:44 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-17 08:19:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-17 08:20:14 +0200 <dminuoso> If only, I think that and the transitive dependency forest together rules it out.
2022-05-17 08:20:32 +0200 <dminuoso> The project now demands I conjure up fresh dbus C api bindings.
2022-05-17 08:20:46 +0200 <dminuoso> A year from now I will ponder about why I didnt simply buy a darn toy.
2022-05-17 08:26:18 +0200dsrt^(~dsrt@128-092-160-234.biz.spectrum.com)
2022-05-17 08:26:58 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 08:29:21 +0200acidjnk(~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de)
2022-05-17 08:40:25 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-17 08:40:47 +0200merijn(~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds)
2022-05-17 08:42:01 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:5956:f382:8167:41c0)
2022-05-17 08:42:24 +0200MajorBiscuit(~MajorBisc@c-001-019-036.client.tudelft.eduvpn.nl)
2022-05-17 08:47:47 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 260 seconds)
2022-05-17 08:47:51 +0200mc47(~mc47@xmonad/TheMC47)
2022-05-17 08:48:37 +0200ccntrq(~Thunderbi@2a01:e34:eccb:b060:8794:69d8:eb44:74c1)
2022-05-17 08:50:17 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-17 08:50:38 +0200coot(~coot@213.134.190.95)
2022-05-17 08:51:24 +0200titibandit(~thibaut@xdsl-78-35-152-200.nc.de) (Remote host closed the connection)
2022-05-17 08:52:12 +0200odnes(~odnes@5-203-172-62.pat.nym.cosmote.net) (Quit: Leaving)
2022-05-17 08:52:33 +0200img(~img@user/img)
2022-05-17 08:56:20 +0200random-jellyfish(~random-je@user/random-jellyfish)
2022-05-17 08:56:54 +0200 <random-jellyfish> can anyone recommend a keyboard model that has a scroll wheel and a touchpad on it?
2022-05-17 08:59:36 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-17 09:01:36 +0200chomwitt(~chomwitt@2a02:587:dc15:4f00:52df:b01:5d3:8b9e)
2022-05-17 09:07:04 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2022-05-17 09:07:22 +0200 <albet70> how to replace a series element in a list by its index range? like in [1..9], 3rd to 6th values to zero
2022-05-17 09:07:27 +0200 <dminuoso> The old thinkpad keyboards go into that direction if you consider the trackpoint a scroll wheel
2022-05-17 09:07:56 +0200nate1(~nate@98.45.169.16)
2022-05-17 09:08:12 +0200 <dminuoso> albet70: there's no eloquent simple answer. lists are not typically for random access, let alone a mutation-style interface.
2022-05-17 09:08:26 +0200 <albet70> [1,2,3,0,0,0,0,8,9]
2022-05-17 09:08:54 +0200 <dminuoso> You'd have to write your own `updateNth` function, or use something like `optics` or `lens` but the latter is almost certainly overkill for this task alone
2022-05-17 09:09:08 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-05-17 09:09:21 +0200 <albet70> right
2022-05-17 09:09:34 +0200 <dminuoso> If you need to do random access a lot, consider `vector` maybe
2022-05-17 09:10:56 +0200alp_(~alp@user/alp)
2022-05-17 09:12:27 +0200nate1(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-05-17 09:12:48 +0200ccntrq1(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-05-17 09:13:00 +0200ccntrq1(~Thunderbi@172.209.94.92.rev.sfr.net) (Client Quit)
2022-05-17 09:13:04 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 09:13:17 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-05-17 09:15:10 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 09:15:47 +0200ccntrq(~Thunderbi@2a01:e34:eccb:b060:8794:69d8:eb44:74c1) (Ping timeout: 260 seconds)
2022-05-17 09:16:41 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-05-17 09:17:23 +0200 <tomsmeding> > let (from, to, l) = (3, 6, [1..9]) in zipWith (\x b -> if b then 0 else x) l (map (\i -> from <= i && i <= to) [0..])
2022-05-17 09:17:25 +0200 <lambdabot> [1,2,3,0,0,0,0,8,9]
2022-05-17 09:17:29 +0200 <tomsmeding> ¯\_(ツ)_/¯
2022-05-17 09:17:48 +0200 <tomsmeding> it's a bit verbose but the structure is nice and functional
2022-05-17 09:22:20 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2022-05-17 09:22:21 +0200 <dminuoso> FFI question. I have a C function that amongst others takes a callback into Haskell, and a free function for said callback.
2022-05-17 09:23:06 +0200 <dminuoso> Since the free function would have to call `freeHaskellFunPtr`, itself would need to be "wrapped" too, but how do I clean that up?
2022-05-17 09:23:08 +0200phma_(phma@2001:5b0:2172:8568:a3aa:b9ca:4718:8641) (Read error: Connection reset by peer)
2022-05-17 09:23:18 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 09:23:22 +0200acidjnk(~acidjnk@pd9e0b3b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-05-17 09:23:35 +0200phma_(~phma@host-67-44-208-139.hnremote.net)
2022-05-17 09:23:41 +0200 <dminuoso> It seems notoriously unsafe to have this free function call freeHaskellFunPtr on itself
2022-05-17 09:26:52 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 09:27:24 +0200Infinite(~Infinite@49.39.119.190) (Ping timeout: 252 seconds)
2022-05-17 09:27:55 +0200 <dminuoso> Short of having the free function register itself for deletion, and then waiting some time (which in itself would be a race condition), Im not seeing any way out of this mess
2022-05-17 09:28:04 +0200 <dminuoso> (that is having a separate cleanup thread)
2022-05-17 09:28:51 +0200random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-05-17 09:33:04 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 09:34:35 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-05-17 09:35:00 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-17 09:35:10 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-05-17 09:35:20 +0200Infinite(~Infinite@49.39.119.190)
2022-05-17 09:36:44 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-17 09:37:37 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-17 09:38:14 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 09:40:18 +0200mbuf(~Shakthi@31.32.33.168)
2022-05-17 09:50:04 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-17 09:50:34 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-05-17 09:51:23 +0200coot(~coot@213.134.190.95)
2022-05-17 09:51:56 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-17 09:53:20 +0200 <dminuoso> Oh hah hold on, these are just EVPN switches ontop of vxlan!
2022-05-17 09:54:41 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 09:56:58 +0200 <[exa]> <.<
2022-05-17 09:57:05 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-05-17 10:01:09 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-05-17 10:04:31 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 10:06:04 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 10:08:10 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 240 seconds)
2022-05-17 10:09:36 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-05-17 10:13:47 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds)
2022-05-17 10:14:54 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-05-17 10:16:44 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2022-05-17 10:19:32 +0200Hash(~Hash@hey.howstoned.ru) (Ping timeout: 272 seconds)
2022-05-17 10:22:11 +0200chele(~chele@user/chele)
2022-05-17 10:28:09 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-05-17 10:29:16 +0200alp_(~alp@user/alp) (Remote host closed the connection)
2022-05-17 10:31:48 +0200DNH(~DNH@2a02:8109:b740:2c4:4d62:c8b7:5332:bb27)
2022-05-17 10:37:19 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-17 10:38:34 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 10:39:48 +0200acidjnk(~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de)
2022-05-17 10:39:54 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 10:40:29 +0200Hash(~Hash@hey.howstoned.ru)
2022-05-17 10:42:56 +0200Guest93(~Guest93@140.112.16.133)
2022-05-17 10:44:38 +0200Guest93(~Guest93@140.112.16.133) (Client Quit)
2022-05-17 10:45:44 +0200statusfailed(~statusfai@statusfailed.com) (Quit: leaving)
2022-05-17 10:48:34 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 10:49:01 +0200DNH(~DNH@2a02:8109:b740:2c4:4d62:c8b7:5332:bb27) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-17 10:49:28 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 10:51:28 +0200TitusTzeng[m](~titusjgrm@2001:470:69fc:105::2:1140)
2022-05-17 10:53:06 +0200alp_(~alp@user/alp)
2022-05-17 10:57:04 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-05-17 10:57:34 +0200statusfailed(~statusfai@statusfailed.com)
2022-05-17 10:57:51 +0200 <tomsmeding> [summer school ad] (sorry for the repeat) for those learning haskell and wanting to progress beyond beginner material, there's this nice summer school in The Netherlands organised by some nice people: https://mail.haskell.org/pipermail/haskell-cafe/2022-May/135299.html
2022-05-17 11:00:11 +0200ozataman[m](~ozatamanm@2001:470:69fc:105::1:faa0) (Quit: You have been kicked for being idle)
2022-05-17 11:03:40 +0200sympt0(~sympt@user/sympt)
2022-05-17 11:04:17 +0200sympt(~sympt@user/sympt) (Ping timeout: 252 seconds)
2022-05-17 11:04:18 +0200sympt0sympt
2022-05-17 11:04:20 +0200dust_(~dust@2409:4071:2283:5117:f276:b047:4438:5a20)
2022-05-17 11:08:16 +0200razetime(~quassel@117.254.35.226)
2022-05-17 11:08:46 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-05-17 11:09:46 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-05-17 11:11:21 +0200kuribas(~user@ptr-17d51em3ti570thy98k.18120a2.ip6.access.telenet.be)
2022-05-17 11:11:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-17 11:11:52 +0200dust_(~dust@2409:4071:2283:5117:f276:b047:4438:5a20) (Ping timeout: 248 seconds)
2022-05-17 11:11:53 +0200dust__(~dust@122.167.58.166)
2022-05-17 11:17:42 +0200statusfailed(~statusfai@statusfailed.com) (Remote host closed the connection)
2022-05-17 11:22:31 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-17 11:29:21 +0200statusfailed(~statusfai@statusfailed.com)
2022-05-17 11:32:38 +0200dust_(~dust@122.167.58.166)
2022-05-17 11:35:20 +0200dust__(~dust@122.167.58.166) (Ping timeout: 248 seconds)
2022-05-17 11:39:36 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-05-17 11:58:59 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-05-17 12:05:18 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-05-17 12:08:39 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5)
2022-05-17 12:08:48 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-05-17 12:08:50 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 12:11:50 +0200xff0x(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2022-05-17 12:12:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 12:16:56 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 12:17:20 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-05-17 12:17:34 +0200ccntrq1(~Thunderbi@2a01:e34:eccb:b060:21fb:5405:bef:5c2b)
2022-05-17 12:18:46 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 12:20:08 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 248 seconds)
2022-05-17 12:20:23 +0200dust_(~dust@122.167.58.166) (Quit: Konversation terminated!)
2022-05-17 12:20:24 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-05-17 12:20:50 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 12:21:44 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2022-05-17 12:21:52 +0200ccntrq1(~Thunderbi@2a01:e34:eccb:b060:21fb:5405:bef:5c2b) (Ping timeout: 260 seconds)
2022-05-17 12:25:57 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2022-05-17 12:27:31 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 12:28:15 +0200jollygood2(www-data@2607:5300:60:8be::1)
2022-05-17 12:31:00 +0200akegalj(~akegalj@89-172-70-253.adsl.net.t-com.hr)
2022-05-17 12:33:52 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 12:34:26 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds)
2022-05-17 12:34:58 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 12:41:55 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 260 seconds)
2022-05-17 12:44:10 +0200lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2022-05-17 12:49:23 +0200nate1(~nate@98.45.169.16)
2022-05-17 12:51:44 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 12:52:28 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 12:53:16 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-17 12:54:17 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-05-17 12:55:51 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-05-17 12:55:56 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-05-17 12:57:06 +0200Lord_of_Life_Lord_of_Life
2022-05-17 12:57:45 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-17 12:59:46 +0200mattil(~mattil@helsinki.portalify.com)
2022-05-17 13:01:03 +0200mbuf(~Shakthi@31.32.33.168) (Quit: Leaving)
2022-05-17 13:01:34 +0200mmhat(~mmh@p200300f1c7104216ee086bfffe095315.dip0.t-ipconnect.de)
2022-05-17 13:03:02 +0200xff0x(~xff0x@b133147.ppp.asahi-net.or.jp)
2022-05-17 13:04:02 +0200namkeleser(~namkelese@101.175.93.91)
2022-05-17 13:04:07 +0200mbuf(~Shakthi@31.32.33.168)
2022-05-17 13:06:23 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-17 13:10:10 +0200odnes(~odnes@2a02:587:e901:3110::759)
2022-05-17 13:10:17 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-05-17 13:11:12 +0200DNH(~DNH@2a02:8109:b740:2c4:492f:4c54:b830:3942)
2022-05-17 13:12:23 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-17 13:26:10 +0200vpan(~0@212.117.1.172)
2022-05-17 13:30:31 +0200titibandit(~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47)
2022-05-17 13:33:47 +0200raym(~raym@user/raym) (Ping timeout: 240 seconds)
2022-05-17 13:34:47 +0200raym(~raym@user/raym)
2022-05-17 13:39:27 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 13:40:01 +0200coot(~coot@213.134.190.95)
2022-05-17 13:43:24 +0200mattil(~mattil@helsinki.portalify.com) (Quit: Leaving...)
2022-05-17 13:45:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-17 13:50:39 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-05-17 13:51:46 +0200Infinite(~Infinite@49.39.119.190) (Ping timeout: 252 seconds)
2022-05-17 13:54:45 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 13:58:38 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 14:00:31 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-05-17 14:07:32 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-17 14:08:59 +0200merijn(~merijn@dhcp-077-249-226-128.chello.nl)
2022-05-17 14:10:57 +0200coot(~coot@213.134.190.95)
2022-05-17 14:14:13 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 14:14:20 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 14:15:17 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 14:16:18 +0200namkeleser(~namkelese@101.175.93.91) (Quit: Client closed)
2022-05-17 14:18:30 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-05-17 14:20:06 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-05-17 14:21:58 +0200odnes(~odnes@2a02:587:e901:3110::759) (Quit: Leaving)
2022-05-17 14:40:33 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 14:42:08 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-05-17 14:49:06 +0200akegalj(~akegalj@89-172-70-253.adsl.net.t-com.hr) (Quit: leaving)
2022-05-17 14:49:17 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-05-17 14:56:56 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 14:57:09 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 14:57:19 +0200cfricke(~cfricke@user/cfricke)
2022-05-17 14:57:42 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 250 seconds)
2022-05-17 14:59:20 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de)
2022-05-17 14:59:39 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2022-05-17 15:02:17 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 260 seconds)
2022-05-17 15:05:08 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:85f3:ae31:48e9:2eca)
2022-05-17 15:05:10 +0200acidjnk(~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-05-17 15:05:11 +0200gpncarl(~gpncarl@210.12.195.2) (Ping timeout: 252 seconds)
2022-05-17 15:06:11 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 15:10:09 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds)
2022-05-17 15:10:30 +0200merijn(~merijn@dhcp-077-249-226-128.chello.nl) (Ping timeout: 240 seconds)
2022-05-17 15:11:57 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-17 15:12:20 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 252 seconds)
2022-05-17 15:20:05 +0200zer0bitz_(~zer0bitz@2001:2003:f444:8f00:4cea:d190:80e2:b2b0)
2022-05-17 15:21:08 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:85f3:ae31:48e9:2eca) (Ping timeout: 248 seconds)
2022-05-17 15:31:09 +0200Sgeo(~Sgeo@user/sgeo)
2022-05-17 15:35:07 +0200titibandit(~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Ping timeout: 240 seconds)
2022-05-17 15:35:40 +0200titibandit(~thibaut@sunp.ient.rwth-aachen.de)
2022-05-17 15:36:48 +0200byorgeywaves hello
2022-05-17 15:36:59 +0200 <byorgey> today is 15 years to the day since I joined #haskell for the first time =)
2022-05-17 15:37:11 +0200 <geekosaur> o/
2022-05-17 15:40:17 +0200 <lyxia> o/
2022-05-17 15:40:43 +0200 <[exa]> o/
2022-05-17 15:41:21 +0200mima(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
2022-05-17 15:42:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-17 15:44:04 +0200mima(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Quit: leaving)
2022-05-17 15:44:37 +0200mmh(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
2022-05-17 15:44:50 +0200mmh(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Client Quit)
2022-05-17 15:46:37 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-05-17 15:48:43 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 15:49:50 +0200AlexNoo_AlexNoo
2022-05-17 15:51:15 +0200ystael(~ystael@user/ystael)
2022-05-17 15:52:31 +0200 <tomsmeding> isn't the birthday of the channel also like overmorrow
2022-05-17 15:52:34 +0200mima(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
2022-05-17 15:53:22 +0200 <robbert-vdh> One year of Libera.Chat!
2022-05-17 15:53:38 +0200 <robbert-vdh> I think it's on the 19th
2022-05-17 15:53:45 +0200 <tomsmeding> which is overmorrow ;)
2022-05-17 15:53:50 +0200 <robbert-vdh> overmorrow :)
2022-05-17 15:54:23 +0200coot(~coot@213.134.190.95)
2022-05-17 15:54:43 +0200 <tomsmeding> you know I grab every opportunity to reintroduce overmorrow and ereyesterday
2022-05-17 15:55:18 +0200 <robbert-vdh> (wait overmorrow is actually a Middle-English word borrowed from other Germanic languages, sounds very dunglish)
2022-05-17 15:55:34 +0200 <tomsmeding> yes it was actually english at some point :p
2022-05-17 15:56:08 +0200alp_(~alp@user/alp) (Ping timeout: 248 seconds)
2022-05-17 15:59:49 +0200romesrf(~romes@185.5.8.134)
2022-05-17 16:07:11 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-17 16:08:11 +0200 <kuribas> byorgey: \o/
2022-05-17 16:13:43 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-05-17 16:18:00 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds)
2022-05-17 16:18:26 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-05-17 16:19:27 +0200zebrag(~chris@user/zebrag)
2022-05-17 16:21:04 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds)
2022-05-17 16:21:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2022-05-17 16:22:04 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2022-05-17 16:22:04 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2022-05-17 16:22:04 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2022-05-17 16:22:04 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-17 16:22:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-05-17 16:22:49 +0200Alleria(~textual@user/alleria)
2022-05-17 16:24:13 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
2022-05-17 16:24:43 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer)
2022-05-17 16:25:04 +0200noteness(~noteness@user/noteness) (Ping timeout: 240 seconds)
2022-05-17 16:26:00 +0200shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-05-17 16:26:34 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2022-05-17 16:32:34 +0200dsrt^(~dsrt@128-092-160-234.biz.spectrum.com) (Remote host closed the connection)
2022-05-17 16:37:01 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-05-17 16:37:58 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:a5d1:4307:bef2:bbe6)
2022-05-17 16:39:00 +0200zer0bitz_(~zer0bitz@2001:2003:f444:8f00:4cea:d190:80e2:b2b0) (Ping timeout: 248 seconds)
2022-05-17 16:39:20 +0200son0p(~ff@181.136.122.143) (Read error: Connection reset by peer)
2022-05-17 16:40:34 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-17 16:40:51 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-17 16:44:01 +0200op(~op@h-62-63-197-58.NA.cust.bahnhof.se)
2022-05-17 16:44:53 +0200 <op> Hi there haskellers
2022-05-17 16:45:19 +0200 <op> Really banging my head against a conduit problem, anyone willing to give me some thoughts?
2022-05-17 16:45:25 +0200 <op> :)
2022-05-17 16:45:25 +0200Vajb(~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer)
2022-05-17 16:45:37 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-17 16:45:42 +0200 <geekosaur> best to just ask your question
2022-05-17 16:46:20 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-17 16:46:20 +0200juri__(~juri@79.140.115.105) (Read error: Connection reset by peer)
2022-05-17 16:46:45 +0200 <op> Yeah you're right ;)
2022-05-17 16:47:10 +0200 <op> So I'm streaming chess games (in PGN format) from the Lichess API
2022-05-17 16:47:15 +0200juri_(~juri@79.140.115.105)
2022-05-17 16:48:36 +0200 <op> But since I'm using http-conduits the stream is arbitrarily chunked and PGN-agnostic, meaning I have to "repair" the chunks in an intermediary conduit before it goes into the parsing conduit.
2022-05-17 16:50:15 +0200 <op> But I'm struggling with feeding the leftovers (the unparsed ByteString that remains after the first successful parse) back into the repair-conduit.
2022-05-17 16:50:53 +0200nate1(~nate@98.45.169.16)
2022-05-17 16:51:02 +0200 <op> I don't have a lot of writing real-estate here, but here's my stackoverflow post with the relevant code https://stackoverflow.com/questions/72263167/repairing-streamed-http-chunks-in-haskell-conduit
2022-05-17 16:51:59 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-05-17 16:52:07 +0200noteness(~noteness@user/noteness)
2022-05-17 16:52:07 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-17 16:52:08 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-05-17 16:52:20 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-05-17 16:53:03 +0200 <geekosaur> I'm not an expert on conduit, but it feels to me like this might be going about it the wrong way; a streaming parser might be better suited to the problem
2022-05-17 16:53:19 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-05-17 16:53:43 +0200 <geekosaur> does the "repair" and "rechunking" parts as it goes
2022-05-17 16:54:20 +0200 <op> You might be right, I did get the impression I was reinventing a lot of wheels when I started implementing this haha
2022-05-17 16:54:38 +0200 <op> Any relevant libraries that spring to mind?
2022-05-17 16:55:24 +0200 <geekosaur> attoparsec is good at streaming, and I'm pretty sure there's already a conduit for it
2022-05-17 16:55:31 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-05-17 16:55:44 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-05-17 16:56:39 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 16:58:56 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-17 16:59:10 +0200shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2022-05-17 17:00:26 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-17 17:01:19 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-05-17 17:02:26 +0200Benzi-Junior(~BenziJuni@dsl-149-64-179.hive.is)
2022-05-17 17:03:36 +0200xkuru(~xkuru@user/xkuru)
2022-05-17 17:06:31 +0200flupe(~baboum@radon.sbi.re)
2022-05-17 17:07:02 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 17:08:29 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit)
2022-05-17 17:10:08 +0200statusbot1(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2022-05-17 17:10:23 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2022-05-17 17:10:41 +0200 <tomsmeding> maerwald[m]: "the reason this broke were missing profiling libs in GHC 9.0.2 bindist" -- someone I know ran into this, do you happen to have a pointer to a workaround?
2022-05-17 17:14:48 +0200 <maerwald[m]> tomsmeding: use ghcup
2022-05-17 17:14:48 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-05-17 17:15:02 +0200 <maerwald[m]> It has the fixed bindists
2022-05-17 17:15:16 +0200 <tomsmeding> maerwald[m]: right. :p Any chance of stack getting them too?
2022-05-17 17:15:32 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 17:15:50 +0200 <tomsmeding> oh I see you changed the links in the .yaml to downloads.haskell.org/~ghcup/unofficial-bindists
2022-05-17 17:15:57 +0200 <tomsmeding> presumably stack doesn't like "unofficial bindists"
2022-05-17 17:16:24 +0200 <geekosaur> "unofficial" kinda goes against its policy, yeh
2022-05-17 17:16:48 +0200tomsmedingwonders why there is no official fixed bindist then, but eh
2022-05-17 17:16:52 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 17:17:42 +0200 <geekosaur> hm, I thought maerwald[m] had asked #ghc about that
2022-05-17 17:17:47 +0200ph88(~ph88@ip5f5af71f.dynamic.kabel-deutschland.de) (Quit: Leaving)
2022-05-17 17:18:51 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 17:19:12 +0200juri_(~juri@79.140.115.105) (Read error: Connection reset by peer)
2022-05-17 17:20:06 +0200 <maerwald[m]> Those bindists are official
2022-05-17 17:20:06 +0200 <maerwald[m]> They were prepared by mpickering
2022-05-17 17:20:49 +0200 <maerwald[m]> https://downloads.haskell.org/~ghc/9.0.2/ghc-9.0.2a-x86_64-fedora27-linux.tar.xz
2022-05-17 17:20:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-05-17 17:20:59 +0200 <maerwald[m]> I think it's that
2022-05-17 17:22:04 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection)
2022-05-17 17:22:17 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-05-17 17:24:21 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Remote host closed the connection)
2022-05-17 17:24:32 +0200sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-05-17 17:24:48 +0200juri_(~juri@178.63.35.222)
2022-05-17 17:25:50 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:5956:f382:8167:41c0) (Quit: WeeChat 2.8)
2022-05-17 17:26:39 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
2022-05-17 17:35:03 +0200poljar(~poljar@93-139-81-189.adsl.net.t-com.hr)
2022-05-17 17:35:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 17:36:50 +0200mmhat(~mmh@p200300f1c7104216ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.5)
2022-05-17 17:37:34 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-05-17 17:41:25 +0200dagi35605(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2022-05-17 17:41:39 +0200jmct_(sid160793@id-160793.tinside.irccloud.com)
2022-05-17 17:41:40 +0200jeffz`(~user@lambda.xen.prgmr.com)
2022-05-17 17:41:40 +0200lightandlight_(sid135476@id-135476.helmsley.irccloud.com)
2022-05-17 17:41:41 +0200christiaanb_(sid84827@id-84827.lymington.irccloud.com)
2022-05-17 17:41:42 +0200chessai_(sid225296@id-225296.lymington.irccloud.com)
2022-05-17 17:41:43 +0200sa1_(sid7690@id-7690.ilkley.irccloud.com)
2022-05-17 17:41:46 +0200idnar_(sid12240@debian/mithrandi)
2022-05-17 17:42:01 +0200Techcable_(~Techcable@user/Techcable)
2022-05-17 17:42:10 +0200joeyh_(~joeyh@66.228.36.95)
2022-05-17 17:42:10 +0200alinab_(sid468903@id-468903.helmsley.irccloud.com)
2022-05-17 17:42:11 +0200mcfilib_(sid302703@user/mcfilib)
2022-05-17 17:42:14 +0200even4voi-(even4void@came.here.for-some.fun)
2022-05-17 17:42:16 +0200pepeiborra_(sid443799@id-443799.ilkley.irccloud.com)
2022-05-17 17:42:17 +0200dpratt_(sid193493@id-193493.helmsley.irccloud.com)
2022-05-17 17:42:22 +0200ysh_(sid6017@id-6017.ilkley.irccloud.com)
2022-05-17 17:42:25 +0200dunj3_(~dunj3@kingdread.de)
2022-05-17 17:42:26 +0200vito_(sid1962@user/vito)
2022-05-17 17:42:27 +0200Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2022-05-17 17:42:27 +0200FragByte_(~christian@user/fragbyte)
2022-05-17 17:42:28 +0200cbarrett_(sid192934@id-192934.helmsley.irccloud.com)
2022-05-17 17:42:31 +0200matijja`(~matijja@193.77.181.201)
2022-05-17 17:42:31 +0200kevinsjoberg_(sid499516@id-499516.lymington.irccloud.com)
2022-05-17 17:42:36 +0200hugo|(znc@verdigris.lysator.liu.se)
2022-05-17 17:42:39 +0200feliix42_(~felix@gibbs.uberspace.de)
2022-05-17 17:42:39 +0200integral_(sid296274@user/integral)
2022-05-17 17:42:42 +0200bjs_(sid190364@user/bjs)
2022-05-17 17:42:43 +0200madnight_(~madnight@static.59.103.201.195.clients.your-server.de)
2022-05-17 17:42:43 +0200joel135_(sid136450@id-136450.hampstead.irccloud.com)
2022-05-17 17:42:43 +0200tired-(~tired@user/tired)
2022-05-17 17:42:44 +0200Pent_(sid313808@id-313808.lymington.irccloud.com)
2022-05-17 17:42:45 +0200sajith_(~sajith@user/sajith)
2022-05-17 17:42:45 +0200p3n_(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2022-05-17 17:42:47 +0200berberman_(~berberman@user/berberman)
2022-05-17 17:42:47 +0200dminuoso_(~dminuoso@user/dminuoso)
2022-05-17 17:42:48 +0200mcfrd(~mcfrdy@user/mcfrdy)
2022-05-17 17:42:52 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2022-05-17 17:42:52 +0200jakesyl___(sid56879@id-56879.hampstead.irccloud.com)
2022-05-17 17:42:56 +0200SrPx_(sid108780@id-108780.uxbridge.irccloud.com)
2022-05-17 17:43:06 +0200NiKaN_(sid385034@id-385034.helmsley.irccloud.com)
2022-05-17 17:43:11 +0200anderson_(~ande@user/anderson)
2022-05-17 17:43:36 +0200kadobanana(~mud@user/kadoban)
2022-05-17 17:43:51 +0200markasoftware_(~quassel@107.161.26.124)
2022-05-17 17:43:52 +0200Dykam_(Dykam@dykam.nl)
2022-05-17 17:43:56 +0200ladyfriday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2022-05-17 17:44:09 +0200tinwood_(~tinwood@general.default.akavanagh.uk0.bigv.io)
2022-05-17 17:44:43 +0200panda_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2022-05-17 17:44:44 +0200walt(~ggVGc@a.lowtech.earth)
2022-05-17 17:44:44 +0200xdej_(~xdej@quatramaran.salle-s.org)
2022-05-17 17:44:52 +0200dexter1(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2022-05-17 17:44:54 +0200bcoppens_(~bartcopp@vpn2.bartcoppens.be)
2022-05-17 17:44:54 +0200Ttech(adran@botters/adran)
2022-05-17 17:44:56 +0200w1gz_(~weechat@2a03:b0c0:1:d0::1123:1)
2022-05-17 17:44:58 +0200ddb1(~ddb@2607:5300:203:9993::196)
2022-05-17 17:45:03 +0200absence_(torgeihe@hildring.pvv.ntnu.no)
2022-05-17 17:45:05 +0200kawzeg_(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2022-05-17 17:45:11 +0200dfordvm(~dfordivam@tk2-219-19469.vs.sakura.ne.jp)
2022-05-17 17:45:14 +0200dkeohane3(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2022-05-17 17:45:14 +0200dyniec_(~dyniec@mail.dybiec.info)
2022-05-17 17:45:28 +0200fryguybo1(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2022-05-17 17:45:37 +0200mal1(~mal@ns2.wyrd.be)
2022-05-17 17:47:25 +0200odnes(~odnes@5-203-155-92.pat.nym.cosmote.net)
2022-05-17 17:48:34 +0200mht-(~mht@2a03:b0c0:3:e0::1e2:c001)
2022-05-17 17:48:45 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-05-17 17:49:22 +0200eldritch_(~eldritch@user/eldritch)
2022-05-17 17:49:58 +0200even4void(even4void@came.here.for-some.fun) (*.net *.split)
2022-05-17 17:49:58 +0200mud(~mud@user/kadoban) (*.net *.split)
2022-05-17 17:49:58 +0200ddb(~ddb@2607:5300:203:9993::196) (*.net *.split)
2022-05-17 17:49:58 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2022-05-17 17:49:58 +0200tired(~tired@user/tired) (*.net *.split)
2022-05-17 17:49:58 +0200w1gz(~weechat@2a03:b0c0:1:d0::1123:1) (*.net *.split)
2022-05-17 17:49:58 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
2022-05-17 17:49:58 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (*.net *.split)
2022-05-17 17:49:58 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (*.net *.split)
2022-05-17 17:49:58 +0200SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2) (*.net *.split)
2022-05-17 17:49:58 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split)
2022-05-17 17:49:58 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f) (*.net *.split)
2022-05-17 17:49:58 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291) (*.net *.split)
2022-05-17 17:49:59 +0200Pikachu[m](~pychaumat@2001:470:69fc:105::2:1ce) (*.net *.split)
2022-05-17 17:49:59 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018) (*.net *.split)
2022-05-17 17:49:59 +0200feliix42(~felix@gibbs.uberspace.de) (*.net *.split)
2022-05-17 17:49:59 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split)
2022-05-17 17:49:59 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (*.net *.split)
2022-05-17 17:49:59 +0200geekosaur[m][m](~geekosaur@2001:470:69fc:105::2:cb7) (*.net *.split)
2022-05-17 17:49:59 +0200yosef36(~yosefweis@2001:470:69fc:105::1:e501) (*.net *.split)
2022-05-17 17:49:59 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (*.net *.split)
2022-05-17 17:49:59 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (*.net *.split)
2022-05-17 17:49:59 +0200Ash[m](~signal-wa@2001:470:69fc:105::1:2318) (*.net *.split)
2022-05-17 17:49:59 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d) (*.net *.split)
2022-05-17 17:49:59 +0200fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split)
2022-05-17 17:49:59 +0200matijja(~matijja@193.77.181.201) (*.net *.split)
2022-05-17 17:49:59 +0200FragByte(~christian@user/fragbyte) (*.net *.split)
2022-05-17 17:49:59 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2022-05-17 17:49:59 +0200dkeohane2(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split)
2022-05-17 17:49:59 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2022-05-17 17:49:59 +0200dpratt(sid193493@id-193493.helmsley.irccloud.com) (*.net *.split)
2022-05-17 17:49:59 +0200mcfrdy(~mcfrdy@user/mcfrdy) (*.net *.split)
2022-05-17 17:49:59 +0200Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2022-05-17 17:49:59 +0200Techcable(~Techcable@user/Techcable) (*.net *.split)
2022-05-17 17:49:59 +0200dunj3(~dunj3@kingdread.de) (*.net *.split)
2022-05-17 17:49:59 +0200dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split)
2022-05-17 17:49:59 +0200sus(zero@user/zeromomentum) (*.net *.split)
2022-05-17 17:49:59 +0200jeffz(~user@lambda.xen.prgmr.com) (*.net *.split)
2022-05-17 17:49:59 +0200joeyh(joeyh@kitenet.net) (*.net *.split)
2022-05-17 17:49:59 +0200mht-wtf(~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split)
2022-05-17 17:49:59 +0200Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2022-05-17 17:49:59 +0200dyniec(~dyniec@mail.dybiec.info) (*.net *.split)
2022-05-17 17:49:59 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2022-05-17 17:49:59 +0200dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2022-05-17 17:49:59 +0200Adran(adran@botters/adran) (*.net *.split)
2022-05-17 17:49:59 +0200synthmeat(~synthmeat@user/synthmeat) (*.net *.split)
2022-05-17 17:49:59 +0200berberman(~berberman@user/berberman) (*.net *.split)
2022-05-17 17:49:59 +0200kristjansson(sid126207@id-126207.tinside.irccloud.com) (*.net *.split)
2022-05-17 17:49:59 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2022-05-17 17:49:59 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (*.net *.split)
2022-05-17 17:49:59 +0200hugo-(znc@verdigris.lysator.liu.se) (*.net *.split)
2022-05-17 17:49:59 +0200markasoftware(~quassel@107.161.26.124) (*.net *.split)
2022-05-17 17:49:59 +0200absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2022-05-17 17:50:00 +0200christiaanb(sid84827@id-84827.lymington.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200sa1(sid7690@id-7690.ilkley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200kevinsjoberg(sid499516@id-499516.lymington.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200bjs(sid190364@user/bjs) (*.net *.split)
2022-05-17 17:50:00 +0200cbarrett(sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200pepeiborra(sid443799@id-443799.ilkley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200Pent(sid313808@id-313808.lymington.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200joel135(sid136450@2a03:5180:f:4::2:1502) (*.net *.split)
2022-05-17 17:50:00 +0200jakesyl__(sid56879@2a03:5180:f:4::de2f) (*.net *.split)
2022-05-17 17:50:00 +0200vito(sid1962@user/vito) (*.net *.split)
2022-05-17 17:50:00 +0200mcfilib(sid302703@user/mcfilib) (*.net *.split)
2022-05-17 17:50:00 +0200nisstyre(wes@user/nisstyre) (*.net *.split)
2022-05-17 17:50:00 +0200lieven(~mal@ns2.wyrd.be) (*.net *.split)
2022-05-17 17:50:00 +0200lightandlight(sid135476@id-135476.helmsley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200idnar(sid12240@debian/mithrandi) (*.net *.split)
2022-05-17 17:50:00 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200ggVGc(~ggVGc@a.lowtech.earth) (*.net *.split)
2022-05-17 17:50:00 +0200jmct(sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200dfordivam1(~dfordivam@tk2-219-19469.vs.sakura.ne.jp) (*.net *.split)
2022-05-17 17:50:00 +0200leah2(~leah@vuxu.org) (*.net *.split)
2022-05-17 17:50:00 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split)
2022-05-17 17:50:00 +0200alinab(sid468903@id-468903.helmsley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200Dykam(Dykam@dykam.nl) (*.net *.split)
2022-05-17 17:50:00 +0200madnight(~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split)
2022-05-17 17:50:00 +0200sajith(~sajith@user/sajith) (*.net *.split)
2022-05-17 17:50:00 +0200dexter(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
2022-05-17 17:50:00 +0200bcoppens(~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2022-05-17 17:50:00 +0200xdej(~xdej@quatramaran.salle-s.org) (*.net *.split)
2022-05-17 17:50:00 +0200integral(sid296274@user/integral) (*.net *.split)
2022-05-17 17:50:00 +0200tinwood(~tinwood@canonical/tinwood) (*.net *.split)
2022-05-17 17:50:00 +0200eldritch(~eldritch@user/eldritch) (*.net *.split)
2022-05-17 17:50:00 +0200anderson(~ande@user/anderson) (*.net *.split)
2022-05-17 17:50:00 +0200ysh(sid6017@id-6017.ilkley.irccloud.com) (*.net *.split)
2022-05-17 17:50:00 +0200mcfrdmcfrdy
2022-05-17 17:50:00 +0200chessai_chessai
2022-05-17 17:50:00 +0200dpratt_dpratt
2022-05-17 17:50:00 +0200anderson_anderson
2022-05-17 17:50:01 +0200christiaanb_christiaanb
2022-05-17 17:50:01 +0200FragByte_FragByte
2022-05-17 17:50:01 +0200Techcable_Techcable
2022-05-17 17:50:01 +0200pepeiborra_pepeiborra
2022-05-17 17:50:01 +0200sa1_sa1
2022-05-17 17:50:01 +0200jmct_jmct
2022-05-17 17:50:01 +0200mcfilib_mcfilib
2022-05-17 17:50:01 +0200lightandlight_lightandlight
2022-05-17 17:50:02 +0200cbarrett_cbarrett
2022-05-17 17:50:02 +0200alinab_alinab
2022-05-17 17:50:02 +0200idnar_idnar
2022-05-17 17:50:03 +0200vito_vito
2022-05-17 17:50:03 +0200joel135_joel135
2022-05-17 17:50:03 +0200kevinsjoberg_kevinsjoberg
2022-05-17 17:50:05 +0200SrPx_SrPx
2022-05-17 17:50:06 +0200Pent_Pent
2022-05-17 17:50:06 +0200bjs_bjs
2022-05-17 17:50:06 +0200integral_integral
2022-05-17 17:50:07 +0200kristjansson_kristjansson
2022-05-17 17:50:11 +0200NiKaN_NiKaN
2022-05-17 17:50:19 +0200econo(uid147250@user/econo)
2022-05-17 17:51:34 +0200eldritch_eldritch
2022-05-17 17:51:43 +0200ladyfriday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .)
2022-05-17 17:52:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-05-17 17:53:26 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2022-05-17 17:54:02 +0200alx741(~alx741@host-186-3-154-11.netlife.ec)
2022-05-17 17:54:16 +0200inversed_(~inversed@176.248.27.211) (Ping timeout: 272 seconds)
2022-05-17 17:55:19 +0200alx741(~alx741@host-186-3-154-11.netlife.ec) (Read error: Connection reset by peer)
2022-05-17 17:55:58 +0200davean(~davean@davean.sciesnet.net)
2022-05-17 17:56:23 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2022-05-17 17:56:41 +0200nisstyre(wes@user/nisstyre)
2022-05-17 17:57:01 +0200leah2(~leah@vuxu.org)
2022-05-17 17:57:05 +0200synthmeat(~synthmeat@user/synthmeat)
2022-05-17 17:57:28 +0200Unhammer(~Unhammer@user/unhammer)
2022-05-17 17:57:53 +0200inversed(~inversed@176.248.27.211)
2022-05-17 17:58:02 +0200geekosaur[m][m](~geekosaur@2001:470:69fc:105::2:cb7)
2022-05-17 17:59:53 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2022-05-17 18:00:00 +0200Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2022-05-17 18:00:14 +0200RajatVerma[m](~rajatvmat@2001:470:69fc:105::1:fb34) (Quit: You have been kicked for being idle)
2022-05-17 18:00:16 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-05-17 18:00:31 +0200ec(~ec@gateway/tor-sasl/ec)
2022-05-17 18:00:57 +0200_xor(~xor@72.49.198.103)
2022-05-17 18:01:01 +0200edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
2022-05-17 18:01:01 +0200edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
2022-05-17 18:01:01 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2022-05-17 18:01:42 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2022-05-17 18:01:46 +0200Ash[m](~signal-wa@2001:470:69fc:105::1:2318)
2022-05-17 18:01:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-05-17 18:02:33 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2022-05-17 18:02:45 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2022-05-17 18:03:13 +0200gpncarl(~gpncarl@120.244.220.69)
2022-05-17 18:03:22 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-17 18:03:29 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-05-17 18:03:38 +0200VarikValefor[m](~varikvale@2001:470:69fc:105::a5d)
2022-05-17 18:03:43 +0200sibnull[m](~sibnullma@2001:470:69fc:105::1:1291)
2022-05-17 18:03:45 +0200ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2022-05-17 18:03:58 +0200ongy[m](~ongymatri@2001:470:69fc:105::5018)
2022-05-17 18:04:02 +0200pareto-optimal-d(~pareto-op@2001:470:69fc:105::1:b61f)
2022-05-17 18:04:34 +0200_xor(~xor@72.49.198.103) (Client Quit)
2022-05-17 18:05:03 +0200SridharRatnakuma(~sridmatri@2001:470:69fc:105::1c2)
2022-05-17 18:05:04 +0200Pikachu[m](~pychaumat@2001:470:69fc:105::2:1ce)
2022-05-17 18:05:17 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2022-05-17 18:05:18 +0200yosef36(~yosefweis@2001:470:69fc:105::1:e501)
2022-05-17 18:06:19 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-05-17 18:07:19 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-17 18:10:20 +0200mbuf(~Shakthi@31.32.33.168) (Quit: Leaving)
2022-05-17 18:11:30 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-05-17 18:11:39 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2022-05-17 18:12:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-17 18:13:01 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 18:13:41 +0200coot(~coot@213.134.190.95)
2022-05-17 18:19:29 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.5)
2022-05-17 18:20:02 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 18:22:05 +0200 <raehik> I can write unboxed literals with 123# :: Int#, 456## :: Word#. Is there a way for me to write 255 :: Word8# ?
2022-05-17 18:23:27 +0200 <tomsmeding> raehik: no, because a bare literal `255` gets desugared to `fromInteger <an_internal_255_integer_interal>`, and fromInteger has result type `a` that must implement `Num`, and the type argument of `Num` has kind `Type`
2022-05-17 18:23:33 +0200 <tomsmeding> and unboxed types do not have kind Type
2022-05-17 18:24:39 +0200 <raehik> Right. So I can't define a literal Word8#, except by writing a Word# and converting it?
2022-05-17 18:24:43 +0200 <geekosaur> I think they meant more then Word8 part than the undecorated value? I'm still not sure how you do that
2022-05-17 18:24:52 +0200 <geekosaur> except by converting
2022-05-17 18:25:19 +0200 <raehik> yeah I wrote 255 instead of 255## there -- because 123## is a Word#, so I guess Word8# would require more syntax (or polymorphic unboxed lits)
2022-05-17 18:27:05 +0200 <tomsmeding> ah right, then I don't know, I was going on the undecorated literal purely
2022-05-17 18:27:07 +0200alp_(~alp@user/alp)
2022-05-17 18:28:43 +0200 <tomsmeding> demo of the literal stuff https://paste.tomsmeding.com/oqtDSwqw
2022-05-17 18:28:44 +0200 <raehik> wordToWord8# 256## :: Word8# == 0 works (pretend they're lifted)
2022-05-17 18:30:18 +0200 <raehik> this is largely 9.2 dependent where machine ints got their own types
2022-05-17 18:30:53 +0200 <raehik> (or maybe it was 9.0)
2022-05-17 18:31:59 +0200op(~op@h-62-63-197-58.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2022-05-17 18:32:55 +0200 <geekosaur> 9.2
2022-05-17 18:34:11 +0200myme(~myme@2a01:799:d5a:cd00:c044:db87:472c:8a95) (Ping timeout: 252 seconds)
2022-05-17 18:34:21 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 18:35:04 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 18:35:18 +0200myme(~myme@2a01:799:d5a:cd00:b525:9c95:fca0:da0b)
2022-05-17 18:39:59 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-17 18:42:42 +0200synthmeat(~synthmeat@user/synthmeat) (Quit: WeeChat 3.5)
2022-05-17 18:43:05 +0200synthmeat(~synthmeat@user/synthmeat)
2022-05-17 18:44:07 +0200zincy(~zincy@2a00:23c8:970c:4801:18b4:9d3:33e8:26e3)
2022-05-17 18:46:15 +0200sander(~sander@user/sander) (Quit: So long! :))
2022-05-17 18:46:29 +0200titibandit(~thibaut@sunp.ient.rwth-aachen.de) (Remote host closed the connection)
2022-05-17 18:47:20 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 18:47:28 +0200son0p(~ff@181.136.122.143)
2022-05-17 18:49:55 +0200codaraxis(~codaraxis@user/codaraxis)
2022-05-17 18:53:22 +0200zincy(~zincy@2a00:23c8:970c:4801:18b4:9d3:33e8:26e3) (Remote host closed the connection)
2022-05-17 18:53:41 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 18:53:55 +0200Kaiepi(~Kaiepi@156.34.47.253) (Remote host closed the connection)
2022-05-17 18:54:19 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-17 18:55:09 +0200sander(~sander@user/sander)
2022-05-17 18:55:56 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-17 18:56:24 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 18:57:10 +0200gpncarl(~gpncarl@120.244.220.69) (Ping timeout: 240 seconds)
2022-05-17 18:58:18 +0200vpan(~0@212.117.1.172) (Quit: Leaving.)
2022-05-17 18:59:43 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-05-17 19:00:57 +0200 <sm> happy #haskell birthday byorgey!
2022-05-17 19:01:31 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-05-17 19:05:00 +0200 <raehik> (# #) is the unboxed unit, right? GHCi refuses to tell me anything about it, just parse errors and not in scope
2022-05-17 19:07:05 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection)
2022-05-17 19:07:56 +0200 <geekosaur> looks to be a bug in :info
2022-05-17 19:08:18 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-05-17 19:08:20 +0200 <geekosaur> it also doesn't like printing it but the error message there is at least clear that `print` wants a lifted type
2022-05-17 19:08:37 +0200 <raehik> Ah wait, it's the unboxed 0-tuple
2022-05-17 19:08:48 +0200 <raehik> I needed to :set -XUnboxedTuples
2022-05-17 19:08:52 +0200 <geekosaur> yes
2022-05-17 19:09:10 +0200 <geekosaur> but :info still doesn't like it
2022-05-17 19:09:13 +0200 <raehik> I'm used to the no printing unlifted by now xD
2022-05-17 19:09:33 +0200 <raehik> hmm, yes. :t and :k work as I hoped
2022-05-17 19:11:02 +0200razetime(~quassel@117.254.35.226) (Ping timeout: 252 seconds)
2022-05-17 19:15:37 +0200 <int-e> Hmm. :i wants a single identifier, not an expression. :i (##) and :i (#,#) work
2022-05-17 19:16:26 +0200 <int-e> And it's not specific to unboxed types: :i [ ] fails where :i [] works.
2022-05-17 19:16:36 +0200odnes(~odnes@5-203-155-92.pat.nym.cosmote.net) (Quit: Leaving)
2022-05-17 19:17:10 +0200 <geekosaur> fun
2022-05-17 19:17:20 +0200 <geekosaur> it could use some better error messages, in that case
2022-05-17 19:17:59 +0200 <EvanR> is an unboxed zero tuple like... a nothing
2022-05-17 19:18:14 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 19:18:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-05-17 19:22:20 +0200 <int-e> All the way to the RTS. There's special code for applying a function to nothings... stg_ap_v (ap = apply; v = void) (There's a few other nothings in ghc: the State# s tokens, the Proxy# a type...
2022-05-17 19:23:03 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-17 19:23:12 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-05-17 19:23:25 +0200 <EvanR> ghc masterfully handles nothing
2022-05-17 19:23:49 +0200 <Bulby[m]> 🤣
2022-05-17 19:24:43 +0200 <[exa]> [Anakin vs Padme meme voice:] "you meant Nothing right?"
2022-05-17 19:25:14 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-05-17 19:25:56 +0200MajorBiscuit(~MajorBisc@c-001-019-036.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4)
2022-05-17 19:26:15 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-05-17 19:33:23 +0200 <tomsmeding> Puzzle for those who haven't seen polymorphically recursive types yet: how many leaves can there be in a fully-defined (no bottoms) value of type T, where `data T a = Leaf a | Node (T (a, a))`?
2022-05-17 19:33:49 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2022-05-17 19:35:22 +0200kuribas(~user@ptr-17d51em3ti570thy98k.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2022-05-17 19:35:30 +0200MoC(~moc@user/moc)
2022-05-17 19:35:39 +0200aeka`(~aeka@pool-108-4-148-106.albyny.fios.verizon.net)
2022-05-17 19:36:03 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 19:36:56 +0200aeka-(~aeka@2606:6080:1001:16:3492:5f11:f1fb:66ae)
2022-05-17 19:37:39 +0200aeka(~aeka@2606:6080:2001:8:df6a:e365:26ff:7f06) (Ping timeout: 240 seconds)
2022-05-17 19:37:39 +0200aeka-aeka
2022-05-17 19:39:44 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 19:40:40 +0200aeka`(~aeka@pool-108-4-148-106.albyny.fios.verizon.net) (Ping timeout: 272 seconds)
2022-05-17 19:46:29 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-17 19:50:49 +0200 <maerwald> O(log n)?
2022-05-17 19:50:50 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr)
2022-05-17 19:52:02 +0200 <[exa]> well if any Leaf counts as a leaf, I'd say one.
2022-05-17 19:53:14 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 19:53:44 +0200 <EvanR> unlimited?
2022-05-17 19:53:55 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 19:54:12 +0200 <maerwald> [exa]: even a leaf can have a leaf :p
2022-05-17 19:54:24 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-05-17 19:55:19 +0200 <maerwald> EvanR: I think GHC would garbage collect after 9000, so that might be the max
2022-05-17 19:55:37 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 19:56:00 +0200 <EvanR> is this a dbz joke
2022-05-17 19:56:34 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net)
2022-05-17 20:01:40 +0200 <maerwald> r/therewasanattempt
2022-05-17 20:03:11 +0200 <tomsmeding> maerwald: what's n? What I intended to ask was "what is the set of possible leaf counts", as a subset of N
2022-05-17 20:03:39 +0200 <tomsmeding> Oh ooops
2022-05-17 20:03:56 +0200tomboy64(~tomboy64@user/tomboy64) (Quit: Off to see the wizard.)
2022-05-17 20:03:57 +0200 <tomsmeding> Heh [exa] takes the brownie points, but I intended "number of a's"
2022-05-17 20:04:11 +0200[exa]rejoices
2022-05-17 20:04:21 +0200 <kenaryn> Hello functional people! I'm in need of a bit of enlightment regarding to GHC building from source. I installed Z3 and stack using package manager (I use voidLinux. `uname -a` returns `Linux omega 5.15.39_1 #1 SMP Fri May 13 11:39:37 UTC 2022 x86_64 GNU/Linux`). I run `stack setup && stack install` then `stack upgrade --force-download --overwrite-policy=always` then `sudo ln -s /usr/lib/libncursesw.so.6
2022-05-17 20:04:27 +0200 <kenaryn> /usr/lib/libtinfo.so.6` (like https://docs.haskellstack.org/en/stable/faq/#how-do-i-install-ghc-in-stack-when-it-fails-with-the-… told me too). Finally, I run cabal update && cabal install cabal-install and added `${HOME}/.local/bin` in my PATH env var but to no prevail. I still have a `ghc-cabal: not found` error when trying to build ghc-tinfo6. Please can
2022-05-17 20:04:33 +0200 <kenaryn> someone help me?
2022-05-17 20:05:09 +0200 <kenaryn> Sorry for the splitted message :/ Here I have the error build log if it can help: http://0x0.st/oaoO.png
2022-05-17 20:05:19 +0200shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-05-17 20:05:25 +0200 <[exa]> kenaryn: tinfo6 uses a system terminfo db right?
2022-05-17 20:05:42 +0200 <kenaryn> exa: I do not know, I'm sorry.
2022-05-17 20:05:59 +0200 <[exa]> ah no that's likely not related
2022-05-17 20:06:45 +0200 <[exa]> tomsmeding: for the `a`s it's actual 2^depth or is there a catch?
2022-05-17 20:06:46 +0200zer0bitz_(~zer0bitz@2001:2003:f444:8f00:8559:801d:4c57:2c6)
2022-05-17 20:06:48 +0200 <kenaryn> I did installed ghc-9.0.2 with the voidlinux package manager too but it does not seem to conflit with the build attempt of ghc-tinfo6
2022-05-17 20:06:51 +0200slack1256(~slack1256@191.125.99.64)
2022-05-17 20:07:09 +0200 <tomsmeding> [exa]: precisely that, I did say it was a puzzle for the ones who hadn't seen types like these before :p
2022-05-17 20:07:25 +0200tomboy64(~tomboy64@user/tomboy64)
2022-05-17 20:07:32 +0200 <slack1256> Has anyone integrated haddock generated doc with github actions?
2022-05-17 20:07:40 +0200 <slack1256> I could use a blogpost on it right now.
2022-05-17 20:07:52 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:a5d1:4307:bef2:bbe6) (Ping timeout: 248 seconds)
2022-05-17 20:08:05 +0200 <kenaryn> exa: the offending line is: `utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist: 3: exec: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal: not found`
2022-05-17 20:08:07 +0200 <[exa]> tomsmeding: ._.
2022-05-17 20:08:22 +0200 <tomsmeding> kenaryn: is there a reason you're not using ghc's own build system, with ./boot and stuff?
2022-05-17 20:08:52 +0200Infinite(~Infinite@49.39.123.141)
2022-05-17 20:09:31 +0200 <kenaryn> @tomsmeding: I don't think there is a reason at all. My goal is to try out Granule lang but it does require GHC as a back-end compiler.
2022-05-17 20:09:31 +0200 <lambdabot> Unknown command, try @list
2022-05-17 20:09:46 +0200 <[exa]> slack1256: do you need multiple versions in gh-pages?
2022-05-17 20:10:00 +0200tomboy64(~tomboy64@user/tomboy64) (Read error: Connection reset by peer)
2022-05-17 20:10:09 +0200 <[exa]> if not, literally just run haddock and upload the built tree to gh-pages, there's even an action prepared for that iirc
2022-05-17 20:10:25 +0200 <tomsmeding> kenaryn: does Granule use a fork of ghc? Or is it just plain ghc from upstream? If the latter, just get it from ghcup lol
2022-05-17 20:10:25 +0200 <slack1256> No, just gen whatever is on master. It internal documentation/
2022-05-17 20:11:13 +0200tomboy64(~tomboy64@user/tomboy64)
2022-05-17 20:11:18 +0200 <maerwald> tomsmeding: yeah, I was trying to say it depends on the depth of the tree, but I didn't manage to come up with 2^depth lol
2022-05-17 20:11:20 +0200 <[exa]> slack1256: https://github.com/marketplace/actions/github-pages-action should do™
2022-05-17 20:11:53 +0200 <tomsmeding> kenaryn: if you really want to manually build ghc from source, see hadrian/README.md in the source tree
2022-05-17 20:12:02 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 20:13:00 +0200 <kenaryn> @tomsmeding: Granule use plain ghc from upstream I suppose. Here is the link https://github.com/granule-project/granule/wiki/Installing-Granule#build-granule-from-source
2022-05-17 20:13:00 +0200 <lambdabot> Unknown command, try @list
2022-05-17 20:13:43 +0200 <kenaryn> @tomsmeding: I may add that typing ldd ~/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.3.temp/ghc-8.8.3/utils/ghc-cabal/dist-install/build/tmp/ghc-cabal reports a lot of `stg_SRT_1_info: symbol not found`
2022-05-17 20:13:43 +0200 <lambdabot> Unknown command, try @list
2022-05-17 20:13:53 +0200 <tomsmeding> Oh eh granule tries to take over everything, then 🤷‍♂️
2022-05-17 20:14:12 +0200arjun(~arjun@user/arjun)
2022-05-17 20:14:22 +0200titibandit(~thibaut@xdsl-78-35-152-200.nc.de)
2022-05-17 20:14:30 +0200 <kenaryn> lol I can't read your emoticon.
2022-05-17 20:15:42 +0200slack1256noticed that glirc now has emoji support .
2022-05-17 20:15:54 +0200 <tomsmeding> kenaryn: it's a shrug :p
2022-05-17 20:16:02 +0200Infinite(~Infinite@49.39.123.141) (Ping timeout: 252 seconds)
2022-05-17 20:16:03 +0200 <slack1256> [exa]: Awesome!
2022-05-17 20:16:51 +0200 <kenaryn> @tomsmeding: I'm pretty new to all of this. Do you want me to follow this guideline: https://gitlab.haskell.org/ghc/ghc/-/blob/master/hadrian/README.md?
2022-05-17 20:16:52 +0200 <lambdabot> Unknown command, try @list
2022-05-17 20:17:10 +0200 <tomsmeding> kenaryn: depends on how granule wants its ghc
2022-05-17 20:17:19 +0200 <tomsmeding> I can have a look a bit later
2022-05-17 20:17:49 +0200 <tomsmeding> That would be how you normally compile ghc from source, but granule seems to want something special with its blasted stack-only setup
2022-05-17 20:18:43 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-05-17 20:19:12 +0200 <kenaryn> It does have its manners and whims I admit.
2022-05-17 20:21:31 +0200slac72307(~slack1256@181.42.55.67)
2022-05-17 20:22:01 +0200 <kenaryn> It seems like stack does not found ghc-cabal but I don't know what to do about it.
2022-05-17 20:22:18 +0200 <kenaryn> I never build anything from source in fact :D
2022-05-17 20:24:04 +0200 <tomsmeding> kenaryn: sorry only now looking at your screenshot. The issue is not with granule, either your stack installation is borked or somehow the binary distribution of ghc that stack downloads is borked
2022-05-17 20:24:06 +0200slack1256(~slack1256@191.125.99.64) (Ping timeout: 276 seconds)
2022-05-17 20:24:13 +0200 <tomsmeding> rm -rf ~/.stack and try again
2022-05-17 20:29:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-05-17 20:32:29 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-17 20:33:02 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be) (Ping timeout: 260 seconds)
2022-05-17 20:33:34 +0200jmd_(~jmdaemon@user/jmdaemon)
2022-05-17 20:33:50 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2022-05-17 20:34:05 +0200 <kenaryn> the error is happening during `stack setup -v`: http://0x0.st/oaoI.png
2022-05-17 20:34:06 +0200m1dnight(~christoph@78-22-9-5.access.telenet.be)
2022-05-17 20:34:52 +0200 <tomsmeding> kenaryn: yeah what you're seeing is stack trying to (locally) install the ghc that granule specified as its compiler
2022-05-17 20:35:02 +0200mima(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Quit: leaving)
2022-05-17 20:35:06 +0200 <tomsmeding> To use as the ghc to compile granule itself
2022-05-17 20:35:22 +0200 <kenaryn> Thanks for the explanation :)
2022-05-17 20:35:35 +0200mima(~mmh@aftr-62-216-207-15.dynamic.mnet-online.de)
2022-05-17 20:35:45 +0200 <kenaryn> I removed the ~/.stack and retried but to no avail :/
2022-05-17 20:35:46 +0200 <tomsmeding> Did you try removing ~/.stack wholesale and trying again?
2022-05-17 20:35:47 +0200 <tomsmeding> Ah
2022-05-17 20:35:57 +0200 <tomsmeding> Same output?
2022-05-17 20:36:31 +0200__monty__(~toonn@user/toonn)
2022-05-17 20:36:33 +0200 <kenaryn> yes when I `cd` in the granule it downloaded again ghc but failed to install it after unpacking and configuring
2022-05-17 20:36:50 +0200 <kenaryn> in the granule directory I mean.
2022-05-17 20:38:00 +0200 <tomsmeding> kenaryn: in that ...temp/ghc-8.8.3 directory, is there a utils directory? If so, how much of that ghc-cabal path exists there?
2022-05-17 20:40:48 +0200 <kenaryn> @tomseding: It's very strange. `ls /home/aurele/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.3.temp/ghc-8.8.3/utils/ghc-cabal/dist-install/build/tmp` returns ghc-cabal* ghc-cabal-bindist*
2022-05-17 20:40:48 +0200 <lambdabot> Unknown command, try @list
2022-05-17 20:41:04 +0200 <kenaryn> So the executable presumably missing does exist...
2022-05-17 20:41:28 +0200 <tomsmeding> kenaryn: try `ls -l`, what are the permission bits on that ghc-cabal
2022-05-17 20:41:41 +0200 <kenaryn> good point
2022-05-17 20:41:43 +0200 <tomsmeding> "not executable" also results in a "not found" error
2022-05-17 20:42:15 +0200 <kenaryn> -rwxr-xr-x
2022-05-17 20:42:19 +0200 <tomsmeding> If it does have rwxr-xr-x, rhen is your home directory mounted with noexec :p
2022-05-17 20:42:21 +0200 <tomsmeding> ^
2022-05-17 20:42:29 +0200 <tomsmeding> mount | grep home
2022-05-17 20:42:59 +0200 <kenaryn> You mean I must run this mount command?
2022-05-17 20:43:35 +0200 <tomsmeding> Yeah
2022-05-17 20:43:44 +0200 <tomsmeding> Changes nothing, just prints current mounts
2022-05-17 20:43:55 +0200 <tomsmeding> Check that /home/yourusername is not mounted noexec
2022-05-17 20:44:01 +0200 <kenaryn> /dev/sda4 on /home type ext4 (rw,relatime)
2022-05-17 20:44:20 +0200 <tomsmeding> Is that the only /home/* entry?
2022-05-17 20:44:36 +0200 <monochrom> Heh, I keep forgetting noexec too. I run a docker container with a tmpfs and put a student's exe in the tmpfs why oh why I can't run student's exe. Oh wait derp.
2022-05-17 20:45:15 +0200 <tomsmeding> monochrom: it's pernicious. But apparently the partition isn't mounted noexec here, so /me confused
2022-05-17 20:45:21 +0200 <kenaryn> Yes it's the only one printed with mount | grep home command
2022-05-17 20:45:33 +0200 <tomsmeding> Ah
2022-05-17 20:45:44 +0200 <tomsmeding> kenaryn: run `ldd ...../ghc-cabal`
2022-05-17 20:45:48 +0200 <tomsmeding> Probably missing libraries
2022-05-17 20:46:05 +0200 <kenaryn> Yes it will print a log of missing symbols
2022-05-17 20:46:05 +0200 <tomsmeding> That _also_ results in the same "not found" error
2022-05-17 20:46:10 +0200slack1256(~slack1256@191.125.99.64)
2022-05-17 20:46:42 +0200 <tomsmeding> Oh interesting, right
2022-05-17 20:47:18 +0200 <tomsmeding> kenaryn: doesn't it also report some missing libraries? Or only missing symbols?
2022-05-17 20:48:01 +0200 <kenaryn> ldd ~/.stack/programs/x86_64-linux/ghc-tinfo6-8.8.3.temp/ghc-8.8.3/utils/ghc-cabal/dist-install/build/tmp/ghc-cabal returns the following: http://0x0.st/oaod.png
2022-05-17 20:48:10 +0200slac72307(~slack1256@181.42.55.67) (Ping timeout: 240 seconds)
2022-05-17 20:48:39 +0200 <tomsmeding> Top of the output please?
2022-05-17 20:48:56 +0200 <kenaryn> Right away sir.
2022-05-17 20:49:17 +0200 <tomsmeding> :D
2022-05-17 20:49:52 +0200arjun(~arjun@user/arjun) (Quit: Leaving)
2022-05-17 20:49:54 +0200 <tomsmeding> Remote debugging always degenerates to this at some point
2022-05-17 20:50:15 +0200 <Hecate> https://twitter.com/TechnoEmpress/status/1526636158633091073
2022-05-17 20:50:16 +0200 <Hecate> no lie.
2022-05-17 20:50:45 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds)
2022-05-17 20:52:02 +0200 <kenaryn> I don't understand, I can't scroll back to the beginning (too much line for shell history MAX I suppose) so I did redirect the output to a file (`ldd .../ghc-cabal > file.txt)` but it only copy a few lines... like this: http://0x0.st/oaoh.png
2022-05-17 20:52:21 +0200 <kenaryn> Please how can I scroll back entirely?
2022-05-17 20:52:23 +0200nate1(~nate@98.45.169.16)
2022-05-17 20:52:35 +0200 <tomsmeding> kenaryn: ldd .../ghc-cabal 2>&1 | less
2022-05-17 20:53:26 +0200 <tomsmeding> a unix process has two output streams: stdout and stderr. Both go to the terminal normally. But pipes and file redirections only redirect stdout normally; 2>&1 puts stderr where stdout goes
2022-05-17 20:54:54 +0200 <kenaryn> @tomsmeding: you were right, loading some shared libraries did failed: http://0x0.st/oaoF.png
2022-05-17 20:54:55 +0200 <lambdabot> Unknown command, try @list
2022-05-17 20:55:09 +0200 <tomsmeding> Hecate: I'm only colorblind, but I always go through accessibility settings of stuff because there's usually useful settings there
2022-05-17 20:55:37 +0200mmhat(~mmh@p200300f1c7256ebeee086bfffe095315.dip0.t-ipconnect.de)
2022-05-17 20:55:42 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-05-17 20:55:49 +0200 <tomsmeding> kenaryn: right, it can't find all the haskell libraries. Then it stands to reason it can't find the haskell symbols, either. :P
2022-05-17 20:56:03 +0200 <tomsmeding> (STG is the final intermediate form of a program in GHC)
2022-05-17 20:56:12 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 20:56:19 +0200 <kenaryn> Agreed, but what can I do to win the battle against the electronic machine?
2022-05-17 20:56:32 +0200 <kenaryn> STG? what is that?
2022-05-17 20:56:41 +0200 <tomsmeding> nothing you need to know anything about now
2022-05-17 20:56:50 +0200 <tomsmeding> was just explaining where that "stg" in the symbols comes from
2022-05-17 20:56:58 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 20:57:06 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-17 20:57:10 +0200 <kenaryn> Roger that.
2022-05-17 20:57:39 +0200 <tomsmeding> but um, presumably stack runs that ghc-cabal with some interesting environment so that it _can_ find libraries, normally; but annoying to check
2022-05-17 20:57:51 +0200 <monochrom> Is this an out-of-space scenerio?
2022-05-17 20:58:40 +0200 <tomsmeding> kenaryn: check disk space, also in /tmp, but monochrom: then I'd expect some "out of space" error and there doesn't seem to be any :p https://0x0.st/oaoI.png
2022-05-17 20:59:27 +0200 <kenaryn> df /tmp
2022-05-17 20:59:27 +0200 <kenaryn> Filesystem Type Size Used Avail Use% Mounted on
2022-05-17 20:59:31 +0200 <kenaryn> tmpfs tmpfs 7.8G 7.1M 7.8G 1% /tmp
2022-05-17 20:59:45 +0200 <tomsmeding> and the Avail for /home?
2022-05-17 20:59:50 +0200 <EvanR> you haven't even seen my final intermediate form!
2022-05-17 21:00:43 +0200 <tomsmeding> oh right, after stg you get cmm, but eh
2022-05-17 21:01:21 +0200 <kenaryn> Available space disk seems OK: https://0x0.st/oaHs.png
2022-05-17 21:01:50 +0200 <tomsmeding> kenaryn: oh yeah that's plenty space
2022-05-17 21:02:14 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-17 21:02:25 +0200 <kenaryn> I wonder what systemd is listed as voidlinux runs with runit :/
2022-05-17 21:02:29 +0200 <tomsmeding> currently trying to install the same ghc version using stack to see what it does, but no promises
2022-05-17 21:02:38 +0200 <kenaryn> 's/what/why/'
2022-05-17 21:02:54 +0200 <kenaryn> Thank you for your patience :)
2022-05-17 21:03:28 +0200 <tomsmeding> kenaryn: heh, interesting about systemd, but out of scope :p
2022-05-17 21:03:36 +0200 <monochrom> "voidlinux" and "runit" are waiting for a Haskell or Curry-Howard joke but why is Linux involved :)
2022-05-17 21:03:43 +0200 <kenaryn> stack --version returns Version 2.7.5, Git revision ba147e6f59b2da75b1beb98b1888cce97f7032b1 x86_64 hpack-0.34.4
2022-05-17 21:03:55 +0200 <kenaryn> lol..
2022-05-17 21:07:40 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-05-17 21:07:59 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-05-17 21:09:20 +0200joeyh_(~joeyh@66.228.36.95) (Quit: ZNC 1.8.2+deb2+b4 - https://znc.in)
2022-05-17 21:09:30 +0200joeyh(~joeyh@kitenet.net)
2022-05-17 21:11:36 +0200 <kenaryn> Because libm.so.6 => /lib64/ld-linux-x86-64.so.2 seems to fail, could it be because I use musl instead of glibc?
2022-05-17 21:11:41 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-05-17 21:11:54 +0200 <kenaryn> I shall have pointed it out from the beginning... :D
2022-05-17 21:12:06 +0200 <tomsmeding> kenaryn: does that fail? Doesn't look like failing here https://0x0.st/oaoF.png
2022-05-17 21:12:25 +0200 <tomsmeding> though the musl thing _may_ be a problem
2022-05-17 21:12:48 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 21:12:57 +0200 <kenaryn> the loading error follow immediately that line so I asked myself if it could be the system C library.
2022-05-17 21:12:59 +0200 <tomsmeding> these days a binary distribution of ghc is made that supports musl if I remember correctly, but not sure if they already did that for 8.8.3
2022-05-17 21:13:42 +0200 <tomsmeding> kenaryn: those "Error loading shared library" errors are just libraries that should've come after libm, the moment it prints libm => something-that-is-not-"not found", libm is okay
2022-05-17 21:14:24 +0200 <kenaryn> Allright, thank you for taking the time to explain it to me.
2022-05-17 21:15:09 +0200 <tomsmeding> (trying to wrangle my system into getting logs of process executions, I thought I had a tool that worked but it fails, using another tool now)
2022-05-17 21:17:04 +0200 <tomsmeding> (yay intercept(1))
2022-05-17 21:17:28 +0200 <tomsmeding> right, a whole bunch of LD_LIBRARY_PATH
2022-05-17 21:17:53 +0200 <kenaryn> I can't find anything related to musl so I hope ghc 8.8.x branch does support it.
2022-05-17 21:17:57 +0200nbms^(~nbms@128-092-160-234.biz.spectrum.com)
2022-05-17 21:19:18 +0200Taneb0Taneb
2022-05-17 21:19:20 +0200 <kenaryn> my LD_LIBRARY_PATH is empty, does that matter?
2022-05-17 21:19:28 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-05-17 21:19:41 +0200 <tomsmeding> no stack sets it, wait a sec
2022-05-17 21:20:18 +0200 <tomsmeding> kenaryn: run this: https://tomsmeding.com/vang/MotVCz (those are two lines -- the second line is very long)
2022-05-17 21:20:28 +0200 <tomsmeding> oh crap
2022-05-17 21:20:35 +0200 <tomsmeding> replace all the /home/tom with /home/yourusername
2022-05-17 21:20:36 +0200 <tomsmeding> :')
2022-05-17 21:20:38 +0200 <kenaryn> I also defined my CFLAGS to 'O0 -g' maybe that's a thing? It was intended for tcc instead of gcc.
2022-05-17 21:20:50 +0200 <tomsmeding> kenaryn: -O0 instead of O0 hopefully?
2022-05-17 21:20:54 +0200raym(~raym@user/raym) (Read error: Connection reset by peer)
2022-05-17 21:21:03 +0200 <tomsmeding> but no that shouldn't make a difference, and if it does ghc's makefile is broken
2022-05-17 21:21:07 +0200 <kenaryn> CFLAGS=-O0 -g
2022-05-17 21:21:44 +0200 <tomsmeding> kenaryn: with username substituted https://tomsmeding.com/vang/BhouaV
2022-05-17 21:22:21 +0200 <kenaryn> Allright, I'll try to make it through :D
2022-05-17 21:22:42 +0200 <tomsmeding> (hoping that those paths are the same on your machine lol)
2022-05-17 21:23:27 +0200 <kenaryn> I must endure to see the truth!
2022-05-17 21:23:44 +0200 <kenaryn> functional paradigm with dependent types will prevail.
2022-05-17 21:25:21 +0200 <kenaryn> it returned env: ‘utils/ghc-cabal/dist-install/build/tmp/ghc-cabal’: No such file or directory
2022-05-17 21:26:35 +0200 <kenaryn> Your line sets the value of LD_LIBRARY_PATH is that right? I never thought to use `env` to do it.
2022-05-17 21:27:47 +0200 <EvanR> you're trying to enable dependent types?
2022-05-17 21:28:02 +0200 <kenaryn> It did not interpret the relative path correctly, seems to required the absolute path?
2022-05-17 21:28:21 +0200 <kenaryn> lol not for now, I'll wait a bit for linear Haskell.
2022-05-17 21:28:30 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds)
2022-05-17 21:28:52 +0200raym(~raym@user/raym)
2022-05-17 21:29:19 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-17 21:29:24 +0200 <tomsmeding> kenaryn: right, that was expected I guess. This one is more interesting: https://tomsmeding.com/vang/BRrUW5
2022-05-17 21:30:04 +0200 <tomsmeding> the relative path is okay, the "not found" is the same not found as earlier, with libraries being the issue, not the presence of the executable
2022-05-17 21:30:31 +0200 <kenaryn> Allright.
2022-05-17 21:30:49 +0200 <tomsmeding> kenaryn: using 'env' for setting an environment variable is a habit I have from fish (an alternative to bash), which historically didn't have the '$ A=1 program' syntax
2022-05-17 21:31:00 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-17 21:32:13 +0200 <kenaryn> Ah so you're a fish user :) I wonder if I may switch to it eventually, but don't link the autocompletion feature AT ALL.
2022-05-17 21:32:19 +0200 <kenaryn> like*
2022-05-17 21:32:35 +0200 <tomsmeding> interesting, I like the autocompletion a lot. Are you a zsh user by any chance?
2022-05-17 21:32:35 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-05-17 21:32:56 +0200 <tomsmeding> zsh is supposed to be the kitchen sink of features, but I've never actually used it
2022-05-17 21:33:05 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-17 21:34:20 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-17 21:34:37 +0200 <kenaryn> Yes I'm on oh-my-zsh framework steroids, but it's a big factory to use and zsh is such a complicated shell acting as an superset of an already weird shell (i.e. Bash).
2022-05-17 21:34:58 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Client Quit)
2022-05-17 21:35:51 +0200slac66662(~slack1256@181.42.55.163)
2022-05-17 21:35:51 +0200kenran(~kenran@200116b82bd4b3000144a4adfb536ead.dip.versatel-1u1.de)
2022-05-17 21:36:13 +0200 <kenaryn> So, your command returned with success but did not feed permanently the LD_LIBRARY_PATH env var. Do I need to do it manually? (with .zshenv file and typeset -TUx command? you know the zsh equivalent for EXPORT env_variable)
2022-05-17 21:36:31 +0200 <tomsmeding> kenaryn: no you definitely don't want that env variable permanently
2022-05-17 21:36:37 +0200 <tomsmeding> no errors from ldd?
2022-05-17 21:37:09 +0200 <kenaryn> the env command returned with 0 exit status. Now i retry the ldd command you mean?
2022-05-17 21:37:30 +0200 <tomsmeding> kenaryn: this one https://tomsmeding.com/vang/BRrUW5/.psub.ThCTGWnlkq runs ldd under env
2022-05-17 21:37:59 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
2022-05-17 21:38:12 +0200slack1256(~slack1256@191.125.99.64) (Ping timeout: 276 seconds)
2022-05-17 21:38:21 +0200 <kenaryn> Allright, thank you.
2022-05-17 21:39:00 +0200 <kenaryn> The last command returned with success.
2022-05-17 21:39:24 +0200 <tomsmeding> what's the output
2022-05-17 21:40:38 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-05-17 21:40:42 +0200 <tomsmeding> If all else fails we can also try this: install ghcup using the command line on https://www.haskell.org/ghcup/ ; if it asks whether you want X, answer no, but you may want the shell path modification. (Or you can do it manually by adding ~/.ghcup/bin to your path however you wish.) If that succeeded, run `ghcup tui`, and install ghc-8.8.3 by pressing `i` on it and then `s` on it. If that worked,
2022-05-17 21:40:42 +0200 <tomsmeding> uncomment this line and try running 'stack build': https://github.com/granule-project/granule/blob/main/stack.yaml#L34
2022-05-17 21:41:24 +0200tomsmedingis going to be away for a bit, might be back in 30min to an hour
2022-05-17 21:41:35 +0200 <maerwald> I'd just use stack2cabal
2022-05-17 21:41:39 +0200 <maerwald> @hackage stack2cabal
2022-05-17 21:41:40 +0200 <lambdabot> https://hackage.haskell.org/package/stack2cabal
2022-05-17 21:41:55 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-17 21:42:07 +0200 <kenaryn> https://0x0.st/oaHT.png
2022-05-17 21:42:51 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-05-17 21:42:56 +0200bliminse(~bliminse@host86-164-128-238.range86-164.btcentralplus.com) (Quit: leaving)
2022-05-17 21:45:01 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
2022-05-17 21:47:42 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-17 21:51:00 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-17 21:52:19 +0200 <dschrempf> I am developing a WebSocket application using `websockets`. I am a bit at a loss because the connection stops without error at seemingly random times. The socket is still open, but no data is received. The ping/pong seems to work though. I am using the following construct, and was wondering if this is flawed:
2022-05-17 21:52:25 +0200 <dschrempf> `timeout t (receiveData c)`
2022-05-17 21:53:01 +0200 <dschrempf> where `timeout` is from `unliftio`, and `receiveData` from `websockets` (`t` is an Int, and `c` is the connection)
2022-05-17 21:53:44 +0200 <dschrempf> I was thinking that the usage of `timeout` is probably a bad idea, but I want to know if no data arrives for some amount of time
2022-05-17 21:54:56 +0200gpncarl(~gpncarl@120.244.220.69)
2022-05-17 21:56:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 21:56:16 +0200slac66662(~slack1256@181.42.55.163) (Remote host closed the connection)
2022-05-17 21:57:13 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-05-17 21:57:40 +0200slack1256(~slack1256@181.42.55.163)
2022-05-17 21:59:06 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net)
2022-05-17 21:59:27 +0200gpncarl(~gpncarl@120.244.220.69) (Ping timeout: 256 seconds)
2022-05-17 22:01:58 +0200 <Bulby[m]> is this a sane reason to use polysemy
2022-05-17 22:01:59 +0200 <Bulby[m]> https://github.com/TheDrawingCoder-Gamer/nylon/blob/master/src/Nylon/Serializer.hs#L166
2022-05-17 22:02:43 +0200 <maerwald> kenaryn: `stack2cabal && cabal build` seemed to work flawlessly for me
2022-05-17 22:04:12 +0200yauhsien(~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-05-17 22:04:38 +0200 <kenaryn> @maerwald I'm currently trying to follow the method of tomsmeding with ghcup but I'll try yours if I fail!
2022-05-17 22:04:38 +0200 <lambdabot> Unknown command, try @list
2022-05-17 22:04:52 +0200 <maerwald> yes, with ghcup
2022-05-17 22:04:59 +0200 <maerwald> but then you run stack2cabal in the repo
2022-05-17 22:05:10 +0200 <maerwald> instead of messing around with stack
2022-05-17 22:05:42 +0200 <maerwald> here's a binary: https://github.com/hasufell/stack2cabal/releases/download/v1.0.13/stack2cabal-linux
2022-05-17 22:05:51 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-05-17 22:07:48 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-05-17 22:08:02 +0200 <kenaryn> ghcup install failed and I don't even know why: https://0x0.st/oaH_.png
2022-05-17 22:08:25 +0200 <maerwald> you're on voidlinux?
2022-05-17 22:08:28 +0200 <kenaryn> Yes.
2022-05-17 22:09:16 +0200acidjnk(~acidjnk@p200300d0c7068b90f0e7fcd35b3ab5be.dip0.t-ipconnect.de)
2022-05-17 22:09:37 +0200 <maerwald> kenaryn: do you have the required packages?
2022-05-17 22:10:29 +0200 <kenaryn> I don't know, I can't find anything related to g++ package.
2022-05-17 22:10:56 +0200 <maerwald> can you pastebin the complete log from ~/.ghcup/logs/
2022-05-17 22:11:03 +0200 <maerwald> here: https://paste.tomsmeding.com/
2022-05-17 22:11:06 +0200 <kenaryn> I don't know its voidlinux equivalent
2022-05-17 22:11:29 +0200 <maerwald> there's a bug on voidlinux, but I'm not sure if it's on 8.10.7: https://gitlab.haskell.org/ghc/ghc/-/issues/21559
2022-05-17 22:12:00 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2022-05-17 22:12:54 +0200 <zebrag> Do System F and GADTs compare in any way? Can we have the GADTs balanced tree example with System F? (http://web.cecs.pdx.edu/~sheard/course/AdvancedFP/notes/GADTs.pdf)
2022-05-17 22:12:56 +0200agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7)
2022-05-17 22:14:00 +0200 <kenaryn> the ~/.ghcup/logs/ghc-make.log reports exactly the same error as previously: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist: 3: exec: utils/ghc-cabal/dist-install/build/tmp/ghc-cabal: not found
2022-05-17 22:14:30 +0200alp_(~alp@user/alp) (Ping timeout: 250 seconds)
2022-05-17 22:16:39 +0200mmhat(~mmh@p200300f1c7256ebeee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-05-17 22:17:16 +0200 <kenaryn> The errors occurs because of loading shared objects errors: https://0x0.st/oaoF.png
2022-05-17 22:17:23 +0200 <geekosaur> zebrag, System F is a type system. It can and indeed does represent GADTs (note that the GADT examples are all in Haskell)
2022-05-17 22:18:08 +0200 <zebrag> okay, tx
2022-05-17 22:19:27 +0200 <maerwald> kenaryn: did you install the other packages?
2022-05-17 22:20:11 +0200 <kenaryn> maerwald: I don't know if I have realpath xz-utils and g++ equivalents, as they seems to have another name on void-linux
2022-05-17 22:20:25 +0200 <maerwald> then you should look that up
2022-05-17 22:20:47 +0200 <kenaryn> but ghcup tries to installed ghc-8.10.7, that's not the version I need to so I don't see the point of this script.
2022-05-17 22:21:29 +0200 <maerwald> you definitely need to run: xbps-install ncurses-libtinfo-libs
2022-05-17 22:21:50 +0200 <maerwald> kenaryn: that's just the default version, you can install any version
2022-05-17 22:23:11 +0200 <maerwald> that works fine for me on voidlinux
2022-05-17 22:23:42 +0200 <maerwald> xbps-install -S curl gcc gmp make ncurses ncurses-libtinfo-libs
2022-05-17 22:26:13 +0200 <maerwald> then you run: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_GHC_VERSION=8.8.3 sh
2022-05-17 22:26:33 +0200 <kenaryn> maerwald: allright, thanks a lot. Only ncurses-libtinfo-libs was NOT installed.
2022-05-17 22:26:37 +0200pavonia(~user@user/siracusa)
2022-05-17 22:28:00 +0200 <maerwald> oh, perl is also needed
2022-05-17 22:29:03 +0200 <tomsmeding> maerwald: thanks for picking up and knowing better than I what's up :p
2022-05-17 22:29:32 +0200 <kenaryn> maerwald: which perl package please? There are dozens of them.
2022-05-17 22:29:46 +0200 <maerwald> xbps-install -S perl
2022-05-17 22:29:55 +0200 <kenaryn> lol Allright.
2022-05-17 22:29:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-17 22:30:02 +0200 <maerwald> tomsmeding: it has caused issues in the past, yeah: https://github.com/void-linux/void-packages/issues/11718#issuecomment-987099385
2022-05-17 22:30:05 +0200alp_(~alp@user/alp)
2022-05-17 22:30:22 +0200mmhat(~mmh@p200300f1c7256e03ee086bfffe095315.dip0.t-ipconnect.de)
2022-05-17 22:30:37 +0200 <tomsmeding> heh
2022-05-17 22:30:41 +0200 <maerwald> I actually considered switching to it once, but building packages there from source requires docker or some other container stuff
2022-05-17 22:30:59 +0200 <tomsmeding> wacky
2022-05-17 22:31:00 +0200 <maerwald> not sure if they support bwrap
2022-05-17 22:31:10 +0200 <maerwald> they have multiple backends for building packages
2022-05-17 22:31:16 +0200 <maerwald> but I found it quite unergonomic
2022-05-17 22:31:18 +0200 <kenaryn> Unpacking in progress
2022-05-17 22:31:52 +0200 <kenaryn> Same error occured
2022-05-17 22:32:22 +0200 <maerwald> works for me and I just tried in a voidlinux docker container
2022-05-17 22:33:01 +0200 <maerwald> maybe your CC points to a broken toolchain
2022-05-17 22:33:10 +0200 <maerwald> https://0x0.st/oaH_.png has a warning that your CC is set
2022-05-17 22:34:26 +0200 <kenaryn> Yes you're right I wanted to try out tcc but clearly I don't have the knowledge to be a simple user so I'll regenerate my ~/.zshenv without it right away
2022-05-17 22:34:46 +0200 <tomsmeding> oh you had CC=tcc? interesting.
2022-05-17 22:35:00 +0200 <maerwald> the GHC bindist build system picks those up
2022-05-17 22:35:14 +0200 <tomsmeding> that's going to break basically whatever you install, because lots of stuff isn't going to work well with tcc
2022-05-17 22:37:40 +0200 <kenaryn> Not exactly, I replaced tcc with gcc during your debugging but was explained by the warning, it may change something with the linker, so I'll clear the env variable right now.
2022-05-17 22:37:54 +0200agumonkey(~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 250 seconds)
2022-05-17 22:38:51 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-05-17 22:41:21 +0200maerwaldgoes back watching Amber Heard trial
2022-05-17 22:41:54 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr)
2022-05-17 22:42:16 +0200 <kenaryn> Unfortunately, "_eghcup --cache install ghc 8.8.3" failed!
2022-05-17 22:42:22 +0200 <maerwald> :D
2022-05-17 22:42:31 +0200 <maerwald> too soon
2022-05-17 22:42:46 +0200 <maerwald> ok, what's the exact error. Did you check ~/.ghcup/logs?
2022-05-17 22:42:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 22:43:14 +0200 <kenaryn> Yes I'm reading it: it displays the same error as the standard output.
2022-05-17 22:43:31 +0200 <maerwald> I'm not reading it
2022-05-17 22:43:47 +0200 <maerwald> paste: https://paste.tomsmeding.com/
2022-05-17 22:43:51 +0200 <kenaryn> https://paste.tomsmeding.com/sW2RdzLZ
2022-05-17 22:44:16 +0200 <maerwald> there must be another file
2022-05-17 22:44:30 +0200 <maerwald> ~/.ghcup/logs/ghc-make.log
2022-05-17 22:46:14 +0200nate1(~nate@98.45.169.16)
2022-05-17 22:46:20 +0200 <kenaryn> I can't paste the damn thing
2022-05-17 22:46:24 +0200 <kenaryn> switching to firefox
2022-05-17 22:46:50 +0200 <tomsmeding> kenaryn: curl --data-binary @$HOME/.ghcup/logs/ghc-make.log https://tomsmeding.com/gooi/ghc-make.log
2022-05-17 22:47:26 +0200 <kenaryn> Can't paste it at all I'm at a loss.
2022-05-17 22:47:41 +0200 <maerwald> tomsmeding: file size limit?
2022-05-17 22:47:57 +0200 <kenaryn> it maybe due to its length yes.
2022-05-17 22:48:09 +0200 <maerwald> paste the last 50 lines
2022-05-17 22:48:40 +0200 <tomsmeding> kenaryn: did you try the curl --data-binary thing?
2022-05-17 22:48:53 +0200 <tomsmeding> that should have a file size limit of like 100M
2022-05-17 22:49:04 +0200 <kenaryn> https://tomsmeding.com/vang/1IZJxk/ghc-make.log but it won't load anything.
2022-05-17 22:49:32 +0200 <tomsmeding> is that ghc-make.log file empty or something
2022-05-17 22:49:39 +0200 <maerwald> now we're debugging your pastebin too :D
2022-05-17 22:50:09 +0200 <tomsmeding> paste.tomsmeding.com has a limit of 128KiB, that might be too small, but the gooi thing should be fine
2022-05-17 22:50:58 +0200 <tomsmeding> if that curl fails I'm at a loss what's happening on your system
2022-05-17 22:51:30 +0200 <tomsmeding> if the file doesn't exist curl should display a warning; if it doesn't do that, either the file is empty, or wtf
2022-05-17 22:51:41 +0200 <kenaryn> I yanked the 183 lines in nvim but suddenly I can't paste anything in the browser :/
2022-05-17 22:51:55 +0200 <maerwald> well, we can't help with that
2022-05-17 22:51:57 +0200 <tomsmeding> oh only 183 lines? that's not going to go past the file size limt
2022-05-17 22:52:11 +0200 <tomsmeding> unless the lines are all >800 chars long or something
2022-05-17 22:52:39 +0200zer0bitz_(~zer0bitz@2001:2003:f444:8f00:8559:801d:4c57:2c6) (Ping timeout: 240 seconds)
2022-05-17 22:53:31 +0200 <kenaryn> https://paste.tomsmeding.com/XgYiG96O
2022-05-17 22:53:57 +0200 <kenaryn> I used mousepad instead, don't know what's happening with neovim.
2022-05-17 22:54:25 +0200 <tomsmeding> kenaryn: dumb suggestion, but did you ggVG"+y
2022-05-17 22:54:33 +0200 <tomsmeding> with emphasis on the "+
2022-05-17 22:54:45 +0200 <tomsmeding> or %w !xsel -b
2022-05-17 22:54:58 +0200 <tomsmeding> um, ':w !xsel -b', rather
2022-05-17 22:55:11 +0200 <kenaryn> What extraterrestrial language are you using.
2022-05-17 22:55:17 +0200 <tomsmeding> vim
2022-05-17 22:55:32 +0200 <tomsmeding> vim normal mode, to be precise
2022-05-17 22:55:40 +0200 <maerwald> kenaryn: is your voidlinux installation using musl?
2022-05-17 22:55:46 +0200 <tomsmeding> maerwald: yes
2022-05-17 22:55:50 +0200 <kenaryn> I do not know how to answer your question.
2022-05-17 22:55:54 +0200 <kenaryn> Yes I'm using musl.
2022-05-17 22:56:02 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5)
2022-05-17 22:56:04 +0200 <maerwald> oh
2022-05-17 22:56:17 +0200 <maerwald> that complicates it, sec
2022-05-17 22:57:08 +0200 <kenaryn> Yes I agree, after all those years, musl may still be treated as an experimental libc.
2022-05-17 22:57:32 +0200 <tomsmeding> maerwald: earlier I recorded what LD_LIBRARY_PATH stack gives to that ghc-cabal on my system, and kenaryn tried that same L_L_P on their system, and ldd didn't report any missing libraries in ghc-cabal with that
2022-05-17 22:57:34 +0200 <maerwald> run: ~/.ghcup/bin/ghcup install ghc -u https://downloads.haskell.org/ghcup/unofficial-bindists/ghc/8.8.4/ghc-8.8.4-x86_64-alpine-linux.ta… 8.8.4
2022-05-17 22:58:00 +0200 <maerwald> the only musl-enabled bindist is alpine
2022-05-17 22:58:06 +0200 <kenaryn> @tomsmeding: I pressed `Shift+V` then `gg` then `y` to copy into the buffer.
2022-05-17 22:58:06 +0200 <lambdabot> Unknown command, try @list
2022-05-17 22:58:24 +0200 <tomsmeding> kenaryn: right, that copies into vim's own buffer by default, not onto your system clipboard
2022-05-17 22:58:37 +0200 <tomsmeding> unless you explicitly configured (n)vim to bind "" and "+ together
2022-05-17 22:58:45 +0200 <tomsmeding> use "+y instead of y
2022-05-17 22:59:00 +0200 <kenaryn> Allright, thanks a lot for the side note :)
2022-05-17 23:00:16 +0200dunj3_dunj3
2022-05-17 23:00:53 +0200 <tomsmeding> (now you can also decipher what I said: gg (to top), V (select line), G (to bottom), "+y (copy to system clipboard))
2022-05-17 23:02:31 +0200 <kenaryn> 183 lines yanked into "+ but still not available outside the nvim buffer :/
2022-05-17 23:02:40 +0200 <tomsmeding> :(
2022-05-17 23:02:46 +0200 <maerwald> let's not debug nvim now :p
2022-05-17 23:02:52 +0200 <tomsmeding> :p
2022-05-17 23:05:09 +0200 <glguy> slack1256: glirc has always had the emoji support of whatever terminal you were using at the time
2022-05-17 23:07:08 +0200DNH(~DNH@2a02:8109:b740:2c4:492f:4c54:b830:3942) (Ping timeout: 272 seconds)
2022-05-17 23:07:26 +0200 <kenaryn> maerwald: I'm not sure how to run your command line.
2022-05-17 23:07:34 +0200 <maerwald> in your terminal
2022-05-17 23:07:39 +0200 <tomsmeding> :')
2022-05-17 23:08:39 +0200 <kenaryn> Allright, I'll try with the 8.8.3 version.
2022-05-17 23:08:53 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-05-17 23:08:56 +0200 <maerwald> there's no 8.8.3 version of musl bindist
2022-05-17 23:09:06 +0200 <maerwald> 8.8.4 should be fine
2022-05-17 23:09:07 +0200 <kenaryn> Allright allright.
2022-05-17 23:09:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-05-17 23:11:46 +0200 <kenaryn> GHC Installation successful.
2022-05-17 23:11:50 +0200 <tomsmeding> :o
2022-05-17 23:11:51 +0200 <kenaryn> Houra.
2022-05-17 23:11:57 +0200 <maerwald> right, now you gotta run stack2cabal
2022-05-17 23:12:08 +0200 <tomsmeding> I mean, can also try with system-ghc
2022-05-17 23:12:12 +0200 <kenaryn> So I boycott stack build?
2022-05-17 23:12:15 +0200 <maerwald> yeah
2022-05-17 23:12:18 +0200 <maerwald> https://github.com/hasufell/stack2cabal/releases/download/v1.0.13/stack2cabal-linux
2022-05-17 23:12:24 +0200 <tomsmeding> but yeah boycotting stack is definitely also an option :p
2022-05-17 23:13:07 +0200 <maerwald> download that into wherever, make it executable, then run it from within that project directory you were trying to build, then edit cabal.project file and replace `ghc-8.8.3` with `ghc-8.8.4`, then run `cabal build`
2022-05-17 23:13:08 +0200 <kenaryn> how do I proceed? I clone the repository?
2022-05-17 23:13:18 +0200 <kenaryn> allright.
2022-05-17 23:13:18 +0200 <tomsmeding> kenaryn: sorry for not knowing what maerwald knows about musl :p
2022-05-17 23:13:23 +0200 <kenaryn> lol
2022-05-17 23:13:33 +0200 <maerwald> you may also need to run `cabal update` beforehand...
2022-05-17 23:13:42 +0200 <maerwald> I'm not sure if ghcup installed cabal for you
2022-05-17 23:13:54 +0200 <maerwald> run: ~/.ghcup/bin/ghcup install cabal
2022-05-17 23:13:56 +0200 <tomsmeding> maerwald: it installs cabal by default but it does _not_ run cabal update
2022-05-17 23:13:56 +0200 <maerwald> to make sure
2022-05-17 23:14:11 +0200 <maerwald> tomsmeding: what installs cabal?
2022-05-17 23:14:16 +0200 <tomsmeding> ghcup install script, iirc
2022-05-17 23:14:20 +0200 <maerwald> it does run cabal update
2022-05-17 23:14:23 +0200 <tomsmeding> oh
2022-05-17 23:14:28 +0200 <maerwald> but since the script failed, I'm not sure at which stage it was
2022-05-17 23:14:35 +0200 <tomsmeding> ah right
2022-05-17 23:14:36 +0200 <maerwald> ususally it downloads cabal after ghc
2022-05-17 23:14:40 +0200 <maerwald> so it's probably not there
2022-05-17 23:15:10 +0200 <kenaryn> I'm lost again, do I have to run ~/.ghcup/bin/ghcup cabal update before stack2cabal-linux?
2022-05-17 23:15:21 +0200slac41324(~slack1256@191.125.99.64)
2022-05-17 23:15:31 +0200 <maerwald> just: cabal update
2022-05-17 23:15:46 +0200 <kenaryn> anywhere or in a specific directory?
2022-05-17 23:15:52 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-05-17 23:15:57 +0200 <tomsmeding> anywhere
2022-05-17 23:16:09 +0200 <kenaryn> allright, thanks.
2022-05-17 23:16:18 +0200 <tomsmeding> downloads package index so it knows what haskell packages exist, with what versions, what dependencies, etc
2022-05-17 23:16:26 +0200 <kenaryn> I'm a noob all the way through.
2022-05-17 23:18:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-17 23:18:18 +0200slack1256(~slack1256@181.42.55.163) (Ping timeout: 276 seconds)
2022-05-17 23:19:19 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-05-17 23:20:06 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-05-17 23:21:59 +0200DNH(~DNH@2a02:8109:b740:2c4:18c:e9ac:d2a3:b6)
2022-05-17 23:22:39 +0200kenran(~kenran@200116b82bd4b3000144a4adfb536ead.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-05-17 23:23:20 +0200 <kenaryn> the granule project try automatically to install GHC 8.8.3 before each command is run within its directory so when typing `~/path/to/stack2cabal-linux` from within it interrupt the install :/
2022-05-17 23:23:26 +0200 <[exa]> tomsmeding: y u wield the @ weapon all time tho
2022-05-17 23:23:44 +0200 <tomsmeding> [exa]: shapr gave it to me but didn't give me op in chanserv
2022-05-17 23:23:54 +0200 <tomsmeding> so whenever I either drop it or log off, it's gone
2022-05-17 23:24:04 +0200 <tomsmeding> and it's so precioussss
2022-05-17 23:24:05 +0200 <shapr> :-D
2022-05-17 23:24:07 +0200 <[exa]> ah ok
2022-05-17 23:24:44 +0200 <[exa]> I confess I like this vulgar display of power.
2022-05-17 23:24:54 +0200 <tomsmeding> but I need to update my server at some point anyway :p
2022-05-17 23:25:53 +0200 <tomsmeding> in fact lemme do that now
2022-05-17 23:26:27 +0200 <[exa]> hm good idea
2022-05-17 23:26:31 +0200[exa]-> apt
2022-05-17 23:27:17 +0200justsomeguy(~justsomeg@user/justsomeguy)
2022-05-17 23:27:30 +0200 <maerwald> kenaryn: we have to teach stack than to use that newly installed GHC
2022-05-17 23:28:23 +0200 <maerwald> kenaryn: add this https://paste.tomsmeding.com/cb10t1UL to the stack.yaml file
2022-05-17 23:28:32 +0200 <kenaryn> I run stack2cabal-linux from within, modified the cabal.project and run cabal build but returned cabal: No targets given and there is no package in the current directory. Use
2022-05-17 23:28:35 +0200 <kenaryn> the target 'all' for all packages in the project or specify packages or
2022-05-17 23:28:38 +0200 <maerwald> and then make sure to run: source ~/.ghcup/env
2022-05-17 23:28:45 +0200 <maerwald> ah yeah
2022-05-17 23:28:49 +0200 <maerwald> you need to run: cabal build all
2022-05-17 23:29:21 +0200ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1)
2022-05-17 23:29:23 +0200Server+Cnt
2022-05-17 23:29:57 +0200 <kenaryn> Allright, I'll look for the yaml before attempting to build
2022-05-17 23:31:59 +0200 <kenaryn> cabal: Cannot find the program 'ghc'. User-specified path 'ghc-8.8.4' does not
2022-05-17 23:32:04 +0200 <kenaryn> refer to an executable and the program is not on the system path.
2022-05-17 23:32:46 +0200 <maerwald> kenaryn: <maerwald> and then make sure to run: source ~/.ghcup/env
2022-05-17 23:33:04 +0200 <kenaryn> yes I forgot I'm sorry.
2022-05-17 23:33:29 +0200 <kenaryn> my irc client is in the terminal so I need to quit and rejoin after sourcing the file.
2022-05-17 23:33:36 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-05-17 23:33:53 +0200 <tomsmeding> 🤔
2022-05-17 23:34:39 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-05-17 23:35:07 +0200 <kenaryn> Same error nevertheless. I don't understand why.
2022-05-17 23:36:15 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4)
2022-05-17 23:36:56 +0200 <tomsmeding> screenshot?
2022-05-17 23:37:19 +0200tomsmeding(~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-17 23:37:36 +0200 <kenaryn> `which ghc` returns `/bin/ghc` which suggests cabal try to run my 9.0.2 GHC installed with the package manager
2022-05-17 23:37:57 +0200 <kenaryn> does system-ghc: true did make it bind with it?
2022-05-17 23:38:02 +0200tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2022-05-17 23:38:49 +0200 <geekosaur> system-ghc: true makes it search $PATH. your $PATH apparently has /bin before ~/.ghcup/bin
2022-05-17 23:39:03 +0200 <kenaryn> https://0x0.st/oaH7.png
2022-05-17 23:39:22 +0200 <tomsmeding> kenaryn: export PATH="$HOME/.ghcup/bin:$PATH"
2022-05-17 23:39:29 +0200 <tomsmeding> not sure why the .ghcup/env thing didn't work
2022-05-17 23:39:52 +0200 <maerwald> they didn't type it in the correct shell I assume
2022-05-17 23:40:23 +0200 <maerwald> because they closed their IRC client, which is on a different unrelated tab
2022-05-17 23:40:39 +0200 <maerwald> that's the evidence.
2022-05-17 23:40:47 +0200 <kenaryn> `/bin/ghcup --version` reports 9.0.2 so it is indeed the installed version via voidlinux package manager, not the one installed with ghcup!
2022-05-17 23:41:15 +0200 <maerwald> kenaryn: you didn't run 'source ~/.ghcup/env'
2022-05-17 23:41:21 +0200 <kenaryn> you can say "he", I'm not "they" :D
2022-05-17 23:41:33 +0200 <kenaryn> I'll check it right away
2022-05-17 23:41:48 +0200 <tomsmeding> kenaryn: that source command only has effect on your current shell session
2022-05-17 23:42:36 +0200 <kenaryn> arf did not know about it, I thought switching all my exports from ~/.zshrc to ~/.zshenv prevented me from that kind of inconvenience
2022-05-17 23:42:58 +0200 <tomsmeding> 'source' is literally "execute this file of shell commands now here"
2022-05-17 23:43:24 +0200 <kenaryn> Oh my cabal build all is actually running
2022-05-17 23:43:30 +0200 <tomsmeding> ö
2022-05-17 23:45:04 +0200 <kenaryn> It returns a final error but perhaps not blocking: cabal: Failed to build entropy-0.4.1.6 (which is required by exe:grls from
2022-05-17 23:45:07 +0200 <kenaryn> granule-language-server-0.9.0.0). The failure occurred during the configure
2022-05-17 23:45:09 +0200 <kenaryn> step. The build process segfaulted (i.e. SIGSEGV).
2022-05-17 23:45:25 +0200 <tomsmeding> O.o
2022-05-17 23:45:46 +0200 <kenaryn> lol, did not see this smiley from last century
2022-05-17 23:46:16 +0200 <maerwald> entropy needs to build some C sources
2022-05-17 23:46:20 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-05-17 23:46:37 +0200 <tomsmeding> surely it can do better than _segfault_ if something is not as it expects
2022-05-17 23:47:26 +0200 <maerwald> well, that's the price you pay for picking voidlinux musl
2022-05-17 23:47:51 +0200 <kenaryn> Yes, musl has serious drawbacks that's boring.
2022-05-17 23:48:36 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2022-05-17 23:48:36 +0200 <kenaryn> so stack2cabal-linux replaced the need for stack setup && stack install is that correct?
2022-05-17 23:48:51 +0200nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-05-17 23:48:53 +0200 <maerwald> yeah, kinda
2022-05-17 23:49:01 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-17 23:49:37 +0200michalz(~michalz@185.246.204.107) (Remote host closed the connection)
2022-05-17 23:49:47 +0200 <kenaryn> Allright, I'll try to uninstall the other GHC (i.e. 9.0.2) and rerun a build
2022-05-17 23:51:10 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
2022-05-17 23:51:24 +0200 <kenaryn> Maybe that other cabal version (installed with package manager too) causes a conflict. I'll remove it too.
2022-05-17 23:53:59 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
2022-05-17 23:54:52 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
2022-05-17 23:56:42 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2022-05-17 23:58:25 +0200_xor(~xor@72.49.198.103)
2022-05-17 23:59:53 +0200kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)