Newest at the top
| 2025-02-06 13:56:06 +0100 | <dminuoso> | And what kind of access pattern? |
| 2025-02-06 13:55:53 +0100 | <dminuoso> | lxsameer: What kind of collection do you have? |
| 2025-02-06 13:54:52 +0100 | <lxsameer> | hey, I need an effecient finit, and strict collection type. any recommendation? |
| 2025-02-06 13:51:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 13:51:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 13:51:17 +0100 | <dminuoso> | tomsmeding: Mmm, it does not seem to resolve type aliases. |
| 2025-02-06 13:50:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-06 13:50:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-02-06 13:47:32 +0100 | <dminuoso> | Mmm actually I dont have to, there's a type synoym thats available, great. |
| 2025-02-06 13:46:21 +0100 | dhil | (~dhil@2a0c:b381:5bf:3500:5073:5edd:298b:88ae) (Ping timeout: 268 seconds) |
| 2025-02-06 13:45:43 +0100 | <dminuoso> | Ah screw it, Ill just vendor and export that thing. |
| 2025-02-06 13:45:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 13:45:32 +0100 | <dminuoso> | Or is vendoring servant the only option? |
| 2025-02-06 13:45:17 +0100 | <dminuoso> | Can I tell GHCi to just ignore its own beliefs and let me use it anyway? |
| 2025-02-06 13:44:44 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-02-06 13:44:44 +0100 | <dminuoso> | Okay, GToServant is not exported |
| 2025-02-06 13:39:05 +0100 | <tomsmeding> | there was a ghc version where that didn't actually compute type families, but I believe it's been fixed long ago already |
| 2025-02-06 13:38:33 +0100 | tnt2 | tnt1 |
| 2025-02-06 13:38:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-02-06 13:38:11 +0100 | <tomsmeding> | use :k! in ghci? |
| 2025-02-06 13:38:03 +0100 | <dminuoso> | Ideally I would like to ask GHC what both of these types compute to, is that possible? |
| 2025-02-06 13:37:31 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 13:36:19 +0100 | <dminuoso> | My question is: How can I start and debug this to make progress on my own? |
| 2025-02-06 13:35:57 +0100 | <dminuoso> | I have a type equality constraint from servant that fails: https://paste.tomsmeding.com/3sMtNrYP |
| 2025-02-06 13:35:15 +0100 | CiaoSen | (~Jura@2a05:5800:267:cf00:ca4b:d6ff:fec1:99da) (Ping timeout: 268 seconds) |
| 2025-02-06 13:29:23 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-06 13:26:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 13:25:56 +0100 | otbergsten | (~otbergste@user/otbergsten) otbergsten |
| 2025-02-06 13:24:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 13:17:29 +0100 | jespada | (~jespada@2800:a4:2286:d500:5c6d:3fe8:ba15:fd1a) jespada |
| 2025-02-06 13:16:34 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-02-06 13:10:42 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-02-06 13:09:58 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-02-06 13:02:15 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-06 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-06 12:48:55 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-02-06 12:47:30 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-02-06 12:47:29 +0100 | Xe_ | (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
| 2025-02-06 12:40:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 12:38:07 +0100 | sprotte24 | (~sprotte24@p200300d16f04b500f0fec28a072486d6.dip0.t-ipconnect.de) |
| 2025-02-06 12:38:07 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 12:37:55 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-06 12:36:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 12:34:19 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 12:16:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4c17:71c9:4c89:f803) |
| 2025-02-06 12:08:13 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 12:06:27 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 12:05:59 +0100 | gehmehgeh | gmg |
| 2025-02-06 12:05:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-06 12:02:40 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |