Newest at the top
| 2025-02-06 14:38:26 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:37:15 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 14:36:26 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-10-142-112-184-232.dsl.bell.ca) rekahsoft |
| 2025-02-06 14:20:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-06 14:17:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-06 14:17:09 +0100 | cptaffe` | cptaffe |
| 2025-02-06 14:13:46 +0100 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2025-02-06 14:13:43 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 245 seconds) |
| 2025-02-06 14:13:37 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-06 14:13:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-06 14:12:20 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-06 14:08:37 +0100 | <lxsameer> | mauke: a strict vector would do |
| 2025-02-06 14:07:19 +0100 | <lxsameer> | dminuoso: something similar to a linked list |
| 2025-02-06 14:02:39 +0100 | <dminuoso> | Or maybe a hashmap? |
| 2025-02-06 14:01:50 +0100 | <mauke> | ... some sort of vector (?) |
| 2025-02-06 14:00:33 +0100 | tnt2 | tnt1 |
| 2025-02-06 14:00:32 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 2025-02-06 14:00:29 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-06 14:00:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-06 13:59:55 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 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 |