Home liberachat/#haskell: Logs Calendar

Logs on 2025-01-02 (liberachat/#haskell)

00:03:07 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:04:00 lol_ joins (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319)
00:04:06 × RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Ping timeout: 244 seconds)
00:07:28 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:07:29 × jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:151e:d951:3b7c:15db) (Ping timeout: 245 seconds)
00:20:04 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:24:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
00:24:44 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:32:21 × Jeanne-Kamikaze quits (~Jeanne-Ka@79.127.217.53) (Quit: Leaving)
00:38:05 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:38:32 notzmv joins (~umar@user/notzmv)
00:42:20 prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
00:45:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
00:46:09 lol_ is now known as jcarpenter2
00:53:13 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
00:56:03 × sprotte24 quits (~sprotte24@p200300d16f082c00111ee0f92f452098.dip0.t-ipconnect.de) (Quit: Leaving)
00:56:47 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:01:31 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
01:01:31 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
01:02:10 stiell joins (~stiell@gateway/tor-sasl/stiell)
01:05:02 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
01:10:26 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:14:05 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
01:15:06 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:19:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
01:26:19 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
01:31:08 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:35:50 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
01:42:18 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
01:45:59 × otto_s quits (~user@p5b04447a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
01:47:26 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:47:38 otto_s joins (~user@p5de2f94b.dip0.t-ipconnect.de)
01:48:01 × meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
01:52:16 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
02:00:51 meinside joins (uid24933@id-24933.helmsley.irccloud.com)
02:04:04 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
02:08:53 × acidjnk_new3 quits (~acidjnk@p200300d6e7283f705914636323d7efe9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
02:14:05 L29Ah joins (~L29Ah@wikipedia/L29Ah)
02:15:17 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:20:18 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
02:27:02 Jeanne-Kamikaze joins (~Jeanne-Ka@79.127.217.53)
02:31:06 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:35:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
02:35:42 × ft quits (~ft@p3e9bc545.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
02:37:16 ft joins (~ft@p3e9bc62d.dip0.t-ipconnect.de)
02:46:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:51:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
02:52:33 × Square quits (~Square@user/square) (Ping timeout: 248 seconds)
03:02:54 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:05:59 JuanDaugherty joins (~juan@user/JuanDaugherty)
03:07:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
03:17:57 × philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal)
03:18:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:25:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
03:28:27 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
03:37:17 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:39:25 <remexre> does anyone know what the statement of the orphan rule for multi-parameter typeclasses would be?
03:39:57 <remexre> the "at least one mentioned type is defined locally" condition wouldn't catch instance Foo Bar a and instance Foo a Baz, for instance
03:42:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
03:43:37 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
03:53:25 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:57:44 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
03:58:59 housemate joins (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au)
04:06:30 × housemate quits (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
04:14:32 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:14:35 aforemny_ joins (~aforemny@2001:9e8:6ce6:6100:dea6:831c:52d:f2f8)
04:16:30 × aforemny quits (~aforemny@i59F4C4B7.versanet.de) (Ping timeout: 276 seconds)
04:16:36 housemate joins (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au)
04:16:47 <remexre> oh, the answer is "it doesn't guarantee that the instances are globally unique, just that non-globally-unique ones can be detected locally"...
04:18:31 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 244 seconds)
04:18:59 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:22:05 × Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 260 seconds)
04:22:49 Sgeo joins (~Sgeo@user/sgeo)
04:25:08 lbseale joins (~quassel@user/ep1ctetus)
04:30:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:35:01 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
04:39:10 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
04:40:18 × Jeanne-Kamikaze quits (~Jeanne-Ka@79.127.217.53) (Quit: Leaving)
04:43:05 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
04:48:09 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:50:28 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
04:50:54 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
04:52:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:55:50 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
04:56:17 housemate_ joins (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au)
04:56:30 × housemate quits (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Remote host closed the connection)
04:58:05 × prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 244 seconds)
04:59:04 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:00:47 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
05:03:33 × mxs9 quits (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat)
05:03:40 × housemate_ quits (~housemate@pa49-184-236-65.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds)
05:05:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
05:18:52 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:21:45 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
05:23:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
05:25:50 whatsupdoc_ joins (uid509081@id-509081.hampstead.irccloud.com)
05:28:38 × cptaffe quits (~cptaffe@user/cptaffe) (Quit: ZNC 1.8.2 - https://znc.in)
05:31:23 cptaffe joins (~cptaffe@user/cptaffe)
05:41:17 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:44:25 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
05:44:44 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:46:01 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
05:52:58 × Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds)
05:56:37 × orangeFlu quits (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds)
05:58:20 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:04:45 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
06:17:56 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:22:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
06:24:34 michalz joins (~michalz@185.246.207.222)
06:28:19 × artu quits (~artu@li90-184.members.linode.com) (Ping timeout: 264 seconds)
06:34:26 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:34:37 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2)
06:35:23 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
06:39:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
06:50:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:52:11 artu joins (artu@2600:3c01::f03c:92ff:fecc:1d32)
06:55:19 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
07:01:04 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:07:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
07:20:30 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:24:20 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:25:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
07:32:18 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
07:32:43 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:37:15 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:41:37 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
07:43:39 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:46:20 CiaoSen joins (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da)
08:00:03 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:00:42 caconym joins (~caconym@user/caconym)
08:19:01 takuan joins (~takuan@178-116-218-225.access.telenet.be)
08:23:48 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:34:32 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
08:41:51 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
08:42:00 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
08:48:24 mari-estel joins (~mari-este@user/mari-estel)
08:52:26 acidjnk_new3 joins (~acidjnk@p200300d6e7283f110d9e6e69048fea1c.dip0.t-ipconnect.de)
09:17:33 × CiaoSen quits (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
09:38:42 sawilagar joins (~sawilagar@user/sawilagar)
09:44:22 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:56:24 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
10:00:07 × shane quits (~shane@ana.rch.ist) (Ping timeout: 264 seconds)
10:03:35 sprotte24 joins (~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de)
10:15:48 __monty__ joins (~toonn@user/toonn)
10:23:36 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds)
10:43:54 × homo quits (~homo@user/homo) (Read error: Connection reset by peer)
10:44:46 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
10:51:11 stiell joins (~stiell@gateway/tor-sasl/stiell)
10:54:15 zenmov joins (~zenmov@user/zenmov)
10:54:29 wootehfoot joins (~wootehfoo@user/wootehfoot)
11:23:55 CiaoSen joins (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da)
11:25:19 <GdeVolpiano> Good time of the day and happy new Gregorian year, gentlepeople.
11:25:53 <GdeVolpiano> As you can guess from my difficult, but finally successful, attempt at upgrading cabal-fmt, I'm in "updating my IDE" mood these days.
11:26:02 mari11261 joins (~mari-este@user/mari-estel)
11:26:05 <GdeVolpiano> So I had a question: what is the status with formoulu?
11:26:14 <GdeVolpiano> From the package.mask file, it is masked because
11:27:50 × mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer)
11:27:54 tnt2 joins (~Thunderbi@user/tnt1)
11:28:39 <GdeVolpiano> 1 - it depends on text>=2, but if I read correctly, text-2.0.2 is available for ghc-9.4 and ghc-9.6
11:28:44 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
11:28:44 tnt2 is now known as tnt1
11:29:11 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:31:20 <GdeVolpiano> 2 - old versions used to depend on <ghc-lib-parser-9.6, but we now have fourmolu-0.14.0.0 in the repo, which is >=ghc-lib-parser-9.6.
11:32:21 <GdeVolpiano> Is there any blocking point left?
11:35:23 target_i joins (~target_i@user/target-i/x-6023099)
11:36:55 <GdeVolpiano> At least for ghc-9.6 and over (it depends on >=cabal-syntax-3.10 for 0.14.0.0, >=cabal-syntax-3.12 for 0.16.0.0)
11:37:21 <GdeVolpiano> Happy to work on updating the ebuild if needed
11:43:32 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
11:43:46 × mari11261 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds)
11:44:58 SlackCoder joins (~SlackCode@208.26.70.132)
11:48:08 gmg joins (~user@user/gehmehgeh)
11:53:16 homo joins (~homo@user/homo)
11:53:40 × SlackCoder quits (~SlackCode@208.26.70.132) (Quit: Leaving)
11:59:13 zmt00 joins (~zmt00@user/zmt00)
12:00:04 × caconym quits (~caconym@user/caconym) (Quit: bye)
12:00:21 × zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 248 seconds)
12:02:32 × AlexZenon quits (~alzenon@5.139.233.96) (Ping timeout: 264 seconds)
12:03:52 caconym joins (~caconym@user/caconym)
12:07:40 × NemesisD quits (sid24071@id-24071.lymington.irccloud.com) (Quit: Connection closed for inactivity)
12:18:54 zmt01 joins (~zmt00@user/zmt00)
12:20:24 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 245 seconds)
12:22:34 ubert joins (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de)
12:23:03 zmt00 joins (~zmt00@user/zmt00)
12:25:18 × zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 276 seconds)
12:34:21 Square joins (~Square@user/square)
12:38:56 jespada joins (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef)
13:05:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:21:27 chris_on_linux joins (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927)
13:23:03 housemate joins (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au)
13:25:59 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
13:26:35 chiselfuse joins (~chiselfus@user/chiselfuse)
13:37:25 × housemate quits (~housemate@pa49-185-171-14.pa.vic.optusnet.com.au) (Ping timeout: 248 seconds)
13:41:59 AlexZenon joins (~alzenon@5.139.233.96)
13:42:30 × Digit quits (~user@user/digit) (Ping timeout: 246 seconds)
13:46:49 housemate joins (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au)
13:52:50 AlexZenon_2 joins (~alzenon@5.139.233.96)
13:53:45 × AlexZenon_2 quits (~alzenon@5.139.233.96) (Client Quit)
13:55:40 × AlexZenon quits (~alzenon@5.139.233.96) (Read error: Connection reset by peer)
13:56:26 alexherbo2 joins (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr)
13:57:29 AlexZenon joins (~alzenon@5.139.233.96)
13:59:01 simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
14:10:22 × zenmov quits (~zenmov@user/zenmov) (Ping timeout: 252 seconds)
14:11:29 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:12:10 zenmov joins (~zenmov@user/zenmov)
14:15:53 rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca)
14:21:38 philopsos joins (~caecilius@user/philopsos)
14:25:48 × paul_j quits (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection)
14:36:28 shane joins (~shane@ana.rch.ist)
14:36:53 mari-estel joins (~mari-este@user/mari-estel)
14:38:09 × CiaoSen quits (~Jura@2a05:5800:222:6300:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds)
14:52:40 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
14:56:44 sixfourtwelve joins (~ethanmorg@82.18.82.103)
14:56:50 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
15:00:19 Sgeo joins (~Sgeo@user/sgeo)
15:03:44 × simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 264 seconds)
15:04:02 simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
15:05:25 × artu quits (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds)
15:10:25 artu joins (~artu@li90-184.members.linode.com)
15:11:42 × jespada quits (~jespada@2800:a4:22f2:6500:9d09:5efe:8124:beef) (Ping timeout: 265 seconds)
15:14:24 jespada joins (~jespada@2800:a4:1d5:d700:d15f:78ad:2e7a:130e)
15:15:05 × artu quits (~artu@li90-184.members.linode.com) (Ping timeout: 265 seconds)
15:19:55 × sixfourtwelve quits (~ethanmorg@82.18.82.103) (Ping timeout: 265 seconds)
15:25:38 × mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer)
15:25:45 sixfourtwelve joins (~ethanmorg@82.18.82.103)
15:26:31 mari-estel joins (~mari-este@user/mari-estel)
15:27:10 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection)
15:27:28 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
15:28:00 × alexherbo2 quits (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
15:38:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
15:38:55 × sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving)
15:44:34 alexherbo2 joins (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr)
15:45:05 orangeFlu joins (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net)
15:54:18 johnjaye joins (~pi@syn-035-146-235-019.res.spectrum.com)
16:04:59 × alexherbo2 quits (~alexherbo@2a01cb00864cea00ecfde33f0b68d056.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
16:09:22 artu joins (~artu@li90-184.members.linode.com)
16:19:47 alexherbo2 joins (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr)
16:20:22 <glguy> Are your questions meant for the Gentoo project?
16:23:51 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:25:50 × mari-estel quits (~mari-este@user/mari-estel) ()
16:26:31 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
16:26:41 × housemate quits (~housemate@pa49-184-8-92.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.)
16:33:38 Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com)
16:51:31 × alexherbo2 quits (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection)
16:51:50 alexherbo2 joins (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr)
16:53:06 × artu quits (~artu@li90-184.members.linode.com) (Ping timeout: 276 seconds)
16:54:34 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:55:12 × chris_on_linux quits (~user@2a02:2149:861e:b700:224e:f6ff:fe4a:8927) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
17:01:51 artu joins (~artu@li90-184.members.linode.com)
17:07:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
17:18:36 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:21:44 × orangeFlu quits (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds)
17:23:32 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
17:24:35 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:25:47 × alexherbo2 quits (~alexherbo@aaubervilliers-553-1-53-223.w82-121.abo.wanadoo.fr) (Remote host closed the connection)
17:29:27 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
17:39:51 drlong67 joins (~david@pool-173-49-216-118.phlapa.fios.verizon.net)
17:39:54 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:44:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
17:44:30 Square joins (~Square@user/square)
17:46:59 drlong67 parts (~david@pool-173-49-216-118.phlapa.fios.verizon.net) ()
17:49:48 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
17:52:55 <bwe> is there something like on the fly type aliases? https://play.haskell.org/saved/WxMkIOjh
17:53:11 prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net)
17:54:36 <mauke> you want to declare a type in the middle of another type?
17:55:16 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:55:18 <bwe> maybe that or in any way a more convenient way than explicitly defining synonyms.
17:55:51 Guest74 joins (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc)
17:56:48 <bwe> I mean the pattern I have is using Text as type but not having the type properly named.
17:59:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
18:03:03 Rockingcool joins (~rockingco@2600:1702:5284:80::2f)
18:05:27 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
18:06:24 Rockingcool is now known as rockingcool
18:09:12 × rockingcool quits (~rockingco@2600:1702:5284:80::2f) (Changing host)
18:09:12 rockingcool joins (~rockingco@user/rockingcool)
18:10:29 × rockingcool quits (~rockingco@user/rockingcool) (Quit: Leaving)
18:10:40 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:11:49 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
18:13:41 × YoungFrog quits (~youngfrog@2a02:a03f:c9db:fc00:3c98:8284:e7ab:d928) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
18:14:01 YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
18:15:22 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
18:15:57 rockingcool joins (~rockingco@user/rockingcool)
18:16:28 × artu quits (~artu@li90-184.members.linode.com) (Ping timeout: 252 seconds)
18:21:58 vanishingideal joins (~vanishing@user/vanishingideal)
18:23:43 <rockingcool> Beginner here: What's the best way to 'link' with a package when compiling using `ghc`? I tried installing the 'random' package (https://hackage.haskell.org/package/random-1.1) using cabal, and got this scary message:
18:23:46 <rockingcool> WARNING: Installation might not be completed as desired!
18:24:45 <geekosaur> right, cabal and stack manage their own installations that are not directly visible
18:25:15 × simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 252 seconds)
18:25:18 <geekosaur> you don't "cabal install" or "stack install" a library, you write a package description that depends on the library and cabal or stack will install an appropriate version automatically
18:25:38 <rockingcool> I see
18:25:47 <geekosaur> if you absolutely must, there's "cabal install --lib" but this has the potential to make big messes
18:26:00 <geekosaur> and is best used with --package-env
18:26:03 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:26:27 <rockingcool> are virtual envs a thing? like in python
18:27:27 <haskellbridge> <maerwald> Sandboxes, before they were prematurely ripped out of cabal
18:28:00 <haskellbridge> <maerwald> Now you have to know 3-4 underdocumented cabal shenanigans to emulate the same thing
18:28:15 <haskellbridge> <maerwald> Cabal was never good at UX
18:28:20 <rockingcool> got it
18:28:33 <rockingcool> yeah, I cam tell
18:28:47 <rockingcool> Loving haskell so far, but that's definitely a pain point
18:28:48 <geekosaur> https://cabal.readthedocs.io/en/3.12/cabal-commands.html#adding-libraries-to-ghc-package-environments
18:29:05 artu joins (artu@2600:3c01::f03c:92ff:fecc:1d32)
18:29:23 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
18:29:25 × zenmov quits (~zenmov@user/zenmov) (Ping timeout: 252 seconds)
18:30:44 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
18:30:45 Lord_of_Life_ is now known as Lord_of_Life
18:31:32 <rockingcool> would you recommend the '--lib' approach for toy programs?
18:32:45 <geekosaur> with --package-env=., it's okay
18:32:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
18:33:27 <rockingcool> sounds good, thanks
18:33:38 <geekosaur> you really don't want to add them to the default global environment, different versdions will conflict with each other and you'll ultimately end up with horrible tangles
18:33:57 <geekosaur> (at least you can cure them by removing the environment file, which ghc will tell you it's using)
18:34:27 <rockingcool> right
18:34:35 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:35:33 <rockingcool> are there any common 'first projects' that people usually do in haskell?
18:35:49 simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
18:35:50 <rockingcool> been thinking about a parser, since that seems like Haskell's strength
18:36:50 <__monty__> Parser combinators are great but I honestly wouldn't be able to recommend them as first exposure to Haskell. Depending on previous functional programming experience of course.
18:37:46 <__monty__> I think the data61 FP-course is a good practical introduction to Haskell, albeit with a bit of a steep curve if you don't have guidance or prior experience.
18:38:47 <glguy> rockingcool: depends on what you think is fun. I like making text games, IRC clients, and solving puzzles, so I use Haskell for those. It's generally suitable for what first project is something you're interested in
18:39:39 <rockingcool> my only previous exposure to FP is python, which probably doesn't even count
18:41:07 <rockingcool> glguy: Thanks for the ideas, an irc client sounds fun
18:41:36 <glguy> A bot requires less UI so that can be a good starting point on that path
18:42:19 <rockingcool> sounds good
18:43:06 × rockingcool quits (~rockingco@user/rockingcool) (Remote host closed the connection)
18:43:28 rockingcool joins (~rockingco@user/rockingcool)
18:44:06 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:45:00 × Guest74 quits (~Guest74@2600:1702:5284:80:899b:7d11:ffd4:dbfc) (Quit: Client closed)
18:46:06 ljdarj joins (~Thunderbi@user/ljdarj)
18:48:22 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
18:51:37 × simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 265 seconds)
18:57:37 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
18:58:06 simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
18:59:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:03:48 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
19:07:08 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:19:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:20:11 Guest50 joins (~Guest50@17.243.206.39)
19:21:18 Guest85 joins (~Guest85@2620:149:13d8:380::6d)
19:21:20 × Guest50 quits (~Guest50@17.243.206.39) (Client Quit)
19:24:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
19:29:09 rekahsoft joins (~rekahsoft@76.69.85.220)
19:35:00 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:35:55 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:36:39 weary-traveler joins (~user@user/user363627)
19:38:16 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:39:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
19:47:30 OftenFaded joins (~OftenFade@user/tisktisk)
19:50:22 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:52:22 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:53:31 × Guest85 quits (~Guest85@2620:149:13d8:380::6d) (Quit: Client closed)
19:54:56 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
20:00:59 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:01:38 caconym joins (~caconym@user/caconym)
20:02:14 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:05:24 × simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Ping timeout: 245 seconds)
20:05:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:06:50 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
20:09:16 pavonia joins (~user@user/siracusa)
20:11:14 × AlexZenon quits (~alzenon@5.139.233.96) (Ping timeout: 245 seconds)
20:12:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
20:12:51 × roosterphant quits (~roosterph@185.21.217.76) (Quit: Bye)
20:15:22 × ubert quits (~Thunderbi@p200300ecdf117c291e6fdb0635c013e3.dip0.t-ipconnect.de) (Remote host closed the connection)
20:15:32 simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net)
20:16:13 ubert joins (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de)
20:16:44 × prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds)
20:18:44 AlexZenon joins (~alzenon@5.139.233.96)
20:19:49 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
20:21:09 × artu quits (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 248 seconds)
20:21:56 fmira joins (~user@user/fmira)
20:22:48 × fmira quits (~user@user/fmira) (Client Quit)
20:23:30 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:28:06 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
20:33:14 artu joins (artu@2600:3c01::f03c:92ff:fecc:1d32)
20:38:53 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:46:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
20:54:08 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
20:55:24 Digit joins (~user@user/digit)
20:57:00 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:00:13 orangeFlu joins (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net)
21:00:50 × Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!)
21:01:37 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
21:02:42 × AlexZenon quits (~alzenon@5.139.233.96) (Ping timeout: 244 seconds)
21:04:03 vanishingideal joins (~vanishing@user/vanishingideal)
21:04:13 prasad joins (~Thunderbi@2601:243:c001:3f07::45)
21:05:36 AlexZenon joins (~alzenon@5.139.233.96)
21:08:22 Fijxu joins (~Fijxu@user/fijxu)
21:09:26 × jespada quits (~jespada@2800:a4:1d5:d700:d15f:78ad:2e7a:130e) (Quit: My Mac has gone to sleep. ZZZzzz…)
21:12:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:17:06 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
21:27:45 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:28:16 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:28:37 Digitteknohippie joins (~user@user/digit)
21:30:19 × Digit quits (~user@user/digit) (Ping timeout: 260 seconds)
21:31:06 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:32:16 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
21:34:49 × ubert quits (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
21:34:52 × simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection)
21:41:11 ubert joins (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de)
21:41:54 × Digitteknohippie quits (~user@user/digit) (Ping timeout: 252 seconds)
21:43:09 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:46:19 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
21:49:56 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
21:55:37 mekeor joins (~user@2001:a61:2430:1:c1ba:b095:314c:2638)
21:56:44 ystael joins (~ystael@user/ystael)
22:01:12 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:04:06 <orangeFlu> so i'm trying to play around with par and pseq in the ghci, but it seems no matter what i do, the ghci complains Control.Parallel doesn't exist as a package. Whats going on?
22:05:42 <__monty__> Sounds like a module, not a package.
22:05:44 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
22:06:33 <orangeFlu> yeah, module, sorry
22:08:11 × michalz quits (~michalz@185.246.207.222) (Remote host closed the connection)
22:09:14 <__monty__> Did you install the parallel package?
22:09:18 <geekosaur> you need to get the "parallel" package loaded
22:09:45 <orangeFlu> how do i install it?
22:09:58 <orangeFlu> like cabal install?
22:10:24 <geekosaur> cabal repl -b parallel
22:11:42 <orangeFlu> it works!
22:11:44 <orangeFlu> thanks
22:16:34 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:17:22 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:21:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
22:23:10 × ubert quits (~Thunderbi@p200300ecdf117c29e7a4767b6b491b1c.dip0.t-ipconnect.de) (Quit: ubert)
22:23:27 ubert joins (~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de)
22:28:52 Digit joins (~user@user/digit)
22:31:57 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:37:10 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
22:43:12 × Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) (Quit: Leaving)
22:47:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:47:20 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:48:13 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
22:49:41 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
22:51:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:53:58 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
22:59:09 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:00:34 some02 is now known as sudden
23:02:01 emmanuelux joins (~emmanuelu@user/emmanuelux)
23:02:32 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
23:02:43 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:05:24 ubert1 joins (~Thunderbi@p200300ecdf117c9c085b78743ebe2cd2.dip0.t-ipconnect.de)
23:05:41 × ubert quits (~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
23:05:41 ubert1 is now known as ubert
23:07:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
23:11:13 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
23:14:02 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
23:17:45 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
23:18:05 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:18:21 chiselfuse joins (~chiselfus@user/chiselfuse)
23:20:40 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:25:11 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
23:30:22 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:36:08 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:40:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:40:57 × artu quits (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds)
23:51:30 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:51:42 artu joins (artu@2600:3c01::f03c:92ff:fecc:1d32)
23:53:42 Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com)
23:56:07 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
23:57:33 itscaleb joins (~itscaleb@user/itscaleb)
23:58:57 × OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed)

All times are in UTC on 2025-01-02.