Home liberachat/#haskell: Logs Calendar

Logs on 2023-12-26 (liberachat/#haskell)

00:08:31 × Chai-T-Rex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
00:09:02 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
00:10:21 × rekahsoft quits (~rekahsoft@bas1-sudbury98-67-70-201-226.dsl.bell.ca) (Ping timeout: 245 seconds)
00:13:48 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
00:13:51 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
00:14:10 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
00:17:35 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
00:21:57 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6)
00:23:29 × shriekingnoise_ quits (~shrieking@186.137.175.87) (Ping timeout: 252 seconds)
00:23:51 → shriekingnoise joins (~shrieking@186.137.175.87)
00:24:41 → sprout_ joins (~quassel@84-80-106-227.fixed.kpn.net)
00:25:57 × sprout quits (~quassel@2a02-a448-3a80-0-fdb5-da9c-f175-8850.fixed6.kpn.net) (Read error: Connection reset by peer)
00:26:11 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6) (Ping timeout: 245 seconds)
00:27:31 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Quit: Leaving...)
00:27:55 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 255 seconds)
00:29:33 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
00:39:41 × chomwitt quits (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
00:45:21 × Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
01:02:50 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
01:07:30 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
01:12:29 → dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
01:14:06 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds)
01:15:46 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
01:17:54 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
01:17:56 × ft quits (~ft@mue-88-130-106-225.dsl.tropolys.de) (Ping timeout: 252 seconds)
01:18:40 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6)
01:19:02 → azimut joins (~azimut@gateway/tor-sasl/azimut)
01:19:24 → ft joins (~ft@mue-88-130-105-195.dsl.tropolys.de)
01:20:04 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6) (Remote host closed the connection)
01:20:21 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6)
01:25:26 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
01:25:45 → azimut joins (~azimut@gateway/tor-sasl/azimut)
01:25:52 → bosie joins (~varvir@106.102.129.97)
01:29:28 × Inst quits (~Inst@120.244.192.161) (Ping timeout: 256 seconds)
01:30:24 × jrm quits (~jrm@user/jrm) (Quit: ciao)
01:31:08 × bosie quits (~varvir@106.102.129.97) (Ping timeout: 252 seconds)
01:31:55 → jrm joins (~jrm@user/jrm)
01:36:48 → arkoinad joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
01:38:59 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds)
01:42:23 → dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
01:51:39 → xdminsy joins (~xdminsy@117.147.71.169)
01:55:40 × xdminsy quits (~xdminsy@117.147.71.169) (Remote host closed the connection)
01:57:50 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
01:59:38 → erina joins (~erina@222.195.81.112)
02:06:11 → johnw joins (~johnw@69.62.242.138)
02:16:19 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 260 seconds)
02:17:59 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
02:26:50 × mokee quits (~mokee@37.228.215.150) (Quit: off)
02:27:09 → mokee joins (~mokee@37.228.215.150)
02:27:55 × xff0x quits (~xff0x@2405:6580:b080:900:41:b783:5b89:1b5a) (Ping timeout: 256 seconds)
02:28:15 → rekahsoft joins (~rekahsoft@67.70.201.226)
02:34:43 → tabemann joins (~tabemann@12.215.215.61)
02:35:23 × mokee quits (~mokee@37.228.215.150) (Quit: off)
02:35:40 → mokee joins (~mokee@37.228.215.150)
02:35:46 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
02:36:53 → flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
02:48:10 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
02:55:14 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
02:55:47 × mokee quits (~mokee@37.228.215.150) (Quit: off)
02:56:03 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
02:56:04 → mokee joins (~mokee@37.228.215.150)
02:57:50 × mokee quits (~mokee@37.228.215.150) (Client Quit)
02:59:02 → mokee joins (~mokee@37.228.215.150)
03:01:42 × mokee quits (~mokee@37.228.215.150) (Client Quit)
03:01:59 → mokee joins (~mokee@37.228.215.150)
03:03:32 × petrichor quits (~znc-user@user/petrichor) (Ping timeout: 256 seconds)
03:03:38 × Batzy quits (~quassel@user/batzy) (Ping timeout: 260 seconds)
03:05:39 → petrichor joins (~znc-user@user/petrichor)
03:05:48 × mokee quits (~mokee@37.228.215.150) (Client Quit)
03:10:59 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
03:13:41 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
03:16:34 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
03:18:55 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 246 seconds)
03:21:24 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
03:25:53 → dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
03:29:24 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
03:32:51 × td_ quits (~td@i5387091f.versanet.de) (Ping timeout: 245 seconds)
03:34:42 → td_ joins (~td@i53870912.versanet.de)
03:38:03 → xdminsy joins (~xdminsy@117.147.71.169)
03:43:47 × euleritian quits (~euleritia@p5b124093.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
03:44:20 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 256 seconds)
03:46:55 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
03:48:22 → euleritian joins (~euleritia@dynamic-046-114-200-203.46.114.pool.telefonica.de)
03:52:23 → lisbeths_ joins (uid135845@id-135845.lymington.irccloud.com)
03:52:46 <erina> :t \st ls -> max $ map (fromMaybe 0 . lookup st) ls
03:52:47 <lambdabot> (Ord b, Num b, Eq a) => a -> [[(a, b)]] -> [b] -> [b]
03:54:56 <erina> @pl \st -> maximum . map (fromMaybe 0 . lookup st)
03:54:56 <lambdabot> (maximum .) . map . (fromMaybe 0 .) . lookup
03:55:30 <erina> Hmm, this make sence but I'd stick with my implementation
03:59:10 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:59:10 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:59:10 finn_elija is now known as FinnElija
04:00:41 <monochrom> No! Please consider catMaybes. :)
04:01:15 <monochrom> maximum . catMaybes . map lookup
04:08:43 → azimut joins (~azimut@gateway/tor-sasl/azimut)
04:08:48 <erina> Oh, that's much better!
04:09:14 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
04:09:57 <ephemient> mapMaybe lookup?
04:10:34 <erina> Try this: mapmaybe
04:10:43 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
04:11:26 <erina> @pl \st -> maximum mapMaybe (lookup st)
04:11:26 <lambdabot> maximum mapMaybe . lookup
04:12:05 <erina> @pl \st -> maximum . mapMaybe (lookup st)
04:12:05 <lambdabot> (maximum .) . mapMaybe . lookup
04:13:14 <erina> :t (maximum .) . mapMaybe . lookup
04:13:15 <lambdabot> (Ord c, Eq a) => a -> [[(a, c)]] -> c
04:18:54 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
04:22:33 → aforemny_ joins (~aforemny@i59F516F3.versanet.de)
04:23:59 × aforemny quits (~aforemny@i59F516E4.versanet.de) (Ping timeout: 264 seconds)
04:25:04 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
04:25:28 → azimut joins (~azimut@gateway/tor-sasl/azimut)
04:30:37 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
04:30:55 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
04:39:43 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
04:53:25 → waldo joins (~waldo@user/waldo)
05:01:50 <erina> @pl \a b c -> a || b || c
05:01:50 <lambdabot> (. (||)) . (.) . (||)
05:12:07 × waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds)
05:18:05 × srk quits (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in)
05:23:16 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
05:26:16 → srk joins (~sorki@user/srk)
05:29:15 × srk quits (~sorki@user/srk) (Client Quit)
05:31:19 → trev joins (~trev@user/trev)
05:35:24 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
05:36:16 → rembo10 joins (~rembo10@main.remulis.com)
05:45:45 → srk joins (~sorki@user/srk)
05:47:15 <erina> @pl \a b -> snd . parser False a b
05:47:15 <lambdabot> ((snd .) .) . parser False
05:48:49 <erina> Why "snd . parser False" does not work here?
05:49:57 <erina> So the . operator only works with function with one argument...... I see
05:51:01 <erina> @pl \a b -> snd $ parser False a b
05:51:01 <lambdabot> (snd .) . parser False
06:22:19 × rekahsoft quits (~rekahsoft@67.70.201.226) (Ping timeout: 246 seconds)
06:29:06 × YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds)
06:41:57 × lisbeths_ quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
06:47:31 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
06:56:16 <erina> @pl \d -> '*' == x!d
06:56:16 <lambdabot> ('*' ==) . (x !)
06:56:43 <erina> @pl filter (\d -> '*' == x!d)
06:56:43 <lambdabot> filter (('*' ==) . (x !))
06:56:43 → waldo joins (~waldo@user/waldo)
06:58:50 → rvalue joins (~rvalue@user/rvalue)
07:03:00 → xacktm joins (xacktm@user/xacktm)
07:03:53 × phma quits (~phma@2001:5b0:211f:5c08:7509:960c:b2df:3c16) (Read error: Connection reset by peer)
07:04:18 → phma joins (phma@2001:5b0:211f:5c08:5748:f5c4:2aca:f8bb)
07:05:26 × chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection)
07:15:14 ← albet70 parts (~xxx@2400:8902::f03c:92ff:fe60:98d8) ()
07:15:23 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
07:18:25 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
07:18:48 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
07:21:30 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 252 seconds)
07:21:36 × gdd quits (~gdd@82-65-118-1.subs.proxad.net) (Ping timeout: 245 seconds)
07:21:55 × Luj quits (~Luj@2a01:e0a:5f9:9681:82a:3c85:203d:f93e) (Ping timeout: 255 seconds)
07:23:48 → Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
07:24:07 <albet70> I use two MVars on two threads, and I'd like to clear they after a period time like 1 day, what's the suggestion way to do it? make another thread to clear?
07:29:15 → YuutaW joins (~YuutaW@mail.yuuta.moe)
07:41:30 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
07:41:53 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
07:43:57 → Inst joins (~Inst@120.244.192.161)
07:45:43 × euleritian quits (~euleritia@dynamic-046-114-200-203.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
07:46:01 → euleritian joins (~euleritia@p200300d40f2c2a002262e2cc8cb68b7c.dip0.t-ipconnect.de)
07:46:05 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 240 seconds)
07:48:55 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds)
07:54:13 → misterfish joins (~misterfis@84.53.85.146)
07:59:05 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:03:36 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
08:04:47 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
08:14:07 × waldo quits (~waldo@user/waldo) (Ping timeout: 255 seconds)
08:16:01 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
08:18:04 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
08:19:54 × phma quits (phma@2001:5b0:211f:5c08:5748:f5c4:2aca:f8bb) (Read error: Connection reset by peer)
08:20:18 → phma joins (~phma@host-67-44-208-18.hnremote.net)
08:21:19 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
08:22:51 × phma quits (~phma@host-67-44-208-18.hnremote.net) (Read error: Connection reset by peer)
08:23:14 → phma joins (phma@2001:5b0:211f:5c08:2583:8a77:488e:ea83)
08:34:06 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
08:35:16 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
08:37:03 → lisbeths_ joins (uid135845@id-135845.lymington.irccloud.com)
08:37:22 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
08:48:05 × Inst quits (~Inst@120.244.192.161) (Ping timeout: 240 seconds)
08:55:25 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:01:52 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 276 seconds)
09:07:10 × rvalue quits (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
09:07:24 → rvalue joins (~rvalue@user/rvalue)
09:08:33 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
09:09:35 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 264 seconds)
09:10:53 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:15:59 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
09:17:33 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
09:21:14 → Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
09:28:46 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds)
09:34:33 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
09:37:44 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
09:44:12 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
09:44:14 → danza joins (~danza@151.57.142.242)
09:45:02 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
09:47:34 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
09:47:54 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
09:48:03 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
09:50:46 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
09:55:32 → acidjnk joins (~acidjnk@p200300d6e72b9309f56e7f62ba59dc38.dip0.t-ipconnect.de)
09:59:19 → notzmv joins (~zmv@user/notzmv)
10:07:56 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
10:07:58 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
10:08:02 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
10:14:50 → misterfish joins (~misterfis@178.224.76.163)
10:20:07 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
10:22:34 → ec joins (~ec@gateway/tor-sasl/ec)
10:24:24 × srk quits (~sorki@user/srk) (Quit: ZNC 1.8.1 - https://znc.in)
10:25:37 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:b5f9:f80e:9e1:be6) (Remote host closed the connection)
10:28:03 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
10:28:15 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
10:31:54 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:33:20 → srk joins (~sorki@user/srk)
10:41:25 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 260 seconds)
10:45:00 × danza quits (~danza@151.57.142.242) (Ping timeout: 252 seconds)
10:45:32 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
10:47:10 → azimut joins (~azimut@gateway/tor-sasl/azimut)
10:49:05 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
10:54:58 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
10:55:29 → ec joins (~ec@gateway/tor-sasl/ec)
10:57:31 → danza joins (~danza@rm-19-41-66.service.infuturo.it)
10:59:45 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
11:00:39 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54)
11:03:18 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
11:06:57 → xff0x joins (~xff0x@2405:6580:b080:900:f37c:caaf:db27:6fe4)
11:09:36 → sawilagar joins (~sawilagar@user/sawilagar)
11:19:40 × misterfish quits (~misterfis@178.224.76.163) (Read error: Connection reset by peer)
11:43:15 → abrantesasf joins (~abrantesa@179.217.48.72)
11:44:21 → waldo joins (~waldo@user/waldo)
11:53:11 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:57:40 × phma quits (phma@2001:5b0:211f:5c08:2583:8a77:488e:ea83) (Read error: Connection reset by peer)
12:00:44 → phma joins (~phma@host-67-44-208-117.hnremote.net)
12:04:58 × waldo quits (~waldo@user/waldo) (Ping timeout: 255 seconds)
12:09:43 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
12:11:11 <Axman6> albet70: that should be fine, threads in GHC are very cheap, so forkIO (threadDelay n >> takeMVar mv) won't cost you anything at all really
12:13:16 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
12:17:42 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
12:22:58 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
12:24:17 → Luj joins (~Luj@2a01:e0a:5f9:9681:26d9:aa1f:3dc2:6858)
12:31:14 <erina> :t /x -> parse x ""
12:31:15 <lambdabot> error: parse error on input ‘/’
12:31:27 <erina> :t \x -> parse x ""
12:31:28 <lambdabot> error:
12:31:28 <lambdabot> Variable not in scope: parse :: t -> [Char] -> t1
12:31:39 <erina> :t \x -> Text.Parsec.parse x ""
12:31:41 <lambdabot> Text.Parsec.Prim.Stream s Identity t => Text.Parsec.Prim.Parsec s () a -> s -> Either Text.Parsec.Error.ParseError a
12:33:44 × mulk quits (~mulk@p5b2dc93f.dip0.t-ipconnect.de) (Remote host closed the connection)
12:36:45 × erina quits (~erina@222.195.81.112) (Remote host closed the connection)
12:37:12 → erina joins (~erina@178.157.56.217.16clouds.com)
12:39:15 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
12:43:03 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
12:43:53 → mulk joins (~mulk@p5b2dc93f.dip0.t-ipconnect.de)
12:45:34 × erina quits (~erina@178.157.56.217.16clouds.com) (Remote host closed the connection)
12:45:58 → erina joins (~erina@2001:da8:d800:e4ff:db57:2786:f250:c74)
12:51:06 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:52:03 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
12:54:55 × AlexZenon quits (~alzenon@94.233.240.140) (Ping timeout: 255 seconds)
12:59:13 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:00:43 → waldo joins (~waldo@user/waldo)
13:02:21 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Remote host closed the connection)
13:02:43 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
13:02:51 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
13:04:41 × tv quits (~tv@user/tv) (Ping timeout: 252 seconds)
13:07:49 <erina> How is parsec's many different from alternative many? I know that parsec's many throws an exception when its inside matches nothing. What's else?
13:08:12 <erina> I have writing such a Parser:
13:08:31 <erina> test x = parse x ""
13:08:34 <erina> number :: Parsec String () Int
13:08:36 <erina> number = many (char ' ') *> (read <$> some (oneOf "1234567890"))
13:08:38 <erina> cardid :: Parsec String () Int
13:08:40 <erina> cardid = string "Card" >> many (char ' ') *> number <* char ':'
13:08:42 <erina> card :: Parsec String () (Int, [Int], [Int])
13:08:44 <erina> card = (,,) <$> cardid <*> many number <* many (char ' ') <* string " |" <*> many number
13:08:46 <erina> main = print $ test card "Card 1: 72 28 41 15 98 13 27 99 93 38 | 62 5 80 81 53 29 23 25 59 72 90 19 54 86 68 73 55 21 56 27 32 15 12 42 44"
13:11:07 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds)
13:12:02 <erina> I'd expect number to fail on the " |" as it can't match (char ' ') and (some (oneOf "1234567890")), and fall on the (string " |") part.
13:17:58 → tv joins (~tv@user/tv)
13:18:11 → shriekingnoise joins (~shrieking@186.137.175.87)
13:20:05 × euleritian quits (~euleritia@p200300d40f2c2a002262e2cc8cb68b7c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
13:21:38 → euleritian joins (~euleritia@p200300d40f2c2a002262e2cc8cb68b7c.dip0.t-ipconnect.de)
13:22:38 → AlexZenon joins (~alzenon@94.233.240.140)
13:24:44 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:29:01 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds)
13:29:57 <erina> Minimum working example:
13:30:03 <erina> number :: Parsec String () Int
13:30:29 × euleritian quits (~euleritia@p200300d40f2c2a002262e2cc8cb68b7c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
13:30:32 <erina> number = many (char ' ') *> (read <$> many1 (oneOf "1234567890"))
13:30:59 → euleritian joins (~euleritia@dynamic-046-114-201-173.46.114.pool.telefonica.de)
13:31:32 <erina> main = print parse (do nums <- many number; sep <- string " |"; return (nums, sep)) "" "1 2 3 12 23 34 |"
13:32:16 <erina> This errs: Left (Line 1, column 16): unexpected "|" expected " "
13:32:37 → __monty__ joins (~toonn@user/toonn)
13:33:10 × AlexZenon quits (~alzenon@94.233.240.140) (Ping timeout: 255 seconds)
13:34:13 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:37:41 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
13:45:02 → AlexZenon joins (~alzenon@94.233.240.140)
13:47:36 × AlexZenon quits (~alzenon@94.233.240.140) (Read error: Connection reset by peer)
13:49:13 <erina> Or, to be shorter, why parse (many (char 'a')) "" "bbbbb" and parse (many (string "ab")) "" "b" succeeds but parse (many (string "ab")) "" "aa" fails?
13:50:07 <erina> shouldn't many catch the Left and stop before it?
13:54:17 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:55:53 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!)
13:56:13 → Xyloes joins (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
13:56:52 → AlexZenon joins (~alzenon@94.233.240.140)
13:58:11 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
13:58:30 <__monty__> erina: many parses zero or more. So it'll always succeed on the empty input. That last parser succeeds partially and then fails.
13:58:56 <erina> Then why many failed with left?
13:59:16 <erina> Why isn't that Right []?
13:59:41 <__monty__> Because it fails.
14:00:23 × waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds)
14:00:26 <erina> many is some <|> pure []
14:00:53 <erina> When it becomes a Left, I guess it should go to the pure [] side?
14:07:44 <__monty__> erina: I'm not familiar enough to really explain it. Probably stick around until someone else can do a proper explanation.
14:08:39 <__monty__> The problem is when a parser consumes input before failing. Throwing a try in there usually gets the behavior you'd intuitively expect.
14:09:57 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:11:08 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:11:56 <erina> I got the idea, but I think that parsers by nature allows backtracking? At least it's a Alternative that's not IO......
14:14:51 <erina> main = print $ parse (many (string "ab" <|> string "aa")) "" "aaabbb"
14:15:06 <__monty__> At least with Megaparsec most parsers don't backtrack by default, https://hackage.haskell.org/package/megaparsec-9.6.1/docs/Text-Megaparsec.html#v:try
14:15:09 <erina> This failing on column 1 is just kinda surprising, I'd say
14:18:11 → igemnace joins (~ian@user/igemnace)
14:21:12 × euleritian quits (~euleritia@dynamic-046-114-201-173.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
14:21:26 → euleritian joins (~euleritia@p200300d40f2c2a00a98df70c14869a90.dip0.t-ipconnect.de)
14:22:30 <erina> Adding trys solved the problem. TIL try and it's really valuable.
14:22:48 × erina quits (~erina@2001:da8:d800:e4ff:db57:2786:f250:c74) (Remote host closed the connection)
14:23:12 → erina joins (~erina@178.157.56.217.16clouds.com)
14:26:00 → minnemano joins (~minnemano@94-21-108-35.pool.digikabel.hu)
14:28:22 × minnemano quits (~minnemano@94-21-108-35.pool.digikabel.hu) (Client Quit)
14:32:30 → Szilva joins (~Szilva@94-21-108-35.pool.digikabel.hu)
14:33:50 × Szilva quits (~Szilva@94-21-108-35.pool.digikabel.hu) (Client Quit)
14:36:06 → Szilva joins (~Szilva@94-21-108-35.pool.digikabel.hu)
14:36:29 × lisbeths_ quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
14:36:57 × Szilva quits (~Szilva@94-21-108-35.pool.digikabel.hu) (Client Quit)
14:37:04 → Szilva joins (~Szilva@94-21-108-35.pool.digikabel.hu)
14:42:11 × Xyloes quits (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
14:42:24 × danza quits (~danza@rm-19-41-66.service.infuturo.it) (Read error: Connection reset by peer)
14:44:45 × califax quits (~califax@user/califx) (Remote host closed the connection)
14:54:31 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
14:55:47 → califax joins (~califax@user/califx)
14:57:58 → danza joins (~danza@151.43.152.107)
15:05:29 → Sgeo joins (~Sgeo@user/sgeo)
15:12:57 × xdminsy quits (~xdminsy@117.147.71.169) (Read error: Connection reset by peer)
15:13:54 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
15:19:13 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
15:22:51 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
15:23:22 → notzmv joins (~zmv@user/notzmv)
15:23:50 → azimut joins (~azimut@gateway/tor-sasl/azimut)
15:27:58 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
15:28:19 → azimut joins (~azimut@gateway/tor-sasl/azimut)
15:43:47 × erina quits (~erina@178.157.56.217.16clouds.com) (Ping timeout: 264 seconds)
15:49:03 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
15:49:20 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
15:59:15 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
16:02:15 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
16:02:53 <trev> why does readFile append a newline?
16:03:26 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
16:03:36 → igemnace joins (~ian@user/igemnace)
16:03:44 <Rembane> trev: It doesn't, do you have an endline at the end of the file?
16:04:59 <trev> i shouldn't
16:05:03 <trev> i don't see it in my editor at least
16:06:10 <Rembane> Cool, what happens if you try main = readFile "the-filename.txt" >>= putStr
16:06:17 <Rembane> Do you get the newline?
16:07:13 <haskellbridge> 15<J​ade> iirc it does append a newline
16:07:46 <haskellbridge> 15<J​ade> rembane: when you do `print` you'd even be able to see it as `\n`
16:08:09 <Rembane> Jade: That's a good point!
16:09:04 <nullie> why would readFile append a newline?
16:09:12 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
16:11:26 <nullie> I think vi at least always append a newline
16:12:22 <nullie> so you don't see the difference when opening a file with or without a file
16:12:32 <nullie> a newline
16:12:54 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
16:13:08 <trev> yeah it sounds ridiculous to me too
16:13:29 <Rembane> cat -A will show a $ at the end of each line.
16:13:47 <trev> so am i not going nuts?
16:14:14 <Rembane> not yet. :)
16:15:36 <trev> confirmed with `cat -A` that the file does not have a new line
16:15:52 <[Leary]> % do { writeFile "/tmp/test" "test"; s <- readFile "/tmp/test"; putStr (show s) }
16:15:52 <yahb2> "test"
16:16:41 <trev> sad
16:16:46 <Rembane> % do { writeFile "/tmp/test" "test"; s <- readFile "/tmp/test"; print s }
16:16:46 <yahb2> "test"
16:16:50 <Rembane> Hm...
16:16:58 <Rembane> print should add a newline, right?
16:17:07 <trev> maybe the bot strips?
16:19:02 <trev> can you try it but call `lines <$> readFile...`
16:19:14 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
16:19:54 <Rembane> % do { writeFile "/tmp/test" "test"; s <- readFile "/tmp/test"; print (lines s) }
16:19:54 <yahb2> ["test"]
16:19:57 <Rembane> Like that?
16:22:02 <trev> yeah...
16:22:17 <trev> weird
16:22:31 <trev> no wait
16:22:51 <trev> nah that should be fine. no idea why mine does that then
16:24:26 <Rembane> % do { writeFile "/tmp/test" "test\n"; s <- readFile "/tmp/test"; print (lines s) }
16:24:26 <yahb2> ["test"]
16:24:33 <Rembane> Doesn't say too much that
16:24:35 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
16:32:14 × jrm quits (~jrm@user/jrm) (Quit: ciao)
16:33:42 × tabemann quits (~tabemann@12.215.215.61) (Quit: Leaving)
16:33:44 → jrm joins (~jrm@user/jrm)
16:42:41 → a51 joins (a51@gateway/vpn/protonvpn/a51)
16:42:51 → waleee joins (~waleee@h-176-10-144-38.na.cust.bahnhof.se)
16:46:10 → rekahsoft joins (~rekahsoft@67.70.201.226)
16:52:46 → waldo joins (~waldo@user/waldo)
17:09:15 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
17:11:30 × a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.1.2)
17:12:02 → a51 joins (a51@gateway/vpn/protonvpn/a51)
17:13:25 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
17:20:28 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
17:21:09 <haskellbridge> 15<J​ade> How would I structure my program so that I can run something that is an a `MonadIO` in another thread? I read something about `MonadUnliftIO` or something but I'm not sure that's right, and I don't really know where to go from where I am
17:21:14 → igemnace joins (~ian@user/igemnace)
17:21:42 <haskellbridge> 15<J​ade> most of my application is inside a `MonadIO` and it all works fine unless I want to fork inside of it, which doesn't work for obvious reasons
17:23:59 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds)
17:24:33 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
17:28:49 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
17:29:45 → igemnace joins (~ian@user/igemnace)
17:33:07 → rvalue joins (~rvalue@user/rvalue)
17:33:37 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:36:26 <haskellbridge> 15<J​ade> maybe more generally - how would I multithread something that runs in IO but isn't IO itself (only allows IO to run in it via `MonadIO`)?
17:36:27 <haskellbridge> 15<J​ade> The problem is that there is only one entry point, in my case `withMPD :: MPD a -> IO (Response a)` where `MPD` implements `MonadIO` which should also only be called once as it establishes and holds the daemon connection
17:44:09 → Guest3 joins (~Guest3@net-93-70-92-55.cust.vodafonedsl.it)
17:44:13 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
17:44:28 × Guest3 quits (~Guest3@net-93-70-92-55.cust.vodafonedsl.it) (Client Quit)
17:47:51 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
17:53:55 × waldo quits (~waldo@user/waldo) (Ping timeout: 246 seconds)
17:54:03 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:55:36 → waldo joins (~waldo@user/waldo)
17:55:53 × euleritian quits (~euleritia@p200300d40f2c2a00a98df70c14869a90.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
17:56:59 → euleritian joins (~euleritia@dynamic-046-114-204-162.46.114.pool.telefonica.de)
18:00:30 × waldo quits (~waldo@user/waldo) (Ping timeout: 260 seconds)
18:02:26 × danza quits (~danza@151.43.152.107) (Ping timeout: 260 seconds)
18:04:35 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
18:07:28 → wroathe joins (~wroathe@50.205.197.50)
18:07:28 × wroathe quits (~wroathe@50.205.197.50) (Changing host)
18:07:28 → wroathe joins (~wroathe@user/wroathe)
18:09:08 <monochrom> Jade: OK this is when lifted-base comes in. Control.Concurrent.Lifted's fork is more general than standard fork.
18:10:03 <monochrom> But you also have to give something up. It is not going to be simply MonadIO. We know that some instances of MonadIO can't be helped.
18:11:06 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:13:02 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
18:17:23 → TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com)
18:19:03 → misterfish joins (~misterfis@178.224.155.3)
18:22:31 <c_wraith> forkIO is a case where the fact that liftIO doesn't work is a good thing. It's not just the type system getting in the way - it's the type system pointing out that a particular operation is more complicated and you really need to think about what you're doing.
18:23:07 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
18:23:24 × notzmv quits (~zmv@user/notzmv) (Remote host closed the connection)
18:24:07 × Me-me quits (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Quit: Disconnecting on purpose.)
18:24:34 → notzmv joins (~zmv@user/notzmv)
18:25:26 → Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d)
18:29:31 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds)
18:32:57 → waldo joins (~waldo@user/waldo)
18:33:36 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds)
18:46:59 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
18:54:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:57:13 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54) (Remote host closed the connection)
18:57:28 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54)
18:59:06 × drdo quits (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 245 seconds)
19:01:38 × misterfish quits (~misterfis@178.224.155.3) (Ping timeout: 252 seconds)
19:03:38 → target_i joins (~target_i@217.175.14.39)
19:15:08 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
19:17:48 → drdo joins (~drdo@bl14-14-49.dsl.telepac.pt)
19:22:28 <haskellbridge> 15<J​ade> my GHC is behaving weirdly lol
19:22:37 <haskellbridge> 15<J​ade> ```
19:22:37 <haskellbridge> 15<J​ade> app/Main.hs:28:1: error:
19:22:38 <haskellbridge> 15<J​ade>  Could not load module ‘Control.Monad.Trans.Control’
19:22:40 <haskellbridge> 15<J​ade>  It is a member of the hidden package ‘monad-control-1.0.3.1’.
19:22:41 <haskellbridge> 15<J​ade>  Perhaps you need to add ‘monad-control’ to the build-depends in your .cabal file.
19:22:42 <haskellbridge> 15<J​ade>  It is a member of the hidden package ‘monad-control-1.0.3.1’.
19:22:43 <haskellbridge> 15<J​ade>  Perhaps you need to add ‘monad-control’ to the build-depends in your .cabal file.
19:22:45 <haskellbridge> 15<J​ade>  It is a member of the hidden package ‘monad-control-1.0.3.1’.
19:22:46 <haskellbridge> 15<J​ade>  Perhaps you need to add ‘monad-control’ to the build-depends in your .cabal file.
19:22:48 <haskellbridge> 15<J​ade> ```
19:23:35 <monochrom> Have you added monad-control as a dependency to your *.cabal file?
19:23:44 sprout_ is now known as sprout
19:23:57 <haskellbridge> 15<J​ade> no, I was referring to the same error thrice
19:24:45 <monochrom> Oh, that, well, heh.
19:25:00 <monochrom> "GHC works in mysterious ways."
19:25:32 × waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds)
19:26:23 <phma> I've been working on a repo which I think is ready to tag and submit to Hackage. So far I've submitted only a candidate of another package. Could someone check before I submit it?
19:30:54 × euleritian quits (~euleritia@dynamic-046-114-204-162.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
19:31:09 → euleritian joins (~euleritia@p200300d40f2c2a003cb2465a4542f569.dip0.t-ipconnect.de)
19:32:06 → waldo joins (~waldo@user/waldo)
19:32:18 <haskellbridge> 15<J​ade> Also, reading the docs of lifted-base, it seems like this is not what I want? `Note that, while the forked computation m () has access to the captured state, all its side-effects in m are discarded. It is run only for its side-effects in IO.`
19:35:48 <monochrom> I believe it refers to, for example, StateT S IO (). Clearly, since that "mutable state" is simulated by the relatively pure S -> IO (a,S), there is no way two threads share the "same" "mutable variable", since there is really none.
19:36:19 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Read error: Connection reset by peer)
19:36:37 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
19:36:51 × waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds)
19:42:53 → mikess joins (~sam@user/mikess)
19:43:22 → waldo joins (~waldo@user/waldo)
19:48:12 × waldo quits (~waldo@user/waldo) (Ping timeout: 268 seconds)
19:48:55 → waldo joins (~waldo@user/waldo)
19:51:58 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
19:55:01 × waldo quits (~waldo@user/waldo) (Ping timeout: 246 seconds)
20:00:47 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
20:01:36 → waldo joins (~waldo@user/waldo)
20:05:21 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
20:07:47 × waldo quits (~waldo@user/waldo) (Ping timeout: 264 seconds)
20:08:24 → waldo joins (~waldo@user/waldo)
20:20:43 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
20:25:00 → wroathe joins (~wroathe@50.205.197.50)
20:25:00 × wroathe quits (~wroathe@50.205.197.50) (Changing host)
20:25:00 → wroathe joins (~wroathe@user/wroathe)
20:26:19 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 276 seconds)
20:31:24 × trev quits (~trev@user/trev) (Quit: trev)
20:32:51 × euleritian quits (~euleritia@p200300d40f2c2a003cb2465a4542f569.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
20:33:49 → euleritian joins (~euleritia@p200300d40f2c2a0089a6e55907c87f5a.dip0.t-ipconnect.de)
20:36:19 <juri_> phma: what's it about?
20:45:43 <phma> juri_: it's a cryptographic library
20:49:14 → notzmv joins (~zmv@user/notzmv)
20:49:40 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
20:53:00 <juri_> never write your own cryptography. :)
20:54:46 <phma> if no one ever wrote their own cryptography, there'd be no cryptography. now about the package...
20:56:47 <duncan> it's one of those things which seems to be said a lot but isn't reinforced nearly enough.
20:57:31 × wroathe quits (~wroathe@user/wroathe) (Quit: leaving)
20:57:39 → not_reserved joins (~not_reser@154.16.157.99)
20:59:43 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 256 seconds)
21:01:37 → myclm_ joins (~myclm_@2a02:810d:8200:1628::8920)
21:03:25 <phma> My question is about making a package, not about cryptography.
21:06:57 × waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds)
21:11:31 <glguy> phma: you didn't actually link to the package, so probably no one can help
21:12:25 <phma> https://github.com/phma/wring-twistree
21:15:46 × myclm_ quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 268 seconds)
21:17:37 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
21:20:53 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
21:24:54 <phma> I'm leaving in about two hours, so if it takes you more than an hour to check the package, you may want to send me an email.
21:25:53 × euleritian quits (~euleritia@p200300d40f2c2a0089a6e55907c87f5a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
21:26:06 → euleritian joins (~euleritia@dynamic-046-114-204-162.46.114.pool.telefonica.de)
21:26:10 → waldo joins (~waldo@user/waldo)
21:38:01 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
21:38:41 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
21:44:19 <phma> I ran "stack sdist" and the resulting tarball does not include the package.yaml file! Why?
21:45:10 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
21:45:15 <glguy> the package.yaml isn't part of the sdist, it's an old way to make the .cabal file
21:45:54 <glguy> When someone installs from the tarball they likely won't have the hpack executable
21:47:32 <monochrom> If you are uploading to hackage, do people who download from hackage need package.yaml? (This is partly a conjecture and partly a real question.)
21:47:47 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54) (Remote host closed the connection)
21:47:55 <glguy> No, they don't need it; they'll use the packaged.cabal file
21:48:15 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54)
21:48:35 <glguy> (Cabal will use it automatically even if they don't notice the file)
21:49:04 → jmdaemon joins (~jmdaemon@user/jmdaemon)
21:49:28 → chomwitt joins (~chomwitt@ppp-94-67-236-252.home.otenet.gr)
21:49:57 <glguy> The generated .cabal file should be committed to your repository
21:50:13 <glguy> Snoyberg had a blog post explaining this
21:53:55 <remexre> is "Down with kinds: adding dependent heterogeneous equality to FC" the most recent/accurate description of Core's type system?
21:54:27 <phma> If someone just wants to install it, the .cabal file is enough. But if someone wants to work on it, they'll need the package.yaml file, as that's what Stack uses to make the .cabal file.
21:54:55 <phma> Both are committed to the repo.
21:55:06 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
21:57:31 <monochrom> From "it is an extension of the System FC intermediate language used by GHC today" I bet that "extension" means "maybe future, but not today".
21:58:39 <geekosaur> stack works perfectly well with a cabal file, last I checked
22:00:38 <monochrom> But it sounds like when one day you find a GHC version that can promote GADTs, that will mean it uses what the paper says. :)
22:01:37 <monochrom> Hrm, it's a 2012 paper? Then I'm outdated.
22:05:59 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
22:06:45 → pavonia joins (~user@user/siracusa)
22:07:42 × myclm_ quits (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection)
22:08:00 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
22:15:54 <remexre> monochrom: yeah, unless I'm testing it wrong, GHC 9.0 doesn't complain about using a promoted GADT
22:16:51 <remexre> oops, 9.6* (didn't realize I'd updated...)
22:20:25 <geekosaur> I think that went in at some point?
22:23:42 × myclm_ quits (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection)
22:23:55 <geekosaur> hm, not seeing it so far
22:24:01 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
22:24:44 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:25:12 × myclm_ quits (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection)
22:25:30 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
22:32:05 <geekosaur> added in 8.0.1
22:37:12 × myclm_ quits (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection)
22:37:30 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
22:38:17 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54) (Remote host closed the connection)
22:53:07 × myclm_ quits (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection)
22:53:30 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
22:56:42 × myclm_ quits (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection)
22:56:59 → myclm_ joins (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568)
23:04:01 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54)
23:10:05 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
23:31:53 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
23:36:01 × user2 quits (~user@162.255.84.96) (Quit: WeeChat 2.8)
23:42:40 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54) (Remote host closed the connection)
23:45:45 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:d8e3:d1d3:e447:ed54)
23:46:31 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
23:47:14 → eguo^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
23:49:06 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)

All times are in UTC on 2023-12-26.