2025/05/25

2025-05-25 00:01:10 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-05-25 00:01:43 +0200 <monochrom> Maybe "Haskell Check Command" aka haskell-check-command (the variable) but I haven't tested it.
2025-05-25 00:02:19 +0200messewix(~jmc@c-73-204-219-232.hsd1.fl.comcast.net) messewix
2025-05-25 00:02:19 +0200messewix(~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host)
2025-05-25 00:02:19 +0200messewix(~jmc@user/messewix) messewix
2025-05-25 00:03:13 +0200 <euouae> thank you
2025-05-25 00:03:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:04:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:04:12 +0200 <euouae> Hm, I changed `haskell-check-command' to `true`. We'll see.
2025-05-25 00:07:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 00:09:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:09:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:11:53 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-25 00:12:05 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-25 00:12:26 +0200califax(~califax@user/califx) califx
2025-05-25 00:12:35 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-25 00:14:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:14:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:16:56 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-25 00:17:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-25 00:19:02 +0200 <tomsmeding> euouae: you have to set the language server option 'haskell.plugin.hlint.globalOn' to false
2025-05-25 00:19:17 +0200 <tomsmeding> how you do this precisely depends on the editor https://haskell-language-server.readthedocs.io/en/stable/configuration.html
2025-05-25 00:19:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:19:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:23:11 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-25 00:25:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 00:25:49 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-25 00:25:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:26:30 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-25 00:28:32 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-25 00:29:40 +0200tromp(~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-25 00:31:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 00:31:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:32:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:35:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-05-25 00:36:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-25 00:37:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 00:38:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:44:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 00:44:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:45:10 +0200 <euouae> tomsmeding: thank you
2025-05-25 00:46:29 +0200 <euouae> I wrote this code to show how to make a menu
2025-05-25 00:46:29 +0200 <euouae> https://gist.github.com/createyourpersonalaccount/d69159f87fadd2cf2241349ee42d3eef
2025-05-25 00:46:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 00:47:04 +0200 <euouae> but I'm stuck: there's no way to have partial choices, so how could the user navigate a menu? E.g. Animal>Anthropod as a choice, before choosing 'Crab' from the list
2025-05-25 00:47:27 +0200 <euouae> It seems that I have to either decouple Animal from its classes, or duplicate with MenuAnimal or similar
2025-05-25 00:47:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:48:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:49:53 +0200kadobanana(~mud@user/kadoban) (Ping timeout: 248 seconds)
2025-05-25 00:52:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-25 00:52:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:53:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:55:33 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-25 00:57:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:58:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:59:58 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-25 01:00:00 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-25 01:01:05 +0200 <euouae> I think the solution is to decouple them all and turn them into derived Enum's
2025-05-25 01:01:08 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2025-05-25 01:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 01:03:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:03:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:07:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-25 01:07:50 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-25 01:08:36 +0200chiselfu1e(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-05-25 01:10:14 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-05-25 01:11:34 +0200messewix(~jmc@user/messewix) (Ping timeout: 276 seconds)
2025-05-25 01:11:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 01:11:58 +0200messewix(~jmc@c-73-204-219-232.hsd1.fl.comcast.net)
2025-05-25 01:11:58 +0200messewix(~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host)
2025-05-25 01:11:58 +0200messewix(~jmc@user/messewix) messewix
2025-05-25 01:12:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:17:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 01:18:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:18:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 01:23:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:23:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:24:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-25 01:27:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:28:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:33:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:34:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:36:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 01:40:47 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
2025-05-25 01:41:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-25 01:41:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:41:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:46:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:46:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:52:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 01:52:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:52:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 01:57:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-25 01:58:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 01:58:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:01:57 +0200acidjnk(~acidjnk@p200300d6e71c4f20e9033a69b5091294.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-05-25 02:04:34 +0200jespada_(~jespada@r190-135-76-187.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-05-25 02:04:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 02:05:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:08:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 02:10:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:10:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:13:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-25 02:14:07 +0200 <EvanR> euouae, I couldn't open your gist link
2025-05-25 02:15:32 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-05-25 02:16:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:16:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:17:01 +0200sprotte24(~sprotte24@p200300d16f200d007d4433339bb724df.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-25 02:20:58 +0200Ranhir(~Ranhir@157.97.53.139) (Remote host closed the connection)
2025-05-25 02:23:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-25 02:23:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:23:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 02:23:53 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-05-25 02:27:04 +0200 <euouae> EvanR: I deleted it. Imagine `data Foo = Bar Bars | Baz Bazs` and `data Bars = Bar1 | Bar2` and `data Bazs = Baz1 | Baz2 | Baz3`
2025-05-25 02:27:32 +0200 <euouae> and a menu selection Foo: 1) Bar 2) Baz and then afterwards expands to Bar: 1) Bar1 2) Bar2 and so on
2025-05-25 02:27:38 +0200 <EvanR> jeez...
2025-05-25 02:27:43 +0200 <euouae> What?
2025-05-25 02:27:54 +0200 <EvanR> deleting the subject matter makes it hard to understand the issue
2025-05-25 02:28:42 +0200 <EvanR> you're trying to select what from a menu ultimately
2025-05-25 02:29:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:29:10 +0200 <euouae> This is an example application
2025-05-25 02:29:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:29:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-25 02:29:44 +0200 <euouae> the menu is a DAG, I'm modeling it with some types. I'm wondering what the right approach is (perhaps... I should use Data.Graph?)
2025-05-25 02:30:13 +0200 <EvanR> in the simplest menu or dag, your elements you pick from are of 1 type
2025-05-25 02:30:35 +0200 <EvanR> having different types at different positions is asking for trouble
2025-05-25 02:32:25 +0200 <euouae> yeah it makes sense
2025-05-25 02:35:27 +0200tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b)
2025-05-25 02:36:04 +0200tromp(~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Client Quit)
2025-05-25 02:36:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 02:36:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 02:36:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 02:38:27 +0200 <euouae> why is LSP so stupid man what do I need to do. geez. "failed to start/restart" again and again for nonsense. have to restart the entire editor
2025-05-25 02:38:28 +0200euouae(~euouae@user/euouae) ()