| 2025-05-25 00:01:10 +0200 | vanishingideal | (~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 +0200 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) messewix |
| 2025-05-25 00:02:19 +0200 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host) |
| 2025-05-25 00:02:19 +0200 | messewix | (~jmc@user/messewix) messewix |
| 2025-05-25 00:03:13 +0200 | <euouae> | thank you |
| 2025-05-25 00:03:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:04:04 +0200 | sabathan2 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 00:09:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:09:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:11:53 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-25 00:12:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-25 00:12:26 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-25 00:12:35 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-25 00:14:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:14:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:16:56 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-25 00:17:25 +0200 | merijn | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:19:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:23:11 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-25 00:25:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 00:25:49 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-25 00:25:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:26:30 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-25 00:28:32 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-25 00:29:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-25 00:31:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 00:31:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:32:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:35:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-25 00:36:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-25 00:37:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 00:38:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:44:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 00:44:47 +0200 | sabathan2 | (~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 +0200 | merijn | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:48:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:49:53 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 2025-05-25 00:52:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-25 00:52:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:53:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:55:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-25 00:57:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 00:58:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 00:59:58 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-25 01:00:00 +0200 | notzmv | (~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 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-05-25 01:02:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 01:03:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:03:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:07:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-25 01:07:50 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-25 01:08:36 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-05-25 01:10:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-25 01:11:34 +0200 | messewix | (~jmc@user/messewix) (Ping timeout: 276 seconds) |
| 2025-05-25 01:11:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 01:11:58 +0200 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) |
| 2025-05-25 01:11:58 +0200 | messewix | (~jmc@c-73-204-219-232.hsd1.fl.comcast.net) (Changing host) |
| 2025-05-25 01:11:58 +0200 | messewix | (~jmc@user/messewix) messewix |
| 2025-05-25 01:12:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:17:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 01:18:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:18:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 01:23:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:23:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:24:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-25 01:27:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:28:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:33:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:34:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:36:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 01:40:47 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-05-25 01:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-25 01:41:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:41:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:46:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:46:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:52:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 01:52:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:52:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 01:57:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-25 01:58:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 01:58:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:01:57 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f20e9033a69b5091294.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-25 02:04:34 +0200 | jespada_ | (~jespada@r190-135-76-187.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-25 02:04:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 02:05:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:08:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 02:10:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:10:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:13:21 +0200 | merijn | (~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 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-05-25 02:16:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:16:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:17:01 +0200 | sprotte24 | (~sprotte24@p200300d16f200d007d4433339bb724df.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-25 02:20:58 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 2025-05-25 02:23:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-25 02:23:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:23:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 02:23:53 +0200 | harveypwca | (~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 +0200 | sabathan2 | (~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 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:29:34 +0200 | merijn | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) |
| 2025-05-25 02:36:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29cc:e961:ab7b:113b) (Client Quit) |
| 2025-05-25 02:36:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:36:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-25 02:36:34 +0200 | sabathan2 | (~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 +0200 | euouae | (~euouae@user/euouae) () |
| 2025-05-25 02:40:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-25 02:41:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:44:06 +0200 | <EvanR> | oof |
| 2025-05-25 02:44:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:44:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-25 02:50:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-25 02:51:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |