Newest at the top
2024-10-09 18:26:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-09 18:23:59 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2024-10-09 18:21:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 18:08:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 18:07:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-09 18:05:48 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-09 18:05:03 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-09 17:57:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-09 17:57:40 +0200 | euleritian | (~euleritia@dynamic-176-000-152-193.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-09 17:55:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-09 17:50:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-09 17:45:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-09 17:42:51 +0200 | wanted | (~wanted@2.219.56.221) |
2024-10-09 17:37:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-09 17:26:12 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 246 seconds) |
2024-10-09 17:20:32 +0200 | hgolden_ | (~hgolden@169.150.203.10) (Ping timeout: 252 seconds) |
2024-10-09 17:18:09 +0200 | hgolden__ | (~hgolden@146.70.173.37) hgolden |
2024-10-09 17:17:55 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
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". |