2025/07/23

Newest at the top

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:19:11 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-24 01:18:45 +0200rvalue(~rvalue@about/hackers/rvalue) (Max SendQ exceeded)
2025-07-24 01:16:28 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-24 01:11:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-24 01:08:18 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2025-07-24 01:07:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 01:06:51 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-24 01:06:24 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-07-24 01:03:55 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-24 01:02:59 +0200acidjnk(~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-07-24 01:01:51 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-24 00:56:32 +0200ethantwardy(~user@user/ethantwardy) ethantwardy
2025-07-24 00:55:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 00:50:45 +0200diagprov(uid348783@user/diagprov) (Quit: Connection closed for inactivity)
2025-07-24 00:49:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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: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:44:32 +0200 <haskellbridge> <Ricardo> I know. I'm just saying that I'm using lsp-mode instead.
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: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:40:05 +0200 <lambdabot> Unknown command, try @list
2025-07-24 00:40:05 +0200 <geekosaur> @Ricardo ^^
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:37:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-24 00:36:03 +0200ystael(~ystael@user/ystael) (Read error: Connection reset by peer)
2025-07-24 00:33:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:32:30 +0200jreicher(~user@user/jreicher) jreicher
2025-07-24 00:24:35 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-24 00:22:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-24 00:19:11 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
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:18:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:14:09 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 248 seconds)
2025-07-24 00:12:54 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 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:07:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-24 00:05:23 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-24 00:02:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-24 00:00:03 +0200jespada(~jespada@2800:a4:2294:8e00:19d2:eeb5:d2f7:4ff1) jespada
2025-07-23 23:57:24 +0200jespada(~jespada@2800:a4:229c:7c00:e184:1807:9782:7c3f) (Ping timeout: 244 seconds)
2025-07-23 23:51:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-23 23:51:45 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-07-23 23:47:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 23:45:41 +0200ystael(~ystael@user/ystael) ystael
2025-07-23 23:36:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-23 23:32:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-23 23:26:58 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 240 seconds)
2025-07-23 23:25:16 +0200ystael(~ystael@user/ystael) (Ping timeout: 252 seconds)
2025-07-23 23:23:53 +0200__monty__(~toonn@user/toonn) (Quit: leaving)