2025/07/24

2025-07-24 00:00:03 +0200jespada(~jespada@2800:a4:2294:8e00:19d2:eeb5:d2f7:4ff1) jespada
2025-07-24 00:02:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:05:23 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-24 00:07:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 00:09:26 +0200 <haskellbridge> <Ricardo> geekosaur: I see. Thank you. I find it really baffling that ormolu and fourmolu sort imports
2025-07-24 00:12:54 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-07-24 00:14:09 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 248 seconds)
2025-07-24 00:18:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:18:10 +0200 <haskellbridge> <Ricardo> Does anyone know how I can configure HLS in emacs to use floskell? I run "floskell Main.hs" and the result is not the same that emacs is giving me when I save a file. Or is it possible to at least disable the automatic formatting that HLS on emacs does whenever I save a file?
2025-07-24 00:19:11 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-24 00:22:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-24 00:24:35 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-24 00:32:30 +0200jreicher(~user@user/jreicher) jreicher
2025-07-24 00:33:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:36:03 +0200ystael(~ystael@user/ystael) (Read error: Connection reset by peer)
2025-07-24 00:37:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 00:39:33 +0200 <jreicher> geekosaur: If you have HLS installed you should be able to do M-x eglot and it will "just work", as the default eglot server list already has haskell-language-server-wrapper configured. But make sure you are not using lsp-mode when you do this. Have the buffer just in plain haskell-mode.
2025-07-24 00:40:05 +0200 <geekosaur> @Ricardo ^^
2025-07-24 00:40:05 +0200 <lambdabot> Unknown command, try @list
2025-07-24 00:43:27 +0200 <haskellbridge> <Ricardo> jreicher: I'm using lsp-mode because doom emacs comes with it and that's what I'm using. Also, it is not the case that HLS isn't working in my setup. It's just that it isn't honouring the value of the variable lsp-haskell-formatting-provider as it seems.
2025-07-24 00:43:54 +0200 <jreicher> Core Emacs comes with eglot, which means it's in all versions of Emacs.
2025-07-24 00:44:32 +0200 <haskellbridge> <Ricardo> I know. I'm just saying that I'm using lsp-mode instead.
2025-07-24 00:45:03 +0200 <jreicher> Any particular reason? The experience of most Emacs users now I think is that eglot works better.
2025-07-24 00:45:32 +0200 <haskellbridge> <Ricardo> Because I like the configuration that doom emacs brings for lsp-mode
2025-07-24 00:49:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:50:45 +0200diagprov(uid348783@user/diagprov) (Quit: Connection closed for inactivity)
2025-07-24 00:55:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 00:56:32 +0200ethantwardy(~user@user/ethantwardy) ethantwardy
2025-07-24 01:01:51 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-24 01:02:59 +0200acidjnk(~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-07-24 01:03:55 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-24 01:06:24 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-07-24 01:06:51 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-24 01:07:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 01:08:18 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2025-07-24 01:11:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-24 01:16:28 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-24 01:18:45 +0200rvalue(~rvalue@about/hackers/rvalue) (Max SendQ exceeded)
2025-07-24 01:19:11 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-24 01:20:17 +0200 <haskellbridge> <Ricardo> I just found that "cabal help user-config" talks about "~/.config/cabal/config" being the config file, but it turns out the actual file is "~/.cabal/config". I hope someone here is a cabal dev or sufficiently motivated to report the inconsistency in the documentation
2025-07-24 01:22:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 01:27:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-24 01:27:15 +0200falafel(~falafel@79.117.174.28) (Ping timeout: 272 seconds)
2025-07-24 01:29:19 +0200 <geekosaur> iirc the actual behavior is "if ~/.cabal exists then it is used for backward compatibility, but new installs will create ~/.config/cabal/config
2025-07-24 01:29:23 +0200 <geekosaur> "
2025-07-24 01:29:49 +0200 <geekosaur> that said, I'm not sure how ghcup's autosetup of cabal interacts, it may precreate ~/.cabal
2025-07-24 01:30:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-07-24 01:30:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 01:31:15 +0200 <geekosaur> verified that the XDG path is used if ~/.cabal doesn't already exist
2025-07-24 01:33:54 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-24 01:34:29 +0200 <geekosaur> I'm not sure if the help can reasonably adapt to the two cases
2025-07-24 01:35:13 +0200 <haskellbridge> <Ricardo> geekosaur: This may be the case, because I installed cabal just a few days ago using ghcup
2025-07-24 01:35:47 +0200[b7r6](~user@user/b7r6) (Quit: rcirc on GNU Emacs 30.1)
2025-07-24 01:35:51 +0200 <haskellbridge> <Ricardo> geekosaur: It'd be easy to do so
2025-07-24 01:36:12 +0200 <haskellbridge> <Ricardo> Just mention the two options in "cabal help user-config"
2025-07-24 01:36:22 +0200b7r6(~b7r6@user/b7r6) b7r6
2025-07-24 01:37:24 +0200sprotte24_(~sprotte24@p5dd5d519.dip0.t-ipconnect.de)
2025-07-24 01:37:53 +0200sprotte24(~sprotte24@p200300d16f43870095bde33c5bcf7ec5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-07-24 01:37:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 01:38:28 +0200 <geekosaur> https://github.com/haskell/cabal/issues/11096
2025-07-24 01:39:36 +0200 <haskellbridge> <Ricardo> Cool!
2025-07-24 01:40:40 +0200 <haskellbridge> <Ricardo> Also I guess ghcup should use "~/.config/cabal" instead of "~/.cabal"
2025-07-24 01:40:53 +0200 <geekosaur> its author hates XDG
2025-07-24 01:41:12 +0200 <geekosaur> there's a way to make ghcup itself use XDG but it's somewhat poorly behaved
2025-07-24 01:41:45 +0200 <geekosaur> (for example I have `cabal-plan` installed, ghcup lists it as a stray `cabal` version)
2025-07-24 01:42:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-24 01:43:41 +0200pavonia(~user@user/siracusa) siracusa
2025-07-24 01:47:26 +0200 <haskellbridge> <Ricardo> I see. Well, it's curious that the author of such an important tool in the Haskell ecosystem holds that opinion and forces his opinion on the whole ecosystem
2025-07-24 01:52:53 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-24 01:53:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 01:53:48 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 01:54:28 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2025-07-24 01:56:15 +0200 <haskellbridge> <Ricardo> When I run "cabal init" I'm asked which version of the cabal specification to use and the default option is 3.0, but the latest is 3.4. Why would anyone want to create a package today with version 3.0 instead of 3.4, the latest?
2025-07-24 01:57:26 +0200 <geekosaur> backward compatibility
2025-07-24 01:57:47 +0200 <c_wraith> there's also just not that much new stuff. If you don't need the new stuff, don't say you do
2025-07-24 01:57:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 01:58:44 +0200 <geekosaur> right, that as well. you're declaring what features your package needs; if you don't need fancier new stuff, don't bother declaring it
2025-07-24 01:59:32 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-24 02:02:33 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2025-07-24 02:03:36 +0200sprotte24_(~sprotte24@p5dd5d519.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-24 02:04:15 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-24 02:04:37 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-24 02:04:37 +0200jmcantrell_jmcantrell
2025-07-24 02:05:53 +0200falafel(~falafel@79.117.174.28) (Ping timeout: 272 seconds)
2025-07-24 02:07:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 02:08:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 02:11:04 +0200dutchie(~dutchie@user/dutchie) (Ping timeout: 260 seconds)
2025-07-24 02:11:19 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-24 02:13:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 02:15:10 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-07-24 02:15:48 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Ping timeout: 245 seconds)
2025-07-24 02:17:17 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 02:18:31 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-24 02:18:50 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) be8bcca2f3
2025-07-24 02:19:21 +0200 <Square3> One thing that seems popular in Haskell is to organize your modules in a way such there's a root module that pretty much re-exports all modules in the project. Also the root module is often accompanied by a nice usage guide. But how efficient is it to feed this big root module to the compiler?
2025-07-24 02:19:58 +0200 <Square3> ...when using the package in a project
2025-07-24 02:22:41 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-07-24 02:23:02 +0200trickard__(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 02:23:15 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 02:23:33 +0200 <Square3> May be a nothing burger, it just hit me.
2025-07-24 02:24:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 02:24:56 +0200 <haskellbridge> <sm> don’t really know Square3. From time to time I’ve seen people saying that explicitly declaring imports can speed up something or other
2025-07-24 02:25:27 +0200 <haskellbridge> <sm> * I think
2025-07-24 02:28:19 +0200 <Square3> Just checking
2025-07-24 02:28:35 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-24 02:29:05 +0200 <geekosaur> explicit import lists can speed up symbol lookups by the compiler
2025-07-24 02:30:25 +0200 <geekosaur> having a top level module that exports the most useful stuff makes things easier for programmers using your module. they might lead to the compiler (or linker) having to do a little more work, but that won't impact runtime, only compile time. and in many cases won't be noticeable
2025-07-24 02:31:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-24 02:33:27 +0200 <geekosaur> (I have to say that, if it had been up to me, `XMonad` wouldn't reexport `Graphics.X11.Xlib` and friends. that would be a couple hundred symbols most people don't care about and the ones who do know where to find them)
2025-07-24 02:34:15 +0200 <geekosaur> maybe over a thousand since it exports all the KeySyms and such as well
2025-07-24 02:34:43 +0200down200-(~down200@shell.lug.mtu.edu) (Ping timeout: 276 seconds)
2025-07-24 02:34:52 +0200 <geekosaur> which, well, with old-style keybinding some of those are useful
2025-07-24 02:35:07 +0200 <geekosaur> but in 2025 I think we want to encourage use of EZConfig instead
2025-07-24 02:35:35 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-24 02:37:05 +0200 <geekosaur> that said, I think we'd want to keep the "XMonad exports everything you need" aspect because my config at last check imports 59 things from it 🙂
2025-07-24 02:37:06 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 02:37:14 +0200 <geekosaur> screw import lists 🙂
2025-07-24 02:37:31 +0200weary-traveler(~user@user/user363627) user363627
2025-07-24 02:38:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-24 02:42:01 +0200down200(~down200@shell.lug.mtu.edu) down200
2025-07-24 02:42:09 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 260 seconds)
2025-07-24 02:42:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 02:43:54 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-24 02:46:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-24 02:52:58 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 02:54:41 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Ping timeout: 248 seconds)
2025-07-24 02:55:53 +0200 <haskellbridge> <sm> import lists are indeed a pain, they impose a heavy cost for new modules
2025-07-24 02:56:36 +0200 <haskellbridge> <sm> as in, every time you create a module you are adding more boilerplate and maintenance work
2025-07-24 02:57:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 03:00:17 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) be8bcca2f3
2025-07-24 03:02:20 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-07-24 03:02:22 +0200xff0x(~xff0x@2405:6580:b080:900:c38f:654b:d0b9:76ef) (Ping timeout: 244 seconds)
2025-07-24 03:02:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-24 03:07:11 +0200 <geekosaur> (xmonad is a window manager EDSL, so most of what you use is part of that EDSL, so 59 isn't unreasonable. I have a number of custom definitions in my config but they all use additional imports)
2025-07-24 03:08:58 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds)
2025-07-24 03:13:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 03:14:39 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-07-24 03:14:56 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-07-24 03:17:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 03:20:19 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) be8bcca2f3
2025-07-24 03:21:24 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 03:23:01 +0200down200(~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds)
2025-07-24 03:24:01 +0200down200(~down200@shell.lug.mtu.edu) down200
2025-07-24 03:24:24 +0200 <Axman6> A discussion yesterday ended with me looking at the Crainlift project, have there been any proposals for a GHC backend targetting it? It looks like it could be easier to keep pace with than LLVM
2025-07-24 03:24:47 +0200 <Axman6> and possibly provide a GHC bootstrap mechanism
2025-07-24 03:25:49 +0200 <Axman6> The IR looks quite interesting, blocks within functions take arguments, which isn't something I've seen before
2025-07-24 03:28:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 03:31:41 +0200 <haskellbridge> <Jack​> geekosaur: To quote the GHC users guide:
2025-07-24 03:31:41 +0200 <haskellbridge> ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/eQRWxUXNoxmVCyQGgYPVqLZB/uMdUmaYheJQ (4 lines)
2025-07-24 03:32:13 +0200 <jackdk> Cranelift is written in Rust, isn't it? So you still have a gnarly bootstrap
2025-07-24 03:32:56 +0200 <geekosaur> @Jack: only partly true, as it turns out. gjhc will export some things itself if marked INLINEABLE or SPECIALIZEABLE, for example
2025-07-24 03:32:56 +0200 <lambdabot> Unknown command, try @list
2025-07-24 03:33:03 +0200 <geekosaur> *ghc
2025-07-24 03:33:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 03:33:37 +0200 <haskellbridge> <sm> Jack: excellent reference. It doesn’t quantify the user-visible impact, I suspect that’s still quite small but I could be wrong
2025-07-24 03:34:10 +0200 <geekosaur> (or if they're small enough that ghc infers it can inline them)
2025-07-24 03:35:14 +0200 <haskellbridge> <Jack​> That makes sense. I’m glad there’s some way to export your cake and eat it quickly too.
2025-07-24 03:35:56 +0200 <geekosaur> Axman6, jackdk: perhaps worse, you're still using LLVM underneath IIRC
2025-07-24 03:37:13 +0200 <Axman6> It seems ot be independent from LLVM? It's an alternative target for the rust compiler
2025-07-24 03:37:32 +0200kaskal(~kaskal@2a02:8388:15bf:c200:b805:34c5:402d:8eda) (Ping timeout: 272 seconds)
2025-07-24 03:40:28 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 03:43:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 03:45:01 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-24 03:45:42 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2025-07-24 03:47:05 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-07-24 03:48:10 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 276 seconds)
2025-07-24 03:48:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-24 03:48:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-07-24 03:48:37 +0200ljdarj1ljdarj
2025-07-24 03:49:58 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2025-07-24 03:54:29 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-07-24 03:56:52 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-24 03:58:48 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 03:59:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 04:02:09 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-24 04:03:58 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 04:05:28 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-24 04:05:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 04:13:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 04:15:10 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-24 04:18:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-24 04:19:29 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-07-24 04:20:53 +0200b7r6(~b7r6@user/b7r6) (Quit: Client closed)
2025-07-24 04:24:25 +0200be8bcca2f3(~be8bcca2f@user/be8bcca2f3) (Quit: leaving)
2025-07-24 04:25:53 +0200zfnmxt(~zfnmxt@user/zfnmxt) zfnmxt
2025-07-24 04:28:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 04:32:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 04:35:31 +0200arandombit(~arandombi@37.120.80.229)
2025-07-24 04:35:31 +0200arandombit(~arandombi@37.120.80.229) (Changing host)
2025-07-24 04:35:31 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 04:40:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-07-24 04:43:38 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-07-24 04:44:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 04:48:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 04:53:10 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 04:55:28 +0200ethantwardy(~user@user/ethantwardy) (Ping timeout: 240 seconds)
2025-07-24 04:55:29 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-24 04:58:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 04:59:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 05:00:36 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 05:04:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-24 05:05:54 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2025-07-24 05:08:01 +0200trickard_trickard
2025-07-24 05:13:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-24 05:14:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 05:17:22 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 05:19:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-24 05:20:25 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 05:22:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 05:30:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 05:32:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-07-24 05:32:54 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 05:34:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-24 05:35:29 +0200aforemny_(~aforemny@i59F4C78B.versanet.de) aforemny
2025-07-24 05:36:20 +0200aforemny(~aforemny@2001:9e8:6cc7:6e00:ddc1:59ef:db97:52df) (Ping timeout: 244 seconds)
2025-07-24 05:45:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 05:46:14 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-24 05:50:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 05:52:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 05:53:01 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 05:58:54 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2025-07-24 06:01:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 06:01:16 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 06:05:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 06:08:28 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 06:14:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 06:18:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 06:29:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 06:34:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-24 06:45:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 06:48:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-24 06:48:18 +0200humasect_(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-24 06:49:36 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds)
2025-07-24 06:50:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-24 06:55:38 +0200 <asivitz> I'm a little confused about how GHC chooses a linker on windows. GHCUP installs a msys2, but if I install a new lld via that msys2, it won't be picked up. B/c when GHCUP installs a GHC, it also installs a clang and a linker. And the GHC is configured to use that clang, and that clang will pick the lld in the same directory (I think?). So anyway, is there a non-hacky way to swap out the linker?
2025-07-24 06:56:38 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 06:56:41 +0200humasect_humasect
2025-07-24 06:58:36 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-24 07:00:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 07:05:09 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-24 07:06:30 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2025-07-24 07:07:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-24 07:15:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 07:17:23 +0200 <Square3> geekosaur, thanks
2025-07-24 07:20:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 07:30:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 07:34:38 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-24 07:35:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-24 07:44:06 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-24 07:44:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-24 07:45:28 +0200b7r6(~b7r6@user/b7r6) b7r6
2025-07-24 07:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 07:50:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-24 07:52:21 +0200arandombit(~arandombi@37.120.80.229)
2025-07-24 07:52:21 +0200arandombit(~arandombi@37.120.80.229) (Changing host)
2025-07-24 07:52:21 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 07:54:57 +0200 <haskellbridge> <maerwald> GHC hardcodes what toolchain to use. You can edit that file manually
2025-07-24 07:55:24 +0200 <haskellbridge> <maerwald> It's awful that there is no interface for it
2025-07-24 07:57:34 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-07-24 07:58:11 +0200biberu(~biberu@user/biberu) biberu
2025-07-24 08:01:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 08:01:46 +0200 <asivitz> hm. so I guess I'm unsure what my options are. I'm getting linker errors trying to build the SDL2 bindings package; when it tries to link in the SDL2 lib I guess it includes some directives (e.g. ld.lld: error: -exclude-symbols:console_ansi_main is not allowed in .drectve) that were added in LLVM 15. But GHC 9.12 ships with LLVM 14 tools
2025-07-24 08:06:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-24 08:12:43 +0200prdak(~Thunderbi@user/prdak) (Quit: prdak)
2025-07-24 08:13:04 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-24 08:15:05 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-07-24 08:16:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 08:19:11 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 08:20:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 08:25:04 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2025-07-24 08:25:42 +0200killy(~killy@terminal-3-187.retsat1.com.pl)
2025-07-24 08:25:42 +0200ndudaev(~ndudaev@213.17.133.9)
2025-07-24 08:26:08 +0200ndudaev(~ndudaev@213.17.133.9) (Changing host)
2025-07-24 08:26:08 +0200ndudaev(~ndudaev@user/ndudaev) ndudaev
2025-07-24 08:28:36 +0200prdak1(~Thunderbi@user/prdak) prdak
2025-07-24 08:30:23 +0200Square2(~Square@user/square) Square
2025-07-24 08:31:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 08:32:18 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 276 seconds)
2025-07-24 08:32:18 +0200prdak1prdak
2025-07-24 08:33:04 +0200Square3(~Square4@user/square) (Ping timeout: 252 seconds)
2025-07-24 08:35:32 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-24 08:36:34 +0200fantom(~fantom@92.40.180.1.threembb.co.uk)
2025-07-24 08:36:35 +0200fantom(~fantom@92.40.180.1.threembb.co.uk) (Excess Flood)
2025-07-24 08:36:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-24 08:37:40 +0200arandombit(~arandombi@37.120.80.229)
2025-07-24 08:37:40 +0200arandombit(~arandombi@37.120.80.229) (Changing host)
2025-07-24 08:37:40 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 08:43:04 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-07-24 08:46:37 +0200Square2(~Square@user/square) (Ping timeout: 265 seconds)
2025-07-24 08:47:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-24 08:47:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 08:50:04 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-07-24 08:50:13 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-24 08:50:47 +0200ft(~ft@p508db189.dip0.t-ipconnect.de) (Quit: leaving)
2025-07-24 08:52:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 09:00:01 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-24 09:00:41 +0200caconym74(~caconym@user/caconym) caconym
2025-07-24 09:02:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 09:04:17 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 09:06:34 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-07-24 09:08:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-24 09:10:49 +0200remedan_(~remedan@78-80-80-237.customers.tmcz.cz) (Ping timeout: 252 seconds)
2025-07-24 09:13:45 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2025-07-24 09:14:06 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-24 09:15:15 +0200remedan(~remedan@78-80-80-127.customers.tmcz.cz) remedan
2025-07-24 09:17:18 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 09:17:40 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-07-24 09:18:26 +0200b7r6(~b7r6@user/b7r6) (Quit: Client closed)
2025-07-24 09:19:49 +0200fun-safe-math(~fun-safe-@97-120-33-44.ptld.qwest.net) (Ping timeout: 248 seconds)
2025-07-24 09:22:00 +0200fun-safe-math(~fun-safe-@97-120-33-44.ptld.qwest.net) fun-safe-math
2025-07-24 09:24:40 +0200acidjnk(~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) acidjnk
2025-07-24 09:25:59 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: Leaving)
2025-07-24 09:32:28 +0200jreicher(~user@user/jreicher) jreicher
2025-07-24 09:35:28 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-24 09:37:50 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-24 09:41:03 +0200inline(~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-07-24 09:45:29 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-07-24 09:46:59 +0200arandombit(~arandombi@37.120.80.229)
2025-07-24 09:46:59 +0200arandombit(~arandombi@37.120.80.229) (Changing host)
2025-07-24 09:46:59 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 09:57:45 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-24 09:58:28 +0200zfnmxt(~zfnmxt@user/zfnmxt) (Ping timeout: 240 seconds)
2025-07-24 09:58:48 +0200zfnmxt(~zfnmxt@user/zfnmxt) zfnmxt
2025-07-24 10:01:56 +0200chele(~chele@user/chele) chele
2025-07-24 10:02:00 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-24 10:03:49 +0200jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-07-24 10:09:26 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 10:10:46 +0200killy(~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving)
2025-07-24 10:15:37 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-24 10:17:39 +0200jreicher(~user@user/jreicher) jreicher
2025-07-24 10:20:54 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-07-24 10:27:13 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2025-07-24 10:29:12 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 10:29:26 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 10:30:48 +0200caubert(~caubert@user/caubert) (Ping timeout: 245 seconds)
2025-07-24 10:35:58 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-07-24 10:36:23 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-07-24 10:40:35 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-24 10:45:13 +0200sprotte24(~sprotte24@p200300d16f056400f951445f749e5848.dip0.t-ipconnect.de)
2025-07-24 10:45:58 +0200m1dnight(~m1dnight@109.236.63.154) (Ping timeout: 240 seconds)
2025-07-24 10:46:06 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 10:50:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-24 10:53:14 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 10:54:36 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 244 seconds)
2025-07-24 10:56:16 +0200inline(~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) Inline
2025-07-24 11:00:45 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-07-24 11:07:55 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-24 11:27:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-24 11:31:04 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-07-24 11:45:56 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-07-24 11:47:20 +0200merijn(~merijn@77.242.116.150) merijn
2025-07-24 11:53:39 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 11:54:54 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 12:07:27 +0200jespada(~jespada@2800:a4:2294:8e00:19d2:eeb5:d2f7:4ff1) (Ping timeout: 244 seconds)
2025-07-24 12:09:33 +0200jespada(~jespada@2800:a4:2291:9400:c56f:d404:3373:2f54) jespada
2025-07-24 12:16:08 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 12:16:22 +0200merijn(~merijn@77.242.116.150) (Ping timeout: 252 seconds)
2025-07-24 12:22:13 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-07-24 12:26:57 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2025-07-24 12:28:50 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-24 12:29:40 +0200m1dnight(~m1dnight@109.236.63.152) m1dnight
2025-07-24 12:32:30 +0200fp(~Thunderbi@dhcp-85-67.eduroam.aalto.fi) fp
2025-07-24 12:33:45 +0200fp1(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp
2025-07-24 12:36:03 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-07-24 12:36:42 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 12:36:53 +0200fp(~Thunderbi@dhcp-85-67.eduroam.aalto.fi) (Ping timeout: 252 seconds)
2025-07-24 12:36:53 +0200fp1fp
2025-07-24 12:37:13 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-07-24 12:37:13 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-07-24 12:37:13 +0200haritz(~hrtz@user/haritz) haritz
2025-07-24 12:38:09 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-07-24 12:40:24 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 12:41:09 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-24 12:49:03 +0200fp(~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 276 seconds)
2025-07-24 12:51:38 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-07-24 12:54:23 +0200sprotte24(~sprotte24@p200300d16f056400f951445f749e5848.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-24 12:56:57 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-07-24 12:59:02 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-24 13:00:04 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-24 13:02:21 +0200caconym74(~caconym@user/caconym) caconym
2025-07-24 13:05:50 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 13:08:42 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 13:11:50 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 13:13:31 +0200mra(~mra@static.150.116.201.138.clients.your-server.de) (Read error: Connection reset by peer)
2025-07-24 13:18:37 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-24 13:19:34 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-07-24 13:19:57 +0200Lord_of_Life_Lord_of_Life
2025-07-24 13:29:39 +0200Digitteknohippie(~user@user/digit) Digit
2025-07-24 13:30:29 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-07-24 13:32:50 +0200xff0x(~xff0x@2405:6580:b080:900:5415:bcb9:bde7:e633)
2025-07-24 13:33:07 +0200arthurvlearthy
2025-07-24 13:42:22 +0200xff0x(~xff0x@2405:6580:b080:900:5415:bcb9:bde7:e633) (Ping timeout: 272 seconds)
2025-07-24 13:43:50 +0200__monty__(~toonn@user/toonn) toonn
2025-07-24 13:48:47 +0200xff0x(~xff0x@2405:6580:b080:900:1d53:2494:e6cf:4add)
2025-07-24 13:55:31 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 13:55:42 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-24 13:58:10 +0200xff0x(~xff0x@2405:6580:b080:900:1d53:2494:e6cf:4add) (Ping timeout: 248 seconds)
2025-07-24 13:58:53 +0200poscat(~poscat@user/poscat) poscat
2025-07-24 13:59:16 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 14:00:36 +0200Digitteknohippie(~user@user/digit) (Ping timeout: 252 seconds)
2025-07-24 14:01:17 +0200xff0x(~xff0x@2405:6580:b080:900:b899:76c0:cd13:9058)
2025-07-24 14:02:23 +0200Digit(~user@user/digit) Digit
2025-07-24 14:02:33 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 14:05:42 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 14:05:50 +0200Digitdigitteknohippie
2025-07-24 14:06:00 +0200digitteknohippieDigit
2025-07-24 14:08:55 +0200xff0x(~xff0x@2405:6580:b080:900:b899:76c0:cd13:9058) (Ping timeout: 268 seconds)
2025-07-24 14:10:18 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 14:10:31 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 14:16:04 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 276 seconds)
2025-07-24 14:16:51 +0200kaskal(~kaskal@84-115-230-9.cable.dynamic.surfer.at) kaskal
2025-07-24 14:17:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-24 14:24:37 +0200xff0x(~xff0x@2405:6580:b080:900:8353:c6d:9045:b194)
2025-07-24 14:30:44 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-24 14:32:04 +0200xff0x(~xff0x@2405:6580:b080:900:8353:c6d:9045:b194) (Ping timeout: 260 seconds)
2025-07-24 14:35:47 +0200xff0x(~xff0x@2405:6580:b080:900:3f7c:a0f2:2c1d:ba11)
2025-07-24 14:37:51 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-24 14:43:01 +0200xff0x(~xff0x@2405:6580:b080:900:3f7c:a0f2:2c1d:ba11) (Ping timeout: 252 seconds)
2025-07-24 14:45:16 +0200xff0x(~xff0x@2405:6580:b080:900:741e:db97:63b2:932b)
2025-07-24 14:52:58 +0200Digit(~user@user/digit) (Ping timeout: 240 seconds)
2025-07-24 14:55:11 +0200Digit(~user@user/digit) Digit
2025-07-24 14:56:21 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) falafel
2025-07-24 14:56:35 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 14:57:49 +0200xff0x(~xff0x@2405:6580:b080:900:741e:db97:63b2:932b) (Ping timeout: 265 seconds)
2025-07-24 14:59:19 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 15:00:16 +0200notzmv(~umar@user/notzmv) notzmv
2025-07-24 15:00:17 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 15:09:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-24 15:12:20 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 15:12:34 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 15:20:42 +0200xff0x(~xff0x@2405:6580:b080:900:ceab:900:743b:47b1)
2025-07-24 15:28:11 +0200weary-traveler(~user@user/user363627) user363627
2025-07-24 15:29:13 +0200ystael(~ystael@user/ystael) ystael
2025-07-24 15:30:07 +0200milan(~milan@88.212.61.169)
2025-07-24 15:34:29 +0200xff0x(~xff0x@2405:6580:b080:900:ceab:900:743b:47b1) (Ping timeout: 260 seconds)
2025-07-24 15:36:11 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 15:36:34 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-24 15:36:53 +0200xff0x(~xff0x@2405:6580:b080:900:616f:8656:5c87:eb3f)
2025-07-24 15:43:13 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-07-24 15:46:37 +0200trickard_trickard
2025-07-24 15:47:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 15:50:13 +0200xff0x(~xff0x@2405:6580:b080:900:616f:8656:5c87:eb3f) (Ping timeout: 248 seconds)
2025-07-24 15:51:23 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-07-24 16:00:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-07-24 16:02:15 +0200falafel(~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection)
2025-07-24 16:03:28 +0200merijn(~merijn@77.242.116.146) merijn
2025-07-24 16:05:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-07-24 16:05:37 +0200xff0x(~xff0x@2405:6580:b080:900:b829:fe37:78e9:2011)
2025-07-24 16:07:18 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 276 seconds)
2025-07-24 16:12:04 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 16:12:15 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds)
2025-07-24 16:12:58 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 240 seconds)
2025-07-24 16:15:25 +0200Digitteknohippie(~user@user/digit) Digit
2025-07-24 16:15:29 +0200xff0x(~xff0x@2405:6580:b080:900:b829:fe37:78e9:2011) (Quit: xff0x)
2025-07-24 16:16:27 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-07-24 16:16:44 +0200 <milan> Hello, is there a reason why we can't pattern match on IOError?
2025-07-24 16:17:51 +0200xff0x(~xff0x@2405:6580:b080:900:5694:1cf:5a35:8263)
2025-07-24 16:20:42 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-07-24 16:20:49 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-24 16:26:36 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-24 16:29:01 +0200 <mauke> it contains lots of implementation specific details that are not directly exposed to the user
2025-07-24 16:29:01 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-07-24 16:31:35 +0200 <EvanR> view patterns gives you a way to pattern match if they only expose a set of observation functions
2025-07-24 16:32:36 +0200 <EvanR> or if it's bool functions, multiway if
2025-07-24 16:33:11 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 16:33:24 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-07-24 16:36:28 +0200xff0x(~xff0x@2405:6580:b080:900:5694:1cf:5a35:8263) (Ping timeout: 276 seconds)
2025-07-24 16:37:02 +0200 <milan> EvanR: thank you for alternative!
2025-07-24 16:40:37 +0200arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2025-07-24 16:40:38 +0200 <milan> mauke: Do I understand it correctly that it would need to look like `data IOError = NotFound String, String,..String` so value constructors would be really long and thus confusing?
2025-07-24 16:42:04 +0200 <EvanR> implementation specific details means that your program would only work on a subset of the platforms, if you wrote your code against one of their internal forms
2025-07-24 16:42:37 +0200 <EvanR> instead of a uniform interface like the one in Control.Exception
2025-07-24 16:43:46 +0200 <milan> Ah so it is something like abstraction for Windows, Linux and others.. Got it
2025-07-24 16:45:30 +0200 <EvanR> yeah it's an example of an abstract data type, the constructors aren't disclosed
2025-07-24 16:45:53 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-07-24 16:45:54 +0200 <EvanR> so you can have different implementation options, or change the implementation
2025-07-24 16:46:04 +0200 <EvanR> and code hypothetically still works
2025-07-24 16:47:42 +0200m1dnight_(~m1dnight@109.236.63.204) m1dnight
2025-07-24 16:48:19 +0200trickard_trickard
2025-07-24 16:49:53 +0200Pozyomka(~pyon@user/pyon) pyon
2025-07-24 16:50:13 +0200 <milan> I think I understand
2025-07-24 16:50:59 +0200m1dnight(~m1dnight@109.236.63.152) (Ping timeout: 252 seconds)
2025-07-24 16:59:03 +0200 <mauke> not just platforms, but also compilers/interpreters
2025-07-24 16:59:19 +0200 <mauke> https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.IO.Exception.html#…
2025-07-24 16:59:50 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 17:00:45 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-07-24 17:01:44 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-24 17:01:53 +0200ethereal_(~ethereal@user/ethereal-:30935) (Client Quit)
2025-07-24 17:02:18 +0200ndudaev(~ndudaev@user/ndudaev) (Quit: WeeChat 4.7.0)
2025-07-24 17:02:34 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-24 17:03:36 +0200ft(~ft@p508db189.dip0.t-ipconnect.de) ft
2025-07-24 17:03:59 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:04:19 +0200ethereal_(~ethereal@user/ethereal-:30935) (Client Quit)
2025-07-24 17:05:16 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-24 17:11:31 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 17:12:41 +0200Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-07-24 17:15:25 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:17:04 +0200ethereal_(~ethereal@user/ethereal-:30935) (Quit: ideling)
2025-07-24 17:20:23 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 17:23:52 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:26:26 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-24 17:36:37 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-24 17:38:55 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-24 17:38:58 +0200manwithluck(~manwithlu@194.177.28.145) (Ping timeout: 248 seconds)
2025-07-24 17:39:22 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:42:55 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-07-24 17:42:58 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 17:44:02 +0200DigitteknohippieDigit
2025-07-24 17:46:46 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 17:48:03 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-07-24 17:52:58 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-07-24 18:03:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-24 18:04:59 +0200jespada(~jespada@2800:a4:2291:9400:c56f:d404:3373:2f54) (Ping timeout: 244 seconds)
2025-07-24 18:05:24 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 18:05:36 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 276 seconds)
2025-07-24 18:12:00 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-24 18:12:22 +0200biberu(~biberu@user/biberu) biberu
2025-07-24 18:15:54 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-24 18:22:11 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 18:26:54 +0200Square2(~Square@user/square) Square
2025-07-24 18:32:14 +0200notzmv(~umar@user/notzmv) (Ping timeout: 260 seconds)
2025-07-24 18:36:59 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-24 18:37:08 +0200Frostillicus(~Frostilli@2600:380:5a56:e60:91c0:c8fc:8c13:b464)
2025-07-24 18:39:31 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-24 18:41:09 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-24 18:42:05 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp)
2025-07-24 18:42:23 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-24 18:46:56 +0200FANTOM(~fantom@87.74.59.94)
2025-07-24 18:48:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-07-24 18:50:27 +0200manwithluck(~manwithlu@194.177.28.145) (Read error: Connection reset by peer)
2025-07-24 18:50:48 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-24 18:54:03 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-07-24 18:54:11 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 18:55:34 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-24 18:57:50 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-24 18:57:59 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-24 18:58:46 +0200jespada(~jespada@2800:a4:2291:9400:8bc:429b:4eed:4c3e) jespada
2025-07-24 19:03:02 +0200fp1(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp
2025-07-24 19:04:50 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-24 19:07:21 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 276 seconds)
2025-07-24 19:07:24 +0200fp1fp
2025-07-24 19:08:05 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 19:08:20 +0200 <__monty__> Is there any way to get paths relative to the file some code is in?
2025-07-24 19:11:54 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-07-24 19:14:49 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-24 19:23:18 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-07-24 19:24:10 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-07-24 19:26:05 +0200inline_(~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) Inline
2025-07-24 19:26:35 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-07-24 19:27:03 +0200 <geekosaur> if it's in a build tree then the functions in `Paths_<project>` will do it. once installed, "the file some code is in" becomes fuzzy
2025-07-24 19:29:22 +0200inline(~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2025-07-24 19:30:58 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
2025-07-24 19:31:42 +0200manwithluck(~manwithlu@194.177.28.145) (Ping timeout: 252 seconds)
2025-07-24 19:34:45 +0200jespada(~jespada@2800:a4:2291:9400:8bc:429b:4eed:4c3e) (Ping timeout: 248 seconds)
2025-07-24 19:36:22 +0200milan(~milan@88.212.61.169) (Quit: WeeChat 4.5.2)
2025-07-24 19:40:37 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-07-24 19:44:51 +0200 <__monty__> Added difficulty here is that this is more of a script, specifically a Shakefile. So I'd need something that works with runghc pretty much.
2025-07-24 19:45:18 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-24 19:46:51 +0200Square2(~Square@user/square) (Ping timeout: 265 seconds)
2025-07-24 19:47:16 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-07-24 19:50:55 +0200 <geekosaur> I think the only way to get the location of the script in that case involves TH
2025-07-24 19:53:01 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-24 19:54:38 +0200Digitteknohippie(~user@user/digit) Digit
2025-07-24 19:55:33 +0200Digit(~user@user/digit) (Ping timeout: 244 seconds)
2025-07-24 19:56:58 +0200 <__monty__> Was afraid of that.
2025-07-24 20:00:25 +0200 <dminuoso> __monty__: Is the intent to maintain some asset files along your source code to reference within that same source code (say an image)?
2025-07-24 20:05:04 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-07-24 20:07:17 +0200fp(~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 248 seconds)
2025-07-24 20:09:15 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-24 20:09:40 +0200 <glguy> dolio: this branch seems to build cleanly on my mac; is it any better for you? https://github.com/glguy/HsOpenSSL/tree/modernize
2025-07-24 20:11:38 +0200manwithluck(~manwithlu@194.177.28.145) manwithluck
2025-07-24 20:15:01 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-24 20:15:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-24 20:17:18 +0200jespada(~jespada@2800:a4:2291:9400:14c2:89da:d45:6f6a) jespada
2025-07-24 20:18:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-24 20:19:25 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-07-24 20:19:26 +0200ljdarj1ljdarj
2025-07-24 20:19:42 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 20:20:08 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Client Quit)
2025-07-24 20:20:48 +0200manwithluck(~manwithlu@194.177.28.145) (Ping timeout: 276 seconds)
2025-07-24 20:21:13 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck
2025-07-24 20:21:57 +0200 <__monty__> dminuoso: In this case it's Dhall files (the types for the configuration the user can pass in) and Latex files (templates that are filled in from said configuration).
2025-07-24 20:22:39 +0200 <dminuoso> __monty__: extra-source-files perhaps?
2025-07-24 20:23:31 +0200 <__monty__> dminuoso: That's another Cabal option, no?
2025-07-24 20:23:50 +0200 <dminuoso> Yes.
2025-07-24 20:24:21 +0200Frostillicus(~Frostilli@2600:380:5a56:e60:91c0:c8fc:8c13:b464) (Read error: Connection reset by peer)
2025-07-24 20:24:42 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-24 20:25:01 +0200 <__monty__> So it has the same problem Paths_pkgname modules have, it doesn't help in the absence of cabal-install.
2025-07-24 20:25:52 +0200 <dminuoso> Well, with source-translated languages, I feel it is our obligation to provide one or more packaging/installation methods that cover these concerns..
2025-07-24 20:26:15 +0200 <dminuoso> The moment you start adding non-code assets, you're already in "how do I package/ship this" territory.
2025-07-24 20:26:26 +0200 <dminuoso> Unless you include into the object files via TH.
2025-07-24 20:26:43 +0200 <dolio> glguy: Yeah, that builds cleanly here, too.
2025-07-24 20:27:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-24 20:27:34 +0200 <dolio> Well, not completely cleanly, but none of the warnings seem to cause errors.
2025-07-24 20:28:06 +0200 <__monty__> But my currently desired way of packaging this is to have it all in the project directory.
2025-07-24 20:31:09 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-07-24 20:31:40 +0200trickard__(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-24 20:32:38 +0200Square2(~Square@user/square) Square
2025-07-24 20:32:45 +0200trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-24 20:32:46 +0200trickard__trickard
2025-07-24 20:33:20 +0200 <sm> __monty__ you could embed those files in the script, and if needed, write them out to a temp file or known directory at runtime
2025-07-24 20:34:05 +0200 <dminuoso> __monty__: So the "installation method" is to do `git clone`?
2025-07-24 20:47:35 +0200DigitteknohippieDigit
2025-07-24 20:48:44 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-24 20:50:15 +0200 <__monty__> dminuoso: Sure. This is somewhat me poking at Shake and seeing how close to a make(1) replacement it can be.
2025-07-24 20:51:21 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Ping timeout: 276 seconds)
2025-07-24 20:51:44 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-07-24 20:52:04 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck
2025-07-24 20:52:24 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 20:52:29 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 240 seconds)
2025-07-24 20:52:36 +0200 <__monty__> sm: While that technically works I'm looking for a less chaotic method, it's already a lot of juggling of formats and templates.
2025-07-24 20:53:13 +0200jespada(~jespada@2800:a4:2291:9400:14c2:89da:d45:6f6a) (Ping timeout: 276 seconds)
2025-07-24 20:55:39 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-24 20:56:27 +0200rvalue-rvalue
2025-07-24 20:57:46 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-24 21:00:03 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-24 21:00:44 +0200caconym74(~caconym@user/caconym) caconym
2025-07-24 21:03:51 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-24 21:04:13 +0200 <dminuoso> __monty__: Is this some internal work tool or something you want to share publically?
2025-07-24 21:04:37 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-24 21:08:34 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Ping timeout: 260 seconds)
2025-07-24 21:09:08 +0200sprotte24(~sprotte24@p200300d16f056400b9509f58729e6016.dip0.t-ipconnect.de)
2025-07-24 21:09:19 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck
2025-07-24 21:11:46 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-24 21:12:28 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-07-24 21:13:29 +0200 <sm> can you use the standard tricks shell scripts use to find their file location ? Analyse the command line, etc ?
2025-07-24 21:15:56 +0200 <sm> https://hackage.haskell.org/package/base-4.21.0.0/docs/System-Environment.html#v:getExecutablePath or something
2025-07-24 21:16:39 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-24 21:17:16 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 21:20:19 +0200Guest96(~Guest96@81-207-104-14.fixed.kpn.net)
2025-07-24 21:20:42 +0200 <geekosaur> doing it right is tricky: (a) sometimes you don't get a path, especially on non-Unix, so you have to do a PATH search yourself and fail if it wasn't on the path (b) it may be a symlink to the real program, so you may need to resolve those (good luck if it's Windows!)
2025-07-24 21:20:51 +0200 <geekosaur> and let's not even think about wrapper scripts
2025-07-24 21:21:00 +0200Guest96(~Guest96@81-207-104-14.fixed.kpn.net) (Client Quit)
2025-07-24 21:23:14 +0200jespada(~jespada@2800:a4:2291:9400:1dfb:720c:e8a8:5a0a) jespada
2025-07-24 21:25:40 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-24 21:28:27 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-07-24 21:30:02 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-07-24 21:33:03 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 21:33:17 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-24 21:34:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-24 21:36:18 +0200 <glguy> dolio: could you share the warnings? I want to see if it's worth setting up an environment that reproduces them to then fix them
2025-07-24 21:38:16 +0200 <dolio> glguy: They all appear to be "return discards a 'const' qualifier" warnings.
2025-07-24 21:39:31 +0200 <glguy> Oh, ok. Last I'd looked GHC 's capi just wasn't written knowing C had qualifiers
2025-07-24 21:39:45 +0200 <dolio> Okay, yeah, it's probably that.
2025-07-24 21:40:26 +0200 <dolio> They all look like they're happening in auto-generated FFI files, so if there isn't some way to modify the FFI signature to make it generate a different signature, there's probably nothing you can do.
2025-07-24 21:41:41 +0200 <dolio> I guess there is Foreign.C.ConstPtr. Maybe that can do it?
2025-07-24 21:42:05 +0200 <glguy> Oh, when did base get that?
2025-07-24 21:43:01 +0200 <glguy> Since: base-4.18.0.0
2025-07-24 21:43:13 +0200 <glguy> Cool!
2025-07-24 21:47:08 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 21:51:40 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-24 21:54:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-24 21:59:13 +0200jespada(~jespada@2800:a4:2291:9400:1dfb:720c:e8a8:5a0a) (Ping timeout: 248 seconds)
2025-07-24 22:00:14 +0200jespada(~jespada@2800:a4:2291:9400:bcdf:5144:5f9c:bc05) jespada
2025-07-24 22:00:28 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 22:02:33 +0200 <__monty__> dminuoso: For now it's internal.
2025-07-24 22:04:22 +0200 <__monty__> sm: I could try but wouldn't the executable be `shake`?
2025-07-24 22:05:09 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-24 22:07:05 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 22:12:54 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-24 22:13:08 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-24 22:16:18 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-07-24 22:18:18 +0200caubert(~caubert@user/caubert) (Ping timeout: 245 seconds)
2025-07-24 22:20:43 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-07-24 22:23:31 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp)
2025-07-24 22:23:47 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-24 22:30:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 22:30:50 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-24 22:31:28 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 22:34:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-24 22:35:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-24 22:36:26 +0200 <[exa]> evening!
2025-07-24 22:38:05 +0200 <[exa]> is there any information about Selda maintainers? the official repo seems a bit dead and there's stuff that needs to be merged
2025-07-24 22:38:21 +0200 <[exa]> (most notably compat fixes)
2025-07-24 22:43:37 +0200caubert(~caubert@user/caubert) caubert
2025-07-24 22:45:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 22:49:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 22:52:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-24 23:00:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn