Logs: liberachat/#haskell
| 2025-12-11 12:31:20 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-11 12:35:14 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-12-11 12:36:44 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-12-11 12:38:04 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-11 12:39:16 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:fb9e:194f:f1d5:eb88) |
| 2025-12-11 12:45:41 | → | Googulator63 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 12:45:49 | × | Googulator48 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 12:47:14 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-11 12:49:01 | → | yin joins (~zero@user/zero) |
| 2025-12-11 12:54:57 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-11 12:55:20 | → | yin joins (~zero@user/zero) |
| 2025-12-11 13:05:29 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-11 13:07:30 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-11 13:12:17 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 13:12:37 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-11 13:12:48 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-11 13:13:57 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 13:15:54 | → | Googulator87 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 13:16:11 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 13:16:25 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 13:17:43 | × | Googulator63 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 13:34:09 | × | cawfee quits (root@2401:c080:3800:3460::babe) (Quit: WeeChat 4.7.1) |
| 2025-12-11 13:34:55 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 2025-12-11 13:35:58 | × | cawfee quits (root@2401:c080:3800:3460::babe) (Client Quit) |
| 2025-12-11 13:36:46 | → | cawfee joins (root@2401:c080:3800:3460::babe) |
| 2025-12-11 13:41:47 | × | Googulator87 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-11 13:42:45 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-11 13:49:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-11 13:52:35 | × | Square quits (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2025-12-11 13:52:52 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 256 seconds) |
| 2025-12-11 14:00:39 | → | fp joins (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) |
| 2025-12-11 14:03:28 | × | fp quits (~Thunderbi@wireless-86-50-140-30.open.aalto.fi) (Remote host closed the connection) |
| 2025-12-11 14:06:43 | → | Googulator87 joins (~Googulato@185.199.28.81) |
| 2025-12-11 14:09:05 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-12-11 14:13:14 | → | Enrico63 joins (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) |
| 2025-12-11 14:13:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-11 14:16:20 | × | Enrico63 quits (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) (Client Quit) |
| 2025-12-11 14:17:50 | → | fp joins (~Thunderbi@2001:708:150:10::7e06) |
| 2025-12-11 14:18:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 14:22:00 | <pounce> | does anybody know if there's a name for Functor f => (k -> f a) -> (k -> b) -> (k -> f b)? kind of like blah f g x = f x $> g x |
| 2025-12-11 14:22:48 | → | Enrico63 joins (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) |
| 2025-12-11 14:25:39 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 14:29:57 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-11 14:30:30 | <Leary> | pounce: Only `liftA2 ($>)`. |
| 2025-12-11 14:31:11 | × | Googulator87 quits (~Googulato@185.199.28.81) (Ping timeout: 272 seconds) |
| 2025-12-11 14:33:24 | × | fp quits (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 252 seconds) |
| 2025-12-11 14:33:58 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 14:34:23 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-12-11 14:39:12 | <kuribas> | pounce: give it your own name :) |
| 2025-12-11 14:39:44 | → | fp joins (~Thunderbi@2001:708:150:10::7e06) |
| 2025-12-11 14:41:35 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-11 14:42:11 | <kuribas> | I hate this error: Ambiguous type variable ‘a0’ arising from a use of ‘subQuery’ prevents the constraint ‘(ToQueryBuilder a0)’ from being solved. |
| 2025-12-11 14:42:14 | × | fp quits (~Thunderbi@2001:708:150:10::7e06) (Remote host closed the connection) |
| 2025-12-11 14:42:33 | <kuribas> | There is nothing that stops ghc from creating a hole for a0, no? |
| 2025-12-11 14:42:39 | <kuribas> | This shouldn't be an error at all. |
| 2025-12-11 14:43:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-11 14:43:53 | <kuribas> | Well, with -fdefer-typed-holes |
| 2025-12-11 14:44:57 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 14:45:59 | <kuribas> | I would expect ghc to infer constraints as much as possible with holes, but create another hole when it cannot resolve them. |
| 2025-12-11 14:46:09 | <kuribas> | This would make working with typed holes so much better. |
| 2025-12-11 14:46:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-12-11 14:49:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-11 14:53:57 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-11 14:56:52 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-11 15:03:33 | → | raym joins (~ray@user/raym) |
| 2025-12-11 15:03:50 | → | fp joins (~Thunderbi@130.233.70.102) |
| 2025-12-11 15:06:07 | × | fp quits (~Thunderbi@130.233.70.102) (Client Quit) |
| 2025-12-11 15:06:21 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-11 15:06:27 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-12-11 15:08:31 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 15:08:44 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 15:11:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-12-11 15:12:11 | × | qqe quits (~qqq@185.54.20.98) (Quit: Lost terminal) |
| 2025-12-11 15:12:41 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-11 15:16:31 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-12-11 15:17:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-11 15:17:13 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-11 15:19:36 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-12-11 15:21:00 | → | deptype_ joins (~deptype@2406:b400:3a:9d2f:fd44:bbca:9ef1:b046) |
| 2025-12-11 15:23:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-11 15:24:28 | → | Square joins (~Square4@user/square) |
| 2025-12-11 15:24:54 | × | Enrico63 quits (~Enrico63@host-212-171-79-170.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-12-11 15:26:04 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-12-11 15:42:12 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-11 15:42:54 | <tomsmeding> | kuribas: the context "I want to work with -fdefer-typed-holes" is very important there :p |
| 2025-12-11 15:43:12 | <kuribas> | right :) |
| 2025-12-11 15:46:02 | <merijn> | Of course you do |
| 2025-12-11 15:46:17 | <merijn> | -fdefer-typed-holes is the greatest flag ever and whoever implemented it was a visionary genius |
| 2025-12-11 15:46:29 | <tomsmeding> | well that turns this from "GHC's diagnostics are bad" into "-fdefer-typed-holes is not strong enough" |
| 2025-12-11 15:46:39 | <tomsmeding> | which is a completely different thing, namely a feature request instead of a bug report |
| 2025-12-11 15:46:55 | <merijn> | (I missed the context, btw) |
| 2025-12-11 15:47:32 | <kuribas> | tomsmeding: A feature request I have been missing for 10 years or so :) |
| 2025-12-11 15:47:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-11 15:49:00 | <kuribas> | merijn: it came from profo assistants, no? |
| 2025-12-11 15:49:02 | <kuribas> | proof |
| 2025-12-11 15:49:26 | <merijn> | kuribas: The ambiguous variable *is* an error and it cannot be solved |
| 2025-12-11 15:49:32 | <merijn> | holes don't help you there |
| 2025-12-11 15:50:22 | <kuribas> | If a0 is the type of a hole, I don't want an error. |
| 2025-12-11 15:50:43 | <merijn> | Can you pastebin an example? |
| 2025-12-11 15:50:59 | <kuribas> | I don't have an easy example right now. |
All times are in UTC.