2025/05/24

Newest at the top

2025-05-25 01:03:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 01:01:08 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
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:00:00 +0200notzmv(~daniel@user/notzmv) notzmv
2025-05-25 00:59:58 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-25 00:58:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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:55:33 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-25 00:53:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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:52:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-25 00:49:53 +0200kadobanana(~mud@user/kadoban) (Ping timeout: 248 seconds)
2025-05-25 00:48:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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: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: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:46:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-25 00:46:29 +0200 <euouae> https://gist.github.com/createyourpersonalaccount/d69159f87fadd2cf2241349ee42d3eef
2025-05-25 00:46:29 +0200 <euouae> I wrote this code to show how to make a menu
2025-05-25 00:45:10 +0200 <euouae> tomsmeding: thank you
2025-05-25 00:44:47 +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:38:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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:36:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-25 00:35:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-05-25 00:32:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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:31:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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:28:32 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-25 00:26:30 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-25 00:25:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-25 00:25:49 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
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:23:11 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-25 00:19:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
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: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:02 +0200 <tomsmeding> euouae: you have to set the language server option 'haskell.plugin.hlint.globalOn' to false
2025-05-25 00:17:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-25 00:16:56 +0200gmg(~user@user/gehmehgeh) (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:14:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-25 00:12:35 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-25 00:12:26 +0200califax(~califax@user/califx) califx
2025-05-25 00:12:05 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-05-25 00:11:53 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)