IRCBrowse

2020/11/28

2020-11-28 00:01:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 00:01:26 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 00:01:30 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-28 00:03:34 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-11-28 00:04:11 +0100Matt_P(~Matt_P@178.162.212.214) (Remote host closed the connection)
2020-11-28 00:05:01 +0100hackagenuha 0.3.0.0 - Multidimensional arrays, Linear algebra, Numerical analysis https://hackage.haskell.org/package/nuha-0.3.0.0 (jodak)
2020-11-28 00:05:29 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2020-11-28 00:05:34 +0100sakirious9(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-11-28 00:05:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-28 00:08:24 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-11-28 00:08:31 +0100valkyrie99(~whatever@cream5.com)
2020-11-28 00:09:09 +0100valkyrie99(~whatever@cream5.com) ()
2020-11-28 00:09:22 +0100hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 256 seconds)
2020-11-28 00:09:48 +0100sigstuff(eclipsed@gateway/shell/gnu/x-jfqyakfbvgumyqie)
2020-11-28 00:10:16 +0100sigstuff(eclipsed@gateway/shell/gnu/x-jfqyakfbvgumyqie) ()
2020-11-28 00:12:57 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-28 00:16:05 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-28 00:16:29 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-28 00:16:29 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2020-11-28 00:17:30 +0100hackagehocon 0.1.0.2 - Small library for typesafe's configuration specification https://hackage.haskell.org/package/hocon-0.1.0.2 (aleperaltabazas)
2020-11-28 00:17:42 +0100danso(~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
2020-11-28 00:20:16 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-28 00:21:56 +0100pfurla(~pfurla@207.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 272 seconds)
2020-11-28 00:22:00 +0100hackageweb-rep 0.7.2 - representations of a web page https://hackage.haskell.org/package/web-rep-0.7.2 (tonyday567)
2020-11-28 00:22:05 +0100adm(~adm@103.70.198.44)
2020-11-28 00:22:27 +0100gdude2002(~gdude2002@139.28.218.148)
2020-11-28 00:23:26 +0100pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-11-28 00:23:36 +0100hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2020-11-28 00:24:21 +0100alp(~alp@2a01:e0a:58b:4920:111d:eb41:658a:67b) (Ping timeout: 272 seconds)
2020-11-28 00:24:49 +0100jneira(02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 264 seconds)
2020-11-28 00:26:06 +0100benjamin-l(~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60)
2020-11-28 00:26:28 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-28 00:29:21 +0100alp(~alp@2a01:e0a:58b:4920:21b0:4426:4e8d:9570)
2020-11-28 00:29:40 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 00:30:11 +0100conal(~conal@64.71.133.70)
2020-11-28 00:31:06 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 00:32:12 +0100johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-11-28 00:32:28 +0100adm(~adm@103.70.198.44) (Ping timeout: 246 seconds)
2020-11-28 00:32:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 00:34:50 +0100carlomagno(~cararell@148.87.23.8)
2020-11-28 00:35:14 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit)
2020-11-28 00:36:23 +0100alp(~alp@2a01:e0a:58b:4920:21b0:4426:4e8d:9570) (Ping timeout: 272 seconds)
2020-11-28 00:37:09 +0100stree(~stree@50-108-97-52.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-11-28 00:37:27 +0100stree(~stree@50-108-97-52.adr01.mskg.mi.frontiernet.net)
2020-11-28 00:39:39 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 00:40:30 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-28 00:47:21 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-28 00:49:43 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-28 00:50:26 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 00:51:17 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-28 00:51:42 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it) (Remote host closed the connection)
2020-11-28 00:52:12 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-11-28 00:53:05 +0100tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-11-28 00:53:08 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e)
2020-11-28 00:56:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 00:56:39 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-28 00:56:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 00:58:25 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2020-11-28 01:01:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 01:01:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 01:01:56 +0100hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds)
2020-11-28 01:06:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 01:12:22 +0100Iceland_jack(~user@31.124.48.169) (Remote host closed the connection)
2020-11-28 01:15:23 +0100Tops21(~Tobias@dyndsl-095-033-092-087.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-11-28 01:23:22 +0100joaj(~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca)
2020-11-28 01:26:03 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-11-28 01:26:16 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845)
2020-11-28 01:28:19 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) (Ping timeout: 272 seconds)
2020-11-28 01:32:11 +0100aoeiamateuresthour
2020-11-28 01:35:13 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net)
2020-11-28 01:35:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 01:42:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 01:44:41 +0100grabz0r(~grabz0r@90-145-165-196.bbserv.nl) (Quit: WeeChat 2.7.1)
2020-11-28 01:46:33 +0100amateuresthourproscummer
2020-11-28 01:48:30 +0100hackagerrule 0.1.1 - Recurrence rule parser and formatter https://hackage.haskell.org/package/rrule-0.1.1 (MitchellVitez)
2020-11-28 01:48:37 +0100grfnglittershark
2020-11-28 01:48:45 +0100glittersharkgrfn
2020-11-28 01:55:47 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-28 01:56:16 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-28 01:56:45 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-28 01:58:47 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-28 02:03:26 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845)
2020-11-28 02:06:23 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-28 02:08:19 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-28 02:09:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-28 02:09:51 +0100conal(~conal@64.71.133.70)
2020-11-28 02:10:13 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-28 02:10:33 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-11-28 02:10:52 +0100conal(~conal@64.71.133.70)
2020-11-28 02:11:00 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-28 02:11:00 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-28 02:11:13 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-28 02:11:27 +0100conal(~conal@64.71.133.70)
2020-11-28 02:11:47 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-28 02:12:01 +0100benjamin-l(~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) (Ping timeout: 272 seconds)
2020-11-28 02:15:54 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2020-11-28 02:16:32 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 02:16:40 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection)
2020-11-28 02:16:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 02:19:30 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-28 02:20:15 +0100joaj(~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca) (Ping timeout: 272 seconds)
2020-11-28 02:20:51 +0100joaj(~joaj@2001:818:e326:8200:9fc:6bde:c18a:1771)
2020-11-28 02:22:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
2020-11-28 02:23:51 +0100vg(~vg@139.59.59.230) (Quit: vg)
2020-11-28 02:23:58 +0100proscummeraoei
2020-11-28 02:24:01 +0100vg(~vg@139.59.59.230)
2020-11-28 02:24:14 +0100hexfive(~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.)
2020-11-28 02:24:15 +0100vg(~vg@139.59.59.230) (Remote host closed the connection)
2020-11-28 02:24:27 +0100vg(~vg@139.59.59.230)
2020-11-28 02:28:12 +0100Ariakenom(~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2020-11-28 02:32:48 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-28 02:35:17 +0100urek__(~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e)
2020-11-28 02:36:13 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e)
2020-11-28 02:36:57 +0100johnw(~johnw@haskell/developer/johnw)
2020-11-28 02:38:05 +0100Lord_of_Life_(~Lord@46.217.216.13)
2020-11-28 02:38:16 +0100Lord_of_Life(~Lord@46.217.218.157) (Ping timeout: 240 seconds)
2020-11-28 02:38:37 +0100urek(~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) (Ping timeout: 272 seconds)
2020-11-28 02:39:56 +0100Varis(~Tadas@unaffiliated/varis)
2020-11-28 02:41:36 +0100hiroaki(~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2020-11-28 02:42:12 +0100conal(~conal@64.71.133.70)
2020-11-28 02:43:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 02:46:51 +0100xff0x(~fox@2001:1a81:531e:fa00:901e:6460:6691:753b) (Remote host closed the connection)
2020-11-28 02:47:07 +0100xff0x(~fox@2001:1a81:531e:fa00:d453:b25c:8bc2:3ad1)
2020-11-28 02:48:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 02:49:18 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-28 02:49:41 +0100pavonia(~user@unaffiliated/siracusa)
2020-11-28 02:51:14 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 02:52:51 +0100nkoadmin(~user@n058152193007.netvigator.com)
2020-11-28 02:56:42 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-11-28 02:58:49 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr)
2020-11-28 03:00:30 +0100hackagerollbar-client 0.1.0 - Core library to communicate with Rollbar API. https://hackage.haskell.org/package/rollbar-client-0.1.0 (sestrella)
2020-11-28 03:01:31 +0100hackagerollbar-cli 0.1.0, rollbar-yesod 0.1.0, rollbar-wai 0.1.0 (sestrella): https://qbin.io/stop-wy-dowu
2020-11-28 03:01:53 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-28 03:03:04 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-28 03:03:49 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 03:07:52 +0100triteraflops(~triterafl@host-148-170-141-28.public.eastlink.ca) (Ping timeout: 272 seconds)
2020-11-28 03:08:26 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-28 03:08:38 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-11-28 03:12:23 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-11-28 03:14:48 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-28 03:15:25 +0100lemmih_(~lemmih@2406:3003:2072:44:1ea:4f01:5a80:7f4e)
2020-11-28 03:15:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 03:16:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 03:16:47 +0100adm(~adm@103.70.198.44)
2020-11-28 03:17:13 +0100lemmih(~lemmih@58.182.145.108) (Read error: Connection reset by peer)
2020-11-28 03:22:26 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds)
2020-11-28 03:24:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 03:25:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 03:26:49 +0100rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-11-28 03:27:07 +0100renzhi(~renzhi@2607:fa49:655f:e600::28da)
2020-11-28 03:27:33 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-28 03:27:58 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-28 03:28:05 +0100rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit)
2020-11-28 03:28:39 +0100xff0x(~fox@2001:1a81:531e:fa00:d453:b25c:8bc2:3ad1) (Ping timeout: 272 seconds)
2020-11-28 03:28:54 +0100triteraflops(~triterafl@host-148-170-141-28.public.eastlink.ca)
2020-11-28 03:30:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 03:30:13 +0100m0rphism(~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds)
2020-11-28 03:30:18 +0100xff0x(~fox@2001:1a81:5212:df00:68d8:7cea:c651:3a31)
2020-11-28 03:36:47 +0100 <dsal> Wow, more people want LambdaCase than OverloadedStrings?
2020-11-28 03:37:45 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2020-11-28 03:37:52 +0100 <yushyin> I don't, I want MultiWayLambda :D
2020-11-28 03:39:04 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-28 03:44:37 +0100Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 246 seconds)
2020-11-28 03:46:02 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 03:46:44 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Client Quit)
2020-11-28 03:47:22 +0100joaj(~joaj@2001:818:e326:8200:9fc:6bde:c18a:1771) (Ping timeout: 260 seconds)
2020-11-28 03:48:54 +0100learningirc(ad3694dd@pool-173-54-148-221.nwrknj.fios.verizon.net)
2020-11-28 03:50:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-11-28 03:51:28 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 260 seconds)
2020-11-28 03:54:46 +0100 <gentauro> dsal: I want `SafeHaskell` :D
2020-11-28 03:54:48 +0100 <ryantrinkle> dsal, yushyin: how about OverloadedLambda ;)
2020-11-28 03:54:52 +0100 <gentauro> I hope it gets in :P
2020-11-28 03:55:20 +0100gentauroit would probably break 99% of all packages in Haskell xD
2020-11-28 03:55:24 +0100Ariakenom_(~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-28 03:56:37 +0100 <dolio> Gets in what?
2020-11-28 03:56:47 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-28 03:57:30 +0100 <yushyin> GHC202X
2020-11-28 03:58:05 +0100 <dolio> Well, then it wouldn't break any packages, because 0% of them are using GHC202X.
2020-11-28 03:58:18 +0100 <yushyin> :)
2020-11-28 03:59:26 +0100tlaxkit(~kvirc@185.228.155.198) (Ping timeout: 256 seconds)
2020-11-28 03:59:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 04:00:05 +0100 <yushyin> https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-ghc2021.rst there it is
2020-11-28 04:00:13 +0100adm(~adm@103.70.198.44) (Ping timeout: 256 seconds)
2020-11-28 04:00:32 +0100 <dolio> LambdaCase is way more obvious to add to that than OverloadedStrings, too, because there are few downsides if you just don't use lambda cases.
2020-11-28 04:00:46 +0100 <dolio> Whereas overloaded strings can require you to annotate your strings in some cases.
2020-11-28 04:01:09 +0100Deide(~Deide@217.155.19.23)
2020-11-28 04:01:20 +0100 <dolio> So the latter could end up being a nuisance when on by default.
2020-11-28 04:01:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2020-11-28 04:02:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 04:02:47 +0100 <dsal> -XDangerHaskell
2020-11-28 04:03:02 +0100 <ryantrinkle> awwwww: > "asdf"@Text
2020-11-28 04:03:02 +0100 <ryantrinkle> <interactive>:8:1: error: Cannot apply expression of type ‘p0’ to a visible type argument ‘Text’
2020-11-28 04:03:08 +0100 <ryantrinkle> sad that syntax doesn't work
2020-11-28 04:04:02 +0100 <ryantrinkle> (i was hoping it'd function like :: but binding as tightly as posible instead of as loosely as possible)
2020-11-28 04:06:43 +0100 <yushyin> id @Text "asdf"
2020-11-28 04:06:47 +0100 <yushyin> :D
2020-11-28 04:09:03 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-11-28 04:09:42 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2020-11-28 04:11:52 +0100 <ryantrinkle> yushyin: nice :)
2020-11-28 04:13:45 +0100tlaxkit(~kvirc@185.228.155.198)
2020-11-28 04:15:47 +0100tlaxkit(~kvirc@185.228.155.198) (Client Quit)
2020-11-28 04:16:00 +0100Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2020-11-28 04:16:09 +0100operand(~operand@is.altijd.moe) (Ping timeout: 272 seconds)
2020-11-28 04:16:19 +0100urek(~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e)
2020-11-28 04:16:21 +0100Feuermagier(~Feuermagi@213.178.26.41)
2020-11-28 04:16:25 +0100Randy(randy@freebsd/user/randy) (Read error: Connection reset by peer)
2020-11-28 04:16:35 +0100urek__(~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) (Remote host closed the connection)
2020-11-28 04:16:36 +0100sqrt2(~ben@unaffiliated/sqrt2) (Remote host closed the connection)
2020-11-28 04:16:42 +0100`slikts(~nelabs@wikipedia/reinis) (Read error: Connection reset by peer)
2020-11-28 04:16:45 +0100kkd(~memxor@unaffiliated/kartikeya) (Read error: Connection reset by peer)
2020-11-28 04:16:47 +0100lisq(~quassel@lis.moe) (Remote host closed the connection)
2020-11-28 04:16:47 +0100sqrt2(~ben@unaffiliated/sqrt2)
2020-11-28 04:16:49 +0100dexterlb(~dexterlb@2a01:9e40:2:2::2) (Quit: No Ping reply in 180 seconds.)
2020-11-28 04:16:58 +0100kkd(~memxor@2400:8902::f03c:92ff:feac:6d1)
2020-11-28 04:16:58 +0100kkd(~memxor@2400:8902::f03c:92ff:feac:6d1) (Changing host)
2020-11-28 04:16:58 +0100kkd(~memxor@unaffiliated/kartikeya)
2020-11-28 04:17:01 +0100 <dolio> Need to get augustss' (::Text) thing.
2020-11-28 04:17:25 +0100gaze__(sid387101@gateway/web/irccloud.com/x-rtnygntjgchhvjnx) (Ping timeout: 272 seconds)
2020-11-28 04:17:25 +0100cawfee(chiya@2406:3003:2077:2341::babe) (Ping timeout: 272 seconds)
2020-11-28 04:17:25 +0100noecho(~noecho@2a01:4f8:1c0c:80ee::4223) (Ping timeout: 272 seconds)
2020-11-28 04:17:34 +0100TheScoop(~TheScoop@unaffiliated/tryte) (Read error: Connection reset by peer)
2020-11-28 04:17:38 +0100TheScoop_(~TheScoop@unaffiliated/tryte)
2020-11-28 04:17:48 +0100`slikts(~nelabs@2a00:d880:5:395::37ca)
2020-11-28 04:17:48 +0100`slikts(~nelabs@2a00:d880:5:395::37ca) (Changing host)
2020-11-28 04:17:48 +0100`slikts(~nelabs@wikipedia/reinis)
2020-11-28 04:17:49 +0100operand(~operand@is.altijd.moe)
2020-11-28 04:17:56 +0100lisq(~quassel@lis.moe)
2020-11-28 04:18:07 +0100dexterlb(~dexterlb@2a01:9e40:2:2::2)
2020-11-28 04:18:08 +0100gaze__(sid387101@gateway/web/irccloud.com/x-ydjmiyqfbpsxuqlr)
2020-11-28 04:18:37 +0100noecho(~noecho@static.143.42.203.116.clients.your-server.de)
2020-11-28 04:19:02 +0100Randy(randy@freebsd/user/randy)
2020-11-28 04:20:23 +0100 <gentauro> everytime I see GHC202X I'm remember this tweet -> https://twitter.com/edwinbrady/status/1163816732902883329
2020-11-28 04:20:26 +0100 <gentauro> xD
2020-11-28 04:22:33 +0100cawfee(chiya@2406:3003:2077:2341::babe)
2020-11-28 04:23:32 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-28 04:23:42 +0100monochromprefers: OverlordLambda
2020-11-28 04:24:02 +0100renzhi(~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 264 seconds)
2020-11-28 04:24:14 +0100 <monochrom> Like, OverlordStrings? Puff :)
2020-11-28 04:24:33 +0100conal(~conal@64.71.133.70)
2020-11-28 04:24:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 04:24:39 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-28 04:24:59 +0100 <dolio> Is that what TCL has?
2020-11-28 04:25:24 +0100learningirc(ad3694dd@pool-173-54-148-221.nwrknj.fios.verizon.net) (Remote host closed the connection)
2020-11-28 04:25:25 +0100conal(~conal@64.71.133.70)
2020-11-28 04:25:26 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-28 04:26:21 +0100adm(~adm@103.70.198.44)
2020-11-28 04:27:08 +0100Jeanne-Kamikaze(~Jeanne-Ka@iakosalt-94.nationalnet.com) (Remote host closed the connection)
2020-11-28 04:27:47 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 04:28:13 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 04:29:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 04:30:40 +0100bthom(~thomas_07@2601:184:4700:b89:abdc:f6d7:f8b7:16e2)
2020-11-28 04:32:42 +0100drbean(~drbean@TC210-63-209-146.static.apol.com.tw)
2020-11-28 04:32:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 04:34:37 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2020-11-28 04:38:30 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (adams.freenode.net (Nickname regained by services)))
2020-11-28 04:38:35 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-11-28 04:41:58 +0100theDon(~td@muedsl-82-207-238-051.citykom.de) (Ping timeout: 260 seconds)
2020-11-28 04:43:45 +0100theDon(~td@muedsl-82-207-238-090.citykom.de)
2020-11-28 04:43:58 +0100solonarv(~solonarv@anancy-651-1-197-136.w109-217.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-11-28 04:44:36 +0100Martin__(~Martin@pool-100-38-133-80.nycmny.fios.verizon.net)
2020-11-28 04:46:08 +0100 <gentauro> why can't both OverlordLambda and OverlordStrings be added?
2020-11-28 04:46:17 +0100 <gentauro> I mean, they aren't mutual exclusive …
2020-11-28 04:46:53 +0100adm(~adm@103.70.198.44) (Ping timeout: 260 seconds)
2020-11-28 04:47:36 +0100bitmagie(~Thunderbi@200116b806d962006448e25d65160c0f.dip.versatel-1u1.de)
2020-11-28 04:48:41 +0100 <koz_> {-# LANGUAGE OverloadAllOfTheThings #-}
2020-11-28 04:49:18 +0100adm(~adm@103.70.198.44)
2020-11-28 04:49:38 +0100bitmagie(~Thunderbi@200116b806d962006448e25d65160c0f.dip.versatel-1u1.de) (Client Quit)
2020-11-28 04:52:22 +0100Martin__(~Martin@pool-100-38-133-80.nycmny.fios.verizon.net) (Quit: Leaving)
2020-11-28 04:54:16 +0100adm(~adm@103.70.198.44) (Ping timeout: 272 seconds)
2020-11-28 04:55:13 +0100 <gentauro> I'm still guessing when GHC202X would be usefull
2020-11-28 04:55:20 +0100 <gentauro> I can't find a scenario xD
2020-11-28 04:57:58 +0100 <pavonia> Is OverlordLambda the final boss of a Haskell video game?
2020-11-28 04:58:02 +0100 <ryantrinkle> gentauro: well, the hard part about OverloadedLambda is that it doesn't exist (yet/afaik) http://conal.net/blog/posts/overloading-lambda
2020-11-28 04:58:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 04:59:00 +0100 <ryantrinkle> implemented here: https://github.com/conal/concat
2020-11-28 04:59:11 +0100 <ryantrinkle> i haven't looked at how well it works lately, though
2020-11-28 04:59:16 +0100 <gentauro> ryantrinkle: so it's a M$ thing? It only exists in a PowerPoint until customers buy it? :o
2020-11-28 04:59:29 +0100 <ryantrinkle> hahahaha lazy software development ;)
2020-11-28 05:00:54 +0100 <gentauro> more like `Snake oil` sales gimic ;)
2020-11-28 05:02:27 +0100 <ryantrinkle> yeah i guess it doesn't count as lazy evaluation if the thing you ultimately deliver is still wrong
2020-11-28 05:02:46 +0100adm(~adm@103.70.198.44)
2020-11-28 05:02:58 +0100 <gentauro> or just doesn't exist xD
2020-11-28 05:03:34 +0100 <gentauro> if Haskell ever becomes that popular that all the `douchy` M$ employees will move over. Just imagine that?
2020-11-28 05:03:37 +0100 <gentauro> :|
2020-11-28 05:06:56 +0100darjeeling_(~darjeelin@122.245.217.23) (Ping timeout: 256 seconds)
2020-11-28 05:10:43 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-28 05:11:03 +0100adm(~adm@103.70.198.44) (Remote host closed the connection)
2020-11-28 05:11:16 +0100MrSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-28 05:12:23 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-11-28 05:15:46 +0100urek__(~urek@2804:7f1:e10a:5ac1:ec39:fe28:6c4f:d108)
2020-11-28 05:17:12 +0100urek(~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) (Ping timeout: 260 seconds)
2020-11-28 05:19:49 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-11-28 05:22:18 +0100wei2912(~wei2912@unaffiliated/wei2912)
2020-11-28 05:22:42 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-11-28 05:23:20 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-28 05:24:25 +0100darjeeling_(~darjeelin@122.245.217.23)
2020-11-28 05:26:22 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-28 05:26:41 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-28 05:29:32 +0100tsn(b1234d0e@177.35.77.14)
2020-11-28 05:30:41 +0100 <monochrom> dolio: Yeah, I thought of tcl too :)
2020-11-28 05:31:06 +0100 <monochrom> pavonia: Lambda the Ultimate Level Boss by Guy Steele or something :)
2020-11-28 05:31:43 +0100adm(~adm@103.70.198.44)
2020-11-28 05:32:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-28 05:33:18 +0100 <monochrom> Actually if you Google for "lambda the ultimate imperator" you'll get very good results :)
2020-11-28 05:33:33 +0100nullheroes(~danielvu@168.235.66.22) (Quit: WeeChat 2.9)
2020-11-28 05:34:17 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th)
2020-11-28 05:35:39 +0100toorevitimirp(~tooreviti@117.182.183.18)
2020-11-28 05:35:39 +0100toorevitimirp(~tooreviti@117.182.183.18) (Remote host closed the connection)
2020-11-28 05:35:59 +0100toorevitimirp(~tooreviti@117.182.183.18)
2020-11-28 05:36:56 +0100adm(~adm@103.70.198.44) (Ping timeout: 240 seconds)
2020-11-28 05:38:30 +0100Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-28 05:40:01 +0100nkoadmin(~user@n058152193007.netvigator.com) (Remote host closed the connection)
2020-11-28 05:40:25 +0100dyeplexer(~lol@unaffiliated/terpin)
2020-11-28 05:40:42 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 05:41:15 +0100adm(~adm@103.70.198.44)
2020-11-28 05:46:19 +0100nullheroes(~danielvu@168.235.66.22)
2020-11-28 05:46:23 +0100 <ezzieyguywuf> how do I add a package to ghci? i.e. cassava so that I can import Data.Csv
2020-11-28 05:48:50 +0100adm(~adm@103.70.198.44) (Remote host closed the connection)
2020-11-28 05:49:33 +0100adm(~adm@103.70.198.44)
2020-11-28 05:52:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-11-28 05:53:36 +0100adm(~adm@103.70.198.44) (Ping timeout: 240 seconds)
2020-11-28 05:53:52 +0100urek__(~urek@2804:7f1:e10a:5ac1:ec39:fe28:6c4f:d108) (Quit: urek__)
2020-11-28 05:53:55 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-11-28 05:55:33 +0100aoeiproscummer
2020-11-28 05:57:08 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-28 05:57:28 +0100mozzarella(~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds)
2020-11-28 05:58:55 +0100 <glguy> ezzieyguywuf, either add it to your packages' .cabal file and 'cabal repl' or for a standalone repl do: 'cabal repl --build-dep casava'
2020-11-28 05:59:11 +0100mozzarella(~sam@unaffiliated/sam113101)
2020-11-28 05:59:11 +0100 <glguy> cabal repl --build-dep cassava 8
2020-11-28 05:59:27 +0100 <glguy> (two "s"s)
2020-11-28 06:00:54 +0100 <gentauro> ok. this website is nicely done. I wish I had UI/UX skills :( https://www.srid.ca/
2020-11-28 06:04:10 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds)
2020-11-28 06:05:52 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 06:05:53 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-28 06:06:49 +0100Tario(~Tario@201.192.165.173)
2020-11-28 06:08:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 06:09:20 +0100 <ezzieyguywuf> glguy: thanks!
2020-11-28 06:13:00 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-28 06:13:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-28 06:15:19 +0100tsn(b1234d0e@177.35.77.14) (Remote host closed the connection)
2020-11-28 06:17:02 +0100 <ezzieyguywuf> in the cassava documentation, "data Person = Person { name :: !Text , salary :: !Int }", what do the exclamation marks mean? "strict"? if so, is it necessary to make thing strict in order for cassava to work?
2020-11-28 06:18:21 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 06:19:15 +0100 <jle`> ezzieyguywuf: it's a strictness annotation yeah, and cassava shouldn't require them i believe
2020-11-28 06:19:23 +0100 <ezzieyguywuf> jle`: ok thank you.
2020-11-28 06:19:36 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-28 06:21:10 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-28 06:23:06 +0100da39a3ee5e6b4b0d(~da39a3ee5@171.5.161.165)
2020-11-28 06:24:23 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 06:26:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 06:26:45 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-28 06:27:39 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 06:28:48 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 06:30:19 +0100 <ezzieyguywuf> how is this a syntax error? "data SecuData = SecuData { TransactionDate :: Text }
2020-11-28 06:30:22 +0100 <ezzieyguywuf> "
2020-11-28 06:30:30 +0100 <ezzieyguywuf> the compiler says there is a parse error on TransactionDate
2020-11-28 06:30:46 +0100 <ezzieyguywuf> oh, b/c uppercase
2020-11-28 06:33:00 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-28 06:33:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-28 06:34:16 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-11-28 06:35:58 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-28 06:37:36 +0100toorevitimirp(~tooreviti@117.182.183.18) (Remote host closed the connection)
2020-11-28 06:39:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 06:41:22 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-28 06:42:00 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-28 06:42:42 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Remote host closed the connection)
2020-11-28 06:42:47 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 06:43:06 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 06:43:13 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Client Quit)
2020-11-28 06:44:33 +0100Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-28 06:44:51 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 06:45:13 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 06:47:59 +0100hackage(mniip@haskell/bot/hackage) (Remote host closed the connection)
2020-11-28 06:48:36 +0100hackage(mniip@haskell/bot/hackage)
2020-11-28 06:52:20 +0100texasmynsted(~texasmyns@212.102.45.121) (Ping timeout: 256 seconds)
2020-11-28 06:53:06 +0100texasmynsted(~texasmyns@212.102.45.115)
2020-11-28 07:00:00 +0100ski_ski
2020-11-28 07:02:46 +0100Amras(~Amras@unaffiliated/amras)
2020-11-28 07:04:07 +0100proscummerscumlord
2020-11-28 07:09:16 +0100texasmynsted(~texasmyns@212.102.45.115) (Ping timeout: 240 seconds)
2020-11-28 07:10:15 +0100acidjnk_new(~acidjnk@p200300d0c719ff54906a13e95f8a8c85.dip0.t-ipconnect.de)
2020-11-28 07:11:01 +0100triteraflops(~triterafl@host-148-170-141-28.public.eastlink.ca) (Ping timeout: 264 seconds)
2020-11-28 07:12:56 +0100da39a3ee5e6b4b0d(~da39a3ee5@171.5.161.165) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-28 07:14:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-28 07:14:35 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-yyzdvrqskfbunymz) ()
2020-11-28 07:17:23 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-11-28 07:17:25 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-11-28 07:17:37 +0100triteraflops(~triterafl@host-208-96-90-136.public.eastlink.ca)
2020-11-28 07:22:17 +0100scumlordScumQuitsaLot
2020-11-28 07:22:48 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 07:24:32 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-28 07:28:57 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2020-11-28 07:32:16 +0100triteraflops(~triterafl@host-208-96-90-136.public.eastlink.ca) (Ping timeout: 240 seconds)
2020-11-28 07:34:11 +0100triteraflops(~triterafl@host-208-96-90-136.public.eastlink.ca)
2020-11-28 07:34:26 +0100Amras(~Amras@unaffiliated/amras) (Quit: Leaving)
2020-11-28 07:35:14 +0100bandali(~bandali@fsf/interns/bandali) (Quit: ZNC - https://znc.in)
2020-11-28 07:38:05 +0100Amras(~Amras@unaffiliated/amras)
2020-11-28 07:39:33 +0100bandali(znc@fsf/interns/bandali)
2020-11-28 07:40:39 +0100matthew-(~matthew@smtp.wellquite.org) (Ping timeout: 256 seconds)
2020-11-28 07:40:55 +0100matthew-(~matthew@smtp.wellquite.org)
2020-11-28 07:42:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 07:45:53 +0100alx741(~alx741@181.196.69.215) (Ping timeout: 265 seconds)
2020-11-28 07:46:50 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 07:47:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 07:48:11 +0100alx741(~alx741@181.196.69.215)
2020-11-28 07:48:21 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 07:57:08 +0100gproto23(~gproto23@unaffiliated/gproto23)
2020-11-28 07:57:20 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-28 07:58:22 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 07:58:42 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 08:04:12 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Remote host closed the connection)
2020-11-28 08:04:25 +0100 <vfaronov> any idea why Cabal might not be stripping installed executables? i.e. running `strip` manually reduces their size
2020-11-28 08:04:37 +0100 <vfaronov> explicit `executable-stripping: True` in cabal.project doesn't seem to help
2020-11-28 08:06:42 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 08:07:12 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Remote host closed the connection)
2020-11-28 08:08:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-28 08:08:56 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 08:14:02 +0100asheshambasta(~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be)
2020-11-28 08:14:06 +0100mac10688(~mac10688@c-76-115-116-76.hsd1.or.comcast.net) (Quit: WeeChat 2.7.1)
2020-11-28 08:19:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 08:24:48 +0100vg(~vg@139.59.59.230) (Quit: vg)
2020-11-28 08:25:01 +0100vg(~vg@139.59.59.230)
2020-11-28 08:25:15 +0100vg(~vg@139.59.59.230) (Remote host closed the connection)
2020-11-28 08:25:29 +0100vg(~vg@139.59.59.230)
2020-11-28 08:28:33 +0100triteraflops(~triterafl@host-208-96-90-136.public.eastlink.ca) (Read error: Connection reset by peer)
2020-11-28 08:30:00 +0100triteraflops(~triterafl@host-208-96-90-136.public.eastlink.ca)
2020-11-28 08:30:05 +0100vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 240 seconds)
2020-11-28 08:31:58 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 08:32:45 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 240 seconds)
2020-11-28 08:34:50 +0100vg(~vg@139.59.59.230) (Ping timeout: 260 seconds)
2020-11-28 08:38:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 08:42:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-28 08:53:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-28 08:55:27 +0100gproto23(~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-28 08:55:31 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving)
2020-11-28 08:58:51 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-28 08:59:04 +0100ScumQuitsaLotaoei
2020-11-28 08:59:21 +0100coot(~coot@37.30.53.191.nat.umts.dynamic.t-mobile.pl)
2020-11-28 09:09:01 +0100alp(~alp@2a01:e0a:58b:4920:3181:83bc:7703:dbb9)
2020-11-28 09:12:29 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 09:15:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 09:16:58 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 09:18:41 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-28 09:25:03 +0100hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-28 09:32:03 +0100adm(~adm@117.216.231.184)
2020-11-28 09:32:34 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 09:34:31 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-28 09:35:27 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-28 09:36:16 +0100adm(~adm@117.216.231.184) (Ping timeout: 240 seconds)
2020-11-28 09:37:23 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-28 09:39:15 +0100notzmv(~user@unaffiliated/zmv)
2020-11-28 09:39:44 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2020-11-28 09:44:52 +0100mastarija(~mastarija@93-136-114-19.adsl.net.t-com.hr)
2020-11-28 09:46:42 +0100 <dminuoso> vfaronov: Works fine for me, this needs more context.
2020-11-28 09:47:34 +0100tystinso(~user@71-212-112-205.tukw.qwest.net)
2020-11-28 09:48:01 +0100drbean(~drbean@TC210-63-209-146.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-11-28 09:48:10 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52)
2020-11-28 09:50:06 +0100coot(~coot@37.30.53.191.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 265 seconds)
2020-11-28 09:50:29 +0100 <dminuoso> vfaronov: Are you possibly just observing `strip` doing more work (because by default debug symbols are not stripped by cabal)
2020-11-28 09:50:35 +0100 <dminuoso> Unless you also specify library-stripping
2020-11-28 09:51:06 +0100 <dminuoso> Or.. mmm
2020-11-28 09:51:20 +0100 <dminuoso> Ah no
2020-11-28 09:54:27 +0100oxide(~lambda@unaffiliated/mclaren)
2020-11-28 09:54:49 +0100 <dminuoso> vfaronov: https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-executable-stripping
2020-11-28 09:54:59 +0100 <dminuoso> "When installing binary executable programs, run the strip program on the binary."
2020-11-28 09:55:26 +0100 <dminuoso> So it seems this is done just at installation, not building
2020-11-28 09:55:31 +0100 <vfaronov> dminuoso: after `cabal install --install-method=copy --overwrite-policy=always`, doing `strip` (GNU strip 2.30) without options on the resulting binaries makes them about 1/4 smaller
2020-11-28 09:55:48 +0100 <dminuoso> vfaronov: compare `objdump -x` between them
2020-11-28 09:55:54 +0100 <dminuoso> What's their difference?
2020-11-28 09:56:09 +0100 <dminuoso> Also, if you flip on `-v2` you should verbose output from the strip invocation
2020-11-28 09:58:37 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-28 09:59:51 +0100hackagebytestring-tree-builder 0.2.7.6 - A very efficient ByteString builder implementation based on the binary tree https://hackage.haskell.org/package/bytestring-tree-builder-0.2.7.6 (NikitaVolkov)
2020-11-28 10:00:04 +0100ttc(tomtauma1@gateway/shell/matrix.org/x-mshtvdkklhnazscc) (Quit: Idle for 30+ days)
2020-11-28 10:00:05 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-jhkivoszgmdxgjkg) (Quit: Idle for 30+ days)
2020-11-28 10:02:28 +0100 <vfaronov> dminuoso: `-v2` produces lots of output but no mention of strip. `objdump -x` reports a symbol table and a `.debug-ghc-link-info` in the binary (before manual `strip`). Cabal 3.2.0.0
2020-11-28 10:02:53 +0100 <pjb> It's quite idiotic to use strip. If you do, then you need to keep a unstripped copy, to be able to debug crashes. So you actually almost double the required disk space. There's no win.
2020-11-28 10:03:56 +0100 <dminuoso> pjb: That's difficult to say, in general.
2020-11-28 10:04:01 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds)
2020-11-28 10:04:15 +0100 <dminuoso> But yeah, splitting doesnt even make too much of a difference
2020-11-28 10:04:19 +0100 <dminuoso> split-sections otoh does.
2020-11-28 10:04:30 +0100 <[exa]> pjb: sometimes it's equally idiotic to keep 500MB binaries around. :]
2020-11-28 10:04:57 +0100 <dminuoso> err *stripping doesnt make too much of a difference!
2020-11-28 10:05:04 +0100 <dminuoso> in one of our projects, split sections is the difference between 100MB and 4MiB, split only brings that further to 3MiB
2020-11-28 10:05:34 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 265 seconds)
2020-11-28 10:06:18 +0100 <[exa]> well not in general case but you can go quite far with a bit of C++ tricks.. I was more reacting to the general idea that stripping is bad™
2020-11-28 10:06:18 +0100 <vfaronov> pjb: This is private software that I'll be rebuilding anyway if I have to debug it. I don't care much about binary size either, but I do scp these binaries around a lot, on top of it just feeling cleaner I guess
2020-11-28 10:07:06 +0100 <dminuoso> vfaronov: have you turned on split-sections in your global cabal config?
2020-11-28 10:08:23 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-28 10:08:54 +0100polux200137(~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io)
2020-11-28 10:09:16 +0100polux200137(~polux@51.15.169.172)
2020-11-28 10:09:20 +0100chaosmasttter(~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de)
2020-11-28 10:10:44 +0100 <dminuoso> Just to get binary size down to reasonable levels, split-sections does most of the work. strip then just gets rid of debug symbols that could be useful, and its not much
2020-11-28 10:11:38 +0100michalz(~user@185.246.204.47)
2020-11-28 10:12:36 +0100cyphase(~cyphase@unaffiliated/cyphase)
2020-11-28 10:14:03 +0100 <vfaronov> nope, trying now
2020-11-28 10:14:31 +0100mastarija(~mastarija@93-136-114-19.adsl.net.t-com.hr) (Quit: Leaving)
2020-11-28 10:14:59 +0100n0042(d055ed89@208.85.237.137)
2020-11-28 10:16:07 +0100 <dminuoso> It's something that arguably everyone should enable in their global config
2020-11-28 10:16:15 +0100 <dminuoso> The reason its not turned on by default is a bit questionable
2020-11-28 10:18:00 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-28 10:18:18 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-28 10:18:58 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-28 10:19:19 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-28 10:20:02 +0100tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-28 10:20:04 +0100adm(~adm@117.216.231.184)
2020-11-28 10:20:51 +0100tomsmeding(~tomsmedin@tomsmeding.com)
2020-11-28 10:22:31 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-28 10:22:48 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-28 10:22:53 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 10:24:30 +0100ircbrowse_tom(~ircbrowse@64.225.78.177)
2020-11-28 10:24:30 +0100Server+CLnt
2020-11-28 10:24:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-28 10:26:26 +0100tystinso(~user@71-212-112-205.tukw.qwest.net) (Remote host closed the connection)
2020-11-28 10:26:37 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 10:27:55 +0100alp(~alp@2a01:e0a:58b:4920:3181:83bc:7703:dbb9) (Ping timeout: 272 seconds)
2020-11-28 10:28:23 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845)
2020-11-28 10:29:56 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 240 seconds)
2020-11-28 10:30:12 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-11-28 10:30:13 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-11-28 10:30:22 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-lkmltywelefyyiow) (Quit: Connection closed for inactivity)
2020-11-28 10:30:28 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-11-28 10:30:29 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-11-28 10:30:44 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-11-28 10:30:45 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-11-28 10:30:59 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-11-28 10:31:00 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-11-28 10:31:53 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Read error: Connection reset by peer)
2020-11-28 10:32:27 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 10:33:20 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-28 10:35:32 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-28 10:36:21 +0100hackagebytestring-tree-builder 0.2.7.7 - A very efficient ByteString builder implementation based on the binary tree https://hackage.haskell.org/package/bytestring-tree-builder-0.2.7.7 (NikitaVolkov)
2020-11-28 10:36:32 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-28 10:36:52 +0100christo(~chris@81.96.113.213)
2020-11-28 10:36:53 +0100oxide(~lambda@unaffiliated/mclaren) (Read error: Connection reset by peer)
2020-11-28 10:36:53 +0100adm(~adm@117.216.231.184) (Remote host closed the connection)
2020-11-28 10:37:51 +0100hackagephonetic-languages-simplified-common 0.3.1.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.1.0 (OleksandrZhabenko)
2020-11-28 10:39:20 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-28 10:40:04 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 246 seconds)
2020-11-28 10:40:44 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds)
2020-11-28 10:42:42 +0100oxide(~lambda@unaffiliated/mclaren)
2020-11-28 10:44:30 +010018VABWCF1(~adm@117.216.231.184)
2020-11-28 10:49:55 +0100oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 256 seconds)
2020-11-28 10:50:56 +0100gproto23(~gproto23@unaffiliated/gproto23)
2020-11-28 10:52:00 +0100oxide(~lambda@unaffiliated/mclaren)
2020-11-28 10:52:49 +0100rprije(~rprije@14-202-129-120.static.tpgi.com.au) (Quit: Leaving)
2020-11-28 10:52:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 10:54:54 +010018VABWCF1(~adm@117.216.231.184) (Remote host closed the connection)
2020-11-28 10:56:17 +0100adm(~adm@117.216.231.184)
2020-11-28 10:58:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-28 11:02:29 +0100gproto023(~gproto23@unaffiliated/gproto23)
2020-11-28 11:05:28 +0100gproto23(~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds)
2020-11-28 11:05:52 +0100alp(~alp@88.126.45.36)
2020-11-28 11:06:08 +0100gproto023gproto23
2020-11-28 11:06:11 +0100 <vfaronov> dminuoso: wow that helped, thanks
2020-11-28 11:06:47 +0100 <vfaronov> 104M → 10M after split-sections + strip
2020-11-28 11:08:10 +0100contiver(~contiver@84-115-65-44.wifi.dynamic.surfer.at)
2020-11-28 11:09:09 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-28 11:09:45 +0100__monty__(~toonn@unaffiliated/toonn)
2020-11-28 11:10:56 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-11-28 11:10:58 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-28 11:12:02 +0100adm(~adm@117.216.231.184) (Remote host closed the connection)
2020-11-28 11:12:20 +0100contiver_(~contiver@84-115-65-44.wifi.dynamic.surfer.at)
2020-11-28 11:12:37 +0100contiver(~contiver@84-115-65-44.wifi.dynamic.surfer.at) (Ping timeout: 246 seconds)
2020-11-28 11:12:49 +0100adm(~adm@117.216.231.184)
2020-11-28 11:14:19 +0100adm(~adm@117.216.231.184) (Remote host closed the connection)
2020-11-28 11:14:33 +0100adm(~adm@117.216.231.184)
2020-11-28 11:18:48 +0100contiver__(~contiver@84-115-65-53.wifi.dynamic.surfer.at)
2020-11-28 11:21:01 +0100contiver_(~contiver@84-115-65-44.wifi.dynamic.surfer.at) (Ping timeout: 246 seconds)
2020-11-28 11:23:22 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-28 11:23:31 +0100_linker_(~linker@2a02:a31a:a041:9a80:51cd:d8f1:9cea:4020)
2020-11-28 11:28:14 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Read error: Connection reset by peer)
2020-11-28 11:28:28 +0100adm(~adm@117.216.231.184) (Remote host closed the connection)
2020-11-28 11:28:58 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845)
2020-11-28 11:29:46 +0100lpy(~nyd@unaffiliated/elysian) (Quit: lpy)
2020-11-28 11:31:15 +0100lpy(~nyd@unaffiliated/elysian)
2020-11-28 11:32:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 11:33:47 +0100darjeeling_(~darjeelin@122.245.217.23) (Ping timeout: 272 seconds)
2020-11-28 11:37:53 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2020-11-28 11:40:22 +0100 <xerox_> can anyone compile any version of this? https://github.com/haskell/base16-bytestring
2020-11-28 11:41:12 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-28 11:41:40 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net)
2020-11-28 11:41:46 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2020-11-28 11:42:38 +0100 <xerox_> oh nevermind
2020-11-28 11:46:22 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net)
2020-11-28 11:47:16 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2020-11-28 11:48:05 +0100michalz(~user@185.246.204.47) (Remote host closed the connection)
2020-11-28 11:51:52 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 11:59:21 +0100gdude2002(~gdude2002@139.28.218.148) (Remote host closed the connection)
2020-11-28 11:59:51 +0100hackagederive-storable 0.3.0.0 - Derive Storable instances with GHC.Generics. https://hackage.haskell.org/package/derive-storable-0.3.0.0 (mkloczko)
2020-11-28 12:04:16 +0100urek(~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030)
2020-11-28 12:06:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 12:11:31 +0100alp(~alp@88.126.45.36) (Ping timeout: 256 seconds)
2020-11-28 12:13:10 +0100joaj(~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca)
2020-11-28 12:13:34 +0100gproto23(~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-28 12:16:59 +0100darjeeling_(~darjeelin@122.245.217.23)
2020-11-28 12:18:46 +0100contiver_(~contiver@84-115-65-118.wifi.dynamic.surfer.at)
2020-11-28 12:20:36 +0100hexfive(~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-11-28 12:20:59 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-28 12:21:08 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 12:21:43 +0100contiver__(~contiver@84-115-65-53.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds)
2020-11-28 12:24:06 +0100cybai(~cybai@2400:4050:3122:900:f9e6:8583:8aec:b8b0)
2020-11-28 12:27:33 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 12:27:49 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net) (Ping timeout: 264 seconds)
2020-11-28 12:28:31 +0100contiver_(~contiver@84-115-65-118.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds)
2020-11-28 12:28:55 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 12:29:31 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 12:30:53 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr)
2020-11-28 12:31:55 +0100n0042(d055ed89@208.85.237.137) (Remote host closed the connection)
2020-11-28 12:34:21 +0100hackagephonetic-languages-simplified-common 0.3.2.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.2.0 (OleksandrZhabenko)
2020-11-28 12:36:00 +0100 <matthew-> huh, so haskell doesn't seem to allow partial application of infix ops. Is this just because it's not syntactically clear which arg is being provided, or is there a deeper reason?
2020-11-28 12:36:18 +0100 <Squarism> Anyone got any clever idea on this. In arbitrary datastructure i want to create an "address" (lens single value Traversal if you will) that can be *serialized*. Ie an isomorph between String and the "address". The "address" should allow getting/setting the value in the arbitrary datastructure.
2020-11-28 12:36:28 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 12:36:36 +0100 <Squarism> For an arbitrary*
2020-11-28 12:37:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 12:40:40 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-28 12:42:43 +0100Varis(~Tadas@unaffiliated/varis)
2020-11-28 12:42:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-28 12:47:20 +0100hackagephonetic-languages-simplified-properties-lists 0.2.0.0 - A generalization of the uniqueness-periods-vector-properties package. https://hackage.haskell.org/package/phonetic-languages-simplified-properties-lists-0.2.0.0 (OleksandrZhabenko)
2020-11-28 12:47:47 +0100hekkaidekapus_hekkaidekapus
2020-11-28 12:49:03 +0100 <hekkaidekapus> matthew-: ‘infix ops’ are syntactic sugar for plain old functions. As such, they can naturally be partial applied.
2020-11-28 12:49:10 +0100 <hekkaidekapus> > (+) 1 2
2020-11-28 12:49:12 +0100 <lambdabot> 3
2020-11-28 12:49:16 +0100 <hekkaidekapus> 1 + 2
2020-11-28 12:49:30 +0100 <hekkaidekapus> > 1 + 2
2020-11-28 12:49:32 +0100 <lambdabot> 3
2020-11-28 12:49:39 +0100 <hekkaidekapus> > (+ 1) 2
2020-11-28 12:49:41 +0100 <lambdabot> 3
2020-11-28 12:49:50 +0100 <hekkaidekapus> > (1 +) 2
2020-11-28 12:49:52 +0100 <lambdabot> 3
2020-11-28 12:49:55 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-11-28 12:50:58 +0100gproto23(~gproto23@unaffiliated/gproto23)
2020-11-28 12:51:50 +0100sankarshan(~sankarsha@178.239.168.171)
2020-11-28 12:53:27 +0100vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds)
2020-11-28 12:55:14 +0100 <dminuoso> matthew-: Of course haskell allows for it.
2020-11-28 12:55:26 +0100 <dminuoso> matthew-: There's three different ways, one of which has an GHC extension
2020-11-28 12:55:40 +0100 <dminuoso> A) you can use sections on binary infix operators
2020-11-28 12:56:07 +0100 <dminuoso> e.g. (1+) or (+1), where the first is just partial application and the second one is shorthand for `\x -> x + 1`
2020-11-28 12:56:55 +0100 <dminuoso> B) You can use section style for unary functions, allowing you to sort of do postfix operators, e.g. (x&) for some unary function &
2020-11-28 12:57:06 +0100 <dminuoso> That one is however an implicit GHC extension (no explicit pragma needed)
2020-11-28 12:57:20 +0100 <dminuoso> Or C) you can put it in parens, and then partially apply like you're used to: ((+) 1)
2020-11-28 12:57:25 +0100jespada(~jespada@90.254.245.49)
2020-11-28 12:57:52 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-11-28 12:58:35 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-11-28 13:00:24 +0100chaosmasttter(~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-28 13:01:08 +0100nango(~user@2001:4bb8:2c0:f87:5890:25e7:d7d0:a7e4)
2020-11-28 13:01:25 +0100aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-11-28 13:02:26 +0100jespada(~jespada@90.254.245.49) (Quit: Leaving)
2020-11-28 13:02:28 +0100 <nango> I'm writing a DSL for a research project, and I have some experience with Parsec, however I have never written a mini language before and I wante to ask if people think it's better to go with alex+Parsec or it's common just to go all the way with Parsec simply, what are people doing normally ? THX!
2020-11-28 13:03:37 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net)
2020-11-28 13:03:47 +0100 <srk> nango: http://dlaing.org/little-languages/ uses trifecta :)
2020-11-28 13:04:04 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 13:04:25 +0100 <srk> actually parsers package
2020-11-28 13:05:18 +0100alp(~alp@2a01:e0a:58b:4920:7813:470f:37ad:138e)
2020-11-28 13:05:29 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 13:05:34 +0100 <nango> srk thanks this is certainly gold for me right now !
2020-11-28 13:05:35 +0100 <dminuoso> nango: As a good default Id use megaparsec over parsec.
2020-11-28 13:05:45 +0100 <dminuoso> trifecta is poorly documented and performs not so well
2020-11-28 13:05:53 +0100 <dminuoso> It's main usefulness is high quality diagnostics
2020-11-28 13:06:16 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Client Quit)
2020-11-28 13:06:26 +0100tlaxkit(~kvirc@185.228.155.198)
2020-11-28 13:06:27 +0100 <dminuoso> (One cool trick is where you implement both a megaparsec and trifecta parser, and if the megaparsec fails, you re-parse with your trifecta parser for a better diagnostic)
2020-11-28 13:06:49 +0100 <dminuoso> Giving you good performance as well as good diagnostics, at the cost of having to maintain two parsers
2020-11-28 13:07:00 +0100 <dminuoso> And ensuring they parse the same grammar
2020-11-28 13:07:50 +0100m0rphism(~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-28 13:07:53 +0100 <dminuoso> hekkaidekapus: Oh hah, I didnt see your responses. Sorry!
2020-11-28 13:08:04 +0100 <tdammers> I'd say {mega,atto}parsec on its own > {mega,atto}parsec + alex, if only for the added complexity of the alex dependency
2020-11-28 13:08:59 +0100 <dminuoso> What's the reason GHC uses alex+happy over say parser combinators? Just historic reasons because nothing else was around?
2020-11-28 13:09:05 +0100 <dminuoso> Or do they perform notably faster?
2020-11-28 13:10:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 13:11:07 +0100chaosmasttter(~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de)
2020-11-28 13:12:19 +0100 <nango> dminuoso thanks, this is very useful, I'll take a deep look before diving into code frenzy, in my case performance is not an issue since it will never be the bottleneck, I care more about context for the user, since it is going to be for chemists and I don't want them seeing weird ghc messages they can't understand.
2020-11-28 13:13:02 +0100 <dminuoso> Well it's not GHC messages that you'd be worried about
2020-11-28 13:13:13 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 13:13:19 +0100 <dminuoso> Unless you're writing an EDSL, but then you wouldn't need a separate parser
2020-11-28 13:14:53 +0100 <nango> yeah I meant just noisy messages. Alex spits out strictly valid Haskell98, maybe that and historicaly reasons are the reason ? I wouldn't know.
2020-11-28 13:15:09 +0100Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2020-11-28 13:15:30 +0100Feuermagier(~Feuermagi@213.178.26.41)
2020-11-28 13:16:10 +0100 <dminuoso> Part of why the parser errors are so poor in GHC, is because of how our grammar is structured. Figuring out when to error out and what to report in a white space sensitive language is difficult
2020-11-28 13:17:51 +0100 <dminuoso> But yeah, LALR/GLR parser generators generally have poor diagnostics
2020-11-28 13:20:39 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Ping timeout: 256 seconds)
2020-11-28 13:21:02 +0100chaosmasttter(~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-28 13:22:05 +0100asheshambasta(~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-11-28 13:25:05 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 13:26:37 +0100f-a(~f-a@151.68.181.130)
2020-11-28 13:26:51 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-11-28 13:27:57 +0100adm(~adm@117.215.189.3)
2020-11-28 13:28:39 +0100 <jophish> angerman: how do GHC plugins work with cross compiling?
2020-11-28 13:30:52 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 13:32:22 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 13:33:36 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-28 13:33:46 +0100z0k(~user@101.50.127.33)
2020-11-28 13:33:51 +0100 <hekkaidekapus> dminuoso: No problem. By the way, I use happy when I need to have a BNF-like representation of some grammar, which comes with another goody: getting shift & reduce diagnostics.
2020-11-28 13:36:13 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-28 13:37:42 +0100Feuermagier(~Feuermagi@213.178.26.41) (Ping timeout: 260 seconds)
2020-11-28 13:40:31 +0100Feuermagier(~Feuermagi@213.178.26.41)
2020-11-28 13:41:59 +0100 <nango> hekkaidekapus thanks, I'll also consider that
2020-11-28 13:42:11 +0100 <angerman> jophish: they don’t. hsyl20 is on it :-/
2020-11-28 13:42:20 +0100hackagetext-manipulate 0.3.0.0 - Case conversion, word boundary manipulation, and textual subjugation. https://hackage.haskell.org/package/text-manipulate-0.3.0.0 (BrendanHay)
2020-11-28 13:42:21 +0100 <jophish> sounds tricky
2020-11-28 13:42:37 +0100 <angerman> jophish: you essentially need them natively and have ghc load them properly.
2020-11-28 13:42:38 +0100sw1nn_(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 13:42:57 +0100 <angerman> jophish: feel free to ask hsyl20 in #ghc
2020-11-28 13:43:08 +0100 <angerman> We have a hack in ghcjs for Plutus. It’s all terrible :-)
2020-11-28 13:43:12 +0100 <jophish> you've sated my curiosity for now :)
2020-11-28 13:43:13 +0100Chi1thangoo(~Chi1thang@87.112.60.168)
2020-11-28 13:44:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-28 13:44:52 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Ping timeout: 256 seconds)
2020-11-28 13:46:08 +0100 <jophish> actually I am not out of questions
2020-11-28 13:46:16 +0100 <jophish> I'm about to write a plugin which inserts the machine word size into code
2020-11-28 13:46:21 +0100 <jophish> and am concerned now
2020-11-28 13:46:28 +0100 <jophish> (just kidding of course)
2020-11-28 13:46:30 +0100drbean(~drbean@TC210-63-209-58.static.apol.com.tw)
2020-11-28 13:47:52 +0100geekosaur(ac3a3b91@172.58.59.145)
2020-11-28 13:48:00 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-28 13:48:15 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-28 13:48:54 +0100 <Squarism> (repost) Anyone got any clever idea on this. For an arbitrary datastructure i want to create an "address" (lens single value Traversal if you will) that can be *serialized*. Ie an isomorph between String and the "address". The "address" should allow getting/setting the value in the arbitrary datastructure.
2020-11-28 13:50:23 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-11-28 13:51:05 +0100da39a3ee5e6b4b0d(~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-28 13:52:31 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-28 13:52:47 +0100adm(~adm@117.215.189.3) (Remote host closed the connection)
2020-11-28 13:52:48 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-28 13:53:07 +0100urek(~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) (Ping timeout: 272 seconds)
2020-11-28 13:53:55 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 13:54:57 +0100stumbled(528746e8@ppp-82-135-70-232.dynamic.mnet-online.de)
2020-11-28 13:56:20 +0100 <srid> <gentauro "ok. this website is nicely done."> You can generate one like that without writing any code, html or CSS by using https://neuron.zettel.page
2020-11-28 13:57:14 +0100stumbleddelbmuts_
2020-11-28 14:02:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 14:02:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 14:04:22 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-28 14:05:19 +0100vg(~vg@139.59.59.230)
2020-11-28 14:05:36 +0100vg(~vg@139.59.59.230) (Remote host closed the connection)
2020-11-28 14:05:52 +0100vg(~vg@139.59.59.230)
2020-11-28 14:07:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2020-11-28 14:09:25 +0100hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2020-11-28 14:10:36 +0100Rudd0(~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-11-28 14:13:28 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-28 14:13:50 +0100lemmih_(~lemmih@2406:3003:2072:44:1ea:4f01:5a80:7f4e) (Remote host closed the connection)
2020-11-28 14:15:33 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th)
2020-11-28 14:17:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 14:18:39 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-11-28 14:19:19 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2020-11-28 14:22:34 +0100 <delbmuts_> Hi. I'd like to use servant-websockets with a custom servant monad, but don't know how. Something like: https://paste.debian.net/hidden/c2ecc0b2 How can I `ask` for `state`? Thanks.
2020-11-28 14:22:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-28 14:23:21 +0100hackagephonetic-languages-simplified-common 0.3.3.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.3.0 (OleksandrZhabenko)
2020-11-28 14:25:02 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 14:30:34 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it) (Remote host closed the connection)
2020-11-28 14:31:54 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-28 14:33:54 +0100sondr3(~sondr3@cm-84.211.56.132.getinternet.no)
2020-11-28 14:35:32 +0100urek(~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030)
2020-11-28 14:36:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-11-28 14:37:12 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds)
2020-11-28 14:37:12 +0100Wuzzy(~Wuzzy@p549c9976.dip0.t-ipconnect.de)
2020-11-28 14:37:19 +0100 <angerman> jophish: just use CPP and WORD_SIZE or so. There is a constant for you without resorting to plugins ;-)
2020-11-28 14:39:28 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds)
2020-11-28 14:40:35 +0100n0042(d055ed89@208.85.237.137)
2020-11-28 14:41:08 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 14:41:30 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-28 14:41:33 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 14:43:45 +0100drbean(~drbean@TC210-63-209-58.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-11-28 14:44:25 +0100alp(~alp@2a01:e0a:58b:4920:7813:470f:37ad:138e) (Ping timeout: 272 seconds)
2020-11-28 14:47:12 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 14:52:19 +0100asheshambasta(~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be)
2020-11-28 14:54:07 +0100contiver(~contiver@84-115-64-126.wifi.dynamic.surfer.at)
2020-11-28 14:54:58 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-28 14:55:42 +0100Tario(~Tario@201.192.165.173)
2020-11-28 14:56:09 +0100 <sondr3> is there a way for me to insert a DEL character in a Haskell string? I get a "lexical error in string/character literal at character '\DEL'" error
2020-11-28 14:56:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-28 14:57:51 +0100 <hpc> > chr 127
2020-11-28 14:57:53 +0100 <lambdabot> '\DEL'
2020-11-28 14:58:00 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-28 14:58:03 +0100 <hpc> what's the whole string?
2020-11-28 14:58:24 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 14:58:32 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-28 14:58:39 +0100 <sondr3> The whole string is "\n" :p
2020-11-28 14:59:18 +0100 <hpc> well that doesn't have \DEL in it, so... :P
2020-11-28 14:59:50 +0100 <sondr3> But that's what the error says, I just copied it, what do you see?
2020-11-28 15:00:02 +0100 <hpc> "\n"
2020-11-28 15:00:35 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-28 15:00:39 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-11-28 15:00:50 +0100 <hpc> fwiw, i am trying various string literals in ghci with \DEL and not getting any lexical errors
2020-11-28 15:01:11 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-11-28 15:01:34 +0100Ariakenom(~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-28 15:01:44 +0100 <geekosaur> am suspecting you got a literal DEL character in it somehow
2020-11-28 15:02:06 +0100 <sondr3> I guess that's the problem, it's invisible in Firefox but a square in VSCode and invisible again in my terminal
2020-11-28 15:02:26 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net)
2020-11-28 15:02:33 +0100 <hpc> ah
2020-11-28 15:02:36 +0100 <sondr3> Yeah, it's a literal DEL character, I guess a \DEL would do the same?
2020-11-28 15:02:37 +0100 <hpc> yeah, you need to escape it
2020-11-28 15:03:32 +0100 <geekosaur> no, the escape sequence will work
2020-11-28 15:03:47 +0100 <geekosaur> it just doesn't like the literal character
2020-11-28 15:04:31 +0100geekosauractually thinks ghc is overly strict here. Also can't use e.g. private use area characters
2020-11-28 15:06:05 +0100pokid(~pokid@unaffiliated/pokid)
2020-11-28 15:08:04 +0100fakenerd(~fakenerd@123.140.80.34.bc.googleusercontent.com)
2020-11-28 15:10:24 +0100pokid(~pokid@unaffiliated/pokid) (Read error: Connection reset by peer)
2020-11-28 15:10:35 +0100pokid(~pokid@unaffiliated/pokid)
2020-11-28 15:11:34 +0100Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-11-28 15:12:09 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net)
2020-11-28 15:12:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 15:12:56 +0100 <SrPx> Hey all. It has been half a decade since I released a Haskell library. I have one I'd like to publish now. Everything is in a single .hs file. I'm out of touch w.r.t. last developments in packaging. Is there a small tutorial that explains me all I need to do to set up a project around this file and release it? Should I use cabal, stack, for example?
2020-11-28 15:13:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 15:13:44 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-28 15:13:56 +0100 <hpc> use cabal
2020-11-28 15:14:01 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-11-28 15:14:15 +0100 <f-a> there was something on the wiki, let me see if I can fish it
2020-11-28 15:14:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 15:14:54 +0100 <f-a> http://wiki.haskell.org/How_to_write_a_Haskell_program#Structure_of_a_simple_project mhhh
2020-11-28 15:16:31 +0100 <f-a> SrPx: a tl;dr version `cabal init`, `cabal build` to see your project is building fine, `cabal haddock` if you want to check the rendered documentation, `cabal sdist` to generate .tar.gx and `cabal upload` to finally upload it (or use the web interface)
2020-11-28 15:16:38 +0100 <f-a> if you get stuck, ask
2020-11-28 15:16:38 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-28 15:16:42 +0100 <SrPx> perfect ty (:
2020-11-28 15:17:03 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr)
2020-11-28 15:17:44 +0100 <f-a> I have never used stack seriously so someone else could chime in
2020-11-28 15:17:48 +0100texasmynsted(~texasmyns@212.102.45.103)
2020-11-28 15:18:02 +0100 <merijn> f-a: Stack still uses cabal, so packaging is basically the same
2020-11-28 15:18:28 +0100 <hpc> just different directories and a lot of wondering if your dependencies are in an lts or not
2020-11-28 15:18:36 +0100 <f-a> merijn: there are things, as cabal users, that I envy of stack. One is «open documentation in browser»
2020-11-28 15:18:51 +0100hackagephonetic-languages-simplified-common 0.3.4.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.4.0 (OleksandrZhabenko)
2020-11-28 15:18:52 +0100fakenerd(~fakenerd@123.140.80.34.bc.googleusercontent.com) ()
2020-11-28 15:19:11 +0100 <f-a> they might be quite similar with the v2 commands (as ease of use), but the UX is slightly different
2020-11-28 15:19:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-11-28 15:19:58 +0100acairncross(~aiken@89.81.7.51.dyn.plus.net)
2020-11-28 15:19:59 +0100 <merijn> f-a: Well, I meant that "you still need a cabal file for both" :p
2020-11-28 15:20:08 +0100 <f-a> amen
2020-11-28 15:20:16 +0100 <xerox_> SrPx: I think this is a decent introduction to packaging https://cabal.readthedocs.io/en/3.4/getting-started.html
2020-11-28 15:20:31 +0100 <SrPx> ty <3
2020-11-28 15:20:47 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-28 15:21:10 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-28 15:23:57 +0100hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-28 15:26:22 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 246 seconds)
2020-11-28 15:27:45 +0100em1n(~user@2401:4900:33a0:9423:35c5:7032:f69d:635c)
2020-11-28 15:28:51 +0100 <maerwald> stacks as a cli tool does a lot of stuff better than cabal
2020-11-28 15:29:11 +0100 <maerwald> just look at --help to get an idea
2020-11-28 15:29:32 +0100pdxleif(~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) (Quit: ZNC - http://znc.in)
2020-11-28 15:30:49 +0100vg(~vg@139.59.59.230) (Quit: vg)
2020-11-28 15:30:53 +0100pdxleif(~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com)
2020-11-28 15:31:14 +0100vg(~vg@139.59.59.230)
2020-11-28 15:34:14 +0100alp(~alp@2a01:e0a:58b:4920:dc84:c063:495d:94ee)
2020-11-28 15:38:01 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 15:39:17 +0100Jonkimi727406120(~Jonkimi@115.44.7.41)
2020-11-28 15:40:49 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
2020-11-28 15:41:08 +0100vfaronov(~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-28 15:42:15 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-28 15:42:28 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-28 15:42:46 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 15:43:09 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 15:43:20 +0100geekosaur(ac3a3b91@172.58.59.145) (Remote host closed the connection)
2020-11-28 15:46:24 +0100nango`(~user@2001:4bb8:2c0:f87:3991:44c0:3223:4b98)
2020-11-28 15:47:18 +0100urodna(~urodna@unaffiliated/urodna)
2020-11-28 15:47:25 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-28 15:48:21 +0100hackagehedis 0.13.0 - Client library for the Redis datastore: supports full command set,pipelining. https://hackage.haskell.org/package/hedis-0.13.0 (k_bx)
2020-11-28 15:50:24 +0100nango(~user@2001:4bb8:2c0:f87:5890:25e7:d7d0:a7e4) (Ping timeout: 240 seconds)
2020-11-28 15:54:39 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 15:55:04 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 15:55:25 +0100contiver(~contiver@84-115-64-126.wifi.dynamic.surfer.at) (Ping timeout: 264 seconds)
2020-11-28 15:55:44 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-28 15:56:08 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 15:57:27 +0100pokid(~pokid@unaffiliated/pokid) ()
2020-11-28 15:59:18 +0100nf(~n@monade.li) (Quit: Fairfarren.)
2020-11-28 15:59:55 +0100nf(~n@monade.li)
2020-11-28 16:00:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 16:00:25 +0100solonarv(~solonarv@anancy-651-1-197-136.w109-217.abo.wanadoo.fr)
2020-11-28 16:01:52 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2020-11-28 16:01:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 16:02:48 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net)
2020-11-28 16:02:51 +0100DavidEichmann(~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
2020-11-28 16:03:00 +0100jesser[m](jessermatr@gateway/shell/matrix.org/x-nwocmlqbhptovmvw)
2020-11-28 16:03:29 +0100nf(~n@monade.li) (Client Quit)
2020-11-28 16:03:34 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-28 16:03:52 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit)
2020-11-28 16:04:25 +0100nf(~n@monade.li)
2020-11-28 16:05:36 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2020-11-28 16:06:38 +0100fendor_(~fendor@217-149-173-81.nat.highway.telekom.at)
2020-11-28 16:06:52 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-11-28 16:08:10 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 16:08:31 +0100fendor_(~fendor@217-149-173-81.nat.highway.telekom.at) (Read error: Connection reset by peer)
2020-11-28 16:08:35 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 16:09:58 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-28 16:12:27 +0100asheshambasta(~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-11-28 16:13:02 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-28 16:13:06 +0100invaser(~Thunderbi@31.148.23.125) (Client Quit)
2020-11-28 16:13:20 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2020-11-28 16:14:43 +0100Entertainment(~entertain@104.246.132.210)
2020-11-28 16:16:10 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds)
2020-11-28 16:16:26 +0100vg(~vg@139.59.59.230) (Quit: vg)
2020-11-28 16:16:52 +0100vg(~vg@139.59.59.230)
2020-11-28 16:17:45 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Read error: Connection reset by peer)
2020-11-28 16:18:08 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 16:20:06 +0100sw1nn_(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 16:20:37 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2020-11-28 16:20:37 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2020-11-28 16:20:37 +0100neiluj(~jco@unaffiliated/neiluj)
2020-11-28 16:22:28 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 16:22:47 +0100xff0x(~fox@2001:1a81:5212:df00:68d8:7cea:c651:3a31) (Ping timeout: 260 seconds)
2020-11-28 16:23:27 +0100hololeap(~hololeap@unaffiliated/hololeap)
2020-11-28 16:23:29 +0100xff0x(~fox@2001:1a81:5212:df00:619a:8848:f789:a6cb)
2020-11-28 16:24:06 +0100hololeap(~hololeap@unaffiliated/hololeap) (Max SendQ exceeded)
2020-11-28 16:24:36 +0100hololeap(~hololeap@unaffiliated/hololeap)
2020-11-28 16:25:23 +0100f-a(~f-a@151.68.181.130) (Ping timeout: 256 seconds)
2020-11-28 16:27:23 +0100f-a(~f-a@151.36.220.175)
2020-11-28 16:31:49 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-28 16:33:31 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-jxbrpiggxmywaele)
2020-11-28 16:36:04 +0100 <dminuoso> Squarism: IndexedX?
2020-11-28 16:36:39 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 16:37:24 +0100androzanimedium(~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr)
2020-11-28 16:38:42 +0100 <dminuoso> Squarism: That is, if you have an IndexedTraversal, you just need to serialize the index.
2020-11-28 16:39:24 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds)
2020-11-28 16:39:54 +0100Jonkimi727406120(~Jonkimi@115.44.7.41) (Ping timeout: 256 seconds)
2020-11-28 16:42:15 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-28 16:44:21 +0100hackageheapsize 0.2.0 - Determine the size of runtime data structures https://hackage.haskell.org/package/heapsize-0.2.0 (PepeIborra)
2020-11-28 16:44:48 +0100acairncross(~aiken@89.81.7.51.dyn.plus.net) (Quit: Leaving)
2020-11-28 16:45:24 +0100pokid(~pokid@unaffiliated/pokid)
2020-11-28 16:45:30 +0100pokid(~pokid@unaffiliated/pokid) ()
2020-11-28 16:46:22 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-28 16:46:38 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-28 16:46:39 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2020-11-28 16:47:51 +0100Qudit314159(~user@unaffiliated/qudit314159) (Read error: Connection reset by peer)
2020-11-28 16:48:21 +0100hackagederive-storable-plugin 0.2.3.1 - GHC core plugin supporting the derive-storable package. https://hackage.haskell.org/package/derive-storable-plugin-0.2.3.1 (mkloczko)
2020-11-28 16:49:23 +0100 <Squarism> dminuoso, oh ok. ill check that out directly
2020-11-28 16:49:49 +0100alp(~alp@2a01:e0a:58b:4920:dc84:c063:495d:94ee) (Ping timeout: 272 seconds)
2020-11-28 16:50:23 +0100androzanimedium(~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) (Quit: Lost terminal)
2020-11-28 16:51:52 +0100 <dminuoso> Squarism: Roughly Im thinking of this https://hackage.haskell.org/package/optics-core-0.3.0.1/docs/Optics-IxTraversal.html#v:element
2020-11-28 16:51:57 +0100 <dminuoso> element :: Traversable f => Int -> IxAffineTraversal' Int (f a) a
2020-11-28 16:53:00 +0100 <dminuoso> And indeed
2020-11-28 16:53:02 +0100 <dminuoso> https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Combinators.html#v:element
2020-11-28 16:53:04 +0100 <dminuoso> lens has it too
2020-11-28 16:53:26 +0100 <dminuoso> Or, the more general form
2020-11-28 16:53:28 +0100 <dminuoso> elementOf :: Applicative f => LensLike (Indexing f) s t a a -> Int -> IndexedLensLike Int f s t a a
2020-11-28 16:54:02 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 260 seconds)
2020-11-28 16:54:14 +0100 <Squarism> dminuoso, so how would the serialization to string be done?
2020-11-28 16:54:46 +0100 <dminuoso> Serializing the Int?
2020-11-28 16:55:09 +0100LKoen_(~LKoen@169.244.88.92.rev.sfr.net)
2020-11-28 16:56:26 +0100 <Squarism> Hmm.. what does the integer represent? Ie. in say a record holding a list containing records with a field "fld1" ?
2020-11-28 16:56:26 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2020-11-28 16:57:43 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-28 16:57:51 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net) (Ping timeout: 265 seconds)
2020-11-28 16:58:15 +0100 <dminuoso> % probe n = ["foo", "bar","quux"] ^.. elementOf (traverse . traverse) n
2020-11-28 16:58:16 +0100 <yahb> dminuoso:
2020-11-28 16:58:20 +0100 <dminuoso> Squarism: An index.
2020-11-28 16:58:48 +0100 <dminuoso> Squarism: with elementsOf you can turn an indexed traversal into an (indexed) affine traversal
2020-11-28 16:59:03 +0100 <dminuoso> See above probe
2020-11-28 16:59:29 +0100reallymemorable(~quassel@ip68-9-215-56.ri.ri.cox.net) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-11-28 16:59:29 +0100 <dminuoso> That way you can serialize the Int, and recover an affine traversal from it again
2020-11-28 16:59:43 +0100 <Squarism> okok.. ill try that
2020-11-28 17:00:12 +0100 <dminuoso> When you said "traversal that targets one element" thats what we call an affine traversal
2020-11-28 17:00:25 +0100Rudd0(~Rudd0@185.189.115.103)
2020-11-28 17:00:27 +0100 <dminuoso> lens cant represent it, so they're just traversals with the promise "targets only one element"
2020-11-28 17:02:01 +0100 <Squarism> I guess It could be worth trying out. Had hoped for something more human readable but i guess beggars cant be choosers. =D
2020-11-28 17:04:23 +0100 <dminuoso> Squarism: I dont see any alternative, really.
2020-11-28 17:04:44 +0100 <dminuoso> The only component in lens that lets you (partially) describe an optic is the index of indexed optics
2020-11-28 17:04:50 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) (Ping timeout: 264 seconds)
2020-11-28 17:04:55 +0100 <dminuoso> The other stuff is just van laarhoven/profunctor encoding, and you cant serialize those
2020-11-28 17:05:49 +0100 <Squarism> Ill see what can be done with the IndexedTraversal
2020-11-28 17:06:29 +0100conal(~conal@64.71.133.70)
2020-11-28 17:06:47 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 17:08:12 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 17:08:41 +0100 <dminuoso> Squarism: Also be sure to look at reindexed.
2020-11-28 17:08:53 +0100 <dminuoso> In case you have a non-Int index
2020-11-28 17:09:18 +0100 <dminuoso> (You'll need some sort of injection into Int at the very least)
2020-11-28 17:09:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 17:09:48 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-28 17:10:03 +0100 <ryantrinkle> is it at all plausible to have a "constrained kind", i.e. a kind such that all types in that kind are instances of a particular class
2020-11-28 17:10:23 +0100 <ryantrinkle> i can't figure out whether that idea is 1) sensible at all; or 2) possible to do in GHC
2020-11-28 17:10:30 +0100 <hpc> :k Num a => a
2020-11-28 17:10:32 +0100 <lambdabot> error: Not in scope: type variable ‘a’
2020-11-28 17:10:47 +0100 <hpc> :k (forall a. Num a => a)
2020-11-28 17:10:49 +0100 <lambdabot> *
2020-11-28 17:11:06 +0100 <hpc> looks like the constraint isn't reflected in the kind
2020-11-28 17:11:12 +0100 <hpc> but as it turns out, Constraint is a kind
2020-11-28 17:11:14 +0100 <hpc> :k Num
2020-11-28 17:11:16 +0100 <lambdabot> * -> Constraint
2020-11-28 17:11:16 +0100 <ryantrinkle> hpc: right
2020-11-28 17:11:20 +0100 <ryantrinkle> yeah i'm familiar with that
2020-11-28 17:11:20 +0100 <dminuoso> Mmm, you could have an existential buried in a newtype, lifted through DataKinds
2020-11-28 17:11:28 +0100 <dminuoso> Would that work?
2020-11-28 17:11:39 +0100 <ryantrinkle> dminuoso: it might! let me see
2020-11-28 17:12:44 +0100u0_a298(~user@65.35.205.131)
2020-11-28 17:13:00 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Client Quit)
2020-11-28 17:14:07 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-28 17:14:25 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 17:15:00 +0100wonko7(~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52)
2020-11-28 17:16:13 +0100 <SrPx> I'm getting: `cabal-3.2.0.0: can't find source for src/Main in src`, but I do have a `Main.hs` on `/src`
2020-11-28 17:16:31 +0100 <dminuoso> SrPx: What invocation did you use, and can you share your cabal file?
2020-11-28 17:16:32 +0100 <SrPx> I also have: ` main-is: src/Main.hs` inside `executable` on `.cabal`
2020-11-28 17:16:39 +0100 <SrPx> and ` hs-source-dirs: src` there too
2020-11-28 17:16:45 +0100 <SrPx> dminuoso: yes, hold on
2020-11-28 17:17:03 +0100 <maerwald> main-is: Main.hs
2020-11-28 17:17:28 +0100 <dminuoso> Ah I guess the error message does tell you
2020-11-28 17:17:33 +0100 <dminuoso> It looks for "src/Main" inside "src"
2020-11-28 17:17:35 +0100 <dminuoso> :p
2020-11-28 17:17:47 +0100 <SrPx> oh lord
2020-11-28 17:17:51 +0100 <SrPx> makes sense
2020-11-28 17:18:41 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-lovaggfdmdpppkhm) (Quit: Connection closed for inactivity)
2020-11-28 17:19:27 +0100 <SrPx> okay, it builds now!
2020-11-28 17:19:48 +0100 <SrPx> but there is a problem with `cabal install`
2020-11-28 17:20:23 +0100 <SrPx> `Couldn't find module Foo` from `src/Main.hs`, but I do have a file called `src/Foo.hs` starting with `module Foo where`
2020-11-28 17:21:10 +0100 <SrPx> Here is a complete log: https://gist.github.com/MaiaVictor/7040ce60ecaf939943d063071cfd8f07
2020-11-28 17:22:24 +0100 <ryantrinkle> dminuoso: I think this is roughly what i'm going for https://gist.github.com/ryantrinkle/0e28bc1e458f71fd69462c7581d4ec60
2020-11-28 17:23:01 +0100 <f-a> if seems you have a «formality» module SrPx
2020-11-28 17:23:04 +0100 <f-a> not FormalityLib
2020-11-28 17:23:06 +0100 <f-a> *Formality
2020-11-28 17:23:06 +0100 <ryantrinkle> it doesn't really seem like there's anywhere numtype could conjure up the Num dictionary from, though
2020-11-28 17:23:19 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 17:23:43 +0100 <SrPx> f-a: no, src/FormalityLib starts with `module FormalityLib where`
2020-11-28 17:23:50 +0100 <SrPx> `src/FormalityLib.hs`
2020-11-28 17:24:07 +0100 <SrPx> also shouldn't this error show up on `cabal build` and not `cabal install`? weird
2020-11-28 17:24:16 +0100 <f-a> In your exposed modules I see
2020-11-28 17:24:18 +0100 <f-a> Exposed-modules: Formality
2020-11-28 17:24:43 +0100 <SrPx> oh
2020-11-28 17:24:55 +0100 <SrPx> hmm, but I wanted FormalityLib to be hidden
2020-11-28 17:24:58 +0100 <SrPx> so I need to expose it, I see
2020-11-28 17:25:10 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 17:25:12 +0100acidjnk_new(~acidjnk@p200300d0c719ff54906a13e95f8a8c85.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-28 17:25:26 +0100 <f-a> well, if you are developing a library, some modules will be exposed, no?
2020-11-28 17:25:35 +0100 <hololeap> wouldn't the proper place to put those modules be in a "other-modules:" line?
2020-11-28 17:25:45 +0100 <f-a> specifically, the modules a — say — executable will use
2020-11-28 17:25:52 +0100 <f-a> and yeah, what hololeap says
2020-11-28 17:26:29 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-28 17:27:03 +0100 <SrPx> `Formality.hs` (module Formality) is the module I'm trying to export. `FormalityLib.hs` is an huge generated file that shouldn't be exported. `Formality.hs` imports `FormalityLib.hs` and re-exports it with a nicer API, basically
2020-11-28 17:27:48 +0100 <f-a> ok
2020-11-28 17:27:51 +0100kuribas(~user@ptr-25vy0i8j1ycr5rdgd2i.18120a2.ip6.access.telenet.be)
2020-11-28 17:28:01 +0100 <zfnmxt> In this post concerning Data.Singletons, the author states that he understands why the error they're having occurs, but *I* do not understand why (and am experiencing the same error), can anyone explain? https://stackoverflow.com/questions/58758599/creating-a-type-level-structure-that-contains-a-typel…
2020-11-28 17:28:05 +0100 <f-a> then put FormalityLib in «other modules» like hololeap said
2020-11-28 17:28:05 +0100 <hololeap> also, using `cabal install` is typically discouraged
2020-11-28 17:28:15 +0100 <SrPx> hololeap: why?
2020-11-28 17:28:25 +0100 <SrPx> f-a: I will, thank you (:
2020-11-28 17:28:34 +0100em1n(~user@2401:4900:33a0:9423:35c5:7032:f69d:635c) (Quit: ERC (IRC client for Emacs 27.1))
2020-11-28 17:29:51 +0100 <hololeap> SrPx: i think because modern cabal builds all its dependencies within the project dir, and `cabal install` doesn't really accomplish anything other than cluttering up your ~/.cabal directory
2020-11-28 17:30:05 +0100 <hololeap> but someone else should chime in on that one
2020-11-28 17:30:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 17:30:32 +0100 <hololeap> it might make sense to use it when your package builds an executable
2020-11-28 17:30:33 +0100larou(5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145)
2020-11-28 17:30:54 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-28 17:31:05 +0100 <SrPx> so, all is working now, and I have a cabal project that builds/installs, and a `fmhs` executable that type-checks formality files (yay) -- the question is, how do I publish it so people install it in their machines, if not using `cabal install` ? hololeap
2020-11-28 17:32:00 +0100 <f-a> SrPx: they will have a cabal package and your package listed in theh dependency sections
2020-11-28 17:32:02 +0100 <monochrom> cabal install is not discouraged.
2020-11-28 17:32:20 +0100 <SrPx> f-a: I mean, for people to use as a command line tool
2020-11-28 17:32:21 +0100 <f-a> the build-depends one
2020-11-28 17:32:28 +0100 <SrPx> not necessarily haskell developers
2020-11-28 17:32:36 +0100 <f-a> for them, cabal install will do
2020-11-28 17:32:45 +0100 <SrPx> I see. So I ask them to clone, cd and cabal install?
2020-11-28 17:32:46 +0100 <hololeap> i thought it was when invoked from within a cabal source dir
2020-11-28 17:32:56 +0100 <maerwald> it has unexpected semantics at least
2020-11-28 17:32:59 +0100 <f-a> which will create a symlink in ~/.cabal/bin, so remember to put that in $PATH
2020-11-28 17:33:30 +0100 <f-a> if you publish your package in hackage, just install cabal, cabal update (if needed) and cabal install yourpackage
2020-11-28 17:33:42 +0100 <monochrom> That one is not discouraged either. I do that all the time.
2020-11-28 17:34:27 +0100 <f-a> do that all the time (form the source dir) to obtain which result, monochrom ?
2020-11-28 17:34:28 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-11-28 17:35:02 +0100 <monochrom> Because that source directory is authored by me, and I'm not uploading it to hackage, and it is an exe I want to use as an end user. As an end user, I'm not going to always cd into that directory and use "cabal run" now, am I?
2020-11-28 17:35:10 +0100gproto023(~gproto23@unaffiliated/gproto23)
2020-11-28 17:35:29 +0100 <SrPx> do I add cabal.project.local files to my repo?
2020-11-28 17:35:32 +0100 <monochrom> Therefore, inside that directory, issuing "cabal install" so my exe is on the PATH is necessary. What discouraged?
2020-11-28 17:35:36 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2020-11-28 17:35:59 +0100 <maerwald> monochrom: it doesn't run `cabal build`, it runs `cabal sdist`,unpacks to a temp folder and builds it there
2020-11-28 17:36:25 +0100 <f-a> SrPx: I do not do it and do not see a compelling reason to do it
2020-11-28 17:36:44 +0100 <maerwald> it's not entirely clear to me how much of your cabal.project configuration is honoured when doing `cabal install`
2020-11-28 17:36:49 +0100 <monochrom> I can also describe a slightly longer story about: If it's my source directory and it contains a library, and sometimes I want to use that library as an end user in a random ghci session.
2020-11-28 17:36:53 +0100 <f-a> oh, so `cabal install` from local source folders got fixed, good to know
2020-11-28 17:37:06 +0100 <monochrom> And it's slightly longer only because I need the --lib flag.
2020-11-28 17:37:16 +0100 <SrPx> f-a: okay
2020-11-28 17:37:21 +0100 <maerwald> stack does it right, it runs `stack build` and then copies the binary
2020-11-28 17:37:37 +0100 <monochrom> And I need the --lib flag only because of someone else's ideology or religion that wants to discourage this perfectly common usage.
2020-11-28 17:37:55 +0100gproto23(~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-28 17:38:05 +0100gproto023gproto23
2020-11-28 17:39:19 +0100alp(~alp@2a01:e0a:58b:4920:8179:df5f:5f69:dd36)
2020-11-28 17:39:24 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 17:39:24 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 256 seconds)
2020-11-28 17:44:01 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-28 17:44:58 +0100 <hololeap> SrPx: i use cabal.project.local just so i can add custom GHC options that don't need to be shipped with the repo, and also to point to other local projects
2020-11-28 17:45:10 +0100 <SrPx> okay!
2020-11-28 17:45:14 +0100 <SrPx> all works, thanks everyone
2020-11-28 17:45:19 +0100 <f-a> well done
2020-11-28 17:45:24 +0100 <f-a> what does your exe do, btw
2020-11-28 17:45:58 +0100 <hololeap> looks like some kind of compiler/interpreter for a custom language
2020-11-28 17:46:12 +0100hololeapshrugs
2020-11-28 17:46:21 +0100 <SrPx> it is the Formality language! (:
2020-11-28 17:46:49 +0100 <SrPx> it is a proof assistant like Agda but more minimalistic, way simpler and faster in many senses
2020-11-28 17:47:04 +0100 <monochrom> Is it a language for ants? Or am I mixing up "formal" with "formic"...
2020-11-28 17:47:05 +0100 <SrPx> I implemented the whole language in itself, and now I compiled it to Haskell
2020-11-28 17:47:52 +0100 <SrPx> I don't like the name, it is supposed to be a counterpart to Solidity, the smart-contract language. Formality was initially an internal project & Ethereum Foundation
2020-11-28 17:48:01 +0100 <SrPx> https://github.com/moonad/FormalityFM/tree/master/bin/hs
2020-11-28 17:48:23 +0100 <SrPx> here is the Haskell code, in case anyone is curious. I'll make a very cool blog post about this bootstrapping process when I finish the documentation
2020-11-28 17:48:37 +0100 <SrPx> I also need to finish the Scheme compiler (:
2020-11-28 17:48:38 +0100tutorial(~email.o@151.49.167.96)
2020-11-28 17:49:07 +0100 <f-a> excellent SrPx
2020-11-28 17:49:13 +0100 <f-a> what is your blog, so I can add it to my rss
2020-11-28 17:49:16 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9)
2020-11-28 17:49:25 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-11-28 17:49:27 +0100 <tutorial> !list
2020-11-28 17:49:27 +0100 <monochrom> tutorial: https://www.haskell.org/ghcup/
2020-11-28 17:49:30 +0100 <SrPx> I don't have one, this will be the first post :P
2020-11-28 17:49:47 +0100 <SrPx> also if you guys have suggestions on what to use to make a minimalist, lightweight blog for these things
2020-11-28 17:50:02 +0100 <SrPx> one that I can just write some markdown, publish and will give the least amount of work to me
2020-11-28 17:50:02 +0100 <monochrom> "annealing" comes to my mind when I think of making something solid. (Well, "freezing" came first, but then when you solidify steel you don't call that freezing.)
2020-11-28 17:50:06 +0100 <tutorial> curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh
2020-11-28 17:50:11 +0100 <SrPx> specially don't want to deal with having to host it
2020-11-28 17:50:35 +0100 <monochrom> oh, "forging" is better
2020-11-28 17:50:38 +0100sw1nn(~sw1nn@host81-131-191-165.range81-131.btcentralplus.com)
2020-11-28 17:50:39 +0100fendor_(~fendor@178.115.128.128.wireless.dyn.drei.com)
2020-11-28 17:52:11 +0100geekosaur(ac3a8ce1@172.58.140.225)
2020-11-28 17:52:43 +0100 <f-a> SrPx: there is a nice static site generator in haskell, hakyll
2020-11-28 17:53:01 +0100 <f-a> also in haskell: https://discourse.haskell.org/t/announcing-neuron-zettelkasten-in-haskell/1137
2020-11-28 17:53:11 +0100 <SrPx> f-a: I'll have a look, but if it just generates a static site there won't be comments and I'll need to host ):
2020-11-28 17:53:29 +0100 <f-a> some people «attach» Discourse
2020-11-28 17:53:47 +0100fendor(~fendor@77.119.131.179.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2020-11-28 17:53:55 +0100 <f-a> I just have a mailto: comment link at the end of the page (e.g. http://www.ariis.it/static/articles/dodecaphonic-experiment/page.html )
2020-11-28 17:54:14 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-11-28 17:54:24 +0100 <SrPx> hmm
2020-11-28 17:55:08 +0100 <f-a> (yeah, welcome to the 90s)
2020-11-28 17:55:19 +0100 <f-a> check what other folks do
2020-11-28 17:57:21 +0100hackageheapsize 0.3.0 - Determine the size of runtime data structures https://hackage.haskell.org/package/heapsize-0.3.0 (PepeIborra)
2020-11-28 17:59:36 +0100u0_a298(~user@65.35.205.131) (Read error: Connection reset by peer)
2020-11-28 18:00:00 +0100u0_a298(~user@65.35.205.131)
2020-11-28 18:02:34 +0100u0_a298(~user@65.35.205.131) (Read error: Connection reset by peer)
2020-11-28 18:03:13 +0100u0_a298(~user@65.35.205.131)
2020-11-28 18:04:19 +0100tutorial(~email.o@151.49.167.96) ()
2020-11-28 18:06:25 +0100u0_a298(~user@65.35.205.131) (Read error: Connection reset by peer)
2020-11-28 18:06:55 +0100awk(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-11-28 18:07:01 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-11-28 18:07:18 +0100u0_a298(~user@65.35.205.131)
2020-11-28 18:07:25 +0100knupfer(~Thunderbi@200116b82c34fc009cecb4fffec48686.dip.versatel-1u1.de)
2020-11-28 18:08:24 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 18:08:37 +0100 <boxscape> hmm prime.haskell.org seems to be down
2020-11-28 18:09:00 +0100juuandyy(~juuandyy@90.166.144.65)
2020-11-28 18:09:38 +0100knupfer1(~Thunderbi@200116b82c34fc00e57812effaa3cf6d.dip.versatel-1u1.de)
2020-11-28 18:10:02 +0100 <justsomeguy> I'm trying to rewrite “elem” in terms of “foldr” for practice. Here's what I have so far: “ foldr (||) False . foldr (\y ys -> (y == e):ys) []”. Is it possible for me to move the “(||)” operator into the first “foldr”?
2020-11-28 18:11:24 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-28 18:11:34 +0100 <geekosaur> yes
2020-11-28 18:11:57 +0100LKoen_(~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-28 18:12:09 +0100knupfer(~Thunderbi@200116b82c34fc009cecb4fffec48686.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-11-28 18:12:09 +0100knupfer1knupfer
2020-11-28 18:12:55 +0100 <justsomeguy> Ok, I better experiment with this for a bit more and see if I can figure it out, then.
2020-11-28 18:13:08 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-28 18:14:08 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net)
2020-11-28 18:15:02 +0100 <boxscape> justsomeguy if it helps and if it's not obvious, keep in mind that foldr just replaces (:) with a function and and [] with a constant, so you might consider what f and z would have to be so that `elem x [1,2,3] = 1 `f` 2 `f` 3 `f` z`
2020-11-28 18:15:11 +0100 <hekkaidekapus> monochrom: Have you heard of cabal-env? It avoid `cabal-install install --lib`’s pitfalls and, iirc, Oleg would like to get feedback on that as it is the next-generation `c.i. --lib.`
2020-11-28 18:15:45 +0100awksomethingelse
2020-11-28 18:16:02 +0100 <boxscape> .. or `f 1 (f 2 (f 3 z)))`
2020-11-28 18:18:13 +0100u0_a298(~user@65.35.205.131) (Read error: Connection reset by peer)
2020-11-28 18:18:57 +0100Digitteknohippie(~user@fsf/member/digit)
2020-11-28 18:18:59 +0100u0_a298(~user@65.35.205.131)
2020-11-28 18:19:06 +0100 <hekkaidekapus> > foldr f z [1, 2, 3]
2020-11-28 18:19:09 +0100 <lambdabot> f 1 (f 2 (f 3 z))
2020-11-28 18:20:47 +0100contiver(~contiver@84-115-65-124.wifi.dynamic.surfer.at)
2020-11-28 18:21:13 +0100Digit(~user@fsf/member/digit) (Ping timeout: 260 seconds)
2020-11-28 18:21:17 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-11-28 18:21:21 +0100f-a(~f-a@151.36.220.175) (Quit: leaving)
2020-11-28 18:21:39 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Ping timeout: 272 seconds)
2020-11-28 18:22:07 +0100 <justsomeguy> That does help :). Now I have “myElem e = foldr (\y ys -> y == e || ys) False”.
2020-11-28 18:22:20 +0100vg(~vg@139.59.59.230) (Quit: vg)
2020-11-28 18:22:34 +0100vg(~vg@139.59.59.230)
2020-11-28 18:22:46 +0100vg(~vg@139.59.59.230) (Remote host closed the connection)
2020-11-28 18:23:02 +0100vg(~vg@139.59.59.230)
2020-11-28 18:23:52 +0100 <geekosaur> I'd reverse the alternative just to take advantage of short-circuiting, although I doubt it buys much unless the comparison is expensive
2020-11-28 18:24:15 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-11-28 18:24:16 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-11-28 18:24:33 +0100berberman_(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-28 18:24:41 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-28 18:25:07 +0100berberman(~berberman@unaffiliated/berberman)
2020-11-28 18:26:23 +0100f-a(~f-a@151.36.220.175)
2020-11-28 18:27:56 +0100 <tomsmeding> this _is_ the right order for short-circuiting, right?
2020-11-28 18:28:09 +0100f-a(~f-a@151.36.220.175) ()
2020-11-28 18:28:13 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-28 18:28:36 +0100 <tomsmeding> > foldr (\y ys -> y == 0 || ys) False [0..]
2020-11-28 18:28:38 +0100 <lambdabot> True
2020-11-28 18:28:42 +0100 <tomsmeding> > foldr (\y ys -> ys || y == 0) False [0..]
2020-11-28 18:28:46 +0100 <justsomeguy> I think I was confused about whether “ys” would be substituted in as an unprocessed list, or the processed list with function applications. I was imagining that the cons cells were being replaced one-by-one, but instead they're replaced all at once, so “ys” is a function call stack.
2020-11-28 18:28:49 +0100 <geekosaur> `y == e || ys' does the compariso first
2020-11-28 18:28:49 +0100 <lambdabot> mueval-core: Time limit exceeded
2020-11-28 18:29:46 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-11-28 18:30:08 +0100 <tomsmeding> justsomeguy: yes that 'ys' is the result of the fold over the rest of the list
2020-11-28 18:30:20 +0100Entertainment(~entertain@104.246.132.210)
2020-11-28 18:30:34 +0100benjamin-l(~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60)
2020-11-28 18:31:01 +0100 <tomsmeding> geekosaur: if you list the comparison first, then as soon as that ever returns true, the thunk for the fold over the remainder of the list need not even be evaluated ;)
2020-11-28 18:32:30 +0100 <ski> justsomeguy : `ys' becomes the recursive call of `foldr'
2020-11-28 18:33:03 +0100vg(~vg@139.59.59.230) (Quit: vg)
2020-11-28 18:33:04 +0100lxsameer(~lxsameer@unaffiliated/lxsameer) (Ping timeout: 265 seconds)
2020-11-28 18:33:26 +0100 <ski> > foldr (\x y -> x - y) z [a,b,c,d]
2020-11-28 18:33:29 +0100 <lambdabot> a - (b - (c - (d - z)))
2020-11-28 18:33:29 +0100vg(~vg@139.59.59.230)
2020-11-28 18:33:48 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-28 18:35:55 +0100tlaxkit(~kvirc@185.228.155.198) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-11-28 18:36:56 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-11-28 18:39:30 +0100u0_a298(~user@65.35.205.131) (Read error: Connection reset by peer)
2020-11-28 18:39:48 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 18:39:59 +0100u0_a298(~user@65.35.205.131)
2020-11-28 18:42:15 +0100u0_a298(~user@65.35.205.131) (Read error: Connection reset by peer)
2020-11-28 18:42:30 +0100u0_a298(~user@65.35.205.131)
2020-11-28 18:43:47 +0100lxsameer(~lxsameer@unaffiliated/lxsameer)
2020-11-28 18:46:36 +0100juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 240 seconds)
2020-11-28 18:49:02 +0100juuandyy(~juuandyy@90.166.144.65)
2020-11-28 18:49:19 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-28 18:49:20 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 18:51:25 +0100thebnq(~bnq@herrokitty.com) (Remote host closed the connection)
2020-11-28 18:52:08 +0100hololeap(~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/)
2020-11-28 18:52:18 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Quit: Leaving)
2020-11-28 18:52:33 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 18:53:13 +0100pokid(~pokid@unaffiliated/pokid)
2020-11-28 18:53:38 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 256 seconds)
2020-11-28 18:55:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 18:55:13 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-28 18:55:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 18:56:06 +0100urek__(~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030)
2020-11-28 18:57:09 +0100thebnq(~bnq@herrokitty.com)
2020-11-28 18:58:54 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 18:59:01 +0100urek(~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) (Ping timeout: 272 seconds)
2020-11-28 18:59:33 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-28 19:00:08 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2020-11-28 19:00:29 +0100conal(~conal@64.71.133.70)
2020-11-28 19:01:03 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-28 19:01:18 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-28 19:02:23 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Quit: Leaving)
2020-11-28 19:02:24 +0100xff0x(~fox@2001:1a81:5212:df00:619a:8848:f789:a6cb) (Remote host closed the connection)
2020-11-28 19:02:40 +0100xff0x(~fox@2001:1a81:5212:df00:73d2:a321:b9d6:4d65)
2020-11-28 19:02:54 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 19:04:36 +0100conal(~conal@64.71.133.70) (Ping timeout: 240 seconds)
2020-11-28 19:08:04 +0100JJ15(~JJ@94.197.17.236.threembb.co.uk)
2020-11-28 19:10:17 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-11-28 19:10:48 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 19:10:51 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-28 19:13:17 +0100contiver_(~contiver@84-115-64-191.wifi.dynamic.surfer.at)
2020-11-28 19:13:23 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-11-28 19:13:47 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2020-11-28 19:15:57 +0100contiver(~contiver@84-115-65-124.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds)
2020-11-28 19:16:24 +0100 <boxscape> Is there any way to access https://prime.haskell.org/wiki/PolymorphicComponents ? wayback machine doesn't have it, but duckduckgo lists a snippet of its text when searching for it (today it's just a synonym for RankNTypes, but I'd like to read more about what it used to be)
2020-11-28 19:16:25 +0100juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 264 seconds)
2020-11-28 19:18:12 +0100christo(~chris@81.96.113.213)
2020-11-28 19:20:33 +0100alp(~alp@2a01:e0a:58b:4920:8179:df5f:5f69:dd36) (Ping timeout: 272 seconds)
2020-11-28 19:23:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 19:23:17 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net)
2020-11-28 19:24:21 +0100 <boxscape> hm, well, https://downloads.haskell.org/ghc/6.10.1/docs/html/users_guide/other-type-extensions.html#universa… still distinguishes between them, I suppose the User Guide ought to be enough specification
2020-11-28 19:25:25 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-28 19:26:20 +0100 <merijn> boxscape: afaict from there it's just a subset of RankN
2020-11-28 19:27:04 +0100 <boxscape> merijn from the User's guide it sounds like back then neither was a subset of the other, but I'm not sure
2020-11-28 19:27:21 +0100 <boxscape> wait
2020-11-28 19:27:23 +0100 <boxscape> I'm wrong
2020-11-28 19:27:26 +0100 <boxscape> you're right
2020-11-28 19:27:36 +0100 <merijn> :)
2020-11-28 19:27:45 +0100 <merijn> Story of my life ;)
2020-11-28 19:28:07 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-28 19:28:09 +0100 <merijn> Which would explain why that extension is gone noe
2020-11-28 19:28:18 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 19:28:31 +0100 <merijn> Doesn't seem very useful to have separate dedicated one for constructors
2020-11-28 19:29:44 +0100 <boxscape> merijn you can emulate RankNTypes using only PolymorphicComponents
2020-11-28 19:29:49 +0100 <boxscape> that's what I'm doing in Java
2020-11-28 19:30:29 +0100geekosaur(ac3a8ce1@172.58.140.225) (Ping timeout: 245 seconds)
2020-11-28 19:31:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-11-28 19:31:58 +0100 <boxscape> i.e. if you have a type `forall r . (forall s . P s -> r) -> r`, you'll have to instead construct a type `data ForallP r = ForallP (forall s . P s -> r)` and then your type becomes `forall r . ForallP r -> r`
2020-11-28 19:33:18 +0100 <boxscape> merijn I imagine if they were introduced at the same time the motivation was the same as for Rank2Types, to keep type inference for everything when it's enabled
2020-11-28 19:34:05 +0100 <merijn> Rank2Type inference was never in GHC, though :p
2020-11-28 19:34:11 +0100 <merijn> And most likely won't ever be
2020-11-28 19:34:34 +0100 <boxscape> true, but I've heard that was the motivation, at least :)
2020-11-28 19:36:12 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-28 19:37:00 +0100Deide(~Deide@217.155.19.23)
2020-11-28 19:37:02 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-28 19:37:21 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 19:38:23 +0100Entertainment(~entertain@104.246.132.210)
2020-11-28 19:39:01 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-28 19:44:01 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 264 seconds)
2020-11-28 19:44:58 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-28 19:48:21 +0100geekosaur(ac3a8ce1@172.58.140.225)
2020-11-28 19:49:06 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 19:49:57 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-11-28 19:50:40 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-28 19:51:12 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 19:54:49 +0100somethingelseawk
2020-11-28 19:55:00 +0100oish(~charlie@228.25.169.217.in-addr.arpa)
2020-11-28 19:59:51 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th)
2020-11-28 20:02:11 +0100arifordsham(5af9dccf@90.249.220.207)
2020-11-28 20:03:27 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Ping timeout: 265 seconds)
2020-11-28 20:03:33 +0100berberman_(~berberman@unaffiliated/berberman)
2020-11-28 20:03:56 +0100da39a3ee5e6b4b0d(~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) (Ping timeout: 240 seconds)
2020-11-28 20:04:14 +0100arifordsham(5af9dccf@90.249.220.207) (Remote host closed the connection)
2020-11-28 20:04:15 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-11-28 20:06:51 +0100hackagephonetic-languages-ukrainian 0.3.0.0 - Prepares Ukrainian text to be used as a phonetic language text https://hackage.haskell.org/package/phonetic-languages-ukrainian-0.3.0.0 (OleksandrZhabenko)
2020-11-28 20:07:14 +0100xff0x(~fox@2001:1a81:5212:df00:73d2:a321:b9d6:4d65) (Ping timeout: 264 seconds)
2020-11-28 20:07:52 +0100xff0x(~fox@2001:1a81:5212:df00:d7cf:4a87:a54b:9a9b)
2020-11-28 20:09:21 +0100hackagepolysemy-time 0.1.1.0 - Polysemy effect for time https://hackage.haskell.org/package/polysemy-time-0.1.1.0 (tek)
2020-11-28 20:11:10 +0100shf(~sheaf@2a01:cb19:80cc:7e00:18fb:674e:a5dc:b905)
2020-11-28 20:12:03 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 256 seconds)
2020-11-28 20:12:44 +0100LKoen(~LKoen@169.244.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-28 20:14:35 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 20:16:01 +0100contiver_(~contiver@84-115-64-191.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds)
2020-11-28 20:16:14 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2020-11-28 20:17:10 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-28 20:18:51 +0100hackagepolysemy-test 0.3.0.2 - Polysemy effects for testing https://hackage.haskell.org/package/polysemy-test-0.3.0.2 (tek)
2020-11-28 20:20:19 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed)
2020-11-28 20:20:54 +0100notzmv(~user@unaffiliated/zmv) (Read error: No route to host)
2020-11-28 20:20:58 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-11-28 20:21:01 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-28 20:21:15 +0100boxscape(54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Client Quit)
2020-11-28 20:21:57 +0100notzmv(~user@unaffiliated/zmv)
2020-11-28 20:22:16 +0100alp(~alp@2a01:e0a:58b:4920:d8c4:d831:fb12:ab66)
2020-11-28 20:22:58 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2020-11-28 20:26:02 +0100johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-11-28 20:26:22 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 20:26:46 +0100knupfer(~Thunderbi@200116b82c34fc00e57812effaa3cf6d.dip.versatel-1u1.de) (Quit: knupfer)
2020-11-28 20:26:54 +0100knupfer(~Thunderbi@200116b82c34fc005d08729243d08baf.dip.versatel-1u1.de)
2020-11-28 20:29:33 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-28 20:37:00 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net)
2020-11-28 20:40:49 +0100acidjnk_new(~acidjnk@p200300d0c719ff59c0fa403c32c1f5ec.dip0.t-ipconnect.de)
2020-11-28 20:44:10 +0100pokid(~pokid@unaffiliated/pokid) ()
2020-11-28 20:44:54 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 272 seconds)
2020-11-28 20:46:03 +0100Entertainment(~entertain@104.246.132.210)
2020-11-28 20:46:49 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-28 20:53:57 +0100f-a(~f-a@151.36.56.0)
2020-11-28 20:54:51 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f81c:ff6e:432:f940)
2020-11-28 20:55:22 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-28 20:56:09 +0100cmurr(~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr)
2020-11-28 20:56:22 +0100urek(~urek@2804:7f1:e10a:5ac1:9da8:e4f6:9638:96bd)
2020-11-28 20:58:05 +0100urek__(~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) (Ping timeout: 272 seconds)
2020-11-28 20:58:15 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Quit: leaving)
2020-11-28 21:01:56 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 265 seconds)
2020-11-28 21:02:48 +0100oish(~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds)
2020-11-28 21:02:59 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-28 21:04:31 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-28 21:04:31 +0100sankarshan(~sankarsha@178.239.168.171) (Remote host closed the connection)
2020-11-28 21:04:48 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 21:05:43 +0100conal(~conal@64.71.133.70)
2020-11-28 21:06:19 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-28 21:07:22 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-28 21:09:30 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit)
2020-11-28 21:09:51 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-28 21:14:51 +0100Unhammerd(~Unhammer@gateway/tor-sasl/unhammer)
2020-11-28 21:15:03 +0100Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-11-28 21:18:27 +0100kuribas(~user@ptr-25vy0i8j1ycr5rdgd2i.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-11-28 21:22:14 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-28 21:25:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 21:25:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 21:26:28 +0100nahcetan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-28 21:26:56 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 21:28:03 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 21:28:58 +0100Ramaken(~Ramaken@a80-127-252-11.adsl.xs4all.nl)
2020-11-28 21:28:58 +0100mivael(c16e4caa@193.110.76.170)
2020-11-28 21:30:04 +0100knupfer(~Thunderbi@200116b82c34fc005d08729243d08baf.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-11-28 21:32:21 +0100hackageadvent-of-code-ocr 0.1.1.0 - Parse Advent of Code ASCII art letters https://hackage.haskell.org/package/advent-of-code-ocr-0.1.1.0 (jle)
2020-11-28 21:32:24 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-28 21:35:21 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 21:35:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 21:36:09 +0100hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-28 21:36:39 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 21:38:44 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 21:39:22 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-28 21:40:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-11-28 21:41:44 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-28 21:44:25 +0100falafel(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 256 seconds)
2020-11-28 21:45:30 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-28 21:45:31 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit)
2020-11-28 21:46:09 +0100justsomeguy(~justsomeg@216.186.218.241)
2020-11-28 21:46:09 +0100justsomeguy(~justsomeg@216.186.218.241) (Changing host)
2020-11-28 21:46:09 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-11-28 21:46:54 +0100 <mivael> > let fromList = Data.Map.fromList; union = Data.Map.union; m = fromList [(2,200),(7,700),(3,300)]; n = [(8,800),(5,500)] in (union m . fromList) n
2020-11-28 21:46:55 +0100 <lambdabot> fromList [(2,200),(3,300),(5,500),(7,700),(8,800)]
2020-11-28 21:47:27 +0100 <mivael> hello, is this a proper way to insert multiple elements into a Data.Map?
2020-11-28 21:47:40 +0100 <merijn> mivael: Depends, what should happen on conflict?
2020-11-28 21:48:19 +0100f-a(~f-a@151.36.56.0) ()
2020-11-28 21:48:31 +0100 <mivael> merijn: assuming we already checked, no conflicts
2020-11-28 21:48:41 +0100 <merijn> Then sure
2020-11-28 21:49:00 +0100 <merijn> mivael: Note that there's also unionWith and fromListWith which let you merge conflicts
2020-11-28 21:49:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 21:49:11 +0100 <dsal> "checked" sounds suspicious. Whatever checking you did must be duplicating work that would have to happen during this process anyway.
2020-11-28 21:49:37 +0100 <merijn> dsal: The lack of "create map *or* error" in containers kinda annoys me
2020-11-28 21:49:41 +0100 <merijn> Maybe I should make a PR...
2020-11-28 21:49:48 +0100Entertainment(~entertain@104.246.132.210)
2020-11-28 21:49:55 +0100 <mivael> dsal: understood
2020-11-28 21:50:09 +0100 <koz_> merijn: Would it be something like (Ord k) => [(k,v)] -> Maybe (Map k v)?
2020-11-28 21:50:24 +0100 <koz_> Or like, Either (k, k) (Map k v)?
2020-11-28 21:50:36 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net)
2020-11-28 21:50:38 +0100 <koz_> s/(k, k)/k/
2020-11-28 21:50:56 +0100 <merijn> koz_: Something like that, yes
2020-11-28 21:50:56 +0100 <mivael> merijn: I mean should I expect a little performance penalty from creating an additional intermediary Data.Map?
2020-11-28 21:51:04 +0100 <tomsmeding> merijn: there is traverseMaybeWithKey in Data.Map.Strict, but that's only for removing keys; there's also alterF, but that's only for single keys
2020-11-28 21:51:07 +0100 <tomsmeding> I agree with your assessment :p
2020-11-28 21:51:18 +0100 <koz_> I think the 'Either k (Map k v)' formulation is more useful, since then you'd know what caused the conflict.
2020-11-28 21:51:29 +0100 <merijn> mivael: Yes, but not one I'd bother worrying about until you profile and notice a problem
2020-11-28 21:51:36 +0100 <koz_> You could even go 'Either (k, v) (Map k v)' formulation for maximum infomativeness.
2020-11-28 21:51:38 +0100hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-28 21:51:43 +0100 <merijn> tomsmeding: I guess mergeA does this
2020-11-28 21:51:53 +0100 <mivael> merijn: thanks!
2020-11-28 21:51:56 +0100 <tomsmeding> oh different module
2020-11-28 21:51:57 +0100 <geekosaur> or [k] or [(k,v)]
2020-11-28 21:51:58 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 21:52:06 +0100 <merijn> This is some generalised death machinery: https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Merge-Lazy.html#v:mergeA
2020-11-28 21:52:07 +0100caecilius(~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit)
2020-11-28 21:52:14 +0100 <koz_> geekosaur: Yeah, but I'd say once you found _one_ clash, you can probably stop.
2020-11-28 21:52:29 +0100 <tomsmeding> I guess, but indeed that's quite the hammer
2020-11-28 21:52:33 +0100urek(~urek@2804:7f1:e10a:5ac1:9da8:e4f6:9638:96bd) (Ping timeout: 272 seconds)
2020-11-28 21:52:42 +0100caecilius(~caecilius@gateway/tor-sasl/caecilius)
2020-11-28 21:53:51 +0100hidedagger(~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-28 21:54:15 +0100 <tomsmeding> I didn't know about mergeA, but I think I've never had the need for this full generality yet
2020-11-28 21:54:26 +0100fendor_fendor
2020-11-28 21:55:08 +0100caecilius(~caecilius@gateway/tor-sasl/caecilius) (Client Quit)
2020-11-28 21:55:21 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-28 21:55:49 +0100caecilius(~caecilius@gateway/tor-sasl/caecilius)
2020-11-28 21:56:33 +0100wwwww(~wwwww@unaffiliated/wwwww) (Ping timeout: 265 seconds)
2020-11-28 21:56:58 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-28 21:57:13 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-jnheqdjklwmeetne)
2020-11-28 21:58:33 +0100wwwww(~wwwww@unaffiliated/wwwww)
2020-11-28 21:59:05 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-28 22:01:29 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-28 22:03:14 +0100aarvar(~foewfoiew@50.35.43.33)
2020-11-28 22:05:43 +0100hidedagger(~nate@unaffiliated/hidedagger)
2020-11-28 22:07:52 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:f81c:ff6e:432:f940) (Ping timeout: 260 seconds)
2020-11-28 22:08:27 +0100chaosmasttter(~chaosmast@p200300c4a7138801bcb5e33e9742c8f7.dip0.t-ipconnect.de)
2020-11-28 22:11:39 +0100chaosmasttter(~chaosmast@p200300c4a7138801bcb5e33e9742c8f7.dip0.t-ipconnect.de) (Client Quit)
2020-11-28 22:14:05 +0100 <koz_> For megaparsec's 'space' combinator, if I _don't_ want to support block comments as such, what should I pass for its third argument?
2020-11-28 22:14:27 +0100Franciman(~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 256 seconds)
2020-11-28 22:16:22 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-11-28 22:17:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 22:17:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 22:17:57 +0100 <koz_> Ah, 'empty'.
2020-11-28 22:19:05 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-jbnazvtdsyymenum)
2020-11-28 22:22:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 22:23:32 +0100christo(~chris@81.96.113.213)
2020-11-28 22:25:47 +0100gproto23(~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-28 22:26:19 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-28 22:27:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 22:31:27 +0100urek(~urek@2804:7f1:e10a:5ac1:9da8:e4f6:9638:96bd)
2020-11-28 22:31:54 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-28 22:34:51 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-11-28 22:35:33 +0100Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-11-28 22:36:27 +0100trepanger(~z@ics141-225.icsincorporated.com)
2020-11-28 22:36:32 +0100sondr3(~sondr3@cm-84.211.56.132.getinternet.no) (Quit: Leaving)
2020-11-28 22:37:25 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-28 22:37:33 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-28 22:39:02 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-28 22:39:23 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 22:42:47 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-11-28 22:43:07 +0100nkatte_(~nkatte@2804:14c:7982:10c9:4e1d:96ff:fe53:98e1)
2020-11-28 22:44:16 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2020-11-28 22:45:21 +0100geekosaur(ac3a8ce1@172.58.140.225) (Remote host closed the connection)
2020-11-28 22:47:46 +0100triteraflops(~triterafl@host-208-96-90-136.public.eastlink.ca) (Ping timeout: 272 seconds)
2020-11-28 22:50:08 +0100u0_a298(~user@65.35.205.131) (Ping timeout: 260 seconds)
2020-11-28 22:50:26 +0100delbmuts_(528746e8@ppp-82-135-70-232.dynamic.mnet-online.de) ()
2020-11-28 22:52:54 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 22:53:37 +0100exlipse(~exlipse@4e69b241.skybroadband.com) (Ping timeout: 264 seconds)
2020-11-28 22:53:44 +0100knupfer(~Thunderbi@200116b82c34fc00248e39fffec57c3f.dip.versatel-1u1.de)
2020-11-28 22:53:44 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-28 22:53:55 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-28 22:54:15 +0100trepanger(~z@ics141-225.icsincorporated.com) (Quit: leaving)
2020-11-28 22:54:23 +0100knupfer(~Thunderbi@200116b82c34fc00248e39fffec57c3f.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-28 22:54:32 +0100knupfer(~Thunderbi@200116b82c34fc00092785e1f1ef8791.dip.versatel-1u1.de)
2020-11-28 22:56:38 +0100tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-28 22:56:46 +0100conal(~conal@64.71.133.70)
2020-11-28 22:59:58 +0100neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2020-11-28 23:00:42 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-28 23:03:03 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-11-28 23:03:27 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 23:03:29 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-28 23:09:01 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-28 23:11:13 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-11-28 23:12:24 +0100tabemann(~tabemann@2600:1700:7990:24e0:70d3:975d:bfb3:7240)
2020-11-28 23:17:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-28 23:17:35 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-28 23:17:58 +0100Tario(~Tario@37.218.241.6)
2020-11-28 23:18:03 +0100Amras(~Amras@unaffiliated/amras) (Ping timeout: 272 seconds)
2020-11-28 23:18:08 +0100falafel_(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net)
2020-11-28 23:18:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 23:18:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 23:20:59 +0100contiver(~contiver@84-115-65-99.wifi.dynamic.surfer.at)
2020-11-28 23:21:08 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 265 seconds)
2020-11-28 23:21:38 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-28 23:22:53 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-28 23:23:01 +0100falafel_(~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 264 seconds)
2020-11-28 23:23:07 +0100alp(~alp@2a01:e0a:58b:4920:d8c4:d831:fb12:ab66) (Ping timeout: 272 seconds)
2020-11-28 23:23:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-28 23:23:59 +0100cads(~cads@ip-64-72-99-232.lasvegas.net)
2020-11-28 23:25:05 +0100 <cads> anywhere I can read about how to trim down and clean up haskell libraries?
2020-11-28 23:25:23 +0100 <dminuoso> What do you mean by "trim down and clean up"?
2020-11-28 23:25:34 +0100 <merijn> cads: As in "I got to many on my system after working for a few months/year?"
2020-11-28 23:26:07 +0100 <merijn> Also, stack or cabal-install?
2020-11-28 23:26:13 +0100 <cads> no, like every module seems to have 60 lines of imports
2020-11-28 23:26:39 +0100 <merijn> cads: Within your own project, you mean?
2020-11-28 23:26:39 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:9189:9740:2cd9:fac9)
2020-11-28 23:26:46 +0100 <cads> sure
2020-11-28 23:26:57 +0100 <cads> within code I want to refactor
2020-11-28 23:27:07 +0100 <merijn> cads: Normally I'd define like a "project" prelude of common imports
2020-11-28 23:27:38 +0100 <merijn> cads: Take the subset of modules that is in (nearly) every module of your project, define a single module that imports and reexports those
2020-11-28 23:27:45 +0100 <cads> thinking of doing that locally to modules, if the imports are not shared
2020-11-28 23:28:19 +0100Ramaken(~Ramaken@a80-127-252-11.adsl.xs4all.nl) (Quit: Leaving)
2020-11-28 23:28:46 +0100 <merijn> cads: I mean, if all your modules have 60 imports and there's no common subset then, eh, you're out of luck
2020-11-28 23:29:35 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-11-28 23:29:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-28 23:29:45 +0100 <dminuoso> otoh, if all your modules have 60 imports, Id be taking a closer look in general
2020-11-28 23:30:11 +0100 <dminuoso> On average you might rather see 15-25 perhaps. 60 seems a bit high, especially if it's very consistent
2020-11-28 23:31:12 +0100 <shapr> cads: if you have unused code, you could try https://github.com/ocharles/weeder
2020-11-28 23:31:12 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-28 23:33:05 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-28 23:33:57 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-11-28 23:34:14 +0100 <merijn> GHC already warns about unused imports, though
2020-11-28 23:34:34 +0100contiver(~contiver@84-115-65-99.wifi.dynamic.surfer.at) (Ping timeout: 260 seconds)
2020-11-28 23:34:38 +0100 <dminuoso> merijn: If you stuff it in an export list... then it does not. :(
2020-11-28 23:34:38 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-28 23:34:42 +0100Varis(~Tadas@unaffiliated/varis)
2020-11-28 23:34:58 +0100 <merijn> Well, sure
2020-11-28 23:35:00 +0100joaoh82(~joaoh82@ip-213-127-88-241.ip.prioritytelecom.net)
2020-11-28 23:35:08 +0100 <monochrom> A monolithic design also has the symptom that every module "needs" to import everything else.
2020-11-28 23:35:10 +0100 <merijn> Because then it's not unused
2020-11-28 23:35:31 +0100Zao_(~Zao_@185.204.1.185)
2020-11-28 23:35:44 +0100 <dminuoso> merijn: That depends.
2020-11-28 23:35:52 +0100 <dminuoso> If nothing imports or uses it, then its very much unused.
2020-11-28 23:36:06 +0100 <dminuoso> For an internal component or non-exposed module that's detectable, so...
2020-11-28 23:36:07 +0100 <monochrom> As opposed to: A layered design has every module only needs to import things from the layer below.
2020-11-28 23:36:41 +0100chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-28 23:37:30 +0100exlipse(~exlipse@4e69b241.skybroadband.com)
2020-11-28 23:37:50 +0100 <cads> oh fun, there is no easy way to find out which unit tests touch this module. The unit tests consist of about 400 random .sh files whose names have nothing to do with modules
2020-11-28 23:37:52 +0100 <texasmynsted> Sigh. Looks like I am going to have to come up with a project to use "MQTT" with. :-)
2020-11-28 23:38:16 +0100fendor(~fendor@178.115.128.128.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-28 23:38:29 +0100 <cads> see, I was thinking that the unit tests would help me take this byzantine module and think about it the way the developer does
2020-11-28 23:38:37 +0100 <cads> it turns out, they probably do
2020-11-28 23:40:01 +0100 <cads> what is the plushest and nicest behavior driven testing for haskell?
2020-11-28 23:40:18 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 260 seconds)
2020-11-28 23:40:47 +0100 <cads> and can it help force-convert legacy tests written in .sh?
2020-11-28 23:42:00 +0100 <cads> autrb2u - allurtestsrbelong2us <- this is what I would like this tool to be called
2020-11-28 23:42:47 +0100 <cads> or just mmmzig
2020-11-28 23:43:11 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-28 23:43:34 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-28 23:44:08 +0100 <shapr> cads: are they golden tests in the shell scripts?
2020-11-28 23:44:13 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-28 23:44:16 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-11-28 23:44:35 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-28 23:45:08 +0100n0042(d055ed89@208.85.237.137) (Remote host closed the connection)
2020-11-28 23:45:30 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-28 23:45:46 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-28 23:48:22 +0100 <cads> I will have to read them and classify them a bit - there are 372 of them, many of them are just labeled by the bug fix they address, some of them kick off custom haskell fixtures, and there's probably some delineation between unit and integration testing, but currently all 327 shell files are jumbled together in one directory without any real taxonomy
2020-11-28 23:49:05 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2020-11-28 23:49:05 +0100Tario(~Tario@37.218.241.6) (Read error: Connection reset by peer)
2020-11-28 23:49:23 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-11-28 23:49:43 +0100Tario(~Tario@201.192.165.173)
2020-11-28 23:49:48 +0100 <dsal> texasmynsted: I use it for everything. Want to know when the hot tub is ready? Turn on the 3D printer? Measure energy consumption from my in-sink boiler? Adjust my car's charge level? So much stuff...
2020-11-28 23:50:07 +0100 <texasmynsted> :)
2020-11-28 23:50:41 +0100 <dsal> Got an alert telling me my refrigerator got too warm after I put a bunch of water in it.
2020-11-28 23:50:42 +0100 <texasmynsted> You are writing all this with your haskell implementation? Or Ivory or something?
2020-11-28 23:50:43 +0100 <cads> shapr, I will assume that they're a golden standard in the sense that they do indeed work, and they do indeed flag breaking changes if I mutate the code at random
2020-11-28 23:50:59 +0100 <cads> I haven't tried that yet - that should be fun
2020-11-28 23:51:25 +0100 <texasmynsted> What devices are you using?
2020-11-28 23:51:36 +0100 <dsal> texasmynsted: my mqtt broker is Haskell. Some stuff is if the shelf, some stuff is custom c++ embedded junk.
2020-11-28 23:51:42 +0100 <shapr> cads: I'd suggest moving the shell scripts into hspec or something
2020-11-28 23:51:56 +0100 <texasmynsted> Intersting
2020-11-28 23:52:07 +0100conal(~conal@64.71.133.70)
2020-11-28 23:52:10 +0100 <texasmynsted> Sounds like killer blog material actually
2020-11-28 23:52:31 +0100 <cads> shapr, anything even nicer and experimental than hspec?
2020-11-28 23:52:32 +0100 <shapr> cads: is this a closed source codebase?
2020-11-28 23:52:42 +0100 <cads> no
2020-11-28 23:52:48 +0100 <dsal> Sonoff R2 is cool. Basics are cheap. Lots of esp32 with custom code. RTL 433 translating to mqtt. I built out a bidirectional IR <-> mqtt bridge a few days ago that will work with most things.
2020-11-28 23:53:36 +0100 <dsal> texasmynsted: my car stuff is github.com/dustin/tesladb and influxer and outfluxer
2020-11-28 23:55:16 +0100 <texasmynsted> Ha cool!
2020-11-28 23:55:23 +0100ChanServ(ChanServ@services.) (*.net *.split)
2020-11-28 23:55:54 +0100 <texasmynsted> any luck with 8 bit chips?
2020-11-28 23:58:57 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2020-11-28 23:59:05 +0100 <dsal> I've not tried. My gate actuator was done on a board that cost around $5, so going lower doesn't make a lot of sense to me. :)
2020-11-28 23:59:25 +0100 <texasmynsted> Yeah, that is a good point