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)