| 2025-07-24 00:00:03 +0200 | jespada | (~jespada@2800:a4:2294:8e00:19d2:eeb5:d2f7:4ff1) jespada |
| 2025-07-24 00:02:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 00:05:23 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-24 00:07:34 +0200 | merijn | (~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 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-07-24 00:14:09 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 248 seconds) |
| 2025-07-24 00:18:09 +0200 | merijn | (~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 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-24 00:22:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-24 00:24:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-07-24 00:32:30 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-24 00:33:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 00:36:03 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-07-24 00:37:58 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 00:50:45 +0200 | diagprov | (uid348783@user/diagprov) (Quit: Connection closed for inactivity) |
| 2025-07-24 00:55:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 00:56:32 +0200 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2025-07-24 01:01:51 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-24 01:02:59 +0200 | acidjnk | (~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-24 01:03:55 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-24 01:06:24 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-24 01:06:51 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-24 01:07:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 01:08:18 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-07-24 01:11:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-24 01:16:28 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-24 01:18:45 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Max SendQ exceeded) |
| 2025-07-24 01:19:11 +0200 | rvalue | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 01:27:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-24 01:27:15 +0200 | falafel | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-24 01:30:37 +0200 | Frostillicus | (~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 +0200 | Lycurgus | (~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 +0200 | b7r6 | (~b7r6@user/b7r6) b7r6 |
| 2025-07-24 01:37:24 +0200 | sprotte24_ | (~sprotte24@p5dd5d519.dip0.t-ipconnect.de) |
| 2025-07-24 01:37:53 +0200 | sprotte24 | (~sprotte24@p200300d16f43870095bde33c5bcf7ec5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-07-24 01:37:55 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-24 01:43:41 +0200 | pavonia | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-24 01:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 01:53:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 01:54:28 +0200 | machinedgod | (~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 +0200 | merijn | (~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 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-24 02:02:33 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-07-24 02:03:36 +0200 | sprotte24_ | (~sprotte24@p5dd5d519.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-24 02:04:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-24 02:04:37 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-24 02:04:37 +0200 | jmcantrell_ | jmcantrell |
| 2025-07-24 02:05:53 +0200 | falafel | (~falafel@79.117.174.28) (Ping timeout: 272 seconds) |
| 2025-07-24 02:07:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 02:08:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 02:11:04 +0200 | dutchie | (~dutchie@user/dutchie) (Ping timeout: 260 seconds) |
| 2025-07-24 02:11:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-24 02:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 02:15:10 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-07-24 02:15:48 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 245 seconds) |
| 2025-07-24 02:17:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 02:18:31 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-24 02:18:50 +0200 | be8bcca2f3 | (~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 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-07-24 02:23:02 +0200 | trickard__ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 02:23:15 +0200 | trickard_ | (~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 +0200 | merijn | (~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 +0200 | falafel | (~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 +0200 | merijn | (~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 +0200 | down200- | (~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 +0200 | Sgeo | (~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 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 02:37:14 +0200 | <geekosaur> | screw import lists 🙂 |
| 2025-07-24 02:37:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-24 02:38:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-24 02:42:01 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-07-24 02:42:09 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 260 seconds) |
| 2025-07-24 02:42:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 02:43:54 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-24 02:46:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-24 02:52:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 02:54:41 +0200 | be8bcca2f3 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 03:00:17 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-24 03:02:20 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-07-24 03:02:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c38f:654b:d0b9:76ef) (Ping timeout: 244 seconds) |
| 2025-07-24 03:02:42 +0200 | merijn | (~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 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Ping timeout: 240 seconds) |
| 2025-07-24 03:13:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 03:14:39 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-07-24 03:14:56 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-07-24 03:17:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 03:20:19 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) be8bcca2f3 |
| 2025-07-24 03:21:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 03:23:01 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds) |
| 2025-07-24 03:24:01 +0200 | down200 | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | kaskal | (~kaskal@2a02:8388:15bf:c200:b805:34c5:402d:8eda) (Ping timeout: 272 seconds) |
| 2025-07-24 03:40:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 03:43:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 03:45:01 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-24 03:45:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-07-24 03:47:05 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-24 03:48:10 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-07-24 03:48:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-24 03:48:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-07-24 03:48:37 +0200 | ljdarj1 | ljdarj |
| 2025-07-24 03:49:58 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-07-24 03:54:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-24 03:56:52 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-24 03:58:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 03:59:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 04:02:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-24 04:03:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 04:05:28 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-24 04:05:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-24 04:13:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 04:15:10 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-24 04:18:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-24 04:19:29 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-07-24 04:20:53 +0200 | b7r6 | (~b7r6@user/b7r6) (Quit: Client closed) |
| 2025-07-24 04:24:25 +0200 | be8bcca2f3 | (~be8bcca2f@user/be8bcca2f3) (Quit: leaving) |
| 2025-07-24 04:25:53 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-07-24 04:28:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 04:32:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 04:35:31 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-24 04:35:31 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-24 04:35:31 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 04:40:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-07-24 04:43:38 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-24 04:44:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 04:48:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 04:53:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 04:55:28 +0200 | ethantwardy | (~user@user/ethantwardy) (Ping timeout: 240 seconds) |
| 2025-07-24 04:55:29 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-24 04:58:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 04:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 05:00:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 05:04:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-24 05:05:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-07-24 05:08:01 +0200 | trickard_ | trickard |
| 2025-07-24 05:13:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-07-24 05:14:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 05:17:22 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 05:19:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-24 05:20:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 05:22:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 05:30:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 05:32:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-07-24 05:32:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 05:34:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-24 05:35:29 +0200 | aforemny_ | (~aforemny@i59F4C78B.versanet.de) aforemny |
| 2025-07-24 05:36:20 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:6e00:ddc1:59ef:db97:52df) (Ping timeout: 244 seconds) |
| 2025-07-24 05:45:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 05:46:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-24 05:50:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-24 05:52:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 05:53:01 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 05:58:54 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2025-07-24 06:01:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 06:01:16 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 06:05:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 06:08:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 06:14:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 06:18:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-24 06:29:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 06:34:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-24 06:45:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 06:48:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-24 06:48:18 +0200 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-24 06:49:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds) |
| 2025-07-24 06:50:10 +0200 | merijn | (~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 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 06:56:41 +0200 | humasect_ | humasect |
| 2025-07-24 06:58:36 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-24 07:00:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 07:05:09 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-24 07:06:30 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2025-07-24 07:07:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-24 07:15:24 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-24 07:30:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 07:34:38 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-24 07:35:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-24 07:44:06 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-24 07:44:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-24 07:45:28 +0200 | b7r6 | (~b7r6@user/b7r6) b7r6 |
| 2025-07-24 07:46:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 07:50:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-24 07:52:21 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-24 07:52:21 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-24 07:52:21 +0200 | arandombit | (~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 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-07-24 07:58:11 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-24 08:01:32 +0200 | merijn | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-24 08:12:43 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-24 08:13:04 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-24 08:15:05 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-07-24 08:16:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 08:19:11 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 08:20:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 08:25:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2025-07-24 08:25:42 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-07-24 08:25:42 +0200 | ndudaev | (~ndudaev@213.17.133.9) |
| 2025-07-24 08:26:08 +0200 | ndudaev | (~ndudaev@213.17.133.9) (Changing host) |
| 2025-07-24 08:26:08 +0200 | ndudaev | (~ndudaev@user/ndudaev) ndudaev |
| 2025-07-24 08:28:36 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-24 08:30:23 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-24 08:31:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 08:32:18 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-07-24 08:32:18 +0200 | prdak1 | prdak |
| 2025-07-24 08:33:04 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-07-24 08:35:32 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-24 08:36:34 +0200 | fantom | (~fantom@92.40.180.1.threembb.co.uk) |
| 2025-07-24 08:36:35 +0200 | fantom | (~fantom@92.40.180.1.threembb.co.uk) (Excess Flood) |
| 2025-07-24 08:36:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-24 08:37:40 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-24 08:37:40 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-24 08:37:40 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 08:43:04 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-07-24 08:46:37 +0200 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-07-24 08:47:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-24 08:47:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 08:50:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-07-24 08:50:13 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-24 08:50:47 +0200 | ft | (~ft@p508db189.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-24 08:52:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-24 09:00:01 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-24 09:00:41 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-24 09:02:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 09:04:17 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 09:06:34 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-07-24 09:08:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-24 09:10:49 +0200 | remedan_ | (~remedan@78-80-80-237.customers.tmcz.cz) (Ping timeout: 252 seconds) |
| 2025-07-24 09:13:45 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2025-07-24 09:14:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-24 09:15:15 +0200 | remedan | (~remedan@78-80-80-127.customers.tmcz.cz) remedan |
| 2025-07-24 09:17:18 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 09:17:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-07-24 09:18:26 +0200 | b7r6 | (~b7r6@user/b7r6) (Quit: Client closed) |
| 2025-07-24 09:19:49 +0200 | fun-safe-math | (~fun-safe-@97-120-33-44.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 2025-07-24 09:22:00 +0200 | fun-safe-math | (~fun-safe-@97-120-33-44.ptld.qwest.net) fun-safe-math |
| 2025-07-24 09:24:40 +0200 | acidjnk | (~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) acidjnk |
| 2025-07-24 09:25:59 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-07-24 09:32:28 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-24 09:35:28 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-24 09:37:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-24 09:41:03 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-07-24 09:45:29 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-07-24 09:46:59 +0200 | arandombit | (~arandombi@37.120.80.229) |
| 2025-07-24 09:46:59 +0200 | arandombit | (~arandombi@37.120.80.229) (Changing host) |
| 2025-07-24 09:46:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 09:57:45 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-24 09:58:28 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Ping timeout: 240 seconds) |
| 2025-07-24 09:58:48 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-07-24 10:01:56 +0200 | chele | (~chele@user/chele) chele |
| 2025-07-24 10:02:00 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-24 10:03:49 +0200 | jreicher | (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-07-24 10:09:26 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 10:10:46 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving) |
| 2025-07-24 10:15:37 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-24 10:17:39 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-07-24 10:20:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-07-24 10:27:13 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2025-07-24 10:29:12 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 10:29:26 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-24 10:30:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-24 10:35:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-07-24 10:36:23 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-07-24 10:40:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-24 10:45:13 +0200 | sprotte24 | (~sprotte24@p200300d16f056400f951445f749e5848.dip0.t-ipconnect.de) |
| 2025-07-24 10:45:58 +0200 | m1dnight | (~m1dnight@109.236.63.154) (Ping timeout: 240 seconds) |
| 2025-07-24 10:46:06 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 10:50:58 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-24 10:53:14 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 10:54:36 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-07-24 10:56:16 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) Inline |
| 2025-07-24 11:00:45 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-07-24 11:07:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-24 11:27:20 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-24 11:31:04 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-24 11:45:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-24 11:47:20 +0200 | merijn | (~merijn@77.242.116.150) merijn |
| 2025-07-24 11:53:39 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 11:54:54 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 12:07:27 +0200 | jespada | (~jespada@2800:a4:2294:8e00:19d2:eeb5:d2f7:4ff1) (Ping timeout: 244 seconds) |
| 2025-07-24 12:09:33 +0200 | jespada | (~jespada@2800:a4:2291:9400:c56f:d404:3373:2f54) jespada |
| 2025-07-24 12:16:08 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 12:16:22 +0200 | merijn | (~merijn@77.242.116.150) (Ping timeout: 252 seconds) |
| 2025-07-24 12:22:13 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2025-07-24 12:26:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-24 12:28:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-24 12:29:40 +0200 | m1dnight | (~m1dnight@109.236.63.152) m1dnight |
| 2025-07-24 12:32:30 +0200 | fp | (~Thunderbi@dhcp-85-67.eduroam.aalto.fi) fp |
| 2025-07-24 12:33:45 +0200 | fp1 | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) fp |
| 2025-07-24 12:36:03 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-24 12:36:42 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 12:36:53 +0200 | fp | (~Thunderbi@dhcp-85-67.eduroam.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-07-24 12:36:53 +0200 | fp1 | fp |
| 2025-07-24 12:37:13 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-24 12:37:13 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-24 12:37:13 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-24 12:38:09 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-07-24 12:40:24 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 12:41:09 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-24 12:49:03 +0200 | fp | (~Thunderbi@wireless-86-50-140-9.open.aalto.fi) (Ping timeout: 276 seconds) |
| 2025-07-24 12:51:38 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-07-24 12:54:23 +0200 | sprotte24 | (~sprotte24@p200300d16f056400f951445f749e5848.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-24 12:56:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-07-24 12:59:02 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-24 13:00:04 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-24 13:02:21 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-24 13:05:50 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 13:08:42 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 13:11:50 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 13:13:31 +0200 | mra | (~mra@static.150.116.201.138.clients.your-server.de) (Read error: Connection reset by peer) |
| 2025-07-24 13:18:37 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-24 13:19:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-07-24 13:19:57 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-24 13:29:39 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-24 13:30:29 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-07-24 13:32:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5415:bcb9:bde7:e633) |
| 2025-07-24 13:33:07 +0200 | arthurvl | earthy |
| 2025-07-24 13:42:22 +0200 | xff0x | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1d53:2494:e6cf:4add) |
| 2025-07-24 13:55:31 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 13:55:42 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-07-24 13:58:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1d53:2494:e6cf:4add) (Ping timeout: 248 seconds) |
| 2025-07-24 13:58:53 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-24 13:59:16 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 14:00:36 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-24 14:01:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b899:76c0:cd13:9058) |
| 2025-07-24 14:02:23 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-24 14:02:33 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 14:05:42 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 14:05:50 +0200 | Digit | digitteknohippie |
| 2025-07-24 14:06:00 +0200 | digitteknohippie | Digit |
| 2025-07-24 14:08:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b899:76c0:cd13:9058) (Ping timeout: 268 seconds) |
| 2025-07-24 14:10:18 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 14:10:31 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-24 14:16:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-24 14:16:51 +0200 | kaskal | (~kaskal@84-115-230-9.cable.dynamic.surfer.at) kaskal |
| 2025-07-24 14:17:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-24 14:24:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8353:c6d:9045:b194) |
| 2025-07-24 14:30:44 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-24 14:32:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8353:c6d:9045:b194) (Ping timeout: 260 seconds) |
| 2025-07-24 14:35:47 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3f7c:a0f2:2c1d:ba11) |
| 2025-07-24 14:37:51 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-24 14:43:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3f7c:a0f2:2c1d:ba11) (Ping timeout: 252 seconds) |
| 2025-07-24 14:45:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:741e:db97:63b2:932b) |
| 2025-07-24 14:52:58 +0200 | Digit | (~user@user/digit) (Ping timeout: 240 seconds) |
| 2025-07-24 14:55:11 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-24 14:56:21 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) falafel |
| 2025-07-24 14:56:35 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 14:57:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:741e:db97:63b2:932b) (Ping timeout: 265 seconds) |
| 2025-07-24 14:59:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 15:00:16 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-24 15:00:17 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 15:09:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-24 15:12:20 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 15:12:34 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-24 15:20:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ceab:900:743b:47b1) |
| 2025-07-24 15:28:11 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-24 15:29:13 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-24 15:30:07 +0200 | milan | (~milan@88.212.61.169) |
| 2025-07-24 15:34:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ceab:900:743b:47b1) (Ping timeout: 260 seconds) |
| 2025-07-24 15:36:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 15:36:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-24 15:36:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:616f:8656:5c87:eb3f) |
| 2025-07-24 15:43:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-24 15:46:37 +0200 | trickard_ | trickard |
| 2025-07-24 15:47:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 15:50:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:616f:8656:5c87:eb3f) (Ping timeout: 248 seconds) |
| 2025-07-24 15:51:23 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-07-24 16:00:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-07-24 16:02:15 +0200 | falafel | (~falafel@2a0c:5a87:3104:8f01::f709) (Remote host closed the connection) |
| 2025-07-24 16:03:28 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-24 16:05:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-24 16:05:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b829:fe37:78e9:2011) |
| 2025-07-24 16:07:18 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 276 seconds) |
| 2025-07-24 16:12:04 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-24 16:12:15 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds) |
| 2025-07-24 16:12:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 240 seconds) |
| 2025-07-24 16:15:25 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-24 16:15:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b829:fe37:78e9:2011) (Quit: xff0x) |
| 2025-07-24 16:16:27 +0200 | Digit | (~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 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5694:1cf:5a35:8263) |
| 2025-07-24 16:20:42 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-07-24 16:20:49 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-24 16:26:36 +0200 | weary-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 +0200 | gorignak | (~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 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 16:33:24 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-07-24 16:36:28 +0200 | xff0x | (~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 +0200 | arandombit | (~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 +0200 | Pozyomka | (~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 +0200 | m1dnight_ | (~m1dnight@109.236.63.204) m1dnight |
| 2025-07-24 16:48:19 +0200 | trickard_ | trickard |
| 2025-07-24 16:49:53 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-07-24 16:50:13 +0200 | <milan> | I think I understand |
| 2025-07-24 16:50:59 +0200 | m1dnight | (~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 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 17:00:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-07-24 17:01:44 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-24 17:01:53 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Client Quit) |
| 2025-07-24 17:02:18 +0200 | ndudaev | (~ndudaev@user/ndudaev) (Quit: WeeChat 4.7.0) |
| 2025-07-24 17:02:34 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-24 17:03:36 +0200 | ft | (~ft@p508db189.dip0.t-ipconnect.de) ft |
| 2025-07-24 17:03:59 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:04:19 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Client Quit) |
| 2025-07-24 17:05:16 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) ethereal_ |
| 2025-07-24 17:11:31 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 17:12:41 +0200 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-07-24 17:15:25 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:17:04 +0200 | ethereal_ | (~ethereal@user/ethereal-:30935) (Quit: ideling) |
| 2025-07-24 17:20:23 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 17:23:52 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:26:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-24 17:36:37 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-24 17:38:55 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-24 17:38:58 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Ping timeout: 248 seconds) |
| 2025-07-24 17:39:22 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:42:55 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-24 17:42:58 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 17:44:02 +0200 | Digitteknohippie | Digit |
| 2025-07-24 17:46:46 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 17:48:03 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-07-24 17:52:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-07-24 18:03:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
| 2025-07-24 18:04:59 +0200 | jespada | (~jespada@2800:a4:2291:9400:c56f:d404:3373:2f54) (Ping timeout: 244 seconds) |
| 2025-07-24 18:05:24 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 18:05:36 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
| 2025-07-24 18:12:00 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-24 18:12:22 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-07-24 18:15:54 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-24 18:22:11 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 18:26:54 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-24 18:32:14 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2025-07-24 18:36:59 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-24 18:37:08 +0200 | Frostillicus | (~Frostilli@2600:380:5a56:e60:91c0:c8fc:8c13:b464) |
| 2025-07-24 18:39:31 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-24 18:41:09 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-24 18:42:05 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
| 2025-07-24 18:42:23 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-24 18:46:56 +0200 | FANTOM | (~fantom@87.74.59.94) |
| 2025-07-24 18:48:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-07-24 18:50:27 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Read error: Connection reset by peer) |
| 2025-07-24 18:50:48 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-24 18:54:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-24 18:54:11 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 18:55:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-24 18:57:50 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-24 18:57:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-24 18:58:46 +0200 | jespada | (~jespada@2800:a4:2291:9400:8bc:429b:4eed:4c3e) jespada |
| 2025-07-24 19:03:02 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp |
| 2025-07-24 19:04:50 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-24 19:07:21 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 276 seconds) |
| 2025-07-24 19:07:24 +0200 | fp1 | fp |
| 2025-07-24 19:08:05 +0200 | caubert | (~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 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-07-24 19:14:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-24 19:23:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-07-24 19:24:10 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-07-24 19:26:05 +0200 | inline_ | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) Inline |
| 2025-07-24 19:26:35 +0200 | L29Ah | (~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 +0200 | inline | (~inline@ip-005-146-196-034.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-07-24 19:30:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-07-24 19:31:42 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Ping timeout: 252 seconds) |
| 2025-07-24 19:34:45 +0200 | jespada | (~jespada@2800:a4:2291:9400:8bc:429b:4eed:4c3e) (Ping timeout: 248 seconds) |
| 2025-07-24 19:36:22 +0200 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-07-24 19:40:37 +0200 | ljdarj | (~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 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-24 19:46:51 +0200 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-07-24 19:47:16 +0200 | euphores | (~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 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-24 19:54:38 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-24 19:55:33 +0200 | Digit | (~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 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-07-24 20:07:17 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-07-24 20:09:15 +0200 | ljdarj | (~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 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-07-24 20:15:01 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-24 20:15:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-24 20:17:18 +0200 | jespada | (~jespada@2800:a4:2291:9400:14c2:89da:d45:6f6a) jespada |
| 2025-07-24 20:18:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-07-24 20:19:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-07-24 20:19:26 +0200 | ljdarj1 | ljdarj |
| 2025-07-24 20:19:42 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 20:20:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-07-24 20:20:48 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Ping timeout: 276 seconds) |
| 2025-07-24 20:21:13 +0200 | manwithluck | (~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 +0200 | Frostillicus | (~Frostilli@2600:380:5a56:e60:91c0:c8fc:8c13:b464) (Read error: Connection reset by peer) |
| 2025-07-24 20:24:42 +0200 | caubert | (~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 +0200 | peterbecich | (~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 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-24 20:31:40 +0200 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-24 20:32:38 +0200 | Square2 | (~Square@user/square) Square |
| 2025-07-24 20:32:45 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-24 20:32:46 +0200 | trickard__ | 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 +0200 | Digitteknohippie | Digit |
| 2025-07-24 20:48:44 +0200 | LainIwakura | (~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 +0200 | manwithluck | (~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Ping timeout: 276 seconds) |
| 2025-07-24 20:51:44 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-24 20:52:04 +0200 | manwithluck | (~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck |
| 2025-07-24 20:52:24 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 20:52:29 +0200 | rvalue | (~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 +0200 | jespada | (~jespada@2800:a4:2291:9400:14c2:89da:d45:6f6a) (Ping timeout: 276 seconds) |
| 2025-07-24 20:55:39 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-24 20:56:27 +0200 | rvalue- | rvalue |
| 2025-07-24 20:57:46 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-24 21:00:03 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-24 21:00:44 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-24 21:03:51 +0200 | humasect | (~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 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-24 21:08:34 +0200 | manwithluck | (~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Ping timeout: 260 seconds) |
| 2025-07-24 21:09:08 +0200 | sprotte24 | (~sprotte24@p200300d16f056400b9509f58729e6016.dip0.t-ipconnect.de) |
| 2025-07-24 21:09:19 +0200 | manwithluck | (~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck |
| 2025-07-24 21:11:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-07-24 21:12:28 +0200 | vanishingideal | (~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 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-07-24 21:17:16 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 21:20:19 +0200 | Guest96 | (~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 +0200 | Guest96 | (~Guest96@81-207-104-14.fixed.kpn.net) (Client Quit) |
| 2025-07-24 21:23:14 +0200 | jespada | (~jespada@2800:a4:2291:9400:1dfb:720c:e8a8:5a0a) jespada |
| 2025-07-24 21:25:40 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-07-24 21:28:27 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-07-24 21:30:02 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-24 21:33:03 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 21:33:17 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-24 21:34:28 +0200 | caubert | (~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 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 21:51:40 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-24 21:54:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-24 21:59:13 +0200 | jespada | (~jespada@2800:a4:2291:9400:1dfb:720c:e8a8:5a0a) (Ping timeout: 248 seconds) |
| 2025-07-24 22:00:14 +0200 | jespada | (~jespada@2800:a4:2291:9400:bcdf:5144:5f9c:bc05) jespada |
| 2025-07-24 22:00:28 +0200 | caubert | (~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 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-24 22:07:05 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 22:12:54 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-24 22:13:08 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-07-24 22:16:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-07-24 22:18:18 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-24 22:20:43 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) athan |
| 2025-07-24 22:23:31 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
| 2025-07-24 22:23:47 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-07-24 22:30:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 22:30:50 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-07-24 22:31:28 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 22:34:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-24 22:35:58 +0200 | caubert | (~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 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-24 22:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-24 22:49:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-07-24 22:52:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-24 23:00:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |