Newest at the top
| 2024-10-09 17:14:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2024-10-09 17:13:11 +0200 | vektor | (~vektor@IP-149249145126.pools.medianet-world.de) (Quit: Client closed) |
| 2024-10-09 17:12:40 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-10-09 17:09:08 +0200 | moe_ | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-10-09 17:05:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-09 17:00:47 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-09 17:00:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-10-09 16:56:32 +0200 | euleritian | (~euleritia@dynamic-176-000-152-193.176.0.pool.telefonica.de) |
| 2024-10-09 16:55:54 +0200 | euleritian | (~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-10-09 16:43:01 +0200 | hendi | (~hendi@2001:9e8:450c:3200:6391:9fa7:7b43:cd48) hendi |
| 2024-10-09 16:38:55 +0200 | <tomsmeding> | indeed :p |
| 2024-10-09 16:37:36 +0200 | <vektor> | Removing the Eq altogether and checking all the places that break I suppose, right? |
| 2024-10-09 16:35:30 +0200 | <vektor> | I've removed that custom Eq for a derived one, any good advice on how to find where that Eq instance was used? I suspect there was a method to my previous madness in defining that custom Eq and I'd like to make sure. |
| 2024-10-09 16:33:14 +0200 | moe_ | (~moe@lewi-19-b2-v4wan-169604-cust1264.vm4.cable.virginm.net) |
| 2024-10-09 16:33:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-09 16:32:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-09 16:32:24 +0200 | <vektor> | Hmm, there's one custom Eq that looks very dodgy. |
| 2024-10-09 16:30:04 +0200 | <tomsmeding> | (`Arg` has an Eq instance that ignores some fields) |
| 2024-10-09 16:29:36 +0200 | <vektor> | * Shows are auto-derived except that one. |
| 2024-10-09 16:29:25 +0200 | <vektor> | Shows are all custom derived, except the one that contains a function in a field, but as said that constructor shouldn't even be in play. |
| 2024-10-09 16:29:25 +0200 | <vektor> | Data.Semigroup shouldn't be, but I'll check too. |
| 2024-10-09 16:29:24 +0200 | <vektor> | Custom Eq is a good shout, let me look. |
| 2024-10-09 16:28:02 +0200 | <tomsmeding> | if the Show instances try to pretty-print stuff, perhaps you didn't properly print parentheses in all cases and there is some mismatch in association order? i.e. (a + b) + c /= a + (b + c) but maybe they pretty-print the same |
| 2024-10-09 16:27:03 +0200 | <tomsmeding> | are all Eq instances auto-generated? |
| 2024-10-09 16:26:39 +0200 | <tomsmeding> | any Data.Semigroup(Arg)? :p |
| 2024-10-09 16:26:22 +0200 | <tomsmeding> | oh |
| 2024-10-09 16:26:20 +0200 | <tomsmeding> | floating-point numbers are nr 1. candidate |
| 2024-10-09 16:26:13 +0200 | <vektor> | Lears the datatype can contain floats, but there's no floats in this example that's failing on me here. |
| 2024-10-09 16:25:39 +0200 | <vektor> | tomsmeding is "too many to count" a good answer? It's my DSL with lots of annotations, so it's a lot. Nothing crazy though. There's a optional field that contains a function here, which shouldn't be relevant in this case. |
| 2024-10-09 16:23:53 +0200 | <Lears> | vektor: If there's a Float/Double in there, it could be a NaN. |
| 2024-10-09 16:23:38 +0200 | <tomsmeding> | vektor: what types are involved? |
| 2024-10-09 16:21:49 +0200 | <vektor> | In my concrete case, a quickcheck "===" fails, but the counterexample is a more complex version of "a /= a". |
| 2024-10-09 16:21:49 +0200 | <vektor> | What's the usual suspects for when equality fails, but the string repr of the two data points looks identical? I've checked that there should be no custom Show instance in play that hides information, and all aspects of the data should be displayable. |
| 2024-10-09 16:18:50 +0200 | vektor | (~vektor@IP-149249145126.pools.medianet-world.de) |
| 2024-10-09 16:17:25 +0200 | simendsjo | (~user@79.161.5.185) (Ping timeout: 248 seconds) |
| 2024-10-09 16:16:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-09 16:07:06 +0200 | Batzy_ | (~quassel@user/batzy) (Ping timeout: 246 seconds) |
| 2024-10-09 16:06:55 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-09 16:04:20 +0200 | Batzy | (~quassel@user/batzy) Batzy |
| 2024-10-09 15:54:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-09 15:49:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2024-10-09 15:47:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-09 15:46:52 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-09 15:46:02 +0200 | euleritian | (~euleritia@dynamic-176-006-139-018.176.6.pool.telefonica.de) |
| 2024-10-09 15:45:41 +0200 | <kuribas> | But you don't want to have too much complexity in the types. |
| 2024-10-09 15:45:34 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-09 15:45:27 +0200 | <kuribas> | complex types don't necessarily mean a lot of type level debugging IMO. |
| 2024-10-09 15:44:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-09 15:44:26 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) alexherbo2 |
| 2024-10-09 15:43:17 +0200 | alexherbo2 | (~alexherbo@2a02-8440-330a-55b8-7487-6396-e5cd-7eb2.rev.sfr.net) (Remote host closed the connection) |