| 2024-10-26 00:00:33 +0200 | <Zer000> | Yeah it still crashes instead of catching my exception. I really don't know what I'm doing when it comes to this laziness stuff but I'll try to think where there could be a thunk |
| 2024-10-26 00:01:31 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-26 00:01:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 00:04:35 +0200 | <geekosaur> | it's a list, there's a thunk at every index 🙂 |
| 2024-10-26 00:04:58 +0200 | vglfr | (~vglfr@2607:fb90:ea85:c41e:ad3:f757:9a54:48e7) (Read error: Connection reset by peer) |
| 2024-10-26 00:05:24 +0200 | <tomsmeding> | Zer000: evaluating e.g. a pair to WHNF does not evaluate the components of the pair to WHNF |
| 2024-10-26 00:05:36 +0200 | <tomsmeding> | make sure you really evaluate all you need to evaluate |
| 2024-10-26 00:05:41 +0200 | <Zer000> | So I gotta go deeper? |
| 2024-10-26 00:05:44 +0200 | <Zer000> | OK |
| 2024-10-26 00:05:57 +0200 | <geekosaur> | Control.Deepseq.rnf in extreme cases |
| 2024-10-26 00:06:10 +0200 | <geekosaur> | (that's the right module I think?) |
| 2024-10-26 00:06:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-26 00:06:41 +0200 | <geekosaur> | just make sure it doesn't have any bottoms or cycles |
| 2024-10-26 00:06:47 +0200 | <mauke> | did you look at the code? |
| 2024-10-26 00:06:52 +0200 | <mauke> | the list is [1, 2, 3] |
| 2024-10-26 00:07:28 +0200 | <Zer000> | mauke, no but that example code DOES work, my actual code does not |
| 2024-10-26 00:07:34 +0200 | <Zer000> | and the list is built using other pure functions |
| 2024-10-26 00:08:11 +0200 | <Zer000> | I only posted that snippet to say that tryAny from safe-exceptions can catch that negative index exception |
| 2024-10-26 00:08:15 +0200 | <mauke> | oh, sorry. I confused myself |
| 2024-10-26 00:08:33 +0200 | <mauke> | btw, there is displayException |
| 2024-10-26 00:09:25 +0200 | <Zer000> | how do you even use rnf geekosaur? It results in () always |
| 2024-10-26 00:09:29 +0200 | <mauke> | which is mostly unrelated, but can be used instead of show |
| 2024-10-26 00:09:40 +0200 | <Zer000> | oh cool |
| 2024-10-26 00:09:59 +0200 | <mauke> | evaluate (rnf x) |
| 2024-10-26 00:11:14 +0200 | <monochrom> | it results in exception if there is an exception. |
| 2024-10-26 00:11:29 +0200 | <geekosaur> | or ``rnf x `seq` y`` |
| 2024-10-26 00:13:25 +0200 | <mauke> | > [1, 2, 3, error "an exception has occurred", 5] `seq` "all good" |
| 2024-10-26 00:13:26 +0200 | <lambdabot> | "all good" |
| 2024-10-26 00:13:31 +0200 | <mauke> | > rnf [1, 2, 3, error "an exception has occurred", 5] `seq` "all good" |
| 2024-10-26 00:13:32 +0200 | <lambdabot> | error: Variable not in scope: rnf :: [a1] -> a0 |
| 2024-10-26 00:13:36 +0200 | <mauke> | :-( |
| 2024-10-26 00:13:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-26 00:13:56 +0200 | <mauke> | @let import Control.DeepSeq |
| 2024-10-26 00:13:57 +0200 | <lambdabot> | Defined. |
| 2024-10-26 00:13:59 +0200 | <mauke> | > rnf [1, 2, 3, error "an exception has occurred", 5] `seq` "all good" |
| 2024-10-26 00:14:00 +0200 | <lambdabot> | "*Exception: an exception has occurred |
| 2024-10-26 00:15:09 +0200 | <Zer000> | I see, so you just use it on a separate line in an IO context to see if everything is ok |
| 2024-10-26 00:15:24 +0200 | <Zer000> | thanks! |
| 2024-10-26 00:17:58 +0200 | <geekosaur> | it should work even if x and y are the same thing (in my example) |
| 2024-10-26 00:18:02 +0200 | vglfr | (~vglfr@c-73-250-25-113.hsd1.md.comcast.net) vglfr |
| 2024-10-26 00:18:15 +0200 | <geekosaur> | whereas ``x `seq` x`` is a non-sequitur |
| 2024-10-26 00:18:43 +0200 | <geekosaur> | ("force `x` to WHNF when `x` is forced to WHNF") |
| 2024-10-26 00:19:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 00:19:34 +0200 | <monochrom> | I'll finish when I finish. :) |
| 2024-10-26 00:22:10 +0200 | <Zer000> | I had a function that was defined in point-free-style and when I made everything there explicit (and extra bangs just in case) it seemed to work. |
| 2024-10-26 00:26:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 00:33:09 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-10-26 00:34:07 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-26 00:35:57 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-26 00:37:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 00:43:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-26 00:44:14 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-26 00:45:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 00:45:42 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2024-10-26 00:48:16 +0200 | Everything | (~Everythin@178-133-29-214.mobile.vf-ua.net) (Quit: leaving) |
| 2024-10-26 00:48:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-26 00:55:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-10-26 00:55:24 +0200 | raym | (~ray@user/raym) (Ping timeout: 246 seconds) |
| 2024-10-26 00:56:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 01:00:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 01:02:05 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2024-10-26 01:02:28 +0200 | raym | (~ray@user/raym) raym |
| 2024-10-26 01:11:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 01:18:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 01:18:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-26 01:19:15 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-26 01:29:37 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 01:30:30 +0200 | Shires | (~Shires@user/shires) Shires |
| 2024-10-26 01:33:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 01:42:09 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 01:42:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb03d1a45ef603fb56e9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-26 01:44:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-26 01:44:59 +0200 | ljdarj1 | ljdarj |
| 2024-10-26 01:45:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 01:49:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 01:53:21 +0200 | Shires | (~Shires@user/shires) () |
| 2024-10-26 02:00:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 02:00:39 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-10-26 02:03:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-26 02:05:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-26 02:05:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-26 02:06:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-26 02:10:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-26 02:15:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 02:20:20 +0200 | hgolden__ | (~hgolden@146.70.173.165) hgolden |
| 2024-10-26 02:20:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 02:22:53 +0200 | hgolden_ | (~hgolden@169.150.203.10) (Ping timeout: 245 seconds) |
| 2024-10-26 02:24:22 +0200 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2024-10-26 02:26:03 +0200 | Digit | (~user@user/digit) Digit |
| 2024-10-26 02:27:05 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 02:30:04 +0200 | synchrom1 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 02:30:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-10-26 02:31:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 02:32:34 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 260 seconds) |
| 2024-10-26 02:32:40 +0200 | synchrom2 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 02:33:29 +0200 | tabemann_ | tabemann |
| 2024-10-26 02:35:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 02:35:31 +0200 | synchrom1 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 252 seconds) |
| 2024-10-26 02:38:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-26 02:38:36 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-26 02:45:18 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 02:46:30 +0200 | synchrom1 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 02:46:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 02:48:19 +0200 | synchrom2 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 260 seconds) |
| 2024-10-26 02:49:34 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 244 seconds) |
| 2024-10-26 02:52:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-26 03:00:54 +0200 | habib | (~habib@146.70.119.186) habib |
| 2024-10-26 03:01:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-26 03:02:20 +0200 | <habib> | hey, does anyone know if it's possible to pass key values with spaces in to hadrian when building ghc? no matter how i quote or escape i can't seem to do it, and i've even been reading the hadrian source code, and it seems it's impossible; please tell me i'm missing something, because i could really do with this to fix a problem with a cross-compile build on openbsd |
| 2024-10-26 03:03:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 03:08:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 03:18:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 03:23:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 03:34:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 03:38:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-26 03:49:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 03:56:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 03:58:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-26 04:07:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 04:12:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-26 04:14:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 04:22:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 04:25:14 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-26 04:30:21 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-26 04:30:32 +0200 | spew | (~spew@155.133.15.67) (Quit: spew) |
| 2024-10-26 04:33:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 04:36:53 +0200 | td_ | (~td@i5387090F.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-26 04:37:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-26 04:38:53 +0200 | td_ | (~td@i5387093A.versanet.de) td_ |
| 2024-10-26 04:39:00 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-26 04:46:41 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-26 04:48:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 04:50:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-26 04:53:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 04:59:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c8b8:61af:1cb3:d380) (Ping timeout: 244 seconds) |
| 2024-10-26 05:00:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c8b8:61af:1cb3:d380) |
| 2024-10-26 05:04:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 05:04:24 +0200 | td_ | (~td@i5387093A.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-26 05:06:27 +0200 | td_ | (~td@i53870937.versanet.de) td_ |
| 2024-10-26 05:08:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 05:19:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 05:24:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 05:31:55 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-26 05:34:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 05:39:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 05:50:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 05:53:58 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
| 2024-10-26 05:57:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 05:57:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-26 06:10:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 06:18:01 +0200 | Guest15 | (~Guest15@138.199.60.25) |
| 2024-10-26 06:18:36 +0200 | Guest15 | (~Guest15@138.199.60.25) (Client Quit) |
| 2024-10-26 06:19:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-26 06:30:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 06:32:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-26 06:34:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 06:45:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 06:50:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 06:56:37 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-26 07:02:11 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2024-10-26 07:02:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 07:07:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 07:10:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 07:13:30 +0200 | arahael | (~arahael@user/arahael) (Quit: Reconnecting) |
| 2024-10-26 07:13:42 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-26 07:14:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 07:23:40 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-26 07:27:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-10-26 07:30:23 +0200 | alioguzhan | (~Thunderbi@78.173.69.170) (Ping timeout: 245 seconds) |
| 2024-10-26 07:30:29 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 248 seconds) |
| 2024-10-26 07:31:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 07:35:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 07:38:53 +0200 | <kqr> | Leary, Thanks. That is too complicated. I'm working on a library that will be interfacing with a main project backed by Persistent. However, I want the library to be relatively agnostic of where it is plugged in, i.e. it should not depend on the main project. I was imagining a newtype wrapper around something generic like a ByteString to contain references to entities in the main project, to avoid |
| 2024-10-26 07:38:55 +0200 | <kqr> | what I fear would become complicated generics if I just keep that type unconstrained. I want relatively new Haskell programmers to be able to work on the library in a pinch. |
| 2024-10-26 07:46:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 07:48:35 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-26 07:53:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 07:58:43 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2024-10-26 08:00:48 +0200 | rosco | (~rosco@60.53.7.10) rosco |
| 2024-10-26 08:06:59 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-26 08:09:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 08:12:26 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2024-10-26 08:13:09 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-26 08:13:19 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2024-10-26 08:13:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 08:15:21 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2024-10-26 08:15:38 +0200 | alioguzhan | (~Thunderbi@78.173.95.204) |
| 2024-10-26 08:17:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 08:21:24 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca |
| 2024-10-26 08:21:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 08:30:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 08:32:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 08:37:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 08:47:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 08:52:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 08:55:56 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 255 seconds) |
| 2024-10-26 08:57:27 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-26 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-26 09:00:14 +0200 | JamesMowery4 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-10-26 09:00:31 +0200 | JamesMowery43 | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-10-26 09:00:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-26 09:02:13 +0200 | Square | (~Square@user/square) Square |
| 2024-10-26 09:03:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 09:07:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 09:13:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb93b5372362da7684c9.dip0.t-ipconnect.de) acidjnk |
| 2024-10-26 09:18:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 09:21:22 +0200 | AlexNoo | (~AlexNoo@178.34.162.25) (Read error: Connection reset by peer) |
| 2024-10-26 09:22:05 +0200 | AlexNoo | (~AlexNoo@178.34.162.25) |
| 2024-10-26 09:22:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 09:25:36 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2024-10-26 09:26:32 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2024-10-26 09:28:01 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-10-26 09:33:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 09:35:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 09:36:01 +0200 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2024-10-26 09:37:00 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-26 09:40:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 09:40:24 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-10-26 09:43:34 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-26 09:44:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-26 09:53:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 09:54:01 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-10-26 09:58:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 10:02:37 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-10-26 10:02:37 +0200 | Pixi` | Pixi |
| 2024-10-26 10:13:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 10:17:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 10:19:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 10:25:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 10:35:00 +0200 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2024-10-26 10:36:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-26 10:37:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 10:40:20 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-26 10:41:20 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) billchenchina |
| 2024-10-26 10:41:24 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 2024-10-26 10:41:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 10:44:08 +0200 | rosco | (~rosco@60.53.7.10) (Quit: Lost terminal) |
| 2024-10-26 10:52:02 +0200 | Guest38 | (~Guest38@58.182.144.85) |
| 2024-10-26 10:52:03 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-26 10:52:18 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-26 10:52:27 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) billchenchina |
| 2024-10-26 10:52:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 10:56:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 11:04:15 +0200 | <haskellbridge> | <tux314159> lambdabot> 1+2 |
| 2024-10-26 11:04:29 +0200 | <Rembane> | > 1 + 2 |
| 2024-10-26 11:04:30 +0200 | <lambdabot> | 3 |
| 2024-10-26 11:04:36 +0200 | <Rembane> | See if that works better |
| 2024-10-26 11:04:36 +0200 | <haskellbridge> | <tux314159> ahh |
| 2024-10-26 11:04:54 +0200 | <haskellbridge> | <tux314159> > Just "hi" |
| 2024-10-26 11:04:56 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-26 11:05:08 +0200 | <haskellbridge> | <tux314159> > Just 2 |
| 2024-10-26 11:05:30 +0200 | <haskellbridge> | <tux314159> > 1 + 2 |
| 2024-10-26 11:06:05 +0200 | <haskellbridge> | <tux314159> hmm maybe it doesn't work through matrix |
| 2024-10-26 11:06:54 +0200 | <Rembane> | That might be the case, because the bridge adds your nick before > and that makes everything confusing for the bot |
| 2024-10-26 11:07:05 +0200 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-10-26 11:07:17 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2024-10-26 11:07:18 +0200 | ash3en1 | ash3en |
| 2024-10-26 11:07:21 +0200 | <haskellbridge> | <tux314159> makes sense ha |
| 2024-10-26 11:07:33 +0200 | <haskellbridge> | <tux314159> btw is this more active than the matrix? |
| 2024-10-26 11:07:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 11:08:09 +0200 | Guest38 | (~Guest38@58.182.144.85) (Quit: Client closed) |
| 2024-10-26 11:08:46 +0200 | <tomsmeding> | tux314159: try putting the lambdabot command on the second line of your message |
| 2024-10-26 11:08:56 +0200 | <Rembane> | I don't know since I'm not in the matrix, but this is a reasonably active IRC channel. |
| 2024-10-26 11:08:58 +0200 | <haskellbridge> | <tux314159> > 1 + 2 |
| 2024-10-26 11:09:04 +0200 | <tomsmeding> | the first line needs to be non-empty :) |
| 2024-10-26 11:09:21 +0200 | <haskellbridge> | <tux314159> x |
| 2024-10-26 11:09:21 +0200 | <haskellbridge> | > 1 + 2 |
| 2024-10-26 11:09:23 +0200 | <lambdabot> | 3 |
| 2024-10-26 11:09:37 +0200 | <haskellbridge> | <tux314159> oh wow thanks xD |
| 2024-10-26 11:10:26 +0200 | <tomsmeding> | tux314159: for an idea of activity, there are logs https://ircbrowse.tomsmeding.com/browse/lchaskell |
| 2024-10-26 11:10:41 +0200 | <haskellbridge> | <tux314159> think I'll ask here instead then - |
| 2024-10-26 11:10:41 +0200 | <haskellbridge> | Hmm is there any reason the MonadFail instance for ExceptT has `fail = ExceptT . fail`? Seems a bit odd, since the whole point of exceptT is to handle these, not bubble them up to the next monad |
| 2024-10-26 11:11:04 +0200 | <tomsmeding> | ExceptT doesn't necessarily have String as the first component |
| 2024-10-26 11:11:16 +0200 | <tomsmeding> | similarly Either doesn't have the MonadFail instance you might expect |
| 2024-10-26 11:11:31 +0200 | <tomsmeding> | (indeed, it has none) |
| 2024-10-26 11:12:24 +0200 | <tomsmeding> | I think for Either the motivation is "there are arguments for an against a MonadFail instance for `Either String a`, so in dispute, let's do nothing" |
| 2024-10-26 11:12:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 11:12:56 +0200 | <Rembane> | \o/ Orphan instances ftw! \o/ |
| 2024-10-26 11:12:57 +0200 | <tomsmeding> | for ExceptT, perhaps the reasoning is "ExceptT is for explicit exceptions, and the fail from MonadFail is called also in perhaps unintended situations like partial pattern matches" |
| 2024-10-26 11:13:26 +0200 | <haskellbridge> | <tux314159> actually that's precisely my usecase xD |
| 2024-10-26 11:13:27 +0200 | <Rembane> | MonadFail is very good for making do-notation more succinct when only the happy flow is cared about |
| 2024-10-26 11:13:29 +0200 | <tomsmeding> | % :t \m -> do { Nothing <- m; return "ok" } |
| 2024-10-26 11:13:29 +0200 | <yahb2> | \m -> do { Nothing <- m; return "ok" } ; :: MonadFail m => m (Maybe a) -> m String |
| 2024-10-26 11:13:51 +0200 | <haskellbridge> | <tux314159> instance Monad m => MonadFail (ExceptT String m) where |
| 2024-10-26 11:13:51 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/gwoFNkeSYhMaeyAOqJyRqQGR/gklQIOtpBMU (3 lines) |
| 2024-10-26 11:14:08 +0200 | <haskellbridge> | <tux314159> but it's more specific so... can I just enable OverlappingInstances xD |
| 2024-10-26 11:14:11 +0200 | <tomsmeding> | make your own newtype around ExceptT? |
| 2024-10-26 11:14:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 11:14:29 +0200 | <tomsmeding> | making newtypes around the monads from transformers/mtl is what people generally recommend anyway |
| 2024-10-26 11:14:48 +0200 | <haskellbridge> | <tux314159> oh I tried that but it wants me to go ahead and define functor/appl/monad for my wrapper and it seems super high-effort for something os simple |
| 2024-10-26 11:14:50 +0200 | <tomsmeding> | i.e. write your own newtype that internally uses the convenience of mtl stuff, and then write your app in terms of that newtype |
| 2024-10-26 11:14:55 +0200 | <tomsmeding> | separate implementation from interface |
| 2024-10-26 11:15:06 +0200 | <tomsmeding> | that's what you have -XGeneralizedNewtypeDeriving for |
| 2024-10-26 11:15:12 +0200 | <tomsmeding> | deriving (Functor, Applicative, Monad) |
| 2024-10-26 11:15:25 +0200 | <haskellbridge> | <tux314159> "couldn't eta reduce enough" or something |
| 2024-10-26 11:15:34 +0200 | <tomsmeding> | what is your newtype precisely? |
| 2024-10-26 11:15:46 +0200 | <tomsmeding> | it indeed needs to be in the appropriate form |
| 2024-10-26 11:16:55 +0200 | <tomsmeding> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/newtype_deriving.html#generalising-… , for reference |
| 2024-10-26 11:17:41 +0200 | <haskellbridge> | <tux314159> oh I was trying `newtype ExceptT' e m a = ExceptT' { runExceptT' :: m (Either e a) } deriving (Functor, Applicative, Monad)` but I guess that's not the correct form? |
| 2024-10-26 11:18:00 +0200 | <tomsmeding> | ah, the idea is that you put the existing transformers _inside_ your newtype |
| 2024-10-26 11:18:17 +0200 | <tomsmeding> | `newtype App e a = App (ExceptT e IO a)` or something |
| 2024-10-26 11:18:29 +0200 | <tomsmeding> | write your full stack, then put _that_ inside the newtype |
| 2024-10-26 11:18:44 +0200 | <tomsmeding> | the 'a' that is the last type variable of 'App' must also be the last type variable in the type of the field |
| 2024-10-26 11:18:53 +0200 | <Leary> | Or refer to the transformers with DerivingVia. Which gives you better type roles too. |
| 2024-10-26 11:18:54 +0200 | <tomsmeding> | (in yours, it is not because it's inside an application to 'm') |
| 2024-10-26 11:19:12 +0200 | <tomsmeding> | hm, right |
| 2024-10-26 11:19:36 +0200 | <tomsmeding> | deriving (Functor, Applicative, Monad) via (ExceptT e m a) |
| 2024-10-26 11:20:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 11:20:09 +0200 | <Leary> | via ExceptT e m |
| 2024-10-26 11:20:09 +0200 | <haskellbridge> | <tux314159> I see, this thing works when the instances are equivalent when you peel back the newtype cosntructor? |
| 2024-10-26 11:20:34 +0200 | <tomsmeding> | it works when your newtype is _coercible_ (as in `Data.Coerce`) to the thing you put after `via` |
| 2024-10-26 11:20:44 +0200 | <tomsmeding> | so yes, the same after peeling off newtype constructors |
| 2024-10-26 11:20:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 11:21:44 +0200 | tomsmeding | is afk for a while |
| 2024-10-26 11:24:31 +0200 | <haskellbridge> | <tux314159> okay, thanks. but then this kind of runs into the dreaded n^2 instances issue with mtl doesn't it, I have to add every constraint I want to into the deriving |
| 2024-10-26 11:24:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 11:24:34 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 248 seconds) |
| 2024-10-26 11:24:42 +0200 | ash3en1 | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-26 11:25:40 +0200 | <Leary> | Not really. Just pull through whatever ExceptT has that you need. |
| 2024-10-26 11:27:08 +0200 | ash3en1 | ash3en |
| 2024-10-26 11:27:54 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-26 11:30:42 +0200 | <haskellbridge> | <tux314159> hooray it works :D question though, would overlappinginstances have been acceptable in that case? since ExceptT String m a is more specific that ExceptT e m a |
| 2024-10-26 11:30:52 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-26 11:34:41 +0200 | <Leary> | More specific than what? I thought the issue was that there /was/ no `instance MonadFail (ExceptT _ _)`. You should only have gotten an orphan instance warning. |
| 2024-10-26 11:35:08 +0200 | <Leary> | Oh, wait, no. |
| 2024-10-26 11:35:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 11:35:30 +0200 | <Leary> | Well, I guess you could get away with that. |
| 2024-10-26 11:36:09 +0200 | <Leary> | But it's better not to tangle with overlapping instances without a good reason. |
| 2024-10-26 11:40:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-26 11:50:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 11:54:41 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb93b5372362da7684c9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-26 11:55:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-26 12:02:02 +0200 | <haskellbridge> | <tux314159> alright then I will hold my temptation :p |
| 2024-10-26 12:06:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 12:09:09 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-10-26 12:13:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 12:15:56 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-26 12:21:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 12:21:39 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-10-26 12:22:00 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-26 12:25:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-26 12:27:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2024-10-26 12:36:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 12:38:33 +0200 | <tomsmeding> | writing orphan instances and overlapping instances like that is fine if you're writing an application, and you are the one to deal with the consequences if things turn out to be awkward |
| 2024-10-26 12:39:09 +0200 | <tomsmeding> | if you're writing a library, then orphan instances are a bad idea in general; overlapping instances can be fine if you carefully ensure that consumers won't get inconvenienced by them |
| 2024-10-26 12:39:20 +0200 | <tomsmeding> | e.g. overlapping instances for your own classes are probably fine |
| 2024-10-26 12:40:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-26 12:53:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 12:57:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-26 13:01:48 +0200 | scaniatrucker | (~user@78.56.98.5) scaniatrucker |
| 2024-10-26 13:02:15 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-26 13:08:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 13:13:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 13:18:56 +0200 | scaniatrucker | (~user@78.56.98.5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-26 13:22:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 13:23:10 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-10-26 13:23:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-26 13:26:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 13:28:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2024-10-26 13:37:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 13:42:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-26 13:44:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2024-10-26 13:46:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-26 13:49:16 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-26 13:52:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2024-10-26 13:52:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 13:54:10 +0200 | st_aldini1 | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini |
| 2024-10-26 13:54:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 13:55:41 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 252 seconds) |
| 2024-10-26 13:55:41 +0200 | st_aldini1 | st_aldini |
| 2024-10-26 13:57:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 13:59:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-3eb1-60b1-b841-ee5c-86b3.rev.sfr.net) alexherbo2 |
| 2024-10-26 14:08:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 14:12:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 14:13:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-26 14:13:51 +0200 | Square | (~Square@user/square) Square |
| 2024-10-26 14:18:47 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 252 seconds) |
| 2024-10-26 14:22:40 +0200 | Everything | (~Everythin@178-133-157-238.mobile.vf-ua.net) Everything |
| 2024-10-26 14:23:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 14:25:49 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-26 14:27:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 14:38:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 14:41:57 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 2024-10-26 14:44:21 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-26 14:45:43 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-26 14:48:00 +0200 | scaniatrucker | (~user@78.56.98.5) scaniatrucker |
| 2024-10-26 14:56:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 15:00:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 15:03:00 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-10-26 15:09:07 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-26 15:11:16 +0200 | synchrom1 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Read error: Connection reset by peer) |
| 2024-10-26 15:12:07 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 15:12:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 15:15:03 +0200 | scaniatrucker | (~user@78.56.98.5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-26 15:15:04 +0200 | synchrom1 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) synchromesh |
| 2024-10-26 15:16:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 15:17:11 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-26 15:17:41 +0200 | synchromesh | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 248 seconds) |
| 2024-10-26 15:19:05 +0200 | synchromesh | (~john@139.180.95.1) synchromesh |
| 2024-10-26 15:20:17 +0200 | synchrom1 | (~john@2406:5a00:24b4:a600:cdca:aa06:55e4:f4ac) (Ping timeout: 244 seconds) |
| 2024-10-26 15:23:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 15:24:09 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-10-26 15:26:54 +0200 | Everything | (~Everythin@178-133-157-238.mobile.vf-ua.net) (Ping timeout: 246 seconds) |
| 2024-10-26 15:27:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 15:28:55 +0200 | Everything | (~Everythin@195.138.86.118) Everything |
| 2024-10-26 15:29:32 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-26 15:29:50 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-10-26 15:30:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-10-26 15:32:28 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-26 15:38:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 15:44:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 15:44:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-26 15:55:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 15:59:09 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-26 15:59:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 16:01:52 +0200 | fireking04 | (~user@114-24-21-223.dynamic-ip.hinet.net) |
| 2024-10-26 16:02:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-10-26 16:09:43 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-10-26 16:10:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 16:12:43 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-26 16:15:38 +0200 | fireking04 | (~user@114-24-21-223.dynamic-ip.hinet.net) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-10-26 16:15:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 16:24:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 16:31:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 16:39:11 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-10-26 16:42:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 16:45:27 +0200 | Everything | (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 2024-10-26 16:47:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-26 16:53:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-26 16:57:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 16:58:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-26 17:02:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 17:11:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 17:13:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 17:18:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 17:25:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 17:29:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-26 17:30:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-10-26 17:31:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-26 17:34:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 17:41:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 17:44:49 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) |
| 2024-10-26 17:47:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-3eb1-60b1-b841-ee5c-86b3.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-26 17:48:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 17:50:56 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-26 17:51:23 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-26 17:53:17 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 265 seconds) |
| 2024-10-26 17:54:12 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2024-10-26 17:59:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 18:03:12 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 2024-10-26 18:04:13 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-26 18:06:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-26 18:07:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 18:10:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-26 18:16:49 +0200 | hgolden_ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-26 18:17:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 18:19:20 +0200 | hgolden__ | (~hgolden@146.70.173.165) (Ping timeout: 252 seconds) |
| 2024-10-26 18:20:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 18:21:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 18:22:08 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) Everything |
| 2024-10-26 18:22:51 +0200 | <druchan> | is there no equivalent of goreleaser for haskell? |
| 2024-10-26 18:32:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 18:37:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 18:39:08 +0200 | <kaol> | I'm sure I'm not the only one who had no idea what that is (you wan't to lease what?). Description from their web site: "GoReleaser is an open-source tool that simplifies the process of releasing your Go projects to multiple platforms"- |
| 2024-10-26 18:39:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 18:39:47 +0200 | <kaol> | I'm not familiar with what it does so I'm not going to try to answer. |
| 2024-10-26 18:40:16 +0200 | <yushyin> | still don't know what it is from that description |
| 2024-10-26 18:40:27 +0200 | AlexNoo_ | (~AlexNoo@178.34.163.171) |
| 2024-10-26 18:40:35 +0200 | <kaol> | Indeed, and I'm not going to try to figure out more. |
| 2024-10-26 18:41:51 +0200 | <EvanR> | gore leaser |
| 2024-10-26 18:41:55 +0200 | <EvanR> | go releaser xD |
| 2024-10-26 18:42:17 +0200 | <EvanR> | who let the go-s out |
| 2024-10-26 18:42:48 +0200 | AlexZenon | (~alzenon@178.34.162.25) (Ping timeout: 252 seconds) |
| 2024-10-26 18:43:09 +0200 | <EvanR> | sounds like part of the build system |
| 2024-10-26 18:44:05 +0200 | AlexNoo | (~AlexNoo@178.34.162.25) (Ping timeout: 248 seconds) |
| 2024-10-26 18:46:54 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-10-26 18:47:06 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-26 18:47:47 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb938d9bba7e49be47ab.dip0.t-ipconnect.de) |
| 2024-10-26 18:47:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 18:48:12 +0200 | <druchan> | haha sorry |
| 2024-10-26 18:48:24 +0200 | <druchan> | goreleaser makes it easy to build binaries for multiple platforms |
| 2024-10-26 18:48:37 +0200 | <druchan> | from your golang project that is |
| 2024-10-26 18:48:54 +0200 | <druchan> | cabal builds the binary for the platform you are on, not for others |
| 2024-10-26 18:51:58 +0200 | <Athas> | Only comparable thing I know of is the haskell.nix infrastructure, but I have not tried it. |
| 2024-10-26 18:52:08 +0200 | <Athas> | But nothing else even tries to pretend that cross compiling is simple. |
| 2024-10-26 18:52:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-26 18:56:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-10-26 18:58:22 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-10-26 18:58:45 +0200 | tinwood | (~tinwood@user/tinwood) (Remote host closed the connection) |
| 2024-10-26 19:03:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 19:04:34 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:06:07 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Quit: Client closed) |
| 2024-10-26 19:06:30 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:07:02 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 2024-10-26 19:07:06 +0200 | Blunt9 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:07:26 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:07:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 19:08:13 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 2024-10-26 19:10:47 +0200 | Blunt9 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 2024-10-26 19:11:10 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:11:51 +0200 | Blunt84 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:12:22 +0200 | Blunt84 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 2024-10-26 19:13:08 +0200 | AlexNoo_ | AlexNoo |
| 2024-10-26 19:15:07 +0200 | <druchan> | thanks folks |
| 2024-10-26 19:18:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 19:23:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 19:25:22 +0200 | AlexZenon | (~alzenon@178.34.163.171) |
| 2024-10-26 19:28:49 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 2024-10-26 19:28:59 +0200 | <monochrom> | Oh haha gore leaser, great for Halloween! |
| 2024-10-26 19:29:05 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) billchenchina |
| 2024-10-26 19:29:48 +0200 | <monochrom> | Actually that's how I parse "goreleaser" too, I do maximummunchuntilcompleteword |
| 2024-10-26 19:31:45 +0200 | <monochrom> | But the Haskell community tradition is everyone does their own builds because my build can be pretty unusable for you because of a technical reason. |
| 2024-10-26 19:32:10 +0200 | Blunt76 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:32:48 +0200 | <c_wraith> | yeah. C lexing rules told me to take as many characters as I could before declaring the token complete. |
| 2024-10-26 19:33:06 +0200 | <Clint> | then maybe you should go "gorel easer" |
| 2024-10-26 19:33:13 +0200 | <monochrom> | The technical reason being GHC does insane cross-module, even cross-package, inlining so ABI is not just type sig but actually in the worst case the complete dependency resolution. |
| 2024-10-26 19:34:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 19:34:42 +0200 | Blunt2531322 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Quit: Client closed) |
| 2024-10-26 19:35:36 +0200 | Blunt76 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 2024-10-26 19:37:19 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.119) |
| 2024-10-26 19:39:03 +0200 | <monochrom> | shorter programmer time, shorter compile time, shorter run time --- pick two :) |
| 2024-10-26 19:40:22 +0200 | AlexZenon | (~alzenon@178.34.163.171) (Ping timeout: 252 seconds) |
| 2024-10-26 19:41:06 +0200 | AlexNoo | (~AlexNoo@178.34.163.171) (Ping timeout: 272 seconds) |
| 2024-10-26 19:41:37 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2024-10-26 19:41:56 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-10-26 19:41:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-26 19:42:48 +0200 | <c_wraith> | oh, that reminds me. Does cabal give you a way to specify the local location for the index file to use? I looked, but couldn't find one. |
| 2024-10-26 19:43:54 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-26 19:44:09 +0200 | AlexNoo_ | AlexNoo |
| 2024-10-26 19:44:28 +0200 | <c_wraith> | (trying to reduce compile time in CI. cabal update is currently a surprisingly large portion of it. Skipping that would be nice.) |
| 2024-10-26 19:45:07 +0200 | <haskellbridge> | <sm> yes that is an expensive operation isn't it |
| 2024-10-26 19:45:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-26 19:46:17 +0200 | <monochrom> | I think the closest is remote-repo-cache, which defaults to $HOME/.cabal/packages. It contains both the index file and downloaded tarballs. |
| 2024-10-26 19:47:12 +0200 | Blunt31 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) |
| 2024-10-26 19:47:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-26 19:48:03 +0200 | AlexZenon | (~alzenon@178.34.161.119) |
| 2024-10-26 19:48:26 +0200 | Blunt31 | (~Blunt2531@2600:8803:7c80:f90:554e:79be:1b98:7da0) (Client Quit) |
| 2024-10-26 19:49:49 +0200 | <monochrom> | $HOME/.cabal or the XDG equivalent. |
| 2024-10-26 19:50:48 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 2024-10-26 19:51:06 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) billchenchina |
| 2024-10-26 19:52:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 19:57:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 19:58:20 +0200 | <c_wraith> | I guess that's more than I found. not exactly satisfying, but maybe I can live with it. |
| 2024-10-26 20:00:14 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 260 seconds) |
| 2024-10-26 20:03:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-26 20:04:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 20:09:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 20:10:04 +0200 | billchenchina- | (~billchenc@p54090-ipngnfx01osakakita.osaka.ocn.ne.jp) (Quit: Leaving) |
| 2024-10-26 20:14:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-26 20:25:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 20:26:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-10-26 20:26:35 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-26 20:28:37 +0200 | <tomsmeding> | druchan: to summarise: the cross-compilation story with GHC is not as good as with Go |
| 2024-10-26 20:29:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 20:33:53 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-26 20:35:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 20:37:10 +0200 | <tomsmeding> | I have a somewhat peculiar issue. I have two pattern synonyms in a module that are together in a COMPLETE pragma; they are only for internal use in the module. But I end up using only one of them, so I get a warning that the other is unused. But I cannot remove it, because then I would also have to remove the COMPLETE pragma, and I was using it to prove to GHC that some functions are exhaustive! |
| 2024-10-26 20:37:47 +0200 | <tomsmeding> | (this is possible because the pattern synonyms both have some _provided_ constraints, and the unused one provides a constraint that is contradictory with the other info in the function in question, so it is impossible.) |
| 2024-10-26 20:38:20 +0200 | <tomsmeding> | I'd rather not add -Wno-unused-top-binds to the entire module, but I also cannot remove this unused top-level binding! What do? |
| 2024-10-26 20:40:50 +0200 | <tomsmeding> | (as I've thought many times before: GHC should have vastly many more diagnostics/extensions/etc. that can be regulated on the binding level instead of on the module level) |
| 2024-10-26 20:42:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 20:43:54 +0200 | <tomsmeding> | ah, I worked around it |
| 2024-10-26 20:44:11 +0200 | <tomsmeding> | turns out the pattern synonyms were not really pulling their weight and I could just remove them altogether :) |
| 2024-10-26 20:45:48 +0200 | <monochrom> | haha |
| 2024-10-26 20:46:31 +0200 | <monochrom> | So now you are just looking for a way to turn off another warning, namely that of inexhaustiveness? |
| 2024-10-26 20:46:58 +0200 | <tomsmeding> | no, the pattern synonyms were simple enough that I could just inline their definitions at their usage sites |
| 2024-10-26 20:47:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 20:47:17 +0200 | <tomsmeding> | so ghc is happy now, and I have code that is almost as readable |
| 2024-10-26 20:48:16 +0200 | <tomsmeding> | (they just renamed actual data constructors with more specific types; now I'm just using the more general constructors in place of the renamed aliases) |
| 2024-10-26 20:58:07 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 20:59:38 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-10-26 21:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-26 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-26 21:02:00 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-10-26 21:02:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 21:06:57 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-26 21:11:07 +0200 | <geekosaur> | looks like the just released `text-2.1.2` breaks `parsers`. I just filed a bug because minor updates shouldn't do that. how do I request an emergency revision on `parsers` in the meantime? |
| 2024-10-26 21:11:23 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-10-26 21:13:24 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2024-10-26 21:13:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 21:13:45 +0200 | <geekosaur> | (so much for my plans to work on bignum=bsdnt this weekend; this just broke cabal's CI) |
| 2024-10-26 21:14:43 +0200 | <tomsmeding> | geekosaur: I'd expect that you should ask hackage admins; is that not #hackage-infrastructure or something? |
| 2024-10-26 21:15:05 +0200 | <geekosaur> | that's ops issues |
| 2024-10-26 21:15:14 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-10-26 21:15:26 +0200 | <geekosaur> | I already raised it in #hackage but nobody seems to be around and I think Hackage trustees don't hang out in either place |
| 2024-10-26 21:15:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-26 21:15:42 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2024-10-26 21:16:19 +0200 | <tomsmeding> | ask the haskell-cafe mailing list? |
| 2024-10-26 21:16:54 +0200 | <tomsmeding> | don't know whether haskell-cafe or ghc-devs would have more success |
| 2024-10-26 21:18:27 +0200 | <geekosaur> | hm, at least some of the current list of trustees do hang out in #hackage so I'm doing some pings |
| 2024-10-26 21:20:08 +0200 | <tomsmeding> | oof, an unqualified import of Data.Text is indeed unwise |
| 2024-10-26 21:20:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-26 21:20:57 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-26 21:30:02 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb938d9bba7e49be47ab.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-26 21:30:20 +0200 | hgolden__ | (~hgolden@169.150.203.23) hgolden |
| 2024-10-26 21:32:55 +0200 | hgolden_ | (~hgolden@169.150.203.10) (Ping timeout: 252 seconds) |
| 2024-10-26 21:36:23 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 21:36:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb93adcc55b40ab8063a.dip0.t-ipconnect.de) acidjnk |
| 2024-10-26 21:41:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 21:43:47 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 21:44:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-10-26 21:45:22 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 21:48:11 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-26 21:54:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 21:59:09 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 2024-10-26 21:59:45 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-26 22:01:06 +0200 | sadmax | (~user@64.130.91.66) |
| 2024-10-26 22:03:21 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-10-26 22:09:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 22:09:54 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-26 22:13:06 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-26 22:14:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-26 22:20:28 +0200 | alp | (~alp@2001:861:e3d6:8f80:f680:7e0c:c173:50ab) |
| 2024-10-26 22:25:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 22:27:33 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-10-26 22:29:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-26 22:34:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-10-26 22:35:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 22:39:02 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-26 22:40:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 22:42:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 22:45:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 22:52:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 22:54:39 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-10-26 22:56:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 22:59:28 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-10-26 23:02:04 +0200 | Everything | (~Everythin@178.133.12.70) Everything |
| 2024-10-26 23:02:15 +0200 | AlexZenon | (~alzenon@178.34.161.119) (Ping timeout: 246 seconds) |
| 2024-10-26 23:04:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-26 23:04:46 +0200 | AlexZenon | (~alzenon@178.34.161.119) |
| 2024-10-26 23:06:26 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-26 23:08:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-26 23:09:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-26 23:09:52 +0200 | ljdarj1 | ljdarj |
| 2024-10-26 23:11:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-26 23:15:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 23:15:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-26 23:22:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-26 23:27:36 +0200 | <ash3en> | is this for OSC use with websockets? https://github.com/rd--/hosc/blob/master/Sound/Osc/Transport/Fd/Socket.hs |
| 2024-10-26 23:30:59 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 2024-10-26 23:31:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-26 23:32:11 +0200 | <geekosaur> | no, it's system sockets, not websockets |
| 2024-10-26 23:33:20 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 23:35:57 +0200 | <ash3en> | thanks |
| 2024-10-26 23:37:33 +0200 | <geekosaur> | yeh, just traced through the implementation, it's system sockets |
| 2024-10-26 23:37:45 +0200 | <geekosaur> | I see no websoket support in there |
| 2024-10-26 23:40:15 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-26 23:40:27 +0200 | <ash3en> | I wonder if it's a thing even.. maybe I misunderstood my colleague |
| 2024-10-26 23:41:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-26 23:42:00 +0200 | <ash3en> | it was something about how just an initial acknowledge is used vs one for every msg |
| 2024-10-26 23:42:22 +0200 | <ash3en> | sounded like websockets to me |
| 2024-10-26 23:42:54 +0200 | <geekosaur> | it's a protocol thing, not a socket implementation thing |
| 2024-10-26 23:43:56 +0200 | <geekosaur> | even websockets uses one-per-message (sort of), but you need a raw system socket to observe it |
| 2024-10-26 23:44:50 +0200 | <geekosaur> | (TCP ACKs are more complicated than "one per message" except on theoretically perfect one-to-one networks, and sometimes even then) |
| 2024-10-26 23:47:10 +0200 | <ash3en> | so after all it would be as fast as "usual" OSC over TCP? |
| 2024-10-26 23:47:44 +0200 | <geekosaur> | slightly slower, since you would have OSC protocol overhead and browser websocket protocol over HTTPS overhead |
| 2024-10-26 23:48:11 +0200 | <geekosaur> | networking is complex 🙂 |
| 2024-10-26 23:48:54 +0200 | <ash3en> | The info I got was, that Websockets pass the responsibility of ack to lower levels and there is only a -- maybe it was a handshake, would that change something? -- on start instead of all the time |
| 2024-10-26 23:49:03 +0200 | <ash3en> | geekosaur: it is! |
| 2024-10-26 23:49:09 +0200 | <ash3en> | complex |
| 2024-10-26 23:50:07 +0200 | <geekosaur> | right, but TCP only requires one at the beginning as well. that, however, is still protocol aside from the TCP 3-way handshake, which will still be there in some sense |
| 2024-10-26 23:50:29 +0200 | <geekosaur> | (it may be a multiplexer handshake instead, I'm a little weak on websockets, I mostly work with system sockets) |
| 2024-10-26 23:51:13 +0200 | <geekosaur> | the whole point of websockets being that you don't have permission to use system sockets and often don't have permission to do anything more than different endpoints on port 443 |
| 2024-10-26 23:51:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-26 23:52:03 +0200 | <ash3en> | I see, thank you very much! will think on this. got to go now but it won't be long until my next questions :D |
| 2024-10-26 23:52:13 +0200 | <ash3en> | good night, at least where I am |
| 2024-10-26 23:52:16 +0200 | <geekosaur> | most likely your coworker was talking about the OSC protocol doing an initial handshake and then streaming, which would be the same regardless of TCP/UDP/websockets |
| 2024-10-26 23:52:27 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-10-26 23:52:59 +0200 | <geekosaur> | which is typical for streaming audio protocols |
| 2024-10-26 23:54:46 +0200 | <ash3en> | ok, will read more about this : ) |
| 2024-10-26 23:54:52 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-26 23:55:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-26 23:56:49 +0200 | hgolden_ | (~hgolden@23.162.40.69) hgolden |
| 2024-10-26 23:59:13 +0200 | hgolden__ | (~hgolden@169.150.203.23) (Ping timeout: 248 seconds) |