IRCBrowse

2023/06/29

2023-06-29 00:04:10 +0000mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-06-29 00:06:17 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-06-29 00:07:00 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds)
2023-06-29 00:08:48 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer)
2023-06-29 00:12:07 +0000TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2023-06-29 00:14:15 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-06-29 00:14:54 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-06-29 00:17:51 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-29 00:18:28 +0000dolio(~dolio@130.44.134.54)
2023-06-29 00:19:22 +0000NinjaTrappeur(~ninja@user/ninjatrappeur) (Ping timeout: 245 seconds)
2023-06-29 00:20:42 +0000NinjaTrappeur(~ninja@user/ninjatrappeur)
2023-06-29 00:28:58 +0000NinjaTrappeur(~ninja@user/ninjatrappeur) (Ping timeout: 260 seconds)
2023-06-29 00:29:32 +0000chromoblob(~user@37.113.180.121)
2023-06-29 00:29:59 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-29 00:30:00 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-29 00:30:00 +0000wroathe(~wroathe@user/wroathe)
2023-06-29 00:32:35 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-06-29 00:32:59 +0000DDR(~DDR@2604:3d08:4c7f:8250:fad5:4c0d:f189:458b) (Ping timeout: 264 seconds)
2023-06-29 00:34:09 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-29 00:36:26 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-29 00:41:56 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 00:42:15 +0000NinjaTrappeur(~ninja@user/ninjatrappeur)
2023-06-29 00:43:38 +0000merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-06-29 00:48:41 +0000tom_(~tom@host81-151-255-71.range81-151.btcentralplus.com) (Read error: Connection reset by peer)
2023-06-29 00:48:57 +0000zincy(~tom@host81-151-255-71.range81-151.btcentralplus.com)
2023-06-29 01:01:46 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-29 01:02:16 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 01:10:32 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-29 01:11:34 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-06-29 01:12:58 +0000bontaq(~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds)
2023-06-29 01:13:44 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 01:17:41 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-06-29 01:18:35 +0000merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-06-29 01:23:01 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 01:27:46 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-29 01:34:48 +0000vgtw_(~vgtw@user/vgtw) (Server closed connection)
2023-06-29 01:35:10 +0000vgtw(~vgtw@user/vgtw)
2023-06-29 01:38:58 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds)
2023-06-29 01:43:10 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-06-29 01:45:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 01:48:46 +0000hisa38(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds)
2023-06-29 01:48:53 +0000Matthew|m(~arathorn@2001:470:69fc:105::1f) (Server closed connection)
2023-06-29 01:50:35 +0000bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 258 seconds)
2023-06-29 01:50:40 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-06-29 01:51:34 +0000dibblego(~dibblego@122-199-1-30.ip4.superloop.au)
2023-06-29 01:51:34 +0000dibblego(~dibblego@122-199-1-30.ip4.superloop.au) (Changing host)
2023-06-29 01:51:34 +0000dibblego(~dibblego@haskell/developer/dibblego)
2023-06-29 01:55:50 +0000hisa387(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-06-29 02:00:38 +0000chromoblob(~user@37.113.180.121) (Ping timeout: 250 seconds)
2023-06-29 02:02:49 +0000thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-29 02:09:42 +0000RedNifre2(~RedNifre@dslb-088-072-205-088.088.072.pools.vodafone-ip.de)
2023-06-29 02:11:32 +0000RedNifre(~RedNifre@dslb-088-072-205-088.088.072.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2023-06-29 02:16:48 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 02:22:03 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-06-29 02:22:03 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-06-29 02:22:03 +0000finn_elijaFinnElija
2023-06-29 02:25:26 +0000smoge(~smoge@2603-7000-4b42-1100-74f4-ede1-dde8-b0f7.res6.spectrum.com)
2023-06-29 02:26:00 +0000 <smoge> Is there a reason a project stills requires ghc-8.10.7 and not newer versions?
2023-06-29 02:26:29 +0000td_(~td@i5387093D.versanet.de) (Ping timeout: 240 seconds)
2023-06-29 02:26:36 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-06-29 02:26:43 +0000meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-29 02:27:57 +0000 <sm> no active maintainer is a common one
2023-06-29 02:28:23 +0000td_(~td@i53870923.versanet.de)
2023-06-29 02:28:30 +0000 <sm> dependencies that don't work with newer ghc is another
2023-06-29 02:28:50 +0000 <smoge> it is active, that's why I wonder
2023-06-29 02:33:04 +0000merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-06-29 02:38:50 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-06-29 02:39:59 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (*.net *.split)
2023-06-29 02:39:59 +0000NinjaTrappeur(~ninja@user/ninjatrappeur) (*.net *.split)
2023-06-29 02:39:59 +0000bliminse(~bliminse@user/bliminse) (*.net *.split)
2023-06-29 02:39:59 +0000aforemny(~aforemny@2001:9e8:6cee:a800:d2af:9715:31a9:a2bb) (*.net *.split)
2023-06-29 02:39:59 +0000dsrt^(~dsrt@24.125.210.85) (*.net *.split)
2023-06-29 02:39:59 +0000Techcable(~Techcable@user/Techcable) (*.net *.split)
2023-06-29 02:39:59 +0000infinity0(~infinity0@pwned.gg) (*.net *.split)
2023-06-29 02:39:59 +0000earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
2023-06-29 02:39:59 +0000JSharp(sid4580@id-4580.lymington.irccloud.com) (*.net *.split)
2023-06-29 02:39:59 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2023-06-29 02:39:59 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net) (*.net *.split)
2023-06-29 02:39:59 +0000jjhoo(~jahakala@user/jjhoo) (*.net *.split)
2023-06-29 02:39:59 +0000esph(~weechat@user/esph) (*.net *.split)
2023-06-29 02:39:59 +0000megaTherion(~therion@unix.io) (*.net *.split)
2023-06-29 02:39:59 +0000AkechiShiro(~licht@user/akechishiro) (*.net *.split)
2023-06-29 02:39:59 +0000hook54321(sid149355@user/hook54321) (*.net *.split)
2023-06-29 02:39:59 +0000h2t(~h2t@user/h2t) (*.net *.split)
2023-06-29 02:39:59 +0000cbarrett(sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
2023-06-29 02:39:59 +0000pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2023-06-29 02:39:59 +0000jil(~user@vps-15050500.vps.ovh.net) (*.net *.split)
2023-06-29 02:39:59 +0000kristjansson_(sid126207@id-126207.tinside.irccloud.com) (*.net *.split)
2023-06-29 02:39:59 +0000cross(~cross@spitfire.i.gajendra.net) (*.net *.split)
2023-06-29 02:39:59 +0000Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (*.net *.split)
2023-06-29 02:39:59 +0000jleightcap(7bc4014b62@user/jleightcap) (*.net *.split)
2023-06-29 02:39:59 +0000fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (*.net *.split)
2023-06-29 02:39:59 +0000b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (*.net *.split)
2023-06-29 02:39:59 +0000samhh_(7569f027cf@2604:bf00:561:2000::e4) (*.net *.split)
2023-06-29 02:39:59 +0000MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (*.net *.split)
2023-06-29 02:39:59 +0000jakzale(6291399afa@user/jakzale) (*.net *.split)
2023-06-29 02:39:59 +0000sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2023-06-29 02:39:59 +0000chaitlatte0(ea29c0bb16@user/chaitlatte0) (*.net *.split)
2023-06-29 02:39:59 +0000whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (*.net *.split)
2023-06-29 02:39:59 +0000theesm(2cbdf4b38a@2604:bf00:561:2000::11c8) (*.net *.split)
2023-06-29 02:39:59 +0000sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2023-06-29 02:39:59 +0000shreyasminocha(51fdc93eda@user/shreyasminocha) (*.net *.split)
2023-06-29 02:40:00 +0000henrytill(e0180937c3@2604:bf00:561:2000::e8c) (*.net *.split)
2023-06-29 02:40:00 +0000jkoshy(99b9359beb@user/jkoshy) (*.net *.split)
2023-06-29 02:40:00 +0000arcadewise(52968ed80d@2604:bf00:561:2000::3df) (*.net *.split)
2023-06-29 02:40:00 +0000JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3) (*.net *.split)
2023-06-29 02:40:00 +0000fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (*.net *.split)
2023-06-29 02:40:00 +0000n1essa(3d621153a5@2604:bf00:561:2000::df7) (*.net *.split)
2023-06-29 02:40:00 +0000ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (*.net *.split)
2023-06-29 02:40:00 +0000lukec(9dfd4d094e@2604:bf00:561:2000::10e) (*.net *.split)
2023-06-29 02:40:00 +0000bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (*.net *.split)
2023-06-29 02:40:00 +0000wagle(~wagle@quassel.wagle.io) (*.net *.split)
2023-06-29 02:40:00 +0000Athas(athas@sigkill.dk) (*.net *.split)
2023-06-29 02:40:14 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net)
2023-06-29 02:40:45 +0000gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-06-29 02:40:45 +0000dsrt^(~dsrt@24.125.210.85)
2023-06-29 02:41:04 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-06-29 02:44:12 +0000 <probie> Is it a library, or an executable? If it's an executable it might just be that they don't see the point in upgrading, or it's being packaged for a distro which still only has 8.10
2023-06-29 02:45:26 +0000 <sm> smoge: it's probably discussed in the issue tracker then
2023-06-29 02:46:04 +0000samhh068AAA5TF
2023-06-29 02:46:30 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 02:46:30 +0000NinjaTrappeur(~ninja@user/ninjatrappeur)
2023-06-29 02:46:30 +0000bliminse(~bliminse@user/bliminse)
2023-06-29 02:46:30 +0000aforemny(~aforemny@2001:9e8:6cee:a800:d2af:9715:31a9:a2bb)
2023-06-29 02:46:30 +0000Techcable(~Techcable@user/Techcable)
2023-06-29 02:46:30 +0000infinity0(~infinity0@pwned.gg)
2023-06-29 02:46:30 +0000earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2023-06-29 02:46:30 +0000JSharp(sid4580@id-4580.lymington.irccloud.com)
2023-06-29 02:46:30 +0000nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2023-06-29 02:46:30 +0000jjhoo(~jahakala@user/jjhoo)
2023-06-29 02:46:30 +0000esph(~weechat@user/esph)
2023-06-29 02:46:30 +0000megaTherion(~therion@unix.io)
2023-06-29 02:46:30 +0000AkechiShiro(~licht@user/akechishiro)
2023-06-29 02:46:30 +0000hook54321(sid149355@user/hook54321)
2023-06-29 02:46:30 +0000h2t(~h2t@user/h2t)
2023-06-29 02:46:30 +0000cbarrett(sid192934@id-192934.helmsley.irccloud.com)
2023-06-29 02:46:30 +0000pie_(~pie_bnc@user/pie/x-2818909)
2023-06-29 02:46:30 +0000jil(~user@vps-15050500.vps.ovh.net)
2023-06-29 02:46:30 +0000kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2023-06-29 02:46:30 +0000cross(~cross@spitfire.i.gajendra.net)
2023-06-29 02:46:30 +0000jleightcap(7bc4014b62@user/jleightcap)
2023-06-29 02:46:30 +0000Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2023-06-29 02:46:30 +0000fluffyballoon(45ce440a48@2604:bf00:561:2000::e2)
2023-06-29 02:46:30 +0000b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2023-06-29 02:46:30 +0000samhh(7569f027cf@2604:bf00:561:2000::e4)
2023-06-29 02:46:30 +0000MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2023-06-29 02:46:30 +0000jakzale(6291399afa@user/jakzale)
2023-06-29 02:46:30 +0000sm2n(ae95cb1267@user/sm2n)
2023-06-29 02:46:30 +0000whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2023-06-29 02:46:30 +0000chaitlatte0(ea29c0bb16@user/chaitlatte0)
2023-06-29 02:46:30 +0000shreyasminocha(51fdc93eda@user/shreyasminocha)
2023-06-29 02:46:30 +0000sus(1b7af6299f@user/zeromomentum)
2023-06-29 02:46:30 +0000theesm(2cbdf4b38a@2604:bf00:561:2000::11c8)
2023-06-29 02:46:30 +0000henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-06-29 02:46:30 +0000jkoshy(99b9359beb@user/jkoshy)
2023-06-29 02:46:30 +0000arcadewise(52968ed80d@2604:bf00:561:2000::3df)
2023-06-29 02:46:30 +0000n1essa(3d621153a5@2604:bf00:561:2000::df7)
2023-06-29 02:46:30 +0000fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2023-06-29 02:46:30 +0000JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3)
2023-06-29 02:46:30 +0000ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-06-29 02:46:30 +0000bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2023-06-29 02:46:30 +0000lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2023-06-29 02:46:30 +0000wagle(~wagle@quassel.wagle.io)
2023-06-29 02:46:30 +0000Athas(athas@sigkill.dk)
2023-06-29 02:46:36 +0000Techcable_(~Techcable@user/Techcable)
2023-06-29 02:46:36 +0000MonsoonSecrecy_(f78c86e960@2604:bf00:561:2000::f99)
2023-06-29 02:46:37 +0000gentauro(~gentauro@user/gentauro)
2023-06-29 02:46:41 +0000MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99) (Max SendQ exceeded)
2023-06-29 02:46:41 +0000cross(~cross@spitfire.i.gajendra.net) (Max SendQ exceeded)
2023-06-29 02:46:41 +0000Techcable(~Techcable@user/Techcable) (Max SendQ exceeded)
2023-06-29 02:46:47 +0000sm(~sm@plaintextaccounting/sm) (Server closed connection)
2023-06-29 02:48:16 +0000MonsoonSecrecy_MonsoonSecrecy
2023-06-29 02:48:32 +0000kristjansson_(sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 245 seconds)
2023-06-29 02:48:54 +0000Techcable_Techcable
2023-06-29 02:49:05 +0000sm(~sm@plaintextaccounting/sm)
2023-06-29 02:49:48 +0000kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2023-06-29 02:50:12 +0000hook54321(sid149355@user/hook54321) (Ping timeout: 245 seconds)
2023-06-29 02:52:12 +0000cross(~cross@spitfire.i.gajendra.net)
2023-06-29 02:52:18 +0000hook54321(sid149355@user/hook54321)
2023-06-29 02:58:09 +0000chromoblob(~user@37.113.180.121)
2023-06-29 03:01:37 +0000smoge(~smoge@2603-7000-4b42-1100-74f4-ede1-dde8-b0f7.res6.spectrum.com) (Quit: Client closed)
2023-06-29 03:02:34 +0000jero98772(~jero98772@2800:484:1d7f:5d36::4) (Remote host closed the connection)
2023-06-29 03:02:36 +0000chromoblob(~user@37.113.180.121) (Ping timeout: 250 seconds)
2023-06-29 03:05:38 +0000merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2023-06-29 03:19:18 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-29 03:20:51 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2023-06-29 03:27:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection)
2023-06-29 03:28:31 +0000aforemny_(~aforemny@2001:9e8:6cd6:c300:2cb7:89c3:81d1:9523)
2023-06-29 03:29:22 +0000aforemny(~aforemny@2001:9e8:6cee:a800:d2af:9715:31a9:a2bb) (Ping timeout: 245 seconds)
2023-06-29 03:29:58 +0000chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-06-29 03:30:37 +0000chiselfuse(~chiselfus@user/chiselfuse)
2023-06-29 03:31:44 +0000 <glguy> Is it possible to put a haddock comment on a parser definition generated by happy?
2023-06-29 03:32:23 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 03:38:38 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2023-06-29 03:48:58 +0000solaire(~solaire@024-158-116-019.res.spectrum.com) (Ping timeout: 250 seconds)
2023-06-29 03:57:04 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-06-29 03:57:33 +0000jmcantrell(~jmcantrel@user/jmcantrell) (Server closed connection)
2023-06-29 03:58:09 +0000jmcantrell(~jmcantrel@user/jmcantrell)
2023-06-29 04:00:24 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-29 04:00:24 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-29 04:00:24 +0000wroathe(~wroathe@user/wroathe)
2023-06-29 04:01:41 +0000thegeekinside(~thegeekin@189.217.90.138) (Remote host closed the connection)
2023-06-29 04:02:40 +0000dextaa7(~DV@user/dextaa)
2023-06-29 04:04:17 +0000dextaa(~DV@user/dextaa) (Ping timeout: 246 seconds)
2023-06-29 04:04:18 +0000dextaa7dextaa
2023-06-29 04:08:54 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-29 04:18:23 +0000michalz(~michalz@185.246.207.200)
2023-06-29 04:22:32 +0000kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-29 04:26:30 +0000zebrag[m](~inkbottle@2001:470:69fc:105::2ff5) (Server closed connection)
2023-06-29 04:26:58 +0000zebrag[m](~inkbottle@2001:470:69fc:105::2ff5)
2023-06-29 04:27:27 +0000 <jackdk> ghcjs users often want to support 8.10.7
2023-06-29 04:27:44 +0000Matthew|m(~arathorn@2001:470:69fc:105::1f)
2023-06-29 04:32:17 +0000aforemny(~aforemny@i59F516D7.versanet.de)
2023-06-29 04:32:59 +0000aforemny_(~aforemny@2001:9e8:6cd6:c300:2cb7:89c3:81d1:9523) (Ping timeout: 246 seconds)
2023-06-29 04:33:10 +0000merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl)
2023-06-29 04:34:35 +0000 <dolio> We were using 8.10.7 at work until recently, because we have other stuff to do than fix miscellaneous discrepancies between versions.
2023-06-29 04:38:59 +0000aforemny_(~aforemny@i59F516C4.versanet.de)
2023-06-29 04:39:40 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-06-29 04:39:47 +0000aforemny(~aforemny@i59F516D7.versanet.de) (Ping timeout: 245 seconds)
2023-06-29 04:58:40 +0000ocharles[m](~ocharlesm@2001:470:69fc:105::3:5899) (Server closed connection)
2023-06-29 04:58:49 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2023-06-29 04:58:55 +0000ocharles[m](~ocharlesm@2001:470:69fc:105::3:5899)
2023-06-29 05:02:12 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-06-29 05:03:20 +0000biberu(~biberu@user/biberu)
2023-06-29 05:04:24 +0000dmenz(~dmenz@2804:14d:5cd4:85fb:176f:8705:81c:687a) (Remote host closed the connection)
2023-06-29 05:05:37 +0000merijn(~merijn@c-001-001-003.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds)
2023-06-29 05:13:08 +0000trev(~trev@user/trev)
2023-06-29 05:16:54 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-06-29 05:25:10 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 05:29:30 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds)
2023-06-29 05:32:28 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2023-06-29 05:34:16 +0000banner(~banner@114-129-185-30.ip4.superloop.au)
2023-06-29 05:40:50 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-06-29 05:42:49 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-29 05:42:56 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-06-29 05:43:35 +0000acidjnk(~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de)
2023-06-29 05:44:32 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-29 05:46:50 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 05:46:55 +0000kadoban(~kadoban@user/kadoban) (Server closed connection)
2023-06-29 05:47:13 +0000kadoban(~kadoban@user/kadoban)
2023-06-29 05:50:50 +0000mbuf(~Shakthi@49.207.178.186)
2023-06-29 05:52:22 +0000dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds)
2023-06-29 05:54:08 +0000chromoblob(~user@37.113.180.121)
2023-06-29 05:55:36 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-29 05:56:45 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 05:58:54 +0000chromoblob(~user@37.113.180.121) (Ping timeout: 260 seconds)
2023-06-29 06:04:33 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-29 06:04:43 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-06-29 06:06:37 +0000coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-06-29 06:11:26 +0000turlando(~turlando@user/turlando) (Read error: Connection reset by peer)
2023-06-29 06:11:56 +0000turlando(~turlando@user/turlando)
2023-06-29 06:15:16 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-06-29 06:16:28 +0000bliminse(~bliminse@user/bliminse) (Quit: leaving)
2023-06-29 06:16:43 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 06:18:37 +0000sympt(~sympt@user/sympt) (Quit: Ping timeout (120 seconds))
2023-06-29 06:18:53 +0000nick__(~nick@2600:8807:9084:7800:8dba:9482:8c7b:9312)
2023-06-29 06:19:32 +0000sympt(~sympt@user/sympt)
2023-06-29 06:23:10 +0000nick__(~nick@2600:8807:9084:7800:8dba:9482:8c7b:9312) (Ping timeout: 260 seconds)
2023-06-29 06:24:15 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net)
2023-06-29 06:25:21 +0000oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-06-29 06:25:47 +0000mauke(~mauke@user/mauke) (Ping timeout: 264 seconds)
2023-06-29 06:30:38 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-29 06:36:20 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
2023-06-29 06:37:24 +0000echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2023-06-29 06:37:37 +0000bliminse(~bliminse@user/bliminse)
2023-06-29 06:38:02 +0000echoreply(~echoreply@45.32.163.16)
2023-06-29 06:43:00 +0000acidjnk(~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-06-29 06:46:25 +0000chromoblob(~user@37.113.180.121)
2023-06-29 06:54:40 +0000jespada(~jespada@207.188.139.183)
2023-06-29 07:01:14 +0000kupenske_oplatky(~priesvitn@192.216.99.34.bc.googleusercontent.com)
2023-06-29 07:01:22 +0000fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a)
2023-06-29 07:02:50 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-06-29 07:15:33 +0000cfricke(~cfricke@user/cfricke)
2023-06-29 07:16:07 +0000acidjnk(~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de)
2023-06-29 07:16:14 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 07:19:34 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 07:20:55 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 07:23:16 +0000jespada_(~jespada@207.188.139.183)
2023-06-29 07:24:33 +0000qhong(~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer)
2023-06-29 07:24:43 +0000qhong(~qhong@rescomp-21-400677.stanford.edu)
2023-06-29 07:26:30 +0000jespada(~jespada@207.188.139.183) (Ping timeout: 250 seconds)
2023-06-29 07:27:33 +0000thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-29 07:33:04 +0000fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Server closed connection)
2023-06-29 07:33:18 +0000fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2023-06-29 07:33:44 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-06-29 07:33:46 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 07:34:44 +0000sm[i](~smi]@plaintextaccounting/sm) (Ping timeout: 246 seconds)
2023-06-29 07:38:28 +0000gmg(~user@user/gehmehgeh)
2023-06-29 07:40:17 +0000bontaq(~user@ool-45779b84.dyn.optonline.net)
2023-06-29 07:41:05 +0000 <maerwald> dolio: hehe
2023-06-29 07:43:30 +0000hisa3879(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net)
2023-06-29 07:44:22 +0000hisa387(~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 260 seconds)
2023-06-29 07:44:22 +0000hisa3879hisa387
2023-06-29 07:50:37 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-29 07:52:18 +0000titibandit(~titibandi@user/titibandit)
2023-06-29 07:52:46 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection)
2023-06-29 07:54:40 +0000turlando(~turlando@user/turlando) (Ping timeout: 250 seconds)
2023-06-29 07:56:20 +0000shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 240 seconds)
2023-06-29 07:58:26 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-06-29 07:59:37 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-29 08:00:53 +0000Square(~Square@user/square)
2023-06-29 08:06:54 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-06-29 08:11:07 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:af53:a9f5:14c6:8ab8)
2023-06-29 08:12:54 +0000CiaoSen(~Jura@2a05:5800:2b5:9a00:664b:f0ff:fe37:9ef)
2023-06-29 08:14:20 +0000Guest79(~Guest79@88.202.151.93)
2023-06-29 08:19:45 +0000chele(~chele@user/chele)
2023-06-29 08:21:19 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-06-29 08:22:11 +0000DDR(~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38)
2023-06-29 08:25:20 +0000merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl)
2023-06-29 08:27:50 +0000hyvoid(~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 246 seconds)
2023-06-29 08:33:39 +0000titibandit(~titibandi@user/titibandit) (Read error: Connection reset by peer)
2023-06-29 08:36:02 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 08:37:03 +0000hyvoid(~hyenavoid@222-0-178-69.static.gci.net)
2023-06-29 08:38:52 +0000titibandit(~titibandi@user/titibandit)
2023-06-29 08:41:02 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-06-29 08:41:54 +0000remexre_(~remexre@user/remexre)
2023-06-29 08:42:10 +0000remexre(~remexre@user/remexre) (Read error: Connection reset by peer)
2023-06-29 08:42:43 +0000remexre_remexre
2023-06-29 08:42:55 +0000Guest79(~Guest79@88.202.151.93) (Quit: Client closed)
2023-06-29 08:43:51 +0000nomagno(~nomagno@2001:470:69fc:105::c1f0) (Server closed connection)
2023-06-29 08:44:13 +0000nomagno(~nomagno@2001:470:69fc:105::c1f0)
2023-06-29 08:48:20 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-29 08:51:20 +0000acidjnk(~acidjnk@p200300d6e7072f14a445df600121d0b6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-06-29 08:52:47 +0000emergence7(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2023-06-29 08:53:00 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2023-06-29 08:53:09 +0000AndreasK_(sid320732@id-320732.uxbridge.irccloud.com)
2023-06-29 08:53:13 +0000joeyh_(~joeyh@kitenet.net)
2023-06-29 08:53:16 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-29 08:53:30 +0000skippy(sid26890@user/slice) (Ping timeout: 240 seconds)
2023-06-29 08:53:30 +0000rune_(sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 240 seconds)
2023-06-29 08:53:30 +0000Fangs_(sid141280@id-141280.hampstead.irccloud.com)
2023-06-29 08:53:45 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com)
2023-06-29 08:53:50 +0000skippy(sid26890@user/slice)
2023-06-29 08:53:55 +0000rune_(sid21167@id-21167.ilkley.irccloud.com)
2023-06-29 08:54:00 +0000Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 240 seconds)
2023-06-29 08:54:00 +0000heartburn(~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000DDR(~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000AndreasK(sid320732@id-320732.uxbridge.irccloud.com) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000Fangs(sid141280@id-141280.hampstead.irccloud.com) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000robertm(robertm@lattice.rojoma.com) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000joeyh(joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Ping timeout: 240 seconds)
2023-06-29 08:54:30 +0000emergence7emergence
2023-06-29 08:54:30 +0000Fangs_Fangs
2023-06-29 08:54:30 +0000AndreasK_AndreasK
2023-06-29 08:55:00 +0000[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 240 seconds)
2023-06-29 08:55:00 +0000hays(rootvegeta@fsf/member/hays) (Ping timeout: 240 seconds)
2023-06-29 08:55:00 +0000cawfee(~root@2406:3003:2077:2758::babe) (Ping timeout: 240 seconds)
2023-06-29 08:56:06 +0000[_________](~oos95GWG@user/oos95GWG)
2023-06-29 08:56:24 +0000heartburn(~gass@2a00:d880:3:1::b1e4:b241)
2023-06-29 08:56:27 +0000bwe(~bwe@2a01:4f8:1c1c:4878::2)
2023-06-29 08:57:20 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-29 08:57:30 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2023-06-29 08:57:38 +0000Square(~Square@user/square) (Ping timeout: 260 seconds)
2023-06-29 08:59:22 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-29 08:59:37 +0000cawfee(~root@2406:3003:2077:2758::babe)
2023-06-29 08:59:48 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 09:00:14 +0000gurkenglas(~gurkengla@dynamic-046-114-177-083.46.114.pool.telefonica.de)
2023-06-29 09:00:30 +0000bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Ping timeout: 600 seconds)
2023-06-29 09:02:27 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-29 09:03:32 +0000xenomorph(~xenomorph@188.220.172.130) (Ping timeout: 240 seconds)
2023-06-29 09:04:26 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 09:05:42 +0000acidjnk(~acidjnk@p200300d6e7072f14b17818bda9110bcd.dip0.t-ipconnect.de)
2023-06-29 09:07:03 +0000danse-nr3(~francesco@151.37.17.226)
2023-06-29 09:08:17 +0000bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak)
2023-06-29 09:08:50 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 09:09:13 +0000__monty__(~toonn@user/toonn)
2023-06-29 09:09:19 +0000robertm(~robertm@lattice.rojoma.com)
2023-06-29 09:10:05 +0000DDR(~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38)
2023-06-29 09:10:55 +0000xenomorph(~xenomorph@bcdcac82.skybroadband.com)
2023-06-29 09:11:42 +0000mc47(~mc47@xmonad/TheMC47)
2023-06-29 09:12:48 +0000Angelz(Angelz@Angelz.oddprotocol.org)
2023-06-29 09:17:07 +0000xenomorph(~xenomorph@bcdcac82.skybroadband.com) (Quit: Connection error?!)
2023-06-29 09:17:35 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-06-29 09:17:58 +0000stonebridge(~stronebri@bcdcac82.skybroadband.com)
2023-06-29 09:19:03 +0000misterfish(~misterfis@87.215.131.102)
2023-06-29 09:21:32 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-06-29 09:21:54 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2023-06-29 09:21:59 +0000Square(~Square@user/square)
2023-06-29 09:22:52 +0000Lord_of_Life_Lord_of_Life
2023-06-29 09:23:51 +0000barcisz(~barcisz@79.191.69.198.ipv4.supernova.orange.pl)
2023-06-29 09:25:09 +0000 <Square> I've never seen this "foldFree :: (Applicative f, Monad m) => (forall x . f x -> m x) -> Free f a -> m a" as used in https://hackage.haskell.org/package/free-5.2/docs/src/Control.Monad.Free.Ap.html#foldFree
2023-06-29 09:27:52 +0000 <Square> is that constraint saying f must be "x -> m x" ?
2023-06-29 09:28:47 +0000CiaoSen(~Jura@2a05:5800:2b5:9a00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds)
2023-06-29 09:28:48 +0000 <Square> That is the "forall x . f x -> m x" part
2023-06-29 09:28:58 +0000 <ncf> for all applicative functors f and monads m, for all natural transformations (forall x. f x -> m x), you get a monad homomorphism (forall a.) Free f a -> m a
2023-06-29 09:29:39 +0000 <Square> Didn't know you could be so explicit in your constraints.
2023-06-29 09:30:18 +0000CiaoSen(~Jura@2a05:5800:2c6:6f00:664b:f0ff:fe37:9ef)
2023-06-29 09:30:23 +0000 <ncf> well, you can't require or enforce "monad homomorphism", that's just part of the "contract"
2023-06-29 09:31:22 +0000 <Square> oh wait. f is a type. Doh.
2023-06-29 09:32:16 +0000 <ncf> f has kind * -> *
2023-06-29 09:33:25 +0000 <Square> yup
2023-06-29 09:34:14 +0000 <ncf> note that this pretty much says that Free is a left adjoint to the forgetful functor from monads to endofunctors, which is pretty much its defining property
2023-06-29 09:34:40 +0000 <ncf> so this function is really important!
2023-06-29 09:35:31 +0000 <mniip> Square, have you encountered ExplicitForAll or RankNTypes before?
2023-06-29 09:35:49 +0000 <ncf> er, well that would apply to the foldFree from Control.Monad.Free, not sure about the .Ap thing
2023-06-29 09:37:49 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 09:39:22 +0000 <mniip> if not, I feel like you may be a little bit ahead of yourself :P
2023-06-29 09:41:45 +0000acidjnk(~acidjnk@p200300d6e7072f14b17818bda9110bcd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-06-29 09:41:50 +0000ft(~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving)
2023-06-29 09:41:59 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-29 09:44:30 +0000euandreh(~Thunderbi@189.6.18.7) (Remote host closed the connection)
2023-06-29 09:45:23 +0000euandreh(~Thunderbi@189.6.18.7)
2023-06-29 09:46:30 +0000euandreh(~Thunderbi@189.6.18.7) (Client Quit)
2023-06-29 09:51:07 +0000 <Square> mniip, gotcha. RankNTypes I've used a bunch. ExplicitForAll not much.
2023-06-29 09:51:10 +0000Guest76(~Guest76@2405:6583:9240:1400:b117:f2f3:3d43:95a2)
2023-06-29 09:52:02 +0000 <mniip> well, RankNTypes implies ExplicitForAll
2023-06-29 09:52:30 +0000 <mniip> ExplicitForAll enables the syntax "forall type variables. SomeType"
2023-06-29 09:52:54 +0000 <mniip> RankNTypes allows the syntax to be used on the left hand side of an arrow, leading to types that are actually "rank N"
2023-06-29 09:53:14 +0000 <mniip> so yeah this is just an instance of RankNTypes, nothing more
2023-06-29 09:53:47 +0000acidjnk(~acidjnk@p200300d6e7072f14c98aefe9c919a5af.dip0.t-ipconnect.de)
2023-06-29 09:54:16 +0000 <Square> I'm new to Free monads. Thought I'd explore them a bit. So yeah, then i stumbled upon this.
2023-06-29 09:55:30 +0000 <Guest76> I have a question.
2023-06-29 09:55:31 +0000 <Guest76> I want to create a list that will generate an error if the numbers don't sum up to 10.
2023-06-29 09:55:31 +0000 <Guest76> Strictly speaking, I don't need such a list, but I simplify it because I believe that if I understand how to create this, I can implement my desired type.
2023-06-29 09:55:32 +0000 <Guest76> For example,
2023-06-29 09:55:32 +0000 <Guest76> a = FixedSizedList [3, 3, 3, 1]
2023-06-29 09:55:33 +0000 <Guest76> This is not an error.
2023-06-29 09:55:33 +0000 <Guest76> b = FixedSizedList [3, 3, 3]
2023-06-29 09:55:34 +0000 <Guest76> This is an error and cannot be defined.
2023-06-29 09:55:34 +0000 <Guest76> I want the sum of the elements in the list to always be 10.
2023-06-29 09:55:35 +0000 <Guest76> I also do not want extensibility to be able to set it to a number other than 10.
2023-06-29 09:55:35 +0000 <Guest76> If anyone knows how to implement such a data type, I would like to know.
2023-06-29 09:56:44 +0000ripspin(~chatzilla@1.145.174.152)
2023-06-29 09:57:12 +0000 <mniip> the usual way to do this is to make a newtype TenList = UnsafeMkTenList { getList :: [Int] }; and a function mkTenList :: [Int] -> Maybe TenList
2023-06-29 09:57:31 +0000 <mniip> you can then put these in a module where UnsafeMkTenList is not exported
2023-06-29 09:59:51 +0000 <mniip> this is punting the check to runtime though: if you do Just b = mkTenList [3, 3, 3]; that's gonna fail at runtime
2023-06-29 10:02:19 +0000 <mniip> this solves the problem of tracking validity of runtime data, but if your problem is verification of compile-time constants, then that's completely different
2023-06-29 10:02:52 +0000 <mniip> that one would require TemplateHaskell or singletons, both fairly advanced topics
2023-06-29 10:02:58 +0000 <ncf> you could also look for an alternative representation that doesn't allow invalid states to be represented. for example, lists-of-naturals-that-sum-to-10 should be equivalent to 11-uples of natural numbers, where [3, 3, 3, 1] is encoded as (0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0)
2023-06-29 10:03:59 +0000 <mniip> I don't think that's equivalent?
2023-06-29 10:04:48 +0000 <mniip> there's only finitely many lists of natural numbers that sum to 10
2023-06-29 10:04:55 +0000 <ncf> i'm allowing 0
2023-06-29 10:05:00 +0000 <mniip> o
2023-06-29 10:05:11 +0000 <mniip> I don't understand the encoding then
2023-06-29 10:05:19 +0000 <mniip> stars-and-bars comes to mind but that's not what you're doing
2023-06-29 10:06:31 +0000 <mniip> data List (n :: Nat) where { Star :: List (n - 1) -> List n; Bar :: List n -> List n }
2023-06-29 10:07:00 +0000 <mniip> Nil :: List 0
2023-06-29 10:07:10 +0000xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
2023-06-29 10:07:24 +0000 <int-e> ncf: I think you went the wrong way... it should be 9-tuples (the gaps between ten 1-s)
2023-06-29 10:07:28 +0000MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417) (Server closed connection)
2023-06-29 10:07:41 +0000MangoIV[m](~mangoivma@2001:470:69fc:105::2:8417)
2023-06-29 10:07:59 +0000 <mniip> smart
2023-06-29 10:08:49 +0000 <mniip> there's exactly 10 stars so we keep track how many bars are between each
2023-06-29 10:09:13 +0000 <Guest76> As a matter of fact, I want to create a type about music notation.
2023-06-29 10:09:13 +0000 <Guest76> I have completed the type for notes and rests etc., but I am struggling with the implementation of measures of music notation.
2023-06-29 10:09:13 +0000 <mniip> I think it is 11-tuples because the leftmost bars and the rightmost bars correspond to leading/trailing zeros in the list
2023-06-29 10:09:14 +0000 <Guest76> The total length of notes and rests in a measure must always be the length of one whole note, so I want to generate an error if the length is more or less than a whole note.
2023-06-29 10:09:14 +0000 <Guest76> If the length of all notes is 1, we want to implement an ordered list where the numerical value of the sum of notes of length 1/4 or 1/8 is 1.
2023-06-29 10:09:15 +0000 <Guest76> What about these cases?
2023-06-29 10:09:31 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 10:09:44 +0000 <int-e> mniip: but we shouldn't allow zeros
2023-06-29 10:09:46 +0000 <mniip> gotta clarify, do you want a runtime error or a compile time error?
2023-06-29 10:10:10 +0000 <int-e> (or maybe I didn't get enough context)
2023-06-29 10:10:54 +0000 <int-e> The reason to be ware of zeros is that otherwise we quickly have infinitely many lists... [10], [0,10], [0,0,10], [0,0,0,10], ...
2023-06-29 10:10:59 +0000 <int-e> *wary
2023-06-29 10:11:39 +0000 <Guest76> I am not sure which is more appropriate, but I would like either a run-time error or a compile-time error.
2023-06-29 10:11:39 +0000 <Guest76> I would like an error to occur when an attempt is made to define the wrong measure.
2023-06-29 10:12:06 +0000 <mniip> define when? when you get notes from user input? or when you have notes in your source code?
2023-06-29 10:13:14 +0000 <mniip> first is easy second is hard
2023-06-29 10:13:33 +0000cfricke(~cfricke@user/cfricke)
2023-06-29 10:15:12 +0000 <Guest76> I was thinking of the case of second one.
2023-06-29 10:15:20 +0000 <int-e> mniip: Oh I see. Your types just allows zeros because you can iterate `Bar` as often as you please. Which is fine, just different from what ncf said.
2023-06-29 10:15:22 +0000 <ncf> int-e: plus two extremities
2023-06-29 10:15:47 +0000 <ncf> leading and trailing zeroes should correspond to bars before and after all the 1s
2023-06-29 10:15:59 +0000`2jt(~jtomas@vdf-87.vdf.upv.es)
2023-06-29 10:16:16 +0000 <mniip> you will probably need GADTs with TypeFamilies
2023-06-29 10:16:20 +0000CiaoSen(~Jura@2a05:5800:2c6:6f00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds)
2023-06-29 10:16:36 +0000 <int-e> you can have |||||*|||*|*******||||||*|||||| in mniip's `List 10` type.
2023-06-29 10:17:19 +0000 <Guest76> I came across GADT in my research, but I didn't know how to handle it.
2023-06-29 10:17:51 +0000 <ncf> that would code to (5,3,1,0,0,0,0,0,0,6,6) in my thing
2023-06-29 10:17:53 +0000 <int-e> ncf: Ah
2023-06-29 10:18:09 +0000 <int-e> ncf: I got distracted by your example only having 0s and 1s. Sorry.
2023-06-29 10:18:15 +0000 <ncf> np
2023-06-29 10:18:59 +0000 <ncf> yeah the tuple has numbers > 1 iff the list has a 0
2023-06-29 10:19:45 +0000 <ncf> (which incidentally means that it's easy to restrict to non-zero lists: just swap Bool for Nat)
2023-06-29 10:20:16 +0000 <int-e> ...has a 0 not at the start or end of the list
2023-06-29 10:20:28 +0000 <ncf> oh
2023-06-29 10:20:49 +0000 <Guest76> My assumption is that the length of a note should always be a non-zero positive fractional value (I am currently using Ratio Word).
2023-06-29 10:20:49 +0000 <Guest76> So I think it should also be an error if it contains zero or negative values.
2023-06-29 10:21:21 +0000 <int-e> ncf: so now you're getting to the point I was trying to make.
2023-06-29 10:21:24 +0000 <ncf> right so swap Bool for Nat and 9 for 11 :)
2023-06-29 10:21:26 +0000 <Guest76> not fractional value, rational value
2023-06-29 10:21:31 +0000 <ncf> yeah
2023-06-29 10:24:04 +0000 <int-e> I'm sure it's a fun exercise, but is it really worth the effort to encode that in the type?
2023-06-29 10:25:58 +0000 <Guest76> For Example
2023-06-29 10:25:59 +0000 <Guest76> | (1/4) (1/4) (1/2) |
2023-06-29 10:25:59 +0000 <Guest76> OK
2023-06-29 10:26:00 +0000 <Guest76> | (1/4) (1/4) (1/8) (1/8) (1/8) (1/8) |
2023-06-29 10:26:00 +0000 <Guest76> OK
2023-06-29 10:26:01 +0000 <Guest76> | (1/4) (1/4) (1/4) (1/4) (1/4) |
2023-06-29 10:26:01 +0000 <Guest76> Error
2023-06-29 10:26:02 +0000 <Guest76> | (1/4) (1/4) (0) (1/2) |
2023-06-29 10:26:02 +0000 <Guest76> Error
2023-06-29 10:26:03 +0000 <Guest76> | (1/4) (1/4) (1/2) (1/4) (1/4) (-1/2) |
2023-06-29 10:26:03 +0000 <Guest76> Error
2023-06-29 10:26:05 +0000 <int-e> arhg
2023-06-29 10:26:21 +0000 <int-e> please use a pastebin?
2023-06-29 10:26:43 +0000 <int-e> Hackage has at least one implementation of type-level rationals: https://hackage.haskell.org/package/typenums-0.1.4/docs/Data-TypeNums-Rats.html
2023-06-29 10:26:46 +0000alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Server closed connection)
2023-06-29 10:27:02 +0000alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2023-06-29 10:32:02 +0000 <Guest76> I have never used Pastebin before.
2023-06-29 10:32:02 +0000 <Guest76> Can I just paste the example from earlier?
2023-06-29 10:32:30 +0000 <Guest76> https://pastebin.com/D1DuLFqy
2023-06-29 10:34:59 +0000 <mniip> why use rationals (a quotient type) if you can use homogeneous coordinates (a setoid)
2023-06-29 10:35:11 +0000 <mniip> ex: https://play.haskell.org/saved/unFtCAAg
2023-06-29 10:35:24 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-29 10:37:47 +0000acidjnk(~acidjnk@p200300d6e7072f14c98aefe9c919a5af.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-06-29 10:39:54 +0000 <mniip> even better: with {-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-} you can have the typechecker infer "6" from the resulting linear equation
2023-06-29 10:40:55 +0000ubert(~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227)
2023-06-29 10:41:04 +0000 <Guest76> Indeed, this approach would not require the use of rational numbers.
2023-06-29 10:41:05 +0000 <Guest76> It seems to me that there is no need to bother using rational numbers, because even the dotted note can be represented entirely by a finite number of notes only, up to about a sixteenth or a thirty-second note, if we regard it as a composition of the original note and its half note.
2023-06-29 10:41:56 +0000 <mniip> well, if you have a "smallest note size" then the situation simplifies greatly
2023-06-29 10:42:07 +0000 <mniip> but my impression of music notation is that you in principle do not
2023-06-29 10:42:54 +0000skiidly ponders irrational-length notes
2023-06-29 10:43:06 +0000 <mniip> not only because you can add arbitrarily many flags, but also because you can have triplets and quintuplets and whatnot
2023-06-29 10:43:26 +0000CiaoSen(~Jura@5.83.190.34)
2023-06-29 10:43:53 +0000 <int-e> ski: clearly we need a type-level CReal implementation (or whatever flavor of computable reals you prefer)
2023-06-29 10:44:12 +0000 <mniip> CReal does not do equality
2023-06-29 10:44:17 +0000 <int-e> I know!
2023-06-29 10:45:21 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-06-29 10:45:49 +0000 <mniip> irrationality beside, Q is not finitely generated
2023-06-29 10:46:17 +0000 <ncf> mniip: aren't quotient and setoids the same thing in haskell
2023-06-29 10:46:18 +0000 <int-e> It is, as a field.
2023-06-29 10:46:24 +0000 <ski> i guess probably irrational intervals would be more common, in practice
2023-06-29 10:46:35 +0000 <ncf> quotient types*
2023-06-29 10:46:48 +0000 <int-e> Hmm, music theory, time to reread https://en.wikipedia.org/wiki/Pythagorean_comma
2023-06-29 10:47:07 +0000 <mniip> neither of these are a thing in value-level haskell
2023-06-29 10:48:04 +0000 <mniip> I'm mostly referring to the idea of representing a ratio p/q as a polymorphic family of values with indices forall k. (p*k, q*k)
2023-06-29 10:48:40 +0000 <ski> that's a quotient type/set representation, yea
2023-06-29 10:48:50 +0000 <ncf> i don't follow
2023-06-29 10:49:10 +0000 <mniip> ok sorry yes it is a quotient type
2023-06-29 10:49:21 +0000 <mniip> I guess I meant instead of choosing representatives explicitly
2023-06-29 10:49:40 +0000 <ncf> i see
2023-06-29 10:49:52 +0000 <ski> often you combine both : search trees
2023-06-29 10:51:21 +0000 <ski> (only some tree representations are valid. then out of those, we impose an equivalence relation)
2023-06-29 10:55:40 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 10:57:06 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 260 seconds)
2023-06-29 11:00:00 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds)
2023-06-29 11:08:00 +0000Square(~Square@user/square) (Ping timeout: 245 seconds)
2023-06-29 11:09:37 +0000xff0x(~xff0x@2405:6580:b080:900:23e0:f5c:cf8b:8ac0)
2023-06-29 11:13:30 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-29 11:14:26 +0000danse-nr3(~francesco@151.37.17.226) (Ping timeout: 250 seconds)
2023-06-29 11:17:43 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 11:19:56 +0000danse-nr3(~francesco@151.37.17.226)
2023-06-29 11:22:29 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-29 11:31:11 +0000sudden(~cat@user/sudden) (Ping timeout: 264 seconds)
2023-06-29 11:35:20 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 11:38:00 +0000xff0x(~xff0x@2405:6580:b080:900:23e0:f5c:cf8b:8ac0) (Ping timeout: 245 seconds)
2023-06-29 11:38:16 +0000danse-nr3(~francesco@151.37.17.226) (Ping timeout: 250 seconds)
2023-06-29 11:38:23 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-06-29 11:39:34 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 11:44:19 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-06-29 11:44:42 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-06-29 11:53:04 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 11:59:43 +0000danse-nr3(~francesco@151.37.17.226)
2023-06-29 12:06:42 +0000acidjnk(~acidjnk@p200300d6e7072f14a49583e754660f79.dip0.t-ipconnect.de)
2023-06-29 12:10:45 +0000barcisz(~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-06-29 12:12:55 +0000Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Server closed connection)
2023-06-29 12:13:12 +0000Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2023-06-29 12:17:50 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-06-29 12:22:20 +0000EllenorReinhilde
2023-06-29 12:22:43 +0000maerwald(~maerwald@mail.hasufell.de) (Changing host)
2023-06-29 12:22:43 +0000maerwald(~maerwald@user/maerwald)
2023-06-29 12:27:51 +0000sudden(~cat@user/sudden)
2023-06-29 12:29:52 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-29 12:34:56 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-29 12:37:47 +0000koolazer(~koo@user/koolazer) (Ping timeout: 264 seconds)
2023-06-29 12:42:34 +0000barcisz(~barcisz@79.191.69.198.ipv4.supernova.orange.pl)
2023-06-29 12:43:36 +0000danse-nr3_(~francesco@151.37.9.48)
2023-06-29 12:43:49 +0000danse-nr3(~francesco@151.37.17.226) (Read error: Connection reset by peer)
2023-06-29 12:52:18 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-29 12:54:30 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-29 12:57:08 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 12:57:41 +0000elkcl_(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru)
2023-06-29 12:58:02 +0000elkcl(~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 246 seconds)
2023-06-29 12:58:03 +0000elkcl_elkcl
2023-06-29 12:58:06 +0000mauke(~mauke@user/mauke)
2023-06-29 12:58:20 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 13:01:30 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds)
2023-06-29 13:04:56 +0000danse-nr3_(~francesco@151.37.9.48) (Ping timeout: 250 seconds)
2023-06-29 13:05:54 +0000mbuf(~Shakthi@49.207.178.186) (Ping timeout: 260 seconds)
2023-06-29 13:06:02 +0000cfricke(~cfricke@user/cfricke)
2023-06-29 13:06:44 +0000mbuf(~Shakthi@49.207.178.186)
2023-06-29 13:06:53 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 13:10:55 +0000Vajb(~Vajb@85-76-167-107-nat.elisa-mobile.fi)
2023-06-29 13:11:00 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 13:13:25 +0000chromoblob(~user@37.113.180.121) (Ping timeout: 245 seconds)
2023-06-29 13:14:22 +0000Pickchea(~private@user/pickchea)
2023-06-29 13:18:31 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 13:22:00 +0000mbuf(~Shakthi@49.207.178.186) (Ping timeout: 240 seconds)
2023-06-29 13:23:08 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 13:23:46 +0000 <talismanick> I built a custom list type `data List a = Nil | Cons a (List a)` and played around with what sorts of instances I could give it
2023-06-29 13:24:15 +0000 <talismanick> Is the bind implementation `l >>= f = foldr (<>) mempty $ f <$> l` unique, and, if so, how might I prove it?
2023-06-29 13:27:32 +0000 <jade[m]> it is, as it is equivialent to concatMap, but I'm not sure how you'd prove it
2023-06-29 13:30:55 +0000acidjnk(~acidjnk@p200300d6e7072f14a49583e754660f79.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-06-29 13:31:29 +0000 <talismanick> Maybe I should say
2023-06-29 13:31:42 +0000danse-nr3_(~francesco@151.37.9.48)
2023-06-29 13:32:02 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 13:33:22 +0000 <talismanick> "unique up to isomorphism" in case of different monoid or foldable instances
2023-06-29 13:40:14 +0000 <ski> "unique up to isomorphism" is for structures, not for operations
2023-06-29 13:43:09 +0000 <ski> one way to show uniqueness would be to show that `(>>=) = concatMap' is equivalent to your definition above, for every possible value of `(>>=)' (out of those satisfying the monad laws ?)
2023-06-29 13:44:03 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-06-29 13:50:11 +0000bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-06-29 13:55:30 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-06-29 13:55:35 +0000bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 260 seconds)
2023-06-29 13:56:22 +0000 <talismanick> ski: well, showing the equivalent ones are precisely the lawful ones is the hard part
2023-06-29 13:56:57 +0000 <talismanick> because I'd like to think it's easy to come up with an unlawful one (not that I've tried)
2023-06-29 13:57:13 +0000 <talismanick> that isn't the same
2023-06-29 13:57:40 +0000 <ski> "showing the equivalent ones are precisely the lawful ones" -- huh ?
2023-06-29 13:59:40 +0000 <talismanick> proving that every lawful bind is the same as concatMap
2023-06-29 14:01:11 +0000 <dminuoso_> talismanick: The property is called extensional equivalence.
2023-06-29 14:01:35 +0000 <dminuoso_> So you're trying to prove that all lawful implementations of (>>=) for [] are extensionally equivalent?
2023-06-29 14:01:40 +0000 <talismanick> right, that's the term I was looking for
2023-06-29 14:01:47 +0000 <talismanick> yeah
2023-06-29 14:02:31 +0000 <dminuoso_> If possible, I suspect you have to prove by contradiction.
2023-06-29 14:02:43 +0000 <ski> well, i wasn't talking about that, really. i was talking about showing that your implementation was unique, out of all lawful ones
2023-06-29 14:04:10 +0000 <ski> `unique x. ..x..' being equivalent to `exists c. forall x. x = c <=> ..x..'
2023-06-29 14:05:27 +0000 <ski> (guess i should say `exists_unique x. ..x..', to distinguish from the "at most one" case)
2023-06-29 14:06:01 +0000aforemny(~aforemny@2001:9e8:6cdf:c700:d241:1189:f347:9ddf)
2023-06-29 14:06:28 +0000aforemny_(~aforemny@i59F516C4.versanet.de) (Ping timeout: 250 seconds)
2023-06-29 14:06:57 +0000 <talismanick> dminuoso_: As in, not practical to prove with Haskell's type-level machinery (even Liquid), or outright impossible?
2023-06-29 14:07:34 +0000myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos)
2023-06-29 14:07:35 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2023-06-29 14:08:00 +0000myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-06-29 14:13:04 +0000gurkenglas(~gurkengla@dynamic-046-114-177-083.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-06-29 14:15:14 +0000shriekingnoise(~shrieking@186.137.175.87)
2023-06-29 14:15:30 +0000acidjnk(~acidjnk@p200300d6e7072f14001fa75536a59a14.dip0.t-ipconnect.de)
2023-06-29 14:18:42 +0000cfricke(~cfricke@user/cfricke) (Ping timeout: 260 seconds)
2023-06-29 14:20:12 +0000chromoblob(~user@37.113.180.121)
2023-06-29 14:28:30 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 14:31:47 +0000 <mniip> talismanick, it's not unique
2023-06-29 14:32:24 +0000mrvdb(~mrvdb@185.92.221.186) (Server closed connection)
2023-06-29 14:32:39 +0000 <mniip> pretty sure you can reshuffle the output list in subtle ways while still keeping the monad laws
2023-06-29 14:32:40 +0000mrvdb(~mrvdb@185.92.221.186)
2023-06-29 14:33:12 +0000 <[Leary]> Yeah, I got nerdsniped ... fair interleave is looking pretty lawful.
2023-06-29 14:33:57 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 14:37:09 +0000Sgeo(~Sgeo@user/sgeo)
2023-06-29 14:37:13 +0000 <mniip> [Leary], you mean something like concat . transpose?
2023-06-29 14:37:19 +0000 <[Leary]> Yeah.
2023-06-29 14:37:28 +0000 <mniip> that fails associativity
2023-06-29 14:37:31 +0000 <ncf> i doubt that's assoc- yeah
2023-06-29 14:38:27 +0000 <ncf> hmm https://hackage.haskell.org/package/exotic-list-monads-1.0.1/docs/Control-Monad-List-Exotic.html
2023-06-29 14:39:30 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds)
2023-06-29 14:39:53 +0000 <[Leary]> I was down to `fmap (concat . transpose . fmap f) = fmap f . concat . transpose` and thinking "yeah they'll just commute and vanish", but on second glance, the extra level of `fmap` remains, and matters. Oop.s
2023-06-29 14:40:53 +0000Hafydd(~Hafydd@user/hafydd) (Server closed connection)
2023-06-29 14:41:14 +0000Hafydd(~Hafydd@user/hafydd)
2023-06-29 14:41:30 +0000CiaoSen(~Jura@5.83.190.34) (Ping timeout: 240 seconds)
2023-06-29 14:41:39 +0000 <mniip> oh yeah Odd
2023-06-29 14:41:42 +0000 <mniip> that's an odd one
2023-06-29 14:41:48 +0000 <mniip> I've checked and it's lawful
2023-06-29 14:43:00 +0000danse-nr3_(~francesco@151.37.9.48) (Ping timeout: 240 seconds)
2023-06-29 14:45:35 +0000 <ncf> some pretty ridiculous stuff in there
2023-06-29 14:46:55 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 14:49:45 +0000adeptangel(cren@tilde.team)
2023-06-29 14:50:37 +0000Guest76(~Guest76@2405:6583:9240:1400:b117:f2f3:3d43:95a2) (Quit: Client closed)
2023-06-29 14:50:57 +0000 <adeptangel> hello, beginner question here: what is going on here? https://paste.tomsmeding.com/a7D6Eea3
2023-06-29 14:51:36 +0000danse-nr3(~francesco@151.37.9.48)
2023-06-29 14:52:02 +0000 <merijn> adeptangel: What confuses you about that?
2023-06-29 14:52:05 +0000 <mauke> adeptangel: what do you mean?
2023-06-29 14:52:48 +0000 <mniip> post the error message too
2023-06-29 14:53:03 +0000 <adeptangel> sorry, my bad: it doesn't compile and I don't understand the type error
2023-06-29 14:53:07 +0000 <mauke> :t logBase
2023-06-29 14:53:07 +0000 <probie> logBase requires both arguments to have the same type. Try `floor (logBase 5.0 (fromIntegral n))`
2023-06-29 14:53:08 +0000 <lambdabot> Floating a => a -> a -> a
2023-06-29 14:53:16 +0000 <adeptangel> ohhh yeah
2023-06-29 14:53:32 +0000user363627(~user@188.241.176.239)
2023-06-29 14:53:39 +0000 <adeptangel> that's fixed it thanks
2023-06-29 14:53:39 +0000 <mauke> :t logBase 5.0 (1 :: Int)
2023-06-29 14:53:40 +0000 <lambdabot> error:
2023-06-29 14:53:41 +0000 <lambdabot> • No instance for (Floating Int) arising from a use of ‘logBase’
2023-06-29 14:53:41 +0000 <lambdabot> • In the expression: logBase 5.0 (1 :: Int)
2023-06-29 14:53:49 +0000 <adeptangel> that's the type error I didn't understand
2023-06-29 14:54:04 +0000 <probie> `n` is an `Int` because of the type of `kMax`, but `Int` isn't an instance of `Floating`, so you first need to convert it to something that is, like a `Double`
2023-06-29 14:54:18 +0000 <mauke> that means logBase is only defined for floating-point types, but Int is not one of them
2023-06-29 14:54:22 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-29 14:54:32 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-29 14:54:50 +0000 <adeptangel> mauke: thanks, that makes sense
2023-06-29 14:54:54 +0000SethTisue(sid14912@id-14912.ilkley.irccloud.com) (Server closed connection)
2023-06-29 14:55:04 +0000SethTisue_(sid14912@id-14912.ilkley.irccloud.com)
2023-06-29 14:55:22 +0000 <adeptangel> it sounds like it's saying that there is a theoretical case where an instance of Floating Int could arise but that's impossible right?
2023-06-29 14:55:32 +0000Angelz(Angelz@Angelz.oddprotocol.org) (Ping timeout: 240 seconds)
2023-06-29 14:55:39 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-06-29 14:55:43 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-06-29 14:56:45 +0000 <mauke> technically possible, but not in a useful way
2023-06-29 14:56:52 +0000 <probie> Well, it's not "impossible". You are free to define an instance of `Floating` for `Int`, it just wouldn't be a particularly sensible one
2023-06-29 14:57:10 +0000zer0bitz_(~zer0bitz@user/zer0bitz)
2023-06-29 14:57:41 +0000 <mauke> among other things, you'd have to define pi :: Int, sin :: Int -> Int, sqrt :: Int -> Int
2023-06-29 14:57:53 +0000 <user363627> how do i install haskell-language-server for ghc version 2.0.0.1? doing "ghcup compile hls --version 2.0.0.1 --ghc 8.8.4 --cabal-update" fails with https://paste.mozilla.org/hPQkshLR
2023-06-29 14:57:53 +0000 <adeptangel> haha yeah
2023-06-29 14:58:04 +0000 <user363627> *for ghc version 8.8.4
2023-06-29 14:58:38 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 14:59:01 +0000 <mauke> maybe that's too old a compiler?
2023-06-29 14:59:31 +0000 <user363627> mauke: i wondered that. but i'm not sure what to make of line 10 in output: "[ cabal ] ghc-8.4.1, ghc-8.2.2, ghc-8.2.1, ghc-9.2.3.20220620"
2023-06-29 15:00:00 +0000kuribas(~user@ptr-17d51enq3cpu3g7sf3g.18120a2.ip6.access.telenet.be)
2023-06-29 15:00:12 +0000 <user363627> base versions seem otherwise compatible
2023-06-29 15:01:24 +0000zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 258 seconds)
2023-06-29 15:03:00 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 245 seconds)
2023-06-29 15:03:30 +0000 <user363627> okay must be some conflict with ghc version. older hls 1.8.0.0 seems to be compiling
2023-06-29 15:09:07 +0000barcisz(~barcisz@79.191.69.198.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-06-29 15:12:00 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 15:14:41 +0000freeside(~mengwong@103.252.202.189)
2023-06-29 15:14:55 +0000lbseale(~quassel@user/ep1ctetus) (Ping timeout: 260 seconds)
2023-06-29 15:15:41 +0000Angelz(Angelz@angelz.oddprotocol.org)
2023-06-29 15:15:46 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-06-29 15:19:40 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:af53:a9f5:14c6:8ab8) (Ping timeout: 245 seconds)
2023-06-29 15:22:21 +0000bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-06-29 15:25:48 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 15:29:23 +0000qhong(~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer)
2023-06-29 15:29:40 +0000qhong(~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)
2023-06-29 15:30:30 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 15:30:46 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:ca5:11f1:62d0:2324)
2023-06-29 15:30:54 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:ca5:11f1:62d0:2324) (Client Quit)
2023-06-29 15:32:55 +0000econo_(uid147250@id-147250.tinside.irccloud.com)
2023-06-29 15:33:38 +0000mbuf(~Shakthi@49.207.178.186)
2023-06-29 15:34:47 +0000merijn(~merijn@c-001-001-015.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds)
2023-06-29 15:34:49 +0000 <user363627> version 1.5.1.0 was the charm
2023-06-29 15:39:28 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-06-29 15:44:04 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection)
2023-06-29 15:45:40 +0000Lears(~Leary]@user/Leary/x-0910699)
2023-06-29 15:47:56 +0000[Leary](~Leary]@user/Leary/x-0910699) (Ping timeout: 252 seconds)
2023-06-29 15:52:30 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-29 15:55:10 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-06-29 15:56:20 +0000 <adeptangel> can anyone get this program to run? the online interpreter i'm using is timing out https://paste.tomsmeding.com/6rCfhmUk
2023-06-29 16:00:07 +0000 <mauke> not a program; nothing to run
2023-06-29 16:00:18 +0000 <adeptangel> mauke: sorry you are correct
2023-06-29 16:00:40 +0000 <adeptangel> here's an amendment https://play-haskell.tomsmeding.com/saved/0mrtTvS6
2023-06-29 16:01:18 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds)
2023-06-29 16:01:19 +0000 <adeptangel> it's working OK in the playground so I think it's the service I'm using that's crashing
2023-06-29 16:01:29 +0000 <mauke> heh
2023-06-29 16:02:05 +0000 <jade[m]> are you not able to use ghc on your desktop?
2023-06-29 16:02:05 +0000 <mauke> `main = do print $ zeros 15; return ()` is rather a complicated way to say `main = print $ zeros 15`
2023-06-29 16:02:27 +0000brprice(~brprice@user/brprice) (Server closed connection)
2023-06-29 16:02:47 +0000brprice(~brprice@user/brprice)
2023-06-29 16:02:49 +0000 <adeptangel> jade[m]: actually I just ran ghcup on windows but I can't find where ghc has been installed to
2023-06-29 16:03:16 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-06-29 16:03:34 +0000 <mauke> it's called "information hiding"
2023-06-29 16:03:36 +0000marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Remote host closed the connection)
2023-06-29 16:04:15 +0000`2jt(~jtomas@vdf-87.vdf.upv.es) (Ping timeout: 245 seconds)
2023-06-29 16:06:45 +0000cfricke(~cfricke@user/cfricke)
2023-06-29 16:07:05 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-06-29 16:08:40 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-06-29 16:12:54 +0000byorgey(~byorgey@155.138.238.211)
2023-06-29 16:15:30 +0000nick__(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-06-29 16:16:54 +0000byte(~byte@user/byte) (Ping timeout: 252 seconds)
2023-06-29 16:19:30 +0000misterfish(~misterfis@87.215.131.102) (Ping timeout: 250 seconds)
2023-06-29 16:22:30 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 16:26:23 +0000iteratee(~kyle@162.218.222.207)
2023-06-29 16:27:53 +0000 <ski> adeptangel : brackets around `fromIntegral n' are redundant. i'd rather also prefer seeing brackets instead of `$' there
2023-06-29 16:28:22 +0000 <ski> adeptangel : since `k' is non-negative (even positive), you could replace `^^' by `^'. then, in turn (since the numerator is now an integer), you could use `div' instead of `/' and `floor'&`fromIntegral'
2023-06-29 16:28:30 +0000 <ski> % :set -XMagicHash
2023-06-29 16:28:30 +0000 <yahb2> <no output>
2023-06-29 16:28:40 +0000 <ski> % let integerLogBase :: Integer -> Integer -> Int; integerLogBase b n = GHC.Types.I# (GHC.Integer.Logarithms.integerLogBase# b n)
2023-06-29 16:28:40 +0000 <yahb2> <no output>
2023-06-29 16:28:46 +0000 <ski> % integerLogBase 5 125
2023-06-29 16:28:46 +0000 <yahb2> 3
2023-06-29 16:28:49 +0000 <ski> % integerLogBase 5 124
2023-06-29 16:28:49 +0000 <yahb2> 2
2023-06-29 16:29:01 +0000mvk(~mvk@2607:fea8:5c9a:a600::1ff2)
2023-06-29 16:29:14 +0000mvk(~mvk@2607:fea8:5c9a:a600::1ff2) (Client Quit)
2023-06-29 16:29:51 +0000Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2023-06-29 16:29:55 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.8)
2023-06-29 16:29:58 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2023-06-29 16:30:40 +0000 <ski> .. although, repeated usage of `div', rather than using `^', seems preferrable
2023-06-29 16:30:48 +0000chele(~chele@user/chele) (Remote host closed the connection)
2023-06-29 16:32:58 +0000titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-06-29 16:33:32 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection)
2023-06-29 16:33:56 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 16:35:30 +0000Angelz(Angelz@angelz.oddprotocol.org) (Ping timeout: 245 seconds)
2023-06-29 16:38:00 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 16:38:36 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection)
2023-06-29 16:39:01 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 16:41:14 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 16:43:20 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-06-29 16:43:36 +0000danse-nr3(~francesco@151.37.9.48) (Read error: Connection reset by peer)
2023-06-29 16:43:47 +0000danse-nr3(~francesco@151.37.49.79)
2023-06-29 16:48:20 +0000 <ski> nick__ : "Not following you here. If you instantiate an object B then you have an object B, but it can also be an object A." -- that means that every `B' is an `A'. but you also wanted "no object A to be a B". therefore there are no `B' objects, because if there were any `B' object, it'd be an `A' object, but you've forbidden `A' objects to be `B' objects
2023-06-29 16:52:01 +0000 <mniip> it's relatively clear they want an asymmetric relation
2023-06-29 16:52:13 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 16:52:39 +0000 <mniip> directed homotopy
2023-06-29 16:52:40 +0000 <ski> yes
2023-06-29 16:53:07 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-29 16:56:02 +0000ski. o O ( "2-Dimensional Directed Type Theory" by Dan Licata,Rob Harper in 2011 at <https://www.cs.cmu.edu/~rwh/papers/2dtt/mfps.pdf> )
2023-06-29 16:56:23 +0000motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 264 seconds)
2023-06-29 16:56:30 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-29 16:57:35 +0000danse-nr3(~francesco@151.37.49.79) (Ping timeout: 245 seconds)
2023-06-29 16:58:54 +0000 <ncf> what does directed homotopy type theory have to do with subtyping?
2023-06-29 16:59:24 +0000danse-nr3(~francesco@151.37.49.79)
2023-06-29 16:59:55 +0000 <ski> dunno
2023-06-29 17:00:47 +0000 <dolio> You could use subtyping as the hom type of the universe, probably.
2023-06-29 17:01:01 +0000 <dolio> Both are antisymmetric, though. Not asymmetric.
2023-06-29 17:02:34 +0000 <ncf> hm i guess
2023-06-29 17:03:15 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-06-29 17:03:19 +0000 <ncf> rip univalence
2023-06-29 17:04:12 +0000 <ncf> actually, does the hom type of the universe have to agree with the path type of the universe?
2023-06-29 17:04:30 +0000danse-nr3(~francesco@151.37.49.79) (Ping timeout: 240 seconds)
2023-06-29 17:04:41 +0000 <dolio> I think so. But the path type of the universe doesn't have to correspond to equivalence.
2023-06-29 17:05:10 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection)
2023-06-29 17:05:34 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 17:06:12 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 17:08:59 +0000acidjnk(~acidjnk@p200300d6e7072f14001fa75536a59a14.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-06-29 17:09:08 +0000kuribas(~user@ptr-17d51enq3cpu3g7sf3g.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2023-06-29 17:09:42 +0000motherfsck(~motherfsc@user/motherfsck)
2023-06-29 17:11:03 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2023-06-29 17:13:14 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 17:14:32 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds)
2023-06-29 17:19:15 +0000Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2023-06-29 17:19:59 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 17:20:05 +0000kupenske_oplatky(~priesvitn@192.216.99.34.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2023-06-29 17:20:20 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 17:21:16 +0000titibandit(~titibandi@user/titibandit)
2023-06-29 17:21:47 +0000ai5lk(~ai5lk@209-188-121-236.taosnet.com)
2023-06-29 17:23:40 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection)
2023-06-29 17:24:40 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 17:24:47 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 17:28:03 +0000mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-06-29 17:34:24 +0000horribleprogram(~user@user/horribleprogram)
2023-06-29 17:34:30 +0000 <horribleprogram> wtf is this language
2023-06-29 17:34:31 +0000 <horribleprogram> jesus christ
2023-06-29 17:34:53 +0000 <APic> Hail Eris!
2023-06-29 17:35:07 +0000 <horribleprogram> does the imported Prelude module have a name for the constant for e
2023-06-29 17:35:31 +0000 <horribleprogram> math.e for ex in Python
2023-06-29 17:35:36 +0000 <EvanR> > exp 1
2023-06-29 17:35:38 +0000 <lambdabot> 2.718281828459045
2023-06-29 17:36:02 +0000 <horribleprogram> std::numbers::e in C++20
2023-06-29 17:36:04 +0000 <EvanR> > exp 1 :: CReal
2023-06-29 17:36:05 +0000 <lambdabot> 2.7182818284590452353602874713526624977572
2023-06-29 17:36:14 +0000 <horribleprogram> kk wtf did u just do in the 2nd one
2023-06-29 17:36:19 +0000 <EvanR> :t exp
2023-06-29 17:36:21 +0000 <lambdabot> Floating a => a -> a
2023-06-29 17:36:33 +0000 <jade[m]> specified the type of the number explicitly
2023-06-29 17:36:37 +0000 <horribleprogram> ahh
2023-06-29 17:36:39 +0000 <EvanR> e depends on the type
2023-06-29 17:36:55 +0000 <EvanR> > exp 1 :: Float
2023-06-29 17:36:57 +0000 <horribleprogram> u mean the return type of exp can be specified?
2023-06-29 17:36:57 +0000 <lambdabot> 2.7182817
2023-06-29 17:37:01 +0000 <horribleprogram> exp 1 :: Int
2023-06-29 17:37:08 +0000 <horribleprogram> > exp 1 :: Int
2023-06-29 17:37:09 +0000 <lambdabot> error:
2023-06-29 17:37:09 +0000 <lambdabot> • No instance for (Floating Int) arising from a use of ‘exp’
2023-06-29 17:37:09 +0000 <lambdabot> • In the expression: exp 1 :: Int
2023-06-29 17:37:14 +0000 <EvanR> Int isn't an instance of Floating ^
2023-06-29 17:37:18 +0000 <horribleprogram> ahh kk
2023-06-29 17:37:18 +0000 <jade[m]> horribleprogram: yes, it's polymorphic for floatings
2023-06-29 17:37:30 +0000 <EvanR> > exp 1 :: Complex Double
2023-06-29 17:37:31 +0000 <lambdabot> 2.718281828459045 :+ 0.0
2023-06-29 17:37:34 +0000 <mauke> > e
2023-06-29 17:37:36 +0000 <lambdabot> e
2023-06-29 17:37:44 +0000 <horribleprogram> there is no `e`
2023-06-29 17:37:45 +0000 <EvanR> > exp (0 :+ 1) :: Complex Double
2023-06-29 17:37:47 +0000 <lambdabot> 0.5403023058681398 :+ 0.8414709848078965
2023-06-29 17:37:58 +0000 <EvanR> oops forgot the pi
2023-06-29 17:38:03 +0000 <horribleprogram> so e = exp 1
2023-06-29 17:38:06 +0000 <horribleprogram> if you actually want it
2023-06-29 17:38:09 +0000gmg(~user@user/gehmehgeh)
2023-06-29 17:38:10 +0000 <EvanR> yes
2023-06-29 17:38:12 +0000 <horribleprogram> cool ty
2023-06-29 17:38:20 +0000 <mauke> exp x = e^x
2023-06-29 17:38:24 +0000 <jade[m]> but you usually use the exponential function
2023-06-29 17:38:30 +0000 <horribleprogram> don't tell me what I usually do
2023-06-29 17:38:42 +0000 <EvanR> the only use for e is doing e^_ or natural log
2023-06-29 17:38:47 +0000 <horribleprogram> says u
2023-06-29 17:38:53 +0000 <horribleprogram> :P
2023-06-29 17:39:03 +0000 <APic> horribleprogram: So for what do You need it?
2023-06-29 17:39:06 +0000 <jade[m]> horribleprogram: no worries ^^
2023-06-29 17:39:12 +0000 <horribleprogram> lol just playing
2023-06-29 17:39:13 +0000smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-29 17:39:23 +0000 <APic> So You do not really need it at all ;=P
2023-06-29 17:39:34 +0000 <horribleprogram> I do
2023-06-29 17:39:35 +0000 <EvanR> let e = exp 1 in _
2023-06-29 17:40:00 +0000 <horribleprogram> > cos pi/2
2023-06-29 17:40:02 +0000 <lambdabot> -0.5
2023-06-29 17:40:07 +0000 <EvanR> > cos (pi/2)
2023-06-29 17:40:09 +0000 <lambdabot> 6.123233995736766e-17
2023-06-29 17:40:11 +0000 <horribleprogram> ahh kk
2023-06-29 17:40:18 +0000 <EvanR> > cos (pi/2) :: CReal
2023-06-29 17:40:20 +0000 <lambdabot> 0.0
2023-06-29 17:40:24 +0000 <horribleprogram> so the "function" call has higher precedence
2023-06-29 17:40:24 +0000 <EvanR> \o/
2023-06-29 17:40:30 +0000 <EvanR> yes
2023-06-29 17:40:32 +0000 <horribleprogram> than what
2023-06-29 17:40:34 +0000 <horribleprogram> everything?
2023-06-29 17:40:47 +0000 <ski> basically
2023-06-29 17:40:49 +0000 <EvanR> basically. Update syntax is higher?
2023-06-29 17:40:50 +0000 <jade[m]> yes, here specifically higher than /
2023-06-29 17:41:02 +0000waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds)
2023-06-29 17:41:07 +0000 <horribleprogram> okay that's cool I think
2023-06-29 17:41:09 +0000 <mauke> record update syntax > function application > infix operators
2023-06-29 17:41:21 +0000 <horribleprogram> what's record update
2023-06-29 17:41:24 +0000 <horribleprogram> . ?
2023-06-29 17:41:37 +0000 <mauke> expr { field = value }
2023-06-29 17:41:44 +0000 <horribleprogram> what's that
2023-06-29 17:41:50 +0000 <horribleprogram> use it in an example
2023-06-29 17:41:54 +0000 <EvanR> myEmployee { name = reverse (name myEmployee) }
2023-06-29 17:42:02 +0000 <horribleprogram> that's an expression?
2023-06-29 17:42:05 +0000 <EvanR> yeah
2023-06-29 17:42:08 +0000 <horribleprogram> ahh cool
2023-06-29 17:42:29 +0000 <ski> > (Node {rootLabel = 0,subForest = []}) {rootLabel = 1}
2023-06-29 17:42:31 +0000 <lambdabot> Node {rootLabel = 1, subForest = []}
2023-06-29 17:42:31 +0000 <horribleprogram> tysm guys :)
2023-06-29 17:42:52 +0000 <ski> > Node {rootLabel = 0,subForest = []} {rootLabel = 1} -- guess this works, too
2023-06-29 17:42:53 +0000 <lambdabot> Node {rootLabel = 1, subForest = []}
2023-06-29 17:43:08 +0000 <EvanR> wait
2023-06-29 17:43:17 +0000 <EvanR> now update syntax isn't higher
2023-06-29 17:43:26 +0000 <ski> than ?
2023-06-29 17:43:35 +0000 <EvanR> Node 0 [] ?
2023-06-29 17:43:51 +0000 <ski> > Node 0 [] {rootLabel = 1}
2023-06-29 17:43:53 +0000 <lambdabot> error:
2023-06-29 17:43:53 +0000 <lambdabot> • Constructor ‘[]’ does not have field ‘rootLabel’
2023-06-29 17:43:53 +0000 <lambdabot> • In the second argument of ‘Node’, namely ‘[] {rootLabel = 1}’
2023-06-29 17:43:56 +0000 <ski> > (Node 0 []) {rootLabel = 1}
2023-06-29 17:43:57 +0000 <lambdabot> Node {rootLabel = 1, subForest = []}
2023-06-29 17:44:03 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 17:44:05 +0000 <EvanR> record construction is even higher, then
2023-06-29 17:44:14 +0000zfnmxt(~zfnmxt@user/zfnmxt) (Server closed connection)
2023-06-29 17:44:18 +0000 <ski> or same, by left-associative ..
2023-06-29 17:44:30 +0000zfnmxt(~zfnmxt@user/zfnmxt)
2023-06-29 17:44:35 +0000 <ski> > Node {rootLabel = 0,subForest = []} {rootLabel = 1} {rootLabel = 2}
2023-06-29 17:44:37 +0000 <lambdabot> Node {rootLabel = 2, subForest = []}
2023-06-29 17:45:35 +0000 <dolio> I never thought of doing that.
2023-06-29 17:46:12 +0000 <ncf> is there any use for that
2023-06-29 17:46:49 +0000 <EvanR> > Node {} {rootLabel = 1} {subForest = []}
2023-06-29 17:46:51 +0000 <lambdabot> Node {rootLabel = 1, subForest = []}
2023-06-29 17:47:13 +0000 <EvanR> in case your comma key is broken
2023-06-29 17:47:36 +0000 <ski> perhaps some people could prefer breaking that over multiple lines
2023-06-29 17:47:37 +0000 <jade[m]> or if you like curly brackets very much
2023-06-29 17:48:04 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 17:48:15 +0000 <ski> (the `Show' instance also ought not generate a space after the comma, imho ..)
2023-06-29 17:49:00 +0000ripspin(~chatzilla@1.145.174.152) (Remote host closed the connection)
2023-06-29 17:49:08 +0000 <ski> .. quite often, if i define a data type using record syntax, i hand-write the `Show' instance to not use record syntax
2023-06-29 17:49:25 +0000 <ncf> weird
2023-06-29 17:49:33 +0000 <EvanR> > read (show (Node 0 [])) :: Tree Int
2023-06-29 17:49:35 +0000 <lambdabot> Node {rootLabel = 0, subForest = []}
2023-06-29 17:49:56 +0000 <ski> much harder to read with all the labels taking up space, when outputting some largish example
2023-06-29 17:52:08 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2023-06-29 17:52:26 +0000taupiqueur(~taupiqueu@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net)
2023-06-29 17:53:22 +0000 <ski> hm, i guess the generated `Read' instance insist on the fields coming in the specified order
2023-06-29 17:53:35 +0000ubert(~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227) (Quit: ubert)
2023-06-29 17:53:44 +0000 <horribleprogram> is github http site down for y'all
2023-06-29 17:53:47 +0000ubert1(~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227)
2023-06-29 17:54:12 +0000 <bontaq> yep
2023-06-29 17:54:17 +0000 <EvanR> > read "Node {subForest = [], rootLabel = 0}" :: Tree Int
2023-06-29 17:54:19 +0000 <lambdabot> *Exception: Prelude.read: no parse
2023-06-29 17:54:24 +0000 <EvanR> > read "Node 0 []" :: Tree Int
2023-06-29 17:54:26 +0000 <lambdabot> *Exception: Prelude.read: no parse
2023-06-29 17:54:27 +0000gmg(~user@user/gehmehgeh)
2023-06-29 17:54:31 +0000 <bontaq> that's a wrap for programming folks, no more github
2023-06-29 17:54:40 +0000skinods to EvanR
2023-06-29 17:54:43 +0000 <EvanR> switching to mercurial
2023-06-29 17:55:25 +0000 <ski> > (reads :: ReadS (Tree Int)) "((((Node {rootLabel = (((0))),subForest = (([]))}))))"
2023-06-29 17:55:26 +0000 <lambdabot> [(Node {rootLabel = 0, subForest = []},"")]
2023-06-29 17:55:30 +0000trev(~trev@user/trev) (Ping timeout: 240 seconds)
2023-06-29 17:56:05 +0000ubert1ubert
2023-06-29 17:56:07 +0000ubert(~Thunderbi@2a02:8109:abc0:6434:43b5:1494:91c2:8227) (Remote host closed the connection)
2023-06-29 17:57:26 +0000trev(~trev@user/trev)
2023-06-29 17:58:22 +0000Pickchea(~private@user/pickchea)
2023-06-29 18:00:00 +0000hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-06-29 18:00:18 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-06-29 18:02:26 +0000bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-06-29 18:03:29 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-06-29 18:05:11 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-06-29 18:05:16 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-06-29 18:05:51 +0000tstat(~tstat@user/tstat)
2023-06-29 18:07:18 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection)
2023-06-29 18:08:35 +0000aforemny_(~aforemny@2001:9e8:6ce1:ec00:6039:a39e:f39c:a2fa)
2023-06-29 18:08:42 +0000nick__(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 250 seconds)
2023-06-29 18:09:00 +0000aforemny(~aforemny@2001:9e8:6cdf:c700:d241:1189:f347:9ddf) (Ping timeout: 240 seconds)
2023-06-29 18:10:04 +0000gmg(~user@user/gehmehgeh)
2023-06-29 18:17:09 +0000czy(~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Read error: Connection reset by peer)
2023-06-29 18:17:14 +0000hugo-(znc@verdigris.lysator.liu.se)
2023-06-29 18:19:04 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 18:20:36 +0000horribleprogram(~user@user/horribleprogram) (Remote host closed the connection)
2023-06-29 18:24:41 +0000thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-29 18:35:53 +0000ai5lk(~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8)
2023-06-29 18:37:58 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2023-06-29 18:38:28 +0000`2jt(~jtomas@90.162.208.36)
2023-06-29 18:44:24 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-06-29 18:45:19 +0000alexherbo2(~alexherbo@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net)
2023-06-29 18:49:03 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2023-06-29 18:49:58 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 18:51:20 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-29 18:53:26 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 18:56:13 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-06-29 18:56:50 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Remote host closed the connection)
2023-06-29 18:59:24 +0000chromoblob(~user@37.113.180.121) (Ping timeout: 250 seconds)
2023-06-29 19:01:00 +0000thegeekinside(~thegeekin@189.217.90.138) (Remote host closed the connection)
2023-06-29 19:01:16 +0000chromoblob(~user@37.113.180.121)
2023-06-29 19:04:12 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-06-29 19:07:20 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-29 19:07:24 +0000 <zzz> is there a way to auto update a cabal file with the output of `cabal gen-bounds`?
2023-06-29 19:09:58 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-29 19:09:59 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-29 19:09:59 +0000wroathe(~wroathe@user/wroathe)
2023-06-29 19:10:24 +0000ft(~ft@p508db151.dip0.t-ipconnect.de)
2023-06-29 19:14:09 +0000koolazer(~koo@user/koolazer)
2023-06-29 19:15:06 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 252 seconds)
2023-06-29 19:15:29 +0000jtomas(~jtomas@90.162.208.36)
2023-06-29 19:17:59 +0000`2jt(~jtomas@90.162.208.36) (Ping timeout: 240 seconds)
2023-06-29 19:18:08 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 19:19:11 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-06-29 19:20:29 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-06-29 19:20:44 +0000nicm[m](~nicmollel@2001:470:69fc:105::1:feeb) (Server closed connection)
2023-06-29 19:21:48 +0000nicm[m](~nicmollel@2001:470:69fc:105::1:feeb)
2023-06-29 19:22:06 +0000 <zzz> and which versioning system does hackage use?
2023-06-29 19:24:45 +0000pavonia(~user@user/siracusa)
2023-06-29 19:25:24 +0000 <ncf> https://pvp.haskell.org/
2023-06-29 19:25:30 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-06-29 19:25:43 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 19:27:06 +0000 <zzz> ncf: ty
2023-06-29 19:30:10 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-06-29 19:31:56 +0000trev(~trev@user/trev) (Quit: trev)
2023-06-29 19:32:13 +0000titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-06-29 19:34:22 +0000`2jt(~jtomas@90.162.208.70)
2023-06-29 19:35:04 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 19:35:55 +0000jtomas(~jtomas@90.162.208.36) (Ping timeout: 245 seconds)
2023-06-29 19:44:02 +0000`2jt(~jtomas@90.162.208.70) (Ping timeout: 250 seconds)
2023-06-29 19:45:46 +0000rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca)
2023-06-29 19:45:52 +0000PhraKtured(~Ryen@r74-192-106-240.tyrdcmta01.tylrtx.tl.dh.suddenlink.net)
2023-06-29 19:47:45 +0000`2jt(~jtomas@90.162.208.36)
2023-06-29 19:47:48 +0000Pickchea(~private@user/pickchea)
2023-06-29 19:54:15 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 19:57:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 20:01:30 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds)
2023-06-29 20:02:40 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-06-29 20:07:24 +0000ubert(~Thunderbi@p200300ecdf0b57478c252161be27b3d5.dip0.t-ipconnect.de)
2023-06-29 20:10:56 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 20:14:16 +0000byte(~byte@user/byte)
2023-06-29 20:14:18 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds)
2023-06-29 20:15:10 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-06-29 20:15:21 +0000acidjnk(~acidjnk@p200300d6e7072f14f48f6a8796b8fa8e.dip0.t-ipconnect.de)
2023-06-29 20:16:58 +0000CAT_S(apic@brezn3.muc.ccc.de) (Ping timeout: 250 seconds)
2023-06-29 20:20:59 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 20:21:18 +0000coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-06-29 20:23:11 +0000alexherbo2(~alexherbo@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net) (Remote host closed the connection)
2023-06-29 20:24:46 +0000`2jt(~jtomas@90.162.208.36) (Ping timeout: 250 seconds)
2023-06-29 20:28:22 +0000user363627(~user@188.241.176.239) (Quit: Konversation terminated!)
2023-06-29 20:28:40 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds)
2023-06-29 20:30:05 +0000reach_(~reach@2605:8d80:682:c6e7:9c4f:f755:3eb0:2e1e)
2023-06-29 20:33:52 +0000reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds)
2023-06-29 20:34:22 +0000CAT_S(apic@brezn3.muc.ccc.de)
2023-06-29 20:36:20 +0000byte(~byte@user/byte) (Ping timeout: 245 seconds)
2023-06-29 20:36:20 +0000reach_(~reach@2605:8d80:682:c6e7:9c4f:f755:3eb0:2e1e) (Read error: Connection reset by peer)
2023-06-29 20:36:38 +0000reach_(~reach@2605:8d80:681:5d9a:756f:be19:faa1:da7c)
2023-06-29 20:36:44 +0000 <byorgey> I'm getting sick of Wordpress and want to switch to a different blogging platform. Any good recommendations? I'm comfortable with hakyll but I also don't want to build Yet Another Blog Generator from scratch.
2023-06-29 20:38:42 +0000 <Clint> what's missing from hakyll?
2023-06-29 20:41:01 +0000 <jade[m]> heh im building something like that right now
2023-06-29 20:46:25 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-29 20:46:56 +0000`2jt(~jtomas@90.162.208.36)
2023-06-29 20:47:48 +0000reach_(~reach@2605:8d80:681:5d9a:756f:be19:faa1:da7c) (Read error: Connection reset by peer)
2023-06-29 20:49:10 +0000reach_(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 20:50:41 +0000 <jean-paul[m]> https://github.com/haskell-servant/servant/blob/v0.19/servant-foreign/servant-foreign.cabal is from the "v0.19" tag (presumably a release tag), the version in the cabal file is 0.15.4, the servant dependency is `>=0.18 && <0.19`, the hackage metadata for 0.15.4 says the servant dependency is `>=0.18 && <0.20`. aaaaaaaaargh?
2023-06-29 20:50:52 +0000 <jean-paul[m]> is going insane a necessary pre-req for computing a compatible package set?
2023-06-29 20:52:02 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 20:53:50 +0000`2jt(~jtomas@90.162.208.36) (Ping timeout: 245 seconds)
2023-06-29 20:53:56 +0000_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-06-29 20:54:52 +0000 <geekosaur> jean-paul[m], that usually means someone requested that a hackage trustee make a metadata revision
2023-06-29 20:55:55 +0000reach_(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds)
2023-06-29 20:57:12 +0000 <jean-paul[m]> is it normal for the source tarball from hackage to include different metadata than hackage renders on the ui?
2023-06-29 20:57:29 +0000bratwurst(~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 240 seconds)
2023-06-29 20:57:30 +0000 <int-e> https://hackage.haskell.org/package/servant-foreign-0.15.4/revisions/ ...or one of the package maintainers
2023-06-29 20:57:35 +0000 <jean-paul[m]> the source tarball hackage serves agrees with the upstream repo and disagrees with metadata in the hackage ui :/
2023-06-29 20:57:54 +0000 <int-e> (-r1 is where that particular dependency was bumped)
2023-06-29 20:57:55 +0000 <geekosaur> yes
2023-06-29 20:58:49 +0000 <geekosaur> hackage is read only; metadata updates do not change tarballs, they are appended to the index
2023-06-29 20:59:20 +0000 <jean-paul[m]> I don't see how this is useful. Doesn't it mean picking packages from hackage metadata will lead you to getting source that doesn't actually satisfy your version requirements and gives you a build failure?
2023-06-29 20:59:28 +0000 <int-e> jean-paul[m]: But if you look at the files in `cabal unpack <package>` you'll find that `cabal` replaces the .cabal file, unless you specify --pristine
2023-06-29 20:59:45 +0000 <geekosaur> it means you can set your index state to an earlier time and actually get that earlier time
2023-06-29 21:00:32 +0000 <jean-paul[m]> Hm
2023-06-29 21:00:38 +0000 <int-e> it's a mixed blessing
2023-06-29 21:00:57 +0000 <jean-paul[m]> Maybe the nix Haskell tooling doesn't have this feature
2023-06-29 21:01:21 +0000 <int-e> pro: you can bump dependencies without polluting hackage with even more releases (and it allows hackage trustees to bypass maintainers to a small extent)
2023-06-29 21:01:49 +0000 <int-e> but it makes it hard to get an authorative source code for a particular version of a package
2023-06-29 21:02:25 +0000 <int-e> Revisions also sometimes break previously working builds, which is annoying.
2023-06-29 21:04:46 +0000reach_(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-06-29 21:10:02 +0000aforemny(~aforemny@i59F516C9.versanet.de)
2023-06-29 21:11:00 +0000aforemny_(~aforemny@2001:9e8:6ce1:ec00:6039:a39e:f39c:a2fa) (Ping timeout: 240 seconds)
2023-06-29 21:11:56 +0000thegeekinside(~thegeekin@189.217.90.138) (Remote host closed the connection)
2023-06-29 21:12:31 +0000thegeekinside(~thegeekin@189.217.90.138)
2023-06-29 21:12:38 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-06-29 21:13:34 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-29 21:14:30 +0000aforemny(~aforemny@i59F516C9.versanet.de) (Ping timeout: 260 seconds)
2023-06-29 21:14:52 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-06-29 21:15:20 +0000reach__(~reach@2605:8d80:680:ee3e:3ce3:91a6:feee:5bba)
2023-06-29 21:16:23 +0000aforemny(~aforemny@i59F516EC.versanet.de)
2023-06-29 21:16:51 +0000thegeekinside(~thegeekin@189.217.90.138) (Read error: Connection reset by peer)
2023-06-29 21:18:35 +0000sunarch(~sunarch@user/sunarch) (Ping timeout: 264 seconds)
2023-06-29 21:18:58 +0000taupiqueur(~taupiqueu@2a02-8440-7215-d789-5022-2f24-075e-2df2.rev.sfr.net) (Quit: WeeChat 3.8)
2023-06-29 21:18:59 +0000reach_(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds)
2023-06-29 21:20:03 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 21:21:29 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-06-29 21:22:42 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
2023-06-29 21:23:05 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 21:23:22 +0000aforemny(~aforemny@i59F516EC.versanet.de) (Ping timeout: 260 seconds)
2023-06-29 21:23:25 +0000aforemny_(~aforemny@i59F516D4.versanet.de)
2023-06-29 21:24:41 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-29 21:24:41 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-29 21:24:41 +0000wroathe(~wroathe@user/wroathe)
2023-06-29 21:26:38 +0000nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-06-29 21:26:44 +0000aforemny(~aforemny@2001:9e8:6ce3:6c00:71fe:14b6:e842:6b65)
2023-06-29 21:28:02 +0000aforemny_(~aforemny@i59F516D4.versanet.de) (Ping timeout: 260 seconds)
2023-06-29 21:29:20 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-06-29 21:29:40 +0000ubert(~Thunderbi@p200300ecdf0b57478c252161be27b3d5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-06-29 21:30:09 +0000ubert(~Thunderbi@p548c89d1.dip0.t-ipconnect.de)
2023-06-29 21:30:43 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-29 21:30:59 +0000aforemny(~aforemny@2001:9e8:6ce3:6c00:71fe:14b6:e842:6b65) (Ping timeout: 240 seconds)
2023-06-29 21:31:02 +0000sunarch(~sunarch@user/sunarch)
2023-06-29 21:31:19 +0000aforemny(~aforemny@2001:9e8:6ce3:7600:6554:79c8:69a:202b)
2023-06-29 21:34:06 +0000reach__(~reach@2605:8d80:680:ee3e:3ce3:91a6:feee:5bba) (Read error: Connection reset by peer)
2023-06-29 21:34:59 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-06-29 21:35:30 +0000aforemny(~aforemny@2001:9e8:6ce3:7600:6554:79c8:69a:202b) (Ping timeout: 240 seconds)
2023-06-29 21:38:15 +0000aforemny(~aforemny@i59F516C4.versanet.de)
2023-06-29 21:44:41 +0000 <nyc> What do I do when I need to patch a dependency in a package built with cabal?
2023-06-29 21:47:35 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-06-29 21:48:29 +0000 <geekosaur> vendor it using a cabal.project file?
2023-06-29 21:51:54 +0000nacho(~nacho@181.46.138.68)
2023-06-29 21:52:17 +0000nachoGuest9338
2023-06-29 21:52:34 +0000Guest9338(~nacho@181.46.138.68) (Client Quit)
2023-06-29 21:55:00 +0000 <nyc> geekosaur: I'm not sure what that means.
2023-06-29 21:55:18 +0000j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-06-29 21:55:24 +0000 <geekosaur> I'm not really sure what you mean
2023-06-29 21:55:42 +0000wroathe(~wroathe@50.205.197.50)
2023-06-29 21:55:42 +0000wroathe(~wroathe@50.205.197.50) (Changing host)
2023-06-29 21:55:42 +0000wroathe(~wroathe@user/wroathe)
2023-06-29 21:56:08 +0000 <nyc> A code change in the codebase I'm working on needs a change in a package it depends on.
2023-06-29 21:56:37 +0000fendor(~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection)
2023-06-29 21:57:51 +0000 <geekosaur> https://github.com/geekosaur/xmonad.hs/blob/skkukuk/cabal.project is how I do xmonad development; my config is cabalized and I vendor the dependencies I work on/with. I may have different patches going in different branches
2023-06-29 21:58:28 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-06-29 21:58:44 +0000 <nyc> geekosaur: What does vendoring the dependencies mean?
2023-06-29 21:58:56 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 21:59:13 +0000 <geekosaur> … I thought that was standard terminology; is it not?
2023-06-29 22:00:31 +0000 <j4cc3b> can haskell mode for emacs suggest type annotations for functions?
2023-06-29 22:00:41 +0000 <nyc> geekosaur: How does one vendor dependencies?
2023-06-29 22:00:45 +0000 <hpc> nyc: https://stackoverflow.com/questions/26217488/what-is-vendoring#39643873 (you might want to follow the links throughout that thread too)
2023-06-29 22:00:46 +0000 <geekosaur> there is no way to tell either cabal or stack "build this dependency but apply a patch to it first"; you have to unpack it and apply the patch yourself, then supply it via stack's extra-deps or cabal's packages
2023-06-29 22:01:42 +0000 <hpc> nyc: have you already ruled out getting the patch applied upstream?
2023-06-29 22:02:26 +0000 <EvanR> vendor = the poor soul who has modified a library and is using a rogue version in their work?
2023-06-29 22:03:00 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds)
2023-06-29 22:03:08 +0000 <EvanR> the name of a directory that this poor soul sees in their project now
2023-06-29 22:03:12 +0000 <nyc> hpc: I haven't even gotten a chance to build test any patches.
2023-06-29 22:03:20 +0000 <hpc> ah
2023-06-29 22:04:20 +0000don_nacho(~don_nacho@181.46.138.68)
2023-06-29 22:04:47 +0000don_nacho(~don_nacho@181.46.138.68) (Client Quit)
2023-06-29 22:05:46 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net)
2023-06-29 22:06:53 +0000michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2023-06-29 22:15:05 +0000hueso(~root@user/hueso) (Quit: No Ping reply in 210 seconds.)
2023-06-29 22:15:14 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal)
2023-06-29 22:15:16 +0000hueso(~root@user/hueso)
2023-06-29 22:15:36 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-06-29 22:18:15 +0000 <nyc> transformers is somehow barfing on 9.6.1 without any apparent checks restricting ghc versions.
2023-06-29 22:20:55 +0000acidjnk(~acidjnk@p200300d6e7072f14f48f6a8796b8fa8e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-06-29 22:21:58 +0000 <monochrom> transformers comes with GHC and there is no reason to obtain one more copy from hackage, much less obtain one more copy from hackage and then patch it.
2023-06-29 22:23:01 +0000 <monochrom> If it is some other package that is outdated and asks for a super-old version of transformers, then just try --allow-newer
2023-06-29 22:27:30 +0000 <geekosaur> was wondering about that. I am using ghc 9.6.2 and transformers-0.6.1.0 is selected according to plan.json
2023-06-29 22:27:39 +0000czy(~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-06-29 22:28:41 +0000 <geekosaur> …with no package hash so it came with ghc, yeh
2023-06-29 22:32:53 +0000j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection)
2023-06-29 22:36:38 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-06-29 22:38:03 +0000 <nyc> Have Show instances changed in ghc base?
2023-06-29 22:39:29 +0000 <monochrom> I haven't heard of any change.
2023-06-29 22:44:34 +0000iteratee(~kyle@162.218.222.207) (Ping timeout: 260 seconds)
2023-06-29 22:45:38 +0000 <nyc> The streaming lib is tricky.
2023-06-29 22:46:17 +0000iteratee(~kyle@162.218.222.207)
2023-06-29 22:47:20 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-06-29 22:48:18 +0000misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds)
2023-06-29 22:49:11 +0000chromoblob(~user@37.113.180.121) (Ping timeout: 264 seconds)
2023-06-29 22:49:20 +0000cafkafk(~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds)
2023-06-29 22:49:53 +0000j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-06-29 22:49:57 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-06-29 22:51:41 +0000cafkafk(~cafkafk@fsf/member/cafkafk)
2023-06-29 22:54:36 +0000mrmr(~mrmr@user/mrmr) (Ping timeout: 264 seconds)
2023-06-29 22:56:19 +0000mrmr(~mrmr@user/mrmr)
2023-06-29 23:00:28 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b)
2023-06-29 23:04:40 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 245 seconds)
2023-06-29 23:04:56 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2023-06-29 23:05:57 +0000nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2023-06-29 23:09:40 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 245 seconds)
2023-06-29 23:11:52 +0000xff0x(~xff0x@178.255.149.135)
2023-06-29 23:21:50 +0000nek0(~nek0@2a01:4f8:222:2b41::12)
2023-06-29 23:24:36 +0000iteratee(~kyle@162.218.222.207) (Ping timeout: 250 seconds)
2023-06-29 23:29:38 +0000mizlan(~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Quit: mizlan)
2023-06-29 23:29:41 +0000L29Ah(~L29Ah@wikipedia/L29Ah)
2023-06-29 23:31:01 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-06-29 23:32:00 +0000iteratee(~kyle@162.218.222.207)
2023-06-29 23:32:37 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-06-29 23:34:45 +0000bratwurst(~dfadsva@2604:3d09:207f:f650::a8c)
2023-06-29 23:35:05 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
2023-06-29 23:38:01 +0000Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-06-29 23:41:19 +0000gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-06-29 23:43:50 +0000xff0x(~xff0x@178.255.149.135) (Ping timeout: 260 seconds)
2023-06-29 23:43:53 +0000mauke_(~mauke@user/mauke)
2023-06-29 23:45:30 +0000mauke(~mauke@user/mauke) (Ping timeout: 245 seconds)
2023-06-29 23:45:30 +0000mauke_mauke
2023-06-29 23:45:34 +0000xff0x(~xff0x@ai098135.d.east.v6connect.net)
2023-06-29 23:49:04 +0000jargon(~jargon@184.101.72.124)
2023-06-29 23:52:24 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-06-29 23:52:24 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-06-29 23:52:24 +0000wroathe(~wroathe@user/wroathe)