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)
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: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:18:24 +0200 <bgt32> monochrom: thank you
2024-05-02 05:18:59 +0200 <c_wraith> bgt32: the GHC2021 thing is a link, which gives a list of all the things on by default now
2024-05-02 05:21:50 +0200 <bgt32> Wow, many changes. I should have suspected something when tuplesections worked without the extension enabled.
2024-05-02 05:22:08 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-05-02 05:22:30 +0200 <monochrom> :) That's also one of them.
2024-05-02 05:25:21 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-05-02 05:26:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-02 05:39:51 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-05-02 05:40:29 +0200Pixi`Pixi
2024-05-02 05:58:01 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-02 05:58:53 +0200aforemny(~aforemny@2001:9e8:6cd3:1d00:230b:c373:dfe7:68c3)
2024-05-02 05:59:10 +0200[Leary](~Leary]@user/Leary/x-0910699)
2024-05-02 05:59:56 +0200aforemny_(~aforemny@i59F516D1.versanet.de) (Ping timeout: 260 seconds)
2024-05-02 06:01:27 +0200tomku(~tomku@user/tomku)
2024-05-02 06:02:08 +0200tomku|two(~tomku@user/tomku) (Ping timeout: 256 seconds)
2024-05-02 06:06:26 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-05-02 06:06:57 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-05-02 06:16:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-02 06:16:38 +0200Axma84850(~Axman6@user/axman6) (Remote host closed the connection)
2024-05-02 06:17:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-02 06:26:10 +0200Katarushisu1(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 245 seconds)
2024-05-02 06:39:19 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-02 06:44:15 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2024-05-02 06:44:44 +0200as__(~as@2800:a4:2c7:9600:4168:6667:410d:d0ba)
2024-05-02 06:47:01 +0200tabemann_(~tabemann@2600:1700:7990:24e0:24f2:d535:ef6d:1b9a) (Remote host closed the connection)
2024-05-02 06:47:07 +0200as_(~as@2800:a4:2f2:ee00:2a7d:f1f0:f562:40ce) (Ping timeout: 255 seconds)
2024-05-02 06:47:19 +0200tabemann_(~tabemann@2600:1700:7990:24e0:1855:3a30:76c0:62ca)
2024-05-02 06:58:02 +0200tabemann_(~tabemann@2600:1700:7990:24e0:1855:3a30:76c0:62ca) (Remote host closed the connection)
2024-05-02 06:58:19 +0200tabemann_(~tabemann@2600:1700:7990:24e0:f2fd:c0bd:8a82:7af3)
2024-05-02 07:07:41 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 272 seconds)
2024-05-02 07:09:53 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2024-05-02 07:11:58 +0200michalz(~michalz@185.246.207.205)
2024-05-02 07:12:36 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 07:13:42 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-02 07:14:07 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 07:16:53 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-02 07:17:31 +0200tabemann_(~tabemann@2600:1700:7990:24e0:f2fd:c0bd:8a82:7af3) (Remote host closed the connection)
2024-05-02 07:17:34 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 07:17:43 +0200tabemann_(~tabemann@2600:1700:7990:24e0:ee7e:48a3:1361:6ba6)
2024-05-02 07:18:36 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-02 07:21:30 +0200img(~img@user/img)
2024-05-02 07:28:03 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-05-02 07:29:21 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-05-02 07:30:01 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-02 07:33:56 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-05-02 07:34:23 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-02 07:34:54 +0200rvalue(~rvalue@user/rvalue)
2024-05-02 07:37:17 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2024-05-02 07:37:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-02 07:38:26 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de)
2024-05-02 07:50:57 +0200talismanick(~user@2601:644:937c:ed10:536b:7670:fffc:851a) (Read error: Connection reset by peer)
2024-05-02 07:56:01 +0200bilegeek(~bilegeek@2600:1008:b09c:cc45:af3c:c61e:6890:be8f)
2024-05-02 08:05:00 +0200acidjnk(~acidjnk@p200300d6e714dc31f1fc423ebb03a89f.dip0.t-ipconnect.de)
2024-05-02 08:12:45 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
2024-05-02 08:17:33 +0200billchenchina(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-05-02 08:17:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-02 08:18:14 +0200Pixi(~Pixi@user/pixi)
2024-05-02 08:28:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-02 08:42:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-02 08:45:25 +0200mikess(~mikess@user/mikess) (Ping timeout: 256 seconds)
2024-05-02 08:51:20 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-02 08:52:51 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-02 08:53:14 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-02 08:54:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-02 08:55:21 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-02 09:02:06 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-05-02 09:02:19 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de)
2024-05-02 09:06:06 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-02 09:06:16 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
2024-05-02 09:11:42 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-02 09:11:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-02 09:16:01 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2024-05-02 09:16:34 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de)
2024-05-02 09:21:07 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-02 09:21:32 +0200danse-nr3(~danse-nr3@151.43.230.153)
2024-05-02 09:22:28 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2024-05-02 09:22:42 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-02 09:22:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-02 09:24:09 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 09:26:15 +0200 <tomsmeding> monochrom: sounds good! How often do you think "if only I had a compiler that supported just Haskell2010 and gave error messages that don't jump outside that fragment"?
2024-05-02 09:26:49 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-02 09:27:53 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-02 09:31:46 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-02 09:32:40 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de)
2024-05-02 09:33:19 +0200RedFlamingos(~RedFlamin@user/RedFlamingos)
2024-05-02 09:35:13 +0200euleritian(~euleritia@dynamic-176-001-008-145.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-02 09:35:14 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-02 09:35:30 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-02 09:42:32 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2024-05-02 09:43:11 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)