| 2024-12-25 00:04:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 00:07:26 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-12-25 00:10:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 00:18:43 +0100 | sprotte24 | (~sprotte24@p200300d16f32ae00e0f28665918683b3.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-12-25 00:19:51 +0100 | ubert | (~Thunderbi@p200300ecdf117cf7bdcd23ba5c3b89f8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-12-25 00:20:01 +0100 | ubert1 | (~Thunderbi@p200300ecdf117c0013c0076e2e9d6026.dip0.t-ipconnect.de) ubert |
| 2024-12-25 00:22:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 00:22:26 +0100 | ubert1 | ubert |
| 2024-12-25 00:27:16 +0100 | cuteguest | (~cuteguest@2601:602:680:2280::5d66) |
| 2024-12-25 00:27:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-25 00:31:05 +0100 | <cuteguest> | hmm hmm im still stuck on the same problem as b4.. i hav a type class that relates a type to two GADTs like this (class Elmo a where type Bert :: a -> Type, type Ernie :: a -> Type).. is there a way to hav a type class like this that ensures each value of a has only 1 corresponding type? like, is there a way to show that these GADTs have only 1 |
| 2024-12-25 00:31:05 +0100 | <cuteguest> | constructor for each value of a? |
| 2024-12-25 00:32:54 +0100 | <cuteguest> | id like it so that if i had a function from Bert a to Ernie a that i could pattern match on the results if i knew the input type |
| 2024-12-25 00:37:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 00:40:20 +0100 | <cuteguest> | ar we allowed to post pastebins in here? that might make it easier to read.. |
| 2024-12-25 00:41:44 +0100 | <cuteguest> | ooh wait i see the thing up top.. hold on |
| 2024-12-25 00:42:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-25 00:43:16 +0100 | <cuteguest> | hmm mayb christmas eve is the wrong time to ask questions :3 |
| 2024-12-25 00:45:23 +0100 | <cuteguest> | im gonna post the full link.. i hope its ok >_< |
| 2024-12-25 00:45:35 +0100 | <darkling> | If you have a pastebin, that's a good way of showing people your code. Go for it. |
| 2024-12-25 00:45:41 +0100 | <cuteguest> | https://paste.tomsmeding.com/99l00Nhb |
| 2024-12-25 00:45:59 +0100 | <darkling> | (I'm unlikely to be able to help directly; that's about as much as I can do here). |
| 2024-12-25 00:46:06 +0100 | <cuteguest> | <33 |
| 2024-12-25 00:46:57 +0100 | <cuteguest> | i appreciate your response at the v least |
| 2024-12-25 00:52:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 00:55:20 +0100 | <geekosaur> | the only thing I can think of is this sounds slightly like a pattern synonym, otherwise it sounds "backwards" because typeclasses don't do that kind of thing, GADTs do |
| 2024-12-25 00:56:38 +0100 | <cuteguest> | pattern synonym.. interesting.. thankyou |
| 2024-12-25 00:57:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 01:02:28 +0100 | ash3en | (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-12-25 01:02:37 +0100 | <geekosaur> | what makes it sound like that is that you want to match on it. I think that might indicate a bidirectional pattern synonym is in order |
| 2024-12-25 01:03:36 +0100 | <geekosaur> | hide the real constructors, export the patsyn. although this doesn't give you quite what you asked for: non-matching constructors would produce errors, but would still exist internally |
| 2024-12-25 01:04:14 +0100 | <geekosaur> | but I'm not quite sure what your're trying to accomplish here and wondering if maybe a different approach entirely is warranted |
| 2024-12-25 01:04:23 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 01:04:31 +0100 | <cuteguest> | hmm hmm thank you for the feedback |
| 2024-12-25 01:04:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-25 01:05:16 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 01:06:03 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-25 01:06:25 +0100 | <cuteguest> | im going to take a second to think abt how to say specifically what i want |
| 2024-12-25 01:08:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 01:12:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 01:15:12 +0100 | <cuteguest> | i think i am trying to make a class where, given some type, there are two types which are indexed by values over it. i would also want there to be some kind of relationship between these three types so that if im given one of the indexed types, i can know the type of the other to pattern match off of it and slurp out its data |
| 2024-12-25 01:17:34 +0100 | <cuteguest> | i guess i could reveal what im trying to make with this.. maybe my whole approach is silly |
| 2024-12-25 01:18:25 +0100 | <cuteguest> | well mayb the whole idea is silly but :p |
| 2024-12-25 01:23:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 01:27:49 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-12-25 01:28:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-25 01:31:14 +0100 | <cuteguest> | ok idk why i want to keep it a secret.. im trying to make coroutines that can yield (or really request) several different types of values. the request and response type are indexed by an "alert" type. i was able to make an instance of them as monads, and a request function that takes a request and gives you a coroutine back with a response. the |
| 2024-12-25 01:31:15 +0100 | <cuteguest> | problem is, whenever i try to match on the request function like you would with normal coroutines, it doesnt work because there could be more than one constructor for a response for any value of the alert type. |
| 2024-12-25 01:32:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 01:36:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 01:37:20 +0100 | internatetional | (~nate@182.253.126.5) internatetional |
| 2024-12-25 01:46:50 +0100 | <cuteguest> | i will look into bidirectional pattern synonyms.. ty for your help |
| 2024-12-25 01:47:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 01:47:49 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: Lost terminal) |
| 2024-12-25 01:48:43 +0100 | cuteguest | (~cuteguest@2601:602:680:2280::5d66) (Quit: Client closed) |
| 2024-12-25 01:50:34 +0100 | internatetional | (~nate@182.253.126.5) (Quit: WeeChat 4.5.1) |
| 2024-12-25 01:50:50 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-25 01:54:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 01:56:35 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-25 01:59:18 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-25 02:05:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:07:35 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f41b013a429fe4b7686.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-12-25 02:09:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-25 02:13:02 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-25 02:20:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:25:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 02:28:09 +0100 | gummy | (~gummy@2601:602:680:2280:f461:e6de:959e:b47d) |
| 2024-12-25 02:28:37 +0100 | gummy | (~gummy@2601:602:680:2280:f461:e6de:959e:b47d) (Client Quit) |
| 2024-12-25 02:28:52 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 252 seconds) |
| 2024-12-25 02:36:00 +0100 | ft | (~ft@i59F4F055.versanet.de) (Ping timeout: 246 seconds) |
| 2024-12-25 02:36:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:38:05 +0100 | ft | (~ft@i59F4F1DF.versanet.de) ft |
| 2024-12-25 02:40:36 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 244 seconds) |
| 2024-12-25 02:40:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 02:42:44 +0100 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2024-12-25 02:48:09 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-12-25 02:48:54 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-12-25 02:51:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 02:53:28 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-12-25 02:56:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 02:57:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-12-25 03:07:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 03:12:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-25 03:16:10 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-12-25 03:19:28 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-25 03:20:33 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-12-25 03:22:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 03:26:53 +0100 | agent314 | (~quassel@104.129.24.126) agent314 |
| 2024-12-25 03:29:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 03:29:18 +0100 | Nixkernal | (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Ping timeout: 276 seconds) |
| 2024-12-25 03:32:24 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 03:33:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 03:33:37 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 03:36:19 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-25 03:37:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 03:40:23 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-25 03:40:29 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-25 03:40:38 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-12-25 03:43:26 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-25 03:44:46 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-25 03:45:37 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::e5) |
| 2024-12-25 03:48:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 03:48:43 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 03:53:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 04:03:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 04:08:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 04:10:18 +0100 | KicksonButt | (~quassel@187.21.174.221) |
| 2024-12-25 04:10:39 +0100 | <KicksonButt> | \list |
| 2024-12-25 04:11:01 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 04:13:51 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) rekahsoft |
| 2024-12-25 04:15:36 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 2024-12-25 04:19:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 04:23:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 04:25:40 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 04:28:44 +0100 | forell | (~forell@user/forell) (Ping timeout: 245 seconds) |
| 2024-12-25 04:34:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 04:40:17 +0100 | td_ | (~td@i53870930.versanet.de) (Ping timeout: 265 seconds) |
| 2024-12-25 04:41:49 +0100 | td_ | (~td@i53870916.versanet.de) td_ |
| 2024-12-25 04:42:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 04:45:01 +0100 | KicksonButt | (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-12-25 04:47:52 +0100 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-12-25 04:48:00 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::e5) (Ping timeout: 260 seconds) |
| 2024-12-25 04:53:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 04:57:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-25 04:59:08 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-25 04:59:18 +0100 | <haskellbridge> | <thirdofmay18081814goya> ski: did my explanation convince you at all? I can't seem to find any resources on this so I'm not entirely convinced I am not serving word salad |
| 2024-12-25 04:59:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-25 05:03:05 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-25 05:08:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 05:15:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 05:24:45 +0100 | aforemny | (~aforemny@i59F4C727.versanet.de) (Ping timeout: 265 seconds) |
| 2024-12-25 05:25:13 +0100 | aforemny | (~aforemny@i59F4C4B7.versanet.de) aforemny |
| 2024-12-25 05:26:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 05:31:11 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2024-12-25 05:31:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-25 05:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 05:46:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 05:57:01 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 05:57:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 05:58:00 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 06:01:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 06:07:59 +0100 | <iqubic> | Why is there no version of zipWith for arrays? |
| 2024-12-25 06:11:06 +0100 | encyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) |
| 2024-12-25 06:12:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 06:17:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-25 06:19:22 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2024-12-25 06:28:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 06:33:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-25 06:33:37 +0100 | <EvanR> | do you mean Array, because how would that work |
| 2024-12-25 06:34:07 +0100 | <EvanR> | if it would work fine, then it's because Array's API is missing a lot of stuff |
| 2024-12-25 06:41:44 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 06:43:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 06:45:10 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 06:49:33 +0100 | <iqubic> | I do mean Array. |
| 2024-12-25 06:50:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-25 06:50:57 +0100 | <iqubic> | I was looking for something like "zipWith :: Ix i => (a -> b -> c) -> Array i a -> Array i b -> Array i c" |
| 2024-12-25 06:59:10 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
| 2024-12-25 07:01:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 07:04:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-12-25 07:05:03 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) |
| 2024-12-25 07:05:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 07:12:08 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 07:13:05 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 07:13:14 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 2024-12-25 07:15:11 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 07:16:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 07:21:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 07:22:47 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 272 seconds) |
| 2024-12-25 07:29:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 07:34:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-25 07:43:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 07:43:46 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-25 07:47:13 +0100 | iqubic | (~sophia@2601:602:9201:8b20:e022:daf:3388:8f9a) (Ping timeout: 248 seconds) |
| 2024-12-25 07:48:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-25 08:02:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 08:02:19 +0100 | agent314 | (~quassel@104.129.24.126) (Ping timeout: 265 seconds) |
| 2024-12-25 08:03:41 +0100 | agent314 | (~quassel@45.134.140.155) agent314 |
| 2024-12-25 08:06:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 08:10:13 +0100 | xff0x | (~xff0x@p3704193-ipxg12201sapodori.hokkaido.ocn.ne.jp) (Ping timeout: 248 seconds) |
| 2024-12-25 08:12:51 +0100 | housemate | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) housemate |
| 2024-12-25 08:19:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 08:24:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 08:36:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 08:41:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-25 08:43:24 +0100 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 265 seconds) |
| 2024-12-25 08:54:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 08:59:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-12-25 09:00:37 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-12-25 09:11:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 09:15:16 +0100 | housemate | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2024-12-25 09:15:33 +0100 | housemate | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) housemate |
| 2024-12-25 09:16:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 09:21:25 +0100 | housemate | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 2024-12-25 09:21:26 +0100 | agent314 | (~quassel@45.134.140.155) (Ping timeout: 252 seconds) |
| 2024-12-25 09:21:32 +0100 | housemate_ | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) housemate |
| 2024-12-25 09:24:07 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2024-12-25 09:25:20 +0100 | agent314 | (~quassel@45.134.140.155) agent314 |
| 2024-12-25 09:27:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 09:30:05 +0100 | agent314 | (~quassel@45.134.140.155) (Ping timeout: 272 seconds) |
| 2024-12-25 09:31:58 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-25 09:34:03 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-12-25 09:34:39 +0100 | housemate_ | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-25 09:35:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-25 09:46:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 09:48:40 +0100 | housemate | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) housemate |
| 2024-12-25 09:50:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-12-25 09:50:53 +0100 | hsw_ | (~hsw@2001:b030:2303:104:172:25:12:132) (Quit: Leaving) |
| 2024-12-25 09:55:25 +0100 | iqubic | (~sophia@2601:602:9201:8b20:2baf:ed43:8846:97ec) iqubic |
| 2024-12-25 10:04:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 10:06:41 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-25 10:08:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 10:09:07 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-25 10:14:06 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-25 10:14:08 +0100 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-12-25 10:15:51 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f53b013a429fe4b7686.dip0.t-ipconnect.de) acidjnk |
| 2024-12-25 10:21:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 10:21:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-12-25 10:25:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 10:31:10 +0100 | <Rembane> | Vector has a richer API, but isn't Array. :/ |
| 2024-12-25 10:31:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 10:37:43 +0100 | <davean> | I've got a few tickets about stuff with Array, but kinda no one "owns" it, so motion requires doing it ones self and submitting a patch. A thing I really should get around to. |
| 2024-12-25 10:38:09 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2024-12-25 10:38:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 10:38:22 +0100 | <davean> | I have implimented notable additional functions in my own code, but I have a touch higher standard than "gets it done for now" for submitting it back :) |
| 2024-12-25 10:40:45 +0100 | <Rembane> | But maybe it's a start? Like a WIP-PR, and then they can be iterated on. |
| 2024-12-25 10:44:52 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-25 10:45:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-12-25 10:46:36 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-12-25 10:50:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 10:55:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 10:57:07 +0100 | gentauro_ | (~gentauro@cgn-cgn11-185-107-12-141.static.kviknet.net) (Ping timeout: 244 seconds) |
| 2024-12-25 10:57:27 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0::41) (Quit: Leaving) |
| 2024-12-25 11:01:35 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-25 11:07:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 11:11:05 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-12-25 11:12:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-25 11:13:55 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-12-25 11:14:35 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-12-25 11:21:24 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-12-25 11:21:58 +0100 | forell | (~forell@user/forell) forell |
| 2024-12-25 11:23:33 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-25 11:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 11:29:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-25 11:30:08 +0100 | itaipu | (~itaipu@168.121.98.246) (Ping timeout: 252 seconds) |
| 2024-12-25 11:32:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 11:35:42 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2024-12-25 11:37:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 11:39:11 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-25 11:41:31 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-25 11:46:06 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-12-25 11:49:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 11:53:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-25 11:54:36 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-12-25 11:55:12 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-12-25 11:58:31 +0100 | housemate | (~housemate@pa49-183-20-128.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2024-12-25 12:02:17 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-12-25 12:05:26 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2024-12-25 12:06:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 12:07:34 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-12-25 12:09:20 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-12-25 12:09:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-12-25 12:11:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 12:17:55 +0100 | ubert | (~Thunderbi@p200300ecdf117c0013c0076e2e9d6026.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-12-25 12:18:04 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-12-25 12:18:58 +0100 | ubert | (~Thunderbi@p200300ecdf117c00698ea1d3ab08100f.dip0.t-ipconnect.de) ubert |
| 2024-12-25 12:19:30 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-12-25 12:21:41 +0100 | sprotte24 | (~sprotte24@p200300d16f3b3f00f5afece708c8a85c.dip0.t-ipconnect.de) |
| 2024-12-25 12:22:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 12:23:40 +0100 | ash3en | (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) ash3en |
| 2024-12-25 12:26:16 +0100 | rvalue- | rvalue |
| 2024-12-25 12:28:06 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-12-25 12:29:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-12-25 12:32:44 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-12-25 12:35:14 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-25 12:39:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-12-25 12:40:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-12-25 12:40:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-12-25 12:41:20 +0100 | ash3en | (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-12-25 12:44:00 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2024-12-25 12:47:57 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-25 12:51:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 12:51:04 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-12-25 12:51:45 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-12-25 12:55:20 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 264 seconds) |
| 2024-12-25 12:55:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-25 13:09:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 13:09:09 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-12-25 13:13:26 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 13:13:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 13:14:58 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-12-25 13:17:31 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-12-25 13:24:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 13:25:44 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-12-25 13:28:07 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 13:29:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-12-25 13:30:14 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 13:32:15 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 13:32:51 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 13:34:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 13:36:57 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 13:39:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-12-25 13:40:20 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-12-25 13:40:40 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2024-12-25 13:49:38 +0100 | kuribas | (~user@2a02:1810:2825:6000:28a3:1aa3:9310:3e86) kuribas |
| 2024-12-25 13:51:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 13:52:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-25 13:55:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 14:01:12 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-12-25 14:07:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-12-25 14:07:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 14:11:49 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-12-25 14:12:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-25 14:12:57 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-12-25 14:13:58 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 14:15:57 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 14:16:35 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 14:18:34 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 14:19:12 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 14:19:21 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) rekahsoft |
| 2024-12-25 14:23:18 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 14:23:26 +0100 | ash3en | (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) ash3en |
| 2024-12-25 14:24:55 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 14:25:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 14:28:59 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-12-25 14:29:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-12-25 14:30:32 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 14:31:45 +0100 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2024-12-25 14:32:29 +0100 | meritamen | (~meritamen@user/meritamen) (Client Quit) |
| 2024-12-25 14:32:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-25 14:35:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-25 14:36:18 +0100 | ash3en | (~Thunderbi@p200300ef0f04dc00f0cbb9f6013f5f8e.dip0.t-ipconnect.de) (Quit: ash3en) |
| 2024-12-25 14:36:31 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-12-25 14:40:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-12-25 14:43:02 +0100 | meritamen | (~meritamen@user/meritamen) meritamen |
| 2024-12-25 14:44:44 +0100 | forell | (~forell@user/forell) forell |
| 2024-12-25 14:45:21 +0100 | <hellwolf> | I read somewhere that I really shouldn't use HasCallStack, what's that all about? |
| 2024-12-25 14:45:50 +0100 | <int-e> | % :t error |
| 2024-12-25 14:45:50 +0100 | <yahb2> | error :: GHC.Internal.Stack.Types.HasCallStack => [Char] -> a |
| 2024-12-25 14:47:39 +0100 | <int-e> | It's a call stack; for functions with HasCallStack, the compiler adds code to track them and pass that information on to callees that also have a HasCallStack constraint. |
| 2024-12-25 14:48:46 +0100 | <int-e> | If you'd use that indiscriminately then your program would fill up your memory with complete traces of your computation very quickly. |
| 2024-12-25 14:49:50 +0100 | <int-e> | But AIUI this can be a good tool to answer the question where a failing function was called from. |
| 2024-12-25 14:51:16 +0100 | <hellwolf> | what should I use instead, I have "gen_assert_msg" helper I use in a few places, it uses "error" inside. but it definitely does not produce the stack trace. I am not sure I should pursue such a stack trace, I am all ears on any more sensible debugging strategy. |
| 2024-12-25 14:52:45 +0100 | Nixkernal | (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) Nixkernal |
| 2024-12-25 14:53:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |