Logs: liberachat/#haskell
| 2025-12-05 21:45:27 | <[exa]> | Wygulmage: nevertheless, wouldn't the example with genericLookup/Int here https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/rewrite_rules.html#specialisation work for that case without much issues? |
| 2025-12-05 21:48:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 21:53:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 21:57:22 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 21:58:06 | → | califax joins (~califax@user/califx) |
| 2025-12-05 21:58:13 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-12-05 21:58:22 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-12-05 21:58:22 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 21:59:42 | <EvanR> | is there a typeclass instance that says "everything everywhere all at once" ? |
| 2025-12-05 22:00:15 | → | califax joins (~califax@user/califx) |
| 2025-12-05 22:04:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 22:05:08 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 265 seconds) |
| 2025-12-05 22:05:17 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 22:06:01 | → | califax joins (~califax@user/califx) |
| 2025-12-05 22:06:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 22:06:45 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-12-05 22:08:13 | → | califax joins (~califax@user/califx) |
| 2025-12-05 22:09:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 22:10:31 | <tomsmeding> | [exa]: it rather sounds like they have `class C a where delete :: a -> a` (guessing some type for delete here) and an `instance Ord a => C (Set a) where delete = ...`, and they want to have a RULE that rewrites `delete :: Set a -> Set a` to some function with type `Ord a => Set a -> Set a` |
| 2025-12-05 22:11:06 | <tomsmeding> | Wygulmage: what if you just add the Ord constraint on the LHS of the RULE? |
| 2025-12-05 22:20:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 22:20:35 | × | mikess quits (~sam@user/mikess) (Ping timeout: 240 seconds) |
| 2025-12-05 22:21:06 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-05 22:25:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-05 22:26:27 | × | Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 250 seconds) |
| 2025-12-05 22:32:22 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2025-12-05 22:35:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 22:36:36 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-05 22:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 22:53:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 22:56:07 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-05 22:56:49 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-12-05 22:57:38 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 2025-12-05 22:58:01 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-12-05 22:58:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-05 22:58:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-05 23:04:17 | × | Ging_ quits (46fea76d80@2001:bc8:1210:2cd8::470) (Remote host closed the connection) |
| 2025-12-05 23:04:17 | × | Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Remote host closed the connection) |
| 2025-12-05 23:04:17 | × | PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Remote host closed the connection) |
| 2025-12-05 23:09:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 23:14:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 23:18:52 | → | PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2025-12-05 23:20:33 | → | Ging_ joins (46fea76d80@2001:bc8:1210:2cd8::470) |
| 2025-12-05 23:21:45 | → | Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-12-05 23:25:01 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Read error: Connection reset by peer) |
| 2025-12-05 23:25:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 23:26:02 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-05 23:28:35 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-05 23:29:17 | → | Tuplanolla joins (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) |
| 2025-12-05 23:30:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-05 23:30:48 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-12-05 23:33:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-05 23:34:56 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 2025-12-05 23:37:25 | × | earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 245 seconds) |
| 2025-12-05 23:41:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 23:46:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 23:50:10 | × | Anarchos quits (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2025-12-05 23:54:04 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 23:54:18 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 23:58:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 00:01:07 | → | iqubic- joins (~sophia@2601:602:9203:1660:214e:aa04:789d:78ee) |
| 2025-12-06 00:01:30 | × | iqubic quits (~sophia@2601:602:9203:1660:6858:25a9:5635:3842) (Ping timeout: 256 seconds) |
| 2025-12-06 00:02:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 00:04:45 | → | poscat joins (~poscat@user/poscat) |
| 2025-12-06 00:06:33 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-12-06 00:13:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 00:19:45 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-06 00:19:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-06 00:31:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 00:32:42 | trickard_ | is now known as trickard |
| 2025-12-06 00:35:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 00:41:11 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-06 00:43:56 | × | tt123160 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-06 00:45:05 | → | tt123160 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2025-12-06 00:47:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 00:50:49 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-06 00:50:52 | → | Googulator63 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-06 00:52:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-06 00:56:44 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-06 00:57:29 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-06 00:59:24 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-06 00:59:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-06 01:03:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 01:04:35 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-12-06 01:05:41 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:35d4:1aac:9a2f:cd11) |
| 2025-12-06 01:06:08 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 240 seconds) |
| 2025-12-06 01:07:25 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-12-06 01:07:27 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-06 01:07:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 01:10:08 | → | earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2025-12-06 01:18:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 01:24:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-06 01:26:49 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-06 01:27:01 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-06 01:34:03 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-12-06 01:34:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 01:39:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-06 01:40:24 | → | omidmash5 joins (~omidmash@user/omidmash) |
| 2025-12-06 01:41:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-06 01:42:15 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 252 seconds) |
All times are in UTC.