2024/05/02

2024-05-02 00:02:48 +0200talismanick(~user@2601:644:937c:ed10:536b:7670:fffc:851a)
2024-05-02 00:12:29 +0200waldo(~waldo@user/waldo)
2024-05-02 00:14:52 +0200leah2(~leah@vuxu.org) (Ping timeout: 268 seconds)
2024-05-02 00:17:02 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io)
2024-05-02 00:17:52 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-02 00:19:10 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de)
2024-05-02 00:21:16 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-02 00:22:40 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-02 00:22:44 +0200leah2(~leah@vuxu.org)
2024-05-02 00:25:20 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-02 00:31:05 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c)
2024-05-02 00:31:31 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: vnskdjkd)
2024-05-02 00:35:51 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
2024-05-02 00:37:50 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-02 00:38:38 +0200gmg(~user@user/gehmehgeh)
2024-05-02 00:43:40 +0200Square(~Square@user/square) (Ping timeout: 245 seconds)
2024-05-02 00:44:48 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2024-05-02 00:46:14 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 01:03:48 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-02 01:06:17 +0200sprout(~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 256 seconds)
2024-05-02 01:08:30 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-02 01:17:53 +0200xff0x(~xff0x@softbank219059019218.bbtec.net)
2024-05-02 01:22:11 +0200aforemny_(~aforemny@i59F516D1.versanet.de)
2024-05-02 01:22:59 +0200aforemny(~aforemny@2001:9e8:6cea:d00:aab5:d1b:ca3e:df36) (Ping timeout: 260 seconds)
2024-05-02 01:24:30 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 245 seconds)
2024-05-02 01:25:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-02 01:33:17 +0200destituion(~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 272 seconds)
2024-05-02 01:34:30 +0200as_(~as@2800:a4:2f2:ee00:2a7d:f1f0:f562:40ce)
2024-05-02 01:39:40 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-02 01:45:31 +0200xff0x(~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds)
2024-05-02 01:48:11 +0200xff0x(~xff0x@softbank219059019218.bbtec.net)
2024-05-02 01:54:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-02 02:03:05 +0200yin(~yin@user/zero) (Ping timeout: 256 seconds)
2024-05-02 02:04:50 +0200yin(~yin@user/zero)
2024-05-02 02:17:00 +0200waldo(~waldo@user/waldo)
2024-05-02 02:24:14 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-02 02:26:35 +0200xff0x(~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 245 seconds)
2024-05-02 02:29:00 +0200k``(~k``@136.54.34.25)
2024-05-02 02:29:43 +0200yin(~yin@user/zero) (Ping timeout: 255 seconds)
2024-05-02 02:38:46 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 02:42:02 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-02 02:43:15 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds)
2024-05-02 02:46:35 +0200lockna(~lockna@2a01:4f8:10b:14f1::2) (Ping timeout: 245 seconds)
2024-05-02 02:47:27 +0200lockna(~lockna@2a01:4f8:10b:14f1::2)
2024-05-02 03:03:51 +0200ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2024-05-02 03:10:32 +0200haskellbridge(~haskellbr@69.135.3.34) (Remote host closed the connection)
2024-05-02 03:12:45 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-02 03:12:45 +0200ChanServ+v haskellbridge
2024-05-02 03:13:38 +0200k``(~k``@136.54.34.25) (Ping timeout: 250 seconds)
2024-05-02 03:13:59 +0200causal(~eric@50.35.88.207)
2024-05-02 03:22:31 +0200Axma88620(~Axman6@user/axman6)
2024-05-02 03:22:52 +0200Axma43234(~Axman6@user/axman6)
2024-05-02 03:24:36 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-05-02 03:25:07 +0200Axma89310(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-05-02 03:26:39 +0200otto_s(~user@p4ff27c65.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-05-02 03:27:52 +0200otto_s(~user@p5b04466a.dip0.t-ipconnect.de)
2024-05-02 03:38:22 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-05-02 03:48:55 +0200 <haskellbridge> <s​m> gitlab search: unusable by me...
2024-05-02 03:53:11 +0200 <geekosaur> or anyone else, from what I've heard
2024-05-02 04:03:27 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-02 04:03:46 +0200petrichor(~znc-user@user/petrichor)
2024-05-02 04:09:36 +0200 <monochrom> tomsmeding: I don't teach existential types. I just teach Haskell 2010; even then maybe only a basic subset.
2024-05-02 04:11:21 +0200 <monochrom> I think I can summarize what I cover as Hindley-Milner plus single-param type classes up to classes of * -> * kinds so I can cover Foldable.
2024-05-02 04:14:22 +0200tabemann_(~tabemann@2600:1700:7990:24e0:24f2:d535:ef6d:1b9a)
2024-05-02 04:15:34 +0200ell(~ellie@user/ellie)
2024-05-02 04:15:45 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 245 seconds)
2024-05-02 04:24:12 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-05-02 04:24:16 +0200Axman6(~Axman6@user/axman6)
2024-05-02 04:24:29 +0200Axma88620(~Axman6@user/axman6) (Ping timeout: 258 seconds)
2024-05-02 04:24:52 +0200Axma43234(~Axman6@user/axman6) (Ping timeout: 258 seconds)
2024-05-02 04:24:56 +0200Axma84850(~Axman6@user/axman6)
2024-05-02 04:27:01 +0200td_(~td@i53870927.versanet.de) (Ping timeout: 256 seconds)
2024-05-02 04:27:26 +0200 <bsima> is there a way to tell ghc or haddock to error if a function or type isn't documented?
2024-05-02 04:28:29 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-05-02 04:28:29 +0200td_(~td@i5387093e.versanet.de)
2024-05-02 04:30:46 +0200philopsos(~caecilius@user/philopsos)
2024-05-02 04:39:18 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-05-02 04:42:21 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 05:00:55 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c) (Quit: Leaving)
2024-05-02 05:08:15 +0200bgt32(~keutoi@223.184.79.113)
2024-05-02 05:12:10 +0200 <bgt32> I'm getting a 'Non type-variable argument in the constraint: MArray (STUArray s) a (ST s)' error, but only in older version of haskell ~ 8.10.1. This isn't happening in 9.2.8. Any idea why?
2024-05-02 05:14:53 +0200 <monochrom> haddock reports how many things are undocumented, but I don't know how to make it an error.
2024-05-02 05:15:59 +0200rdcdr_(~rdcdr@75-172-82-76.tukw.qwest.net)
2024-05-02 05:16:10 +0200rdcdr(~rdcdr@user/rdcdr) (Ping timeout: 245 seconds)