Logs: liberachat/#haskell
| 2026-01-14 13:02:45 | → | Enrico63 joins (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) |
| 2026-01-14 13:24:06 | AlexNoo_ | is now known as AlexNoo |
| 2026-01-14 13:29:16 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 2026-01-14 13:30:09 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) |
| 2026-01-14 13:31:38 | → | fp joins (~Thunderbi@130.233.70.149) |
| 2026-01-14 13:31:51 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2026-01-14 13:32:26 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-14 13:34:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-01-14 13:40:30 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-14 13:49:51 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2026-01-14 13:52:00 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2026-01-14 13:52:02 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2026-01-14 13:52:54 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2026-01-14 13:53:15 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Ping timeout: 245 seconds) |
| 2026-01-14 13:54:49 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 2026-01-14 13:55:04 | × | Enrico63 quits (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2026-01-14 13:55:05 | → | noctux joins (~noctux@user/noctux) |
| 2026-01-14 13:57:57 | → | mauke joins (~mauke@user/mauke) |
| 2026-01-14 14:11:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) |
| 2026-01-14 14:13:40 | → | nitrix_ joins (~nitrix@user/meow/nitrix) |
| 2026-01-14 14:14:43 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 264 seconds) |
| 2026-01-14 14:18:23 | × | trickard quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-14 14:18:36 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-14 14:20:50 | nitrix_ | is now known as nitrix |
| 2026-01-14 14:22:15 | trickard_ | is now known as trickard |
| 2026-01-14 14:25:34 | → | olunio joins (~olunio@46.151.188.110) |
| 2026-01-14 14:30:39 | → | danza joins (~danza@user/danza) |
| 2026-01-14 14:30:48 | ← | olunio parts (~olunio@46.151.188.110) () |
| 2026-01-14 14:30:51 | × | trickard quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-01-14 14:31:49 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-14 14:32:30 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-01-14 14:38:23 | → | Guest83 joins (~Guest83@211.215.174.214) |
| 2026-01-14 14:40:35 | ← | Guest83 parts (~Guest83@211.215.174.214) () |
| 2026-01-14 14:50:19 | → | ystael joins (~ystael@user/ystael) |
| 2026-01-14 14:54:33 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-14 15:01:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-14 15:04:12 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-01-14 15:05:03 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-14 15:36:01 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2026-01-14 15:39:38 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2026-01-14 15:44:52 | × | tromp quits (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-14 15:44:58 | → | Enrico63 joins (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) |
| 2026-01-14 15:47:17 | → | notzmv joins (~umar@user/notzmv) |
| 2026-01-14 15:52:21 | → | Googulator joins (~Googulato@188-143-74-52.pool.digikabel.hu) |
| 2026-01-14 15:54:53 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-14 15:55:19 | → | danz83480 joins (~danza@user/danza) |
| 2026-01-14 15:57:33 | × | danza quits (~danza@user/danza) (Ping timeout: 256 seconds) |
| 2026-01-14 16:00:24 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-14 16:06:18 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2026-01-14 16:06:46 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-14 16:07:38 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-14 16:07:53 | <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 16:09:03 | <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 16:10:59 | <[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 16:11:19 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-01-14 16:12:41 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 2026-01-14 16:13:00 | <Enrico63> | In the sense that Haddock is responsible for the bad choice, not anybody else? |
| 2026-01-14 16:13:01 | <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 16:13:12 | <Enrico63> | I see. |
| 2026-01-14 16:13:14 | <[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.Typeable.Internal.html#Typeable |
| 2026-01-14 16:13:15 | → | tromp joins (~textual@2001:1c00:3487:1b00:1931:5674:15e5:cfb0) |
| 2026-01-14 16:16:19 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-01-14 16:16:47 | × | Enrico63 quits (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2026-01-14 16:17:11 | → | Enrico63 joins (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) |
| 2026-01-14 16:22:26 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-01-14 16:24:31 | × | fp quits (~Thunderbi@130.233.70.149) (Ping timeout: 240 seconds) |
| 2026-01-14 16:24:43 | → | spew joins (~spew@user/spew) |
| 2026-01-14 16:28:36 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-14 16:31:56 | → | spew_ joins (~spew@user/spew) |
| 2026-01-14 16:33:15 | × | spew quits (~spew@user/spew) (Ping timeout: 245 seconds) |
| 2026-01-14 16:34:45 | spew_ | is now known as spew |
| 2026-01-14 16:35:31 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-01-14 16:41:11 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-01-14 16:49:28 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2026-01-14 16:50:24 | × | newmind quits (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-01-14 16:50:46 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-14 16:57:16 | danz83480 | is doing baby steps with dataframe |
| 2026-01-14 16:59:16 | <danz83480> | actually i have been waiting for this library for so long that seems unreal finally having the time to try it |
| 2026-01-14 16:59:37 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-14 17:01:29 | → | euphores joins (~SASL_euph@user/euphores) |
| 2026-01-14 17:04:15 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-14 17:04:42 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-01-14 17:18:31 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-14 17:19:11 | jmcantrell_ | is now known as jmcantrell |
| 2026-01-14 17:26:01 | → | Alex_delenda_est joins (~al_test@5.139.232.54) |
| 2026-01-14 17:27:01 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-14 17:29:40 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-14 17:32:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-14 17:38:45 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) (Read error: Connection reset by peer) |
| 2026-01-14 17:39:51 | → | synchromesh joins (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) |
| 2026-01-14 17:40:24 | → | jumper149 joins (~jumper149@base.felixspringer.xyz) |
| 2026-01-14 17:41:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-14 17:49:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-14 17:50:23 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-14 17:53:37 | × | tromp quits (~textual@2001:1c00:3487:1b00:1931:5674:15e5:cfb0) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-14 17:57:43 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-01-14 18:00:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-14 18:04:39 | → | tromp joins (~textual@2001:1c00:3487:1b00:1931:5674:15e5:cfb0) |
| 2026-01-14 18:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-14 18:08:09 | × | danz83480 quits (~danza@user/danza) (Remote host closed the connection) |
All times are in UTC.