Logs: liberachat/#haskell
| 2026-03-08 16:21:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 16:25:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 16:26:02 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-08 16:26:56 | × | Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 268 seconds) |
| 2026-03-08 16:28:42 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 246 seconds) |
| 2026-03-08 16:38:52 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 2026-03-08 16:41:38 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 2026-03-08 16:43:34 | × | CloneOfNone_ quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 265 seconds) |
| 2026-03-08 16:45:17 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-03-08 16:47:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 16:53:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 16:58:34 | Digitteknohippie | is now known as Digit |
| 2026-03-08 16:59:05 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-03-08 16:59:31 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-03-08 17:03:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 17:08:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 17:11:09 | → | CloneOfNone_ joins (~CloneOfNo@user/CloneOfNone) |
| 2026-03-08 17:13:11 | × | CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 268 seconds) |
| 2026-03-08 17:17:33 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-08 17:19:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 17:20:02 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2026-03-08 17:20:42 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-08 17:26:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 17:32:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-08 17:33:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 17:34:32 | → | jzargo2 joins (~jzargo@user/jzargo) |
| 2026-03-08 17:38:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-08 17:42:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-08 17:45:11 | × | cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-03-08 17:45:24 | × | juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 264 seconds) |
| 2026-03-08 17:46:00 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 2026-03-08 17:47:01 | → | juri_ joins (~juri@212.86.51.237) |
| 2026-03-08 17:47:12 | × | jzargo2 quits (~jzargo@user/jzargo) (Read error: Connection reset by peer) |
| 2026-03-08 17:47:36 | → | jzargo2 joins (~jzargo@user/jzargo) |
| 2026-03-08 17:48:59 | → | Anamika joins (~Anamika@119.252.223.24) |
| 2026-03-08 17:49:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 17:51:55 | × | juri_ quits (~juri@212.86.51.237) (Read error: Connection reset by peer) |
| 2026-03-08 17:54:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 17:57:43 | → | juri_ joins (~juri@217-114-215-140.pool.ovpn.com) |
| 2026-03-08 17:58:28 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-03-08 18:05:28 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-08 18:09:44 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-08 18:10:26 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 18:12:24 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-08 18:20:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 18:25:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-08 18:36:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 18:37:59 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 18:40:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-08 18:41:00 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-08 18:41:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-08 18:41:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 18:52:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 18:54:44 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-08 18:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-08 19:04:31 | × | rainbyte quits (~rainbyte@2800:810:5f9:49::91b) (Read error: Connection reset by peer) |
| 2026-03-08 19:07:24 | → | rainbyte joins (~rainbyte@2800:810:5f9:49::91b) |
| 2026-03-08 19:08:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-03-08 19:10:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 19:15:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 19:18:32 | × | Anamika quits (~Anamika@119.252.223.24) (Quit: Client closed) |
| 2026-03-08 19:18:32 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-08 19:18:32 | × | Digit quits (~user@user/digit) (Ping timeout: 268 seconds) |
| 2026-03-08 19:19:50 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2026-03-08 19:19:50 | → | sam113102 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2026-03-08 19:19:54 | sam113102 | is now known as sam113101 |
| 2026-03-08 19:26:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 19:28:09 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 19:28:12 | → | j1n37- joins (~j1n37@user/j1n37) |
| 2026-03-08 19:31:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-08 19:31:32 | × | werneta quits (~werneta@71.83.160.242) (Quit: leaving) |
| 2026-03-08 19:32:06 | → | werneta joins (~werneta@71.83.160.242) |
| 2026-03-08 19:35:45 | × | madresch quits (~Thunderbi@user/madresch) (Remote host closed the connection) |
| 2026-03-08 19:37:10 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-08 19:42:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 19:46:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-08 19:49:36 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-03-08 19:51:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-08 19:56:12 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-08 19:57:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 20:00:05 | <haskellbridge> | <ijouw> How does GHC handle class restrictions when checking functional dependencies? |
| 2026-03-08 20:00:05 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/hkqwZDNovtaywLkFlQElBHBh/wZU_0jLqG24 (3 lines) |
| 2026-03-08 20:02:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-08 20:07:35 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2026-03-08 20:08:14 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-08 20:08:39 | × | YuutaW quits (~YuutaW@infornography.yta.moe) (Ping timeout: 272 seconds) |
| 2026-03-08 20:09:48 | <EvanR> | second paste link 404s |
| 2026-03-08 20:10:24 | <geekosaur> | the first one fails because exactly one instance must match, but anything that matches the first instance also matches the second. |
| 2026-03-08 20:11:02 | <haskellbridge> | <ijouw> I typed an additional 'u'... https://paste.tomsmeding.com/pnPeHvMg |
| 2026-03-08 20:11:25 | <EvanR> | so its less that it's not satisfying fundeps, more like not satisfying non-overlapping |
| 2026-03-08 20:11:36 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-08 20:11:49 | <haskellbridge> | <ijouw> But isn't Z /= S{}? |
| 2026-03-08 20:13:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-08 20:13:28 | <geekosaur> | oh, hm, misread it |
| 2026-03-08 20:14:32 | <haskellbridge> | <ijouw> If i remove (b c -> a) it compiles. But i do not want to, since addition does have that property. |
| 2026-03-08 20:16:14 | <geekosaur> | now I'm trying to remember how fundeps work internally |
| 2026-03-08 20:16:37 | <haskellbridge> | <ijouw> (knowing these) -> (means also knowing these) |
| 2026-03-08 20:16:51 | <geekosaur> | I know how you read it, I said internally |
| 2026-03-08 20:17:22 | <haskellbridge> | <ijouw> I applied internally to the wrong concept |
| 2026-03-08 20:17:40 | <geekosaur> | how is the typechecker reading it, which may not be how we do |
All times are in UTC.