Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,240 events total
2025-08-27 21:31:43 <tomsmeding> although it would technically be unambiguous since "as" starts with a lowercase letter, and modules don't
2025-08-27 21:32:04 × dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-27 21:32:04 × jreicher quits (~user@user/jreicher) (Quit: In transit)
2025-08-27 21:33:21 dolio joins (~dolio@130.44.140.168)
2025-08-27 21:33:49 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-08-27 21:33:50 <geekosaur> tomsmeding, could you open a ticket about that?
2025-08-27 21:34:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-27 21:35:00 <tomsmeding> geekosaur: I don't even know if what I'm doing is supposed to work, and in any case, if possible I'd like to stay within the subset of features that stack also supports
2025-08-27 21:35:27 <geekosaur> you blew that with mixins 🙂
2025-08-27 21:35:35 <tomsmeding> I think stack supports mixins
2025-08-27 21:35:59 <tomsmeding> otherwise why would people complain that `stack repl` fails at a particular use of them, but not in general? https://github.com/commercialhaskell/stack/issues/5077
2025-08-27 21:37:47 jmcantrell_ joins (~weechat@user/jmcantrell)
2025-08-27 21:38:44 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-27 21:39:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-27 21:41:28 jmcantrell_ is now known as jmcantrell
2025-08-27 21:41:54 × mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Quit: Lost terminal)
2025-08-27 21:50:04 arandombit joins (~arandombi@user/arandombit)
2025-08-27 21:50:25 weary-traveler joins (~user@user/user363627)
2025-08-27 21:50:40 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-27 21:54:00 × asivitz quits (uid178348@id-178348.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-27 21:55:37 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-08-27 21:56:11 segfaultfizzbuzz joins (~segfaultf@142.254.125.158)
2025-08-27 21:57:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-27 22:00:34 × segfaultfizzbuzz quits (~segfaultf@142.254.125.158) (Ping timeout: 258 seconds)
2025-08-27 22:00:37 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2025-08-27 22:01:00 ec joins (~ec@gateway/tor-sasl/ec)
2025-08-27 22:15:08 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds)
2025-08-27 22:15:55 vanishingideal joins (~vanishing@user/vanishingideal)
2025-08-27 22:16:52 arandombit joins (~arandombi@user/arandombit)
2025-08-27 22:19:17 × hc quits (~hc@mail.hce.li) (Server closed connection)
2025-08-27 22:19:31 hc joins (~hc@mail.hce.li)
2025-08-27 22:20:50 × peutri quits (~peutri@bobo.desast.re) (Server closed connection)
2025-08-27 22:21:00 peutri joins (~peutri@bobo.desast.re)
2025-08-27 22:30:36 × notzmv quits (~umar@user/notzmv) (Remote host closed the connection)
2025-08-27 22:37:54 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
2025-08-27 22:40:34 ljdarj1 joins (~Thunderbi@user/ljdarj)
2025-08-27 22:44:32 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-08-27 22:44:32 ljdarj1 is now known as ljdarj
2025-08-27 22:44:58 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
2025-08-27 22:50:57 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
2025-08-27 22:58:11 Sgeo joins (~Sgeo@user/sgeo)
2025-08-27 22:59:36 × xff0x quits (~xff0x@2405:6580:b080:900:c3c2:5734:3789:d6a1) (Ping timeout: 248 seconds)
2025-08-27 23:00:32 xff0x joins (~xff0x@2405:6580:b080:900:19de:4997:404:5625)
2025-08-27 23:01:21 jreicher joins (~user@user/jreicher)
2025-08-27 23:08:02 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-27 23:10:24 × sprotte24 quits (~sprotte24@p200300d16f05d70019dbd74b079549bc.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-27 23:11:56 × ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 244 seconds)
2025-08-27 23:19:37 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-27 23:20:02 × fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-08-27 23:21:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-27 23:21:48 Axman9593 joins (~Axman6@user/axman6)
2025-08-27 23:23:57 fgarcia joins (~lei@user/fgarcia)
2025-08-27 23:26:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-27 23:26:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2025-08-27 23:30:22 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-27 23:30:45 × Axman6 quits (~Axman6@user/axman6) (*.net *.split)
2025-08-27 23:32:16 lol_ joins (~lol@2603:3016:1e01:b960:14c0:7a30:3283:d6ed)
2025-08-27 23:32:40 trickard__ is now known as trickard
2025-08-27 23:34:57 × fgarcia quits (~lei@user/fgarcia) (Read error: Connection reset by peer)
2025-08-27 23:36:06 × jcarpenter2 quits (~lol@2603:3016:1e01:b960:a521:2571:4042:b249) (Ping timeout: 256 seconds)
2025-08-27 23:37:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-27 23:41:17 fgarcia joins (~lei@user/fgarcia)
2025-08-27 23:42:36 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-27 23:44:53 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-08-27 23:45:16 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-27 23:51:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-27 23:56:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-28 00:06:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 00:12:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-28 00:21:30 × acidjnk quits (~acidjnk@p200300d6e7171900a9f37d216dcd4f2e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-08-28 00:22:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 00:27:00 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2025-08-28 00:28:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-28 00:39:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 00:43:17 scysta joins (~tiara@152.173.218.186)
2025-08-28 00:44:38 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-28 00:46:21 × alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Server closed connection)
2025-08-28 00:46:31 alethkit joins (23bd17ddc6@sourcehut/user/alethkit)
2025-08-28 00:55:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 00:57:23 × lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection)
2025-08-28 00:57:33 lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com)
2025-08-28 00:58:23 arandombit joins (~arandombi@user/arandombit)
2025-08-28 01:00:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-28 01:09:44 × xff0x quits (~xff0x@2405:6580:b080:900:19de:4997:404:5625) (Ping timeout: 248 seconds)
2025-08-28 01:11:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 01:16:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-08-28 01:18:17 Axman9593 is now known as Axman6
2025-08-28 01:27:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 01:30:57 × robertm quits (robertm@lattice.rojoma.com) (Server closed connection)
2025-08-28 01:31:16 robertm joins (robertm@lattice.rojoma.com)
2025-08-28 01:34:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-28 01:42:10 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-08-28 01:42:43 Lycurgus joins (~juan@user/Lycurgus)
2025-08-28 01:45:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
2025-08-28 01:52:39 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Server closed connection)
2025-08-28 01:52:50 shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
2025-08-28 01:52:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-28 01:56:49 × trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-28 01:57:03 trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au)
2025-08-28 01:58:26 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)

All times are in UTC.