2024/05/02

Newest at the top

2024-05-02 05:18:24 +0200 <bgt32> monochrom: thank you
2024-05-02 05:18:19 +0200 <c_wraith> bgt32: in addition to monochrom's answer, see https://downloads.haskell.org/ghc/9.8.2/docs/users_guide/exts/flexible_contexts.html
2024-05-02 05:17:16 +0200 <monochrom> New GHCs default to implicit {-# language GHC2021 #-} which implies FlexibleContexts allowing those constraints.
2024-05-02 05:16:10 +0200rdcdr(~rdcdr@user/rdcdr) (Ping timeout: 245 seconds)
2024-05-02 05:15:59 +0200rdcdr_(~rdcdr@75-172-82-76.tukw.qwest.net)
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: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:08:15 +0200bgt32(~keutoi@223.184.79.113)
2024-05-02 05:00:55 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:7613:7f5a:3f36:628c) (Quit: Leaving)
2024-05-02 04:42:21 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 04:39:18 +0200[Leary](~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
2024-05-02 04:30:46 +0200philopsos(~caecilius@user/philopsos)
2024-05-02 04:28:29 +0200td_(~td@i5387093e.versanet.de)
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: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:27:01 +0200td_(~td@i53870927.versanet.de) (Ping timeout: 256 seconds)
2024-05-02 04:24:56 +0200Axma84850(~Axman6@user/axman6)
2024-05-02 04:24:52 +0200Axma43234(~Axman6@user/axman6) (Ping timeout: 258 seconds)
2024-05-02 04:24:29 +0200Axma88620(~Axman6@user/axman6) (Ping timeout: 258 seconds)
2024-05-02 04:24:16 +0200Axman6(~Axman6@user/axman6)
2024-05-02 04:24:12 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-05-02 04:15:45 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 245 seconds)
2024-05-02 04:15:34 +0200ell(~ellie@user/ellie)
2024-05-02 04:14:22 +0200tabemann_(~tabemann@2600:1700:7990:24e0:24f2:d535:ef6d:1b9a)
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: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:03:46 +0200petrichor(~znc-user@user/petrichor)
2024-05-02 04:03:27 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-02 03:53:11 +0200 <geekosaur> or anyone else, from what I've heard
2024-05-02 03:48:55 +0200 <haskellbridge> <s​m> gitlab search: unusable by me...
2024-05-02 03:38:22 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-05-02 03:27:52 +0200otto_s(~user@p5b04466a.dip0.t-ipconnect.de)
2024-05-02 03:26:39 +0200otto_s(~user@p4ff27c65.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-05-02 03:25:07 +0200Axma89310(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-05-02 03:24:36 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 244 seconds)
2024-05-02 03:22:52 +0200Axma43234(~Axman6@user/axman6)
2024-05-02 03:22:31 +0200Axma88620(~Axman6@user/axman6)
2024-05-02 03:13:59 +0200causal(~eric@50.35.88.207)
2024-05-02 03:13:38 +0200k``(~k``@136.54.34.25) (Ping timeout: 250 seconds)
2024-05-02 03:12:45 +0200ChanServ+v haskellbridge
2024-05-02 03:12:45 +0200haskellbridge(~haskellbr@syn-069-135-003-034.biz.spectrum.com)
2024-05-02 03:10:32 +0200haskellbridge(~haskellbr@69.135.3.34) (Remote host closed the connection)
2024-05-02 03:03:51 +0200ystael(~ystael@user/ystael) (Ping timeout: 272 seconds)
2024-05-02 02:47:27 +0200lockna(~lockna@2a01:4f8:10b:14f1::2)
2024-05-02 02:46:35 +0200lockna(~lockna@2a01:4f8:10b:14f1::2) (Ping timeout: 245 seconds)
2024-05-02 02:43:15 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds)
2024-05-02 02:42:02 +0200waldo(~waldo@user/waldo) (Quit: waldo)
2024-05-02 02:38:46 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 02:29:43 +0200yin(~yin@user/zero) (Ping timeout: 255 seconds)
2024-05-02 02:29:00 +0200k``(~k``@136.54.34.25)