| 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) |