2026/01/14

Newest at the top

2026-01-14 17:50:46 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-01-14 17:50:24 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-01-14 17:49:28 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
2026-01-14 17:41:11 +0100bggd(~bgg@user/bggd) (Remote host closed the connection)
2026-01-14 17:35:31 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2026-01-14 17:34:45 +0100spew_spew
2026-01-14 17:33:15 +0100spew(~spew@user/spew) (Ping timeout: 245 seconds)
2026-01-14 17:31:56 +0100spew_(~spew@user/spew) spew
2026-01-14 17:28:36 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2026-01-14 17:24:43 +0100spew(~spew@user/spew) spew
2026-01-14 17:24:31 +0100fp(~Thunderbi@130.233.70.149) (Ping timeout: 240 seconds)
2026-01-14 17:22:26 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-01-14 17:17:11 +0100Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63
2026-01-14 17:16:47 +0100Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed)
2026-01-14 17:16:19 +0100dolio(~dolio@130.44.140.168) dolio
2026-01-14 17:13:15 +0100tromp(~textual@2001:1c00:3487:1b00:1931:5674:15e5:cfb0)
2026-01-14 17:13:14 +0100 <[exa]> in this case the Typeable is "conveniently re-exported" through like 3 other modules, all the way from here https://hackage-content.haskell.org/package/ghc-internal-9.1401.0/docs/src/GHC.Internal.Data.Typea…
2026-01-14 17:13:12 +0100 <Enrico63> I see.
2026-01-14 17:13:01 +0100 <int-e> which is useful if you want to split up a module into several internal modules... so there's no universally correct place to link to
2026-01-14 17:13:00 +0100 <Enrico63> In the sense that Haddock is responsible for the bad choice, not anybody else?
2026-01-14 17:12:41 +0100dolio(~dolio@130.44.140.168) (Client Quit)
2026-01-14 17:11:19 +0100dolio(~dolio@130.44.140.168) dolio
2026-01-14 17:10:59 +0100 <[exa]> Enrico63: yeah kinda looks to me like haddock is resolving the reference in the imported-to module, not in the original module
2026-01-14 17:09:03 +0100 <Enrico63> I'm studying Thinking with Types, and the chapter on existentials talks about Dynamic and Typeable, so I was navigating docs to help getting my head around this stuff.
2026-01-14 17:07:53 +0100 <Enrico63> Hi there. Question about doc/discoverability: is it expected that "Typeable" at the bottom of https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-Dynamic.html does not link to https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-Typeable.html#t:Typeable ?
2026-01-14 17:07:38 +0100dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-01-14 17:06:46 +0100karenw(~karenw@user/karenw) karenw
2026-01-14 17:06:18 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2026-01-14 17:00:24 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-01-14 16:57:33 +0100danza(~danza@user/danza) (Ping timeout: 256 seconds)
2026-01-14 16:55:19 +0100danz83480(~danza@user/danza) danza
2026-01-14 16:54:53 +0100Square(~Square@user/square) (Ping timeout: 260 seconds)
2026-01-14 16:52:21 +0100Googulator(~Googulato@188-143-74-52.pool.digikabel.hu)
2026-01-14 16:47:17 +0100notzmv(~umar@user/notzmv) notzmv
2026-01-14 16:44:58 +0100Enrico63(~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63
2026-01-14 16:44:52 +0100tromp(~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-01-14 16:39:38 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2026-01-14 16:36:01 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds)
2026-01-14 16:05:03 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-01-14 16:04:12 +0100merijn(~merijn@77.242.116.146) merijn
2026-01-14 16:01:13 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2026-01-14 15:54:33 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-01-14 15:50:19 +0100ystael(~ystael@user/ystael) ystael
2026-01-14 15:40:35 +0100Guest83(~Guest83@211.215.174.214) ()
2026-01-14 15:38:23 +0100Guest83(~Guest83@211.215.174.214)
2026-01-14 15:32:30 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2026-01-14 15:31:49 +0100trickard_(~trickard@cpe-84-98-47-163.wireline.com.au)
2026-01-14 15:30:51 +0100trickard(~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2026-01-14 15:30:48 +0100olunio(~olunio@46.151.188.110) ()
2026-01-14 15:30:39 +0100danza(~danza@user/danza) danza