Newest at the top
| 2025-11-25 19:26:18 +0100 | <tomsmeding> | Wygulmage: what about (.&&.)? |
| 2025-11-25 19:25:05 +0100 | <hseg> | reminder: https://0x0.st/KWJE.txt is my cabal/config |
| 2025-11-25 19:24:44 +0100 | <hseg> | tomsmeding: https://0x0.st/KW3r.txt is the log for cabal test --verbose (for shake on a custom xdg linux) |
| 2025-11-25 19:24:31 +0100 | connrs | (~connrs@user/connrs) (Ping timeout: 240 seconds) |
| 2025-11-25 19:18:23 +0100 | <Wygulmage> | Is there a way to run multiple tests on the same input in QuickCheck? It's much simpler for me if things all fail in the same way when they have the same bug, and different ways if they have different bugs. |
| 2025-11-25 19:17:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-25 19:16:49 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-11-25 19:07:52 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-25 19:05:53 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit) |
| 2025-11-25 19:05:46 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2025-11-25 19:04:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-25 19:03:19 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2025-11-25 19:03:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-25 18:59:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-25 18:54:36 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-11-25 18:54:17 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-11-25 18:53:40 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 245 seconds) |
| 2025-11-25 18:39:15 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-25 18:34:36 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-25 18:33:58 +0100 | Googulator11 | Googulator |
| 2025-11-25 18:32:29 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-25 18:27:01 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-11-25 18:22:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-25 18:01:05 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-25 17:48:15 +0100 | vardhan | (~vardhan@122.172.80.152) (Ping timeout: 240 seconds) |
| 2025-11-25 17:45:42 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 2025-11-25 17:45:36 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-25 17:40:54 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-25 17:34:51 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-11-25 17:33:43 +0100 | Googulator55 | Googulator |
| 2025-11-25 17:33:03 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-25 17:21:41 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-11-25 17:21:01 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 264 seconds) |
| 2025-11-25 17:17:35 +0100 | tt123160 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-11-25 17:17:25 +0100 | tt12316 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Read error: Connection reset by peer) |
| 2025-11-25 17:16:15 +0100 | alex` | (~user@251.red-83-33-249.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2025-11-25 17:15:48 +0100 | Googulator55 | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) |
| 2025-11-25 17:15:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-25 17:02:07 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 264 seconds) |
| 2025-11-25 16:54:56 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-25 16:47:52 +0100 | typedfern__ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) typedfern |
| 2025-11-25 16:46:32 +0100 | typedfern__ | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2025-11-25 16:40:26 +0100 | <merijn> | Leary: Sure, but a required should've been that the mapping is dense and boundscheck should've made more sense |
| 2025-11-25 16:39:38 +0100 | <Leary> | merijn: `(to|from)Enum` are easier to get right than the tricky details of the other methods, and should only be used to write them by proxy. You can argue that they shouldn't be part of the class (e.g. they could be written as local helpers on a per-instance basis and mapped over the methods of `Enum Int`), but then you lose the convenience of method defaults. |
| 2025-11-25 16:34:57 +0100 | <haskellbridge> | <Morj> Otherwise I just write monomorphic functions for my own type that I need to convert to-from Int |
| 2025-11-25 16:33:14 +0100 | <haskellbridge> | <Morj> The good thing about Enum is that fromEnum @Char is exported in prelude, and ord isn't |
| 2025-11-25 16:31:15 +0100 | sindu | (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-11-25 16:31:15 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 240 seconds) |
| 2025-11-25 16:30:50 +0100 | <merijn> | I dunno what happened in my brain there, glitching two conversations together xD |
| 2025-11-25 16:30:38 +0100 | <merijn> | -AI+class |