Home liberachat/#haskell: Logs Calendar

Logs on 2022-10-26 (liberachat/#haskell)

00:00:48 <dolio> But only for those.
00:01:37 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
00:10:31 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
00:13:27 nate2 joins (~nate@98.45.169.16)
00:14:46 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
00:16:37 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
00:18:14 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds)
00:19:22 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
00:21:06 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
00:24:51 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
00:24:51 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
00:24:51 wroathe joins (~wroathe@user/wroathe)
00:25:36 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Ping timeout: 250 seconds)
00:27:57 × merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
00:30:57 × waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds)
00:32:13 mvk joins (~mvk@2607:fea8:5ce3:8500::a80f)
00:34:41 nate2 joins (~nate@98.45.169.16)
00:34:55 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
00:35:26 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
00:35:37 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
00:37:14 chexum joins (~quassel@gateway/tor-sasl/chexum)
00:38:03 stiell_ joins (~stiell@gateway/tor-sasl/stiell)
00:39:15 azimut joins (~azimut@gateway/tor-sasl/azimut)
00:40:46 <zzz> how can we check if a project has unused or redundant imports?
00:41:12 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
00:42:24 <zzz> i kind of remember doing this in the past
00:42:47 <geekosaur> ghc -Wunused-imports
00:43:17 <geekosaur> maybe -Wdodgy-imports
00:44:10 × sameer quits (~sameer@2409:4070:2db0:cb01::c089:7411) (Remote host closed the connection)
00:44:40 × beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 250 seconds)
00:44:44 <geekosaur> no, not the "dodgy" one
00:45:13 <zzz> where do i run that command?
00:45:37 <zzz> i have a cabal project
00:45:51 <geekosaur> you probably just do "ghc-options: -Wunused-imports"
00:45:54 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
00:46:19 <zzz> of course
00:51:40 azimut joins (~azimut@gateway/tor-sasl/azimut)
00:54:43 freeside joins (~mengwong@103.252.202.193)
00:54:56 polo joins (~polo@user/polo)
00:58:25 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
00:58:57 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 240 seconds)
00:59:27 Peerin joins (~Peerin@154.3.36.102)
01:02:35 polo_ joins (~polo@user/polo)
01:03:41 × polo quits (~polo@user/polo) (Ping timeout: 276 seconds)
01:08:56 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
01:09:17 × crns quits (~netcrns@user/crns) (Ping timeout: 240 seconds)
01:10:31 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:11:13 freeside joins (~mengwong@103.252.202.193)
01:11:24 crns joins (~netcrns@p5dc33b53.dip0.t-ipconnect.de)
01:11:24 × crns quits (~netcrns@p5dc33b53.dip0.t-ipconnect.de) (Changing host)
01:11:24 crns joins (~netcrns@user/crns)
01:12:55 × polo_ quits (~polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
01:16:02 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 276 seconds)
01:16:34 × xff0x quits (~xff0x@2405:6580:b080:900:ca36:cc78:fa79:2e35) (Ping timeout: 272 seconds)
01:16:38 albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:16:44 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
01:21:30 × Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 250 seconds)
01:21:47 × sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
01:21:59 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
01:23:04 sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
01:29:12 j4cc3b joins (~j4cc3b@pool-74-105-2-138.nwrknj.fios.verizon.net)
01:30:57 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds)
01:33:37 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
01:34:04 Ranhir joins (~Ranhir@157.97.53.139)
01:42:47 freeside joins (~mengwong@103.252.202.193)
01:48:22 king_gs joins (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0)
01:49:51 azimut joins (~azimut@gateway/tor-sasl/azimut)
01:50:29 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds)
01:51:12 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
01:57:23 xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:01:07 jpds1 joins (~jpds@gateway/tor-sasl/jpds)
02:03:22 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
02:03:48 azimut joins (~azimut@gateway/tor-sasl/azimut)
02:04:10 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
02:05:15 × king_gs quits (~Thunderbi@2806:103e:29:c5:4fb1:a8c9:906f:c6e0) (Quit: king_gs)
02:07:18 mixfix41 joins (~sdeny9ee@user/mixfix41)
02:10:57 × td_ quits (~td@83.135.9.24) (Ping timeout: 240 seconds)
02:12:56 td_ joins (~td@83.135.9.27)
02:13:49 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
02:17:42 × redmp quits (~redmp@mobile-166-177-249-89.mycingular.net) (Ping timeout: 255 seconds)
02:17:58 redmp joins (~redmp@mobile-166-177-249-89.mycingular.net)
02:22:34 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
02:22:41 nate2 joins (~nate@98.45.169.16)
02:23:43 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
02:23:43 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
02:23:43 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
02:23:48 azimut joins (~azimut@gateway/tor-sasl/azimut)
02:24:29 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
02:24:29 × califax quits (~califax@user/califx) (Ping timeout: 258 seconds)
02:24:50 merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
02:24:56 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
02:25:24 chexum joins (~quassel@gateway/tor-sasl/chexum)
02:26:01 jpds1 joins (~jpds@gateway/tor-sasl/jpds)
02:26:13 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
02:26:19 califax joins (~califax@user/califx)
02:26:50 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
02:27:06 chexum joins (~quassel@gateway/tor-sasl/chexum)
02:30:25 × nate2 quits (~nate@98.45.169.16) (Read error: Connection reset by peer)
02:31:09 nate2 joins (~nate@98.45.169.16)
02:38:19 Guest51 joins (~Guest51@50.47.90.28)
02:38:38 × Guest51 quits (~Guest51@50.47.90.28) (Client Quit)
02:43:10 × terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
02:44:31 terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1)
02:48:19 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 255 seconds)
02:58:57 × merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
03:03:18 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
03:10:12 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
03:15:18 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 255 seconds)
03:16:37 freeside joins (~mengwong@103.252.202.193)
03:18:23 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
03:21:09 kenran joins (~user@user/kenran)
03:32:09 trillp joins (~trillp@45.32.195.111)
03:40:48 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
03:41:53 nate2 joins (~nate@98.45.169.16)
03:45:55 × Vajb quits (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer)
03:46:48 Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi)
03:50:32 × Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer)
03:51:14 Vajb joins (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57)
03:51:30 × kenran quits (~user@user/kenran) (Remote host closed the connection)
03:52:41 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds)
03:58:30 <c_wraith> monochrom: I thought there were some perl constructs that are ambiguous statically - you have to run the program to parse them correctly.
04:02:15 <c_wraith> oh. 4 hours late to the conversation. whatever.
04:02:16 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 250 seconds)
04:02:46 × j4cc3b quits (~j4cc3b@pool-74-105-2-138.nwrknj.fios.verizon.net) (Ping timeout: 244 seconds)
04:05:20 polo joins (~polo@user/polo)
04:06:00 × polo quits (~polo@user/polo) (Client Quit)
04:06:19 <jackdk> c_wraith: https://perlmonks.org/?node_id=663393
04:11:49 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
04:12:48 ChaiTRex joins (~ChaiTRex@user/chaitrex)
04:13:13 × [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
04:14:52 jargon joins (~jargon@184.101.208.112)
04:15:05 [Leary] joins (~Leary]@user/Leary/x-0910699)
04:15:11 × mvk quits (~mvk@2607:fea8:5ce3:8500::a80f) (Ping timeout: 272 seconds)
04:22:12 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
04:35:19 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in)
04:36:43 azimut joins (~azimut@gateway/tor-sasl/azimut)
04:37:46 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
04:37:46 finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
04:37:46 finn_elija is now known as FinnElija
04:45:43 × jargon quits (~jargon@184.101.208.112) (Remote host closed the connection)
04:50:54 freeside joins (~mengwong@103.252.202.193)
04:53:44 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
04:55:23 merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
04:55:55 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
05:12:06 mbuf joins (~Shakthi@49.204.130.146)
05:13:20 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 250 seconds)
05:14:16 steve[m]12 joins (~stevetrou@2001:470:69fc:105::e0b)
05:19:52 bgs joins (~bgs@212-85-160-171.dynamic.telemach.net)
05:25:31 chomwitt joins (~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1)
05:26:21 takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:29:06 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
05:29:22 × merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
05:37:27 nate2 joins (~nate@98.45.169.16)
05:41:57 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
05:43:40 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 250 seconds)
05:46:21 titibandit joins (~titibandi@xdsl-87-78-36-34.nc.de)
05:47:07 × FragByte quits (~christian@user/fragbyte) (Ping timeout: 260 seconds)
05:47:32 FragByte joins (~christian@user/fragbyte)
05:47:53 schweers joins (~user@p200300e5773c9a00c23ebafffe9bd9c9.dip0.t-ipconnect.de)
05:49:03 × schweers quits (~user@p200300e5773c9a00c23ebafffe9bd9c9.dip0.t-ipconnect.de) (Remote host closed the connection)
05:49:06 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
05:54:04 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
05:54:47 × Flow quits (~none@gentoo/developer/flow) (Ping timeout: 268 seconds)
05:55:23 × bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
06:04:38 × redmp quits (~redmp@mobile-166-177-249-89.mycingular.net) (Ping timeout: 276 seconds)
06:06:02 yuzhao joins (~yuzhao@36.112.45.72)
06:08:58 FragByte_ joins (~christian@user/fragbyte)
06:09:01 × FragByte quits (~christian@user/fragbyte) (Ping timeout: 246 seconds)
06:09:23 FragByte_ is now known as FragByte
06:09:48 freeside joins (~mengwong@103.252.202.193)
06:10:17 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
06:13:57 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 240 seconds)
06:17:48 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
06:18:05 yuzhao_ joins (~yuzhao@36.112.45.72)
06:20:37 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
06:20:57 × yuzhao quits (~yuzhao@36.112.45.72) (Ping timeout: 260 seconds)
06:27:00 freeside joins (~mengwong@103.252.202.193)
06:30:48 gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
06:35:50 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
06:36:45 Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
06:37:38 mncheck joins (~mncheck@193.224.205.254)
06:38:10 lortabac joins (~lortabac@2a01:e0a:541:b8f0:c49f:13e3:13ca:993a)
06:41:51 × yuzhao_ quits (~yuzhao@36.112.45.72) (Ping timeout: 255 seconds)
06:41:59 yuzhao joins (~yuzhao@36.112.45.72)
06:44:53 mmhat joins (~mmh@p200300f1c73076dbee086bfffe095315.dip0.t-ipconnect.de)
06:45:12 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds)
06:45:14 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
06:46:17 × chomwitt quits (~chomwitt@2a02:587:dc10:8200:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
06:46:39 Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
06:49:55 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
06:50:45 Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
06:51:30 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:51:31 coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
06:53:40 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
06:54:22 Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
06:56:27 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
06:58:00 Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
07:08:57 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
07:10:16 × zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
07:11:22 zaquest joins (~notzaques@5.130.79.72)
07:11:38 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 250 seconds)
07:13:08 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
07:13:16 nschoe joins (~q@141.101.51.197)
07:13:36 gmg joins (~user@user/gehmehgeh)
07:14:02 nopla joins (~user@2a02:8010:6903:0:176d:625e:bac7:de0c)
07:15:11 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:16:35 acidjnk joins (~acidjnk@p200300d6e7137a4604afc84e6d02458f.dip0.t-ipconnect.de)
07:17:45 chele joins (~chele@user/chele)
07:20:17 × trillp quits (~trillp@45.32.195.111) (Quit: WeeChat 3.7)
07:20:19 m5zs7k joins (aquares@web10.mydevil.net)
07:20:21 yuzhao_ joins (~yuzhao@36.112.45.72)
07:21:10 × yuzhao quits (~yuzhao@36.112.45.72) (Ping timeout: 250 seconds)
07:21:36 × Peerin quits (~Peerin@154.3.36.102) (Remote host closed the connection)
07:23:46 elkcl_ joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
07:23:57 × elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
07:23:57 elkcl_ is now known as elkcl
07:24:48 × cytokine_storm quits (~cytokine_@user/cytokine-storm/x-1083107) (Quit: Quit)
07:25:02 cytokine_storm joins (~cytokine_@user/cytokine-storm/x-1083107)
07:26:01 merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
07:28:18 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
07:30:52 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
07:31:12 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
07:33:21 razetime joins (~quassel@49.207.192.79)
07:34:17 Guest33 joins (~Guest33@137.132.220.137)
07:37:03 freeside joins (~mengwong@103.252.202.193)
07:41:43 Cerins joins (~Cerins@balticom-142-106-43.balticom.lv)
07:42:41 × Cerins quits (~Cerins@balticom-142-106-43.balticom.lv) (Remote host closed the connection)
07:44:29 danza joins (~francesco@pa-18-170-82.service.infuturo.it)
07:45:40 jakalx parts (~jakalx@base.jakalx.net) ()
07:46:30 × tcard quits (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Remote host closed the connection)
07:46:42 tcard joins (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
07:48:42 tcard_ joins (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
07:48:42 × tcard quits (~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Read error: Connection reset by peer)
07:50:11 chomwitt joins (~chomwitt@ppp-94-67-192-71.home.otenet.gr)
07:55:02 cfricke joins (~cfricke@user/cfricke)
07:57:29 × shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit)
07:57:33 trillp joins (~trillp@45.32.195.111)
07:58:55 michalz joins (~michalz@185.246.207.205)
07:59:27 shriekingnoise joins (~shrieking@186.137.167.202)
08:01:17 fserucas|eod joins (~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7)
08:01:28 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 250 seconds)
08:08:01 nate2 joins (~nate@98.45.169.16)
08:12:02 × yuzhao_ quits (~yuzhao@36.112.45.72) (Ping timeout: 272 seconds)
08:12:57 × talismanick quits (~talismani@76.133.152.122) (Ping timeout: 240 seconds)
08:12:57 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds)
08:12:58 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
08:13:53 × shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit)
08:18:03 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Remote host closed the connection)
08:18:49 yuzhao joins (~yuzhao@36.112.45.72)
08:19:34 CiaoSen joins (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
08:21:37 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
08:26:22 × yuzhao quits (~yuzhao@36.112.45.72) (Ping timeout: 260 seconds)
08:27:38 × jinsun quits (~jinsun@user/jinsun) (Ping timeout: 276 seconds)
08:30:44 Guest|98 joins (~Guest|98@49.36.100.13)
08:32:54 × Guest|98 quits (~Guest|98@49.36.100.13) (Client Quit)
08:33:16 jonathanx joins (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
08:35:26 × titibandit quits (~titibandi@xdsl-87-78-36-34.nc.de) (Remote host closed the connection)
08:40:09 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:40:13 × razetime quits (~quassel@49.207.192.79) (Ping timeout: 255 seconds)
08:42:05 shapr joins (~user@net-5-88-237-244.cust.vodafonedsl.it)
08:42:56 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Quit: Konversation terminated!)
08:43:18 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
08:45:05 jakalx joins (~jakalx@base.jakalx.net)
08:45:59 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:48:33 adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
08:50:53 mikail joins (~mikail@2a02:c7c:6117:e00:a46b:e624:7683:e24e)
08:53:25 adziahel[m] parts (~adziahelm@2001:470:69fc:105::b4d) ()
08:54:39 adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
08:59:32 × biberu quits (~biberu@user/biberu) (Ping timeout: 250 seconds)
09:00:48 biberu joins (~biberu@user/biberu)
09:06:38 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 276 seconds)
09:07:18 × perrierjouet quits (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
09:09:48 × Guest33 quits (~Guest33@137.132.220.137) (Quit: Client closed)
09:13:19 perrierjouet joins (~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
09:18:31 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
09:22:56 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Ping timeout: 250 seconds)
09:24:53 × jonathanx quits (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 272 seconds)
09:25:54 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
09:29:27 freeside joins (~mengwong@103.252.202.193)
09:34:43 × jmorris quits (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
09:37:28 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:42:00 × mixfix41 quits (~sdeny9ee@user/mixfix41) (Ping timeout: 250 seconds)
09:43:41 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
09:48:53 × mikail quits (~mikail@2a02:c7c:6117:e00:a46b:e624:7683:e24e) (Ping timeout: 276 seconds)
09:56:31 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
09:56:59 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:79d4:df1f:2403:242a) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
09:57:17 YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
09:58:34 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
10:00:12 × ft quits (~ft@p3e9bc845.dip0.t-ipconnect.de) (Quit: leaving)
10:07:41 × cytokine_storm quits (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 272 seconds)
10:08:02 cytokine_storm joins (~cytokine_@user/cytokine-storm/x-1083107)
10:12:18 polo joins (~polo@user/polo)
10:13:31 × polo quits (~polo@user/polo) (Client Quit)
10:22:03 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
10:22:37 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
10:23:16 thyriaen joins (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
10:24:00 ChaiTRex joins (~ChaiTRex@user/chaitrex)
10:28:22 × troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 250 seconds)
10:32:15 akegalj joins (~akegalj@89-164-112-115.dsl.iskon.hr)
10:37:04 Flow joins (~none@gentoo/developer/flow)
10:44:25 × merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
10:48:37 jinsun joins (~jinsun@user/jinsun)
10:51:22 jonathanx joins (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se)
10:52:17 × paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds)
10:55:32 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
10:56:16 __monty__ joins (~toonn@user/toonn)
10:56:19 zkSNOOP joins (~username@ptr-21zvp7o3pieqonqej3e.18120a2.ip6.access.telenet.be)
10:58:23 axeman joins (~quassel@2a02:8109:a380:78:5c0e:5a6:659e:f5ca)
11:01:38 × shapr quits (~user@net-5-88-237-244.cust.vodafonedsl.it) (Remote host closed the connection)
11:03:17 gmg joins (~user@user/gehmehgeh)
11:05:21 chexum joins (~quassel@gateway/tor-sasl/chexum)
11:10:43 × CiaoSen quits (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
11:10:46 merijn joins (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl)
11:14:04 xff0x joins (~xff0x@2405:6580:b080:900:658c:a3a:4ac3:c2c4)
11:20:39 jakalx parts (~jakalx@base.jakalx.net) ()
11:23:19 × axeman quits (~quassel@2a02:8109:a380:78:5c0e:5a6:659e:f5ca) (Ping timeout: 246 seconds)
11:23:42 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
11:27:17 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
11:27:36 jakalx joins (~jakalx@base.jakalx.net)
11:27:40 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
11:28:32 nopla` joins (~user@2a02:8010:6903:0:71bb:ef60:b1a6:9b3f)
11:28:51 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
11:28:56 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
11:29:08 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
11:29:45 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
11:30:43 × danza quits (~francesco@pa-18-170-82.service.infuturo.it) (Read error: Connection reset by peer)
11:30:53 stiell_ joins (~stiell@gateway/tor-sasl/stiell)
11:32:33 × Ram-Z quits (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 272 seconds)
11:32:56 × nopla quits (~user@2a02:8010:6903:0:176d:625e:bac7:de0c) (Ping timeout: 250 seconds)
11:33:00 ChaiTRex joins (~ChaiTRex@user/chaitrex)
11:34:01 × califax quits (~califax@user/califx) (Remote host closed the connection)
11:36:32 califax joins (~califax@user/califx)
11:37:49 × califax quits (~califax@user/califx) (Remote host closed the connection)
11:38:24 jpds1 joins (~jpds@gateway/tor-sasl/jpds)
11:39:06 califax joins (~califax@user/califx)
11:41:10 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 250 seconds)
11:44:09 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
11:44:12 × merijn quits (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
11:44:38 Guest65 joins (~Guest65@206.119.125.191)
11:46:29 danza joins (~francesco@151.34.174.111)
11:50:14 chexum joins (~quassel@gateway/tor-sasl/chexum)
11:51:53 [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
11:54:33 × Guest65 quits (~Guest65@206.119.125.191) (Quit: Client closed)
11:57:36 razetime joins (~quassel@49.207.192.79)
12:03:05 mixfix41 joins (~sdeny9ee@user/mixfix41)
12:03:30 mikail joins (~mikail@2a02:c7c:6117:e00:a46b:e624:7683:e24e)
12:03:45 kuribas joins (~user@silversquare.silversquare.eu)
12:09:32 nate2 joins (~nate@98.45.169.16)
12:09:34 Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
12:11:46 jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
12:13:37 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
12:14:04 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 246 seconds)
12:21:04 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
12:22:50 Maeda joins (~Maeda@91-161-10-149.subs.proxad.net)
12:22:50 × Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
12:23:31 × kuribas quits (~user@silversquare.silversquare.eu) (Ping timeout: 246 seconds)
12:26:00 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Ping timeout: 272 seconds)
12:27:20 lyle joins (~lyle@104.246.145.85)
12:40:04 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
12:43:13 manwithl- joins (~manwithlu@194.177.28.176)
12:44:44 × mikail quits (~mikail@2a02:c7c:6117:e00:a46b:e624:7683:e24e) (Quit: Leaving)
12:49:17 × phma quits (phma@2001:5b0:211f:f528:7435:f7cd:de72:7162) (Read error: Connection reset by peer)
12:49:56 phma joins (~phma@host-67-44-208-129.hnremote.net)
12:54:14 × thyriaen quits (~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Quit: Leaving)
12:55:17 × nopla` quits (~user@2a02:8010:6903:0:71bb:ef60:b1a6:9b3f) (Ping timeout: 240 seconds)
12:57:49 jero98772 joins (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c)
13:00:28 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
13:03:32 wolfshappen joins (~waff@irc.furworks.de)
13:06:25 gmg joins (~user@user/gehmehgeh)
13:08:38 × lyle quits (~lyle@104.246.145.85) (Quit: WeeChat 3.7.1)
13:12:19 shriekingnoise joins (~shrieking@186.137.167.202)
13:19:46 Sgeo joins (~Sgeo@user/sgeo)
13:20:22 kenran joins (~user@user/kenran)
13:20:23 × kenran quits (~user@user/kenran) (Remote host closed the connection)
13:41:57 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.7.1)
13:42:59 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
13:43:42 × Sauvin quits (~sauvin@user/Sauvin) (Read error: Connection reset by peer)
13:44:43 Sauvin joins (~sauvin@user/Sauvin)
13:47:14 son0p joins (~ff@181.136.122.143)
13:52:04 wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
13:52:04 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
13:52:04 wroathe joins (~wroathe@user/wroathe)
13:52:15 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
13:52:31 stiell_ joins (~stiell@gateway/tor-sasl/stiell)
13:56:22 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds)
13:57:45 machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
13:58:07 × califax quits (~califax@user/califx) (Remote host closed the connection)
13:58:58 califax joins (~califax@user/califx)
14:01:03 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
14:08:43 beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt)
14:12:16 Neuromancer joins (~Neuromanc@user/neuromancer)
14:14:49 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
14:15:14 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
14:17:59 × Goodbye_Vincent quits (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds))
14:22:50 kuribas joins (~user@silversquare.silversquare.eu)
14:30:22 slack1256 joins (~slack1256@191.126.227.222)
14:32:30 × AlexNoo quits (~AlexNoo@178.34.162.124) (Quit: Leaving)
14:33:20 × AlexZenon quits (~alzenon@178.34.162.124) (Quit: ;-)
14:33:26 × Alex_test quits (~al_test@178.34.162.124) (Quit: ;-)
14:35:24 azimut joins (~azimut@gateway/tor-sasl/azimut)
14:37:14 Goodbye_Vincent joins (cyvahl@freakshells.net)
14:39:59 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Quit: o/)
14:40:42 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:46:19 × jonathanx quits (~jonathan@h-98-128-168-222.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
14:47:32 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
14:49:19 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:c49f:13e3:13ca:993a) (Quit: WeeChat 2.8)
14:50:50 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
14:52:00 azimut joins (~azimut@gateway/tor-sasl/azimut)
14:55:17 × acidjnk quits (~acidjnk@p200300d6e7137a4604afc84e6d02458f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
14:56:44 Sciencentistguy joins (~sciencent@hacksoc/ordinary-member)
15:00:25 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
15:03:28 chexum joins (~quassel@gateway/tor-sasl/chexum)
15:09:25 beteigeuze1 joins (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73)
15:10:57 × beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 240 seconds)
15:10:57 beteigeuze1 is now known as beteigeuze
15:11:50 troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua)
15:17:47 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds)
15:25:49 titibandit joins (~titibandi@xdsl-87-78-36-34.nc.de)
15:33:26 × danza quits (~francesco@151.34.174.111) (Ping timeout: 250 seconds)
15:34:44 nopla` joins (~user@2a02:8010:6903:0:2723:e785:6485:8504)
15:35:00 × razetime quits (~quassel@49.207.192.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
15:36:21 × nschoe quits (~q@141.101.51.197) (Quit: Switching off)
15:38:40 son0p joins (~ff@181.136.122.143)
15:39:47 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
15:40:02 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
15:40:50 AlexZenon joins (~alzenon@178.34.162.124)
15:40:57 AlexNoo joins (~AlexNoo@178.34.162.124)
15:41:10 son0p joins (~ff@181.136.122.143)
15:46:03 danza joins (~francesco@151.34.194.192)
15:48:21 Alex_test joins (~al_test@178.34.162.124)
15:50:41 dkeohane joins (~dkeohane@138.67.194.234)
15:50:48 × gawen quits (~gawen@user/gawen) (Quit: cya)
15:52:07 gawen joins (~gawen@user/gawen)
16:03:08 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
16:04:26 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
16:06:54 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
16:07:54 o-90 joins (~o-90@gateway/tor-sasl/o-90)
16:08:36 azimut joins (~azimut@gateway/tor-sasl/azimut)
16:10:16 × o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
16:11:04 nate2 joins (~nate@98.45.169.16)
16:11:17 inkbottle[m] joins (~inkbottle@2001:470:69fc:105::2ff5)
16:13:27 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Remote host closed the connection)
16:16:02 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
16:21:24 trillp parts (~trillp@45.32.195.111) ()
16:23:18 × kuribas quits (~user@silversquare.silversquare.eu) (Remote host closed the connection)
16:24:58 × slack1256 quits (~slack1256@191.126.227.222) (Read error: Connection reset by peer)
16:25:05 slac84662 joins (~slack1256@186.11.17.82)
16:27:24 acidjnk joins (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de)
16:28:34 × nopla` quits (~user@2a02:8010:6903:0:2723:e785:6485:8504) (Ping timeout: 272 seconds)
16:29:33 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
16:42:57 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Remote host closed the connection)
16:43:05 axeman joins (~quassel@2a02:8109:a380:78:6d7d:692d:5548:26ce)
16:50:06 matt1 joins (~matt@2a00:23c5:1e22:6c01:8b6d:bbd3:6a36:77d3)
16:51:50 × mbuf quits (~Shakthi@49.204.130.146) (Quit: Leaving)
16:54:49 × titibandit quits (~titibandi@xdsl-87-78-36-34.nc.de) (Remote host closed the connection)
16:55:59 matt1 parts (~matt@2a00:23c5:1e22:6c01:8b6d:bbd3:6a36:77d3) (WeeChat 3.5)
17:00:36 × jero98772 quits (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Read error: Connection timed out)
17:03:37 × dkeohane quits (~dkeohane@138.67.194.234) (Ping timeout: 240 seconds)
17:03:50 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
17:06:57 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:07:17 dcoutts joins (~duncan@host86-163-164-210.range86-163.btcentralplus.com)
17:09:22 × califax quits (~califax@user/califx) (Remote host closed the connection)
17:10:53 califax joins (~califax@user/califx)
17:12:45 slack1256 joins (~slack1256@191.126.227.222)
17:15:26 × slac84662 quits (~slack1256@186.11.17.82) (Ping timeout: 276 seconds)
17:15:33 econo joins (uid147250@user/econo)
17:15:58 kora9 joins (~kora@user/Kora9)
17:18:18 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
17:19:00 <alexfmpe[m]> is PatternGuards Haskell98 ?
17:19:00 <alexfmpe[m]> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_guards.html only mentions the negative version and claims it's Haskell98 but clicking on Haskell98 shows a list missing PatternGuards, it's included in -fglasgow-exts which would suggest not?
17:19:03 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Remote host closed the connection)
17:19:31 × axeman quits (~quassel@2a02:8109:a380:78:6d7d:692d:5548:26ce) (Ping timeout: 260 seconds)
17:21:12 <c_wraith> I don't think it was. But I do think it's Haskell2010. (my memory is not reliable on these details, but they are what I remember)
17:23:07 redmp joins (~redmp@eduroam-169-233-179-23.ucsc.edu)
17:23:15 tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
17:24:17 <c_wraith> testing with ghci... pattern guards work without warning with -XHaskell2010, but trigger a warning (and yet still work) with -XHaskell98
17:24:47 <c_wraith> So I'd say that ghc accepts them but tells you it's not supposed to, with -XHaskell98
17:26:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:26:40 <alexfmpe[m]> weird, I can define `f !x = x`, and get a warning not an error, but can't invoke it: `Variable not in scope: f :: t0 -> t`
17:29:05 <[exa]> alexfmpe[m]: depending on the extensions you might be defining (!)
17:29:28 <alexfmpe[m]> oh heh lemme see
17:29:34 <[exa]> do you have BangPatterns?
17:30:28 <alexfmpe[m]> riiight, the warning is actually "missing-space-after-bang"
17:30:29 <alexfmpe[m]> Did you forget to enable BangPatterns?
17:30:29 <alexfmpe[m]> If you mean to bind (!) then perhaps you want
17:30:29 <alexfmpe[m]> to add a space after the bang for clarity.
17:30:58 <alexfmpe[m]> > 1 ! 2
17:30:58 <alexfmpe[m]> 2
17:31:00 <lambdabot> error:
17:31:00 <lambdabot> • Could not deduce (Ix i0)
17:31:00 <lambdabot> from the context: (Ix i, Num i, Num (Array i e))
17:31:49 <alexfmpe[m]> ok so it looks like bangpatterns are not haskell98, and that particular doc is wrong
17:31:59 ft joins (~ft@p3e9bc845.dip0.t-ipconnect.de)
17:32:27 <tomsmeding> alexfmpe[m]: bangpatterns is not even Haskell2010, it's a ghc extension
17:33:18 <alexfmpe[m]> oh wth
17:33:36 <alexfmpe[m]> I got BangPatterns and PatternGuards all mixed up
17:33:44 <tomsmeding> those are not the same thing ;)
17:33:57 <[Leary]> alexfmpe[m]: That link isn't saying PatternGuards is in Haskell98, it's saying NoPatternGuards is. That's the answer to your question. Re BangPatterns ... Well, they're GHC2021.
17:34:02 <tomsmeding> pattern guards is `f | Just x <- something = another x`
17:34:32 <alexfmpe[m]> ok yeah I was just confused
17:34:34 <alexfmpe[m]> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/strict.html#bang-patterns-informal
17:34:50 <alexfmpe[m]> indeed, not even haskell2010, only ghc2021
17:35:02 × coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
17:38:42 jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
17:41:51 jakalx joins (~jakalx@base.jakalx.net)
17:47:52 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
17:48:10 habib joins (~habib@195.206.183.216)
17:48:40 FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
17:51:14 zebrag joins (~chris@user/zebrag)
17:51:25 <zzz> is there a better way of avoiding ambiguous fromList than qualifying imports?
17:52:25 <[exa]> unlikely
17:52:53 coot joins (~coot@213.134.171.3)
17:53:11 <[exa]> ..mmmmmmaybe someone made a typeclass from all stuff that can be built from a list...
17:53:21 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d)
17:53:39 <[exa]> and yeah, there's one right here https://hackage.haskell.org/package/universum-1.8.1/docs/Universum-Container.html#t:FromList
17:54:30 <[Leary]> There's also Unfoldable.
17:54:34 <tomsmeding> 'universum' kinda sounds like 'acme-everything', and that class sounds super prone to pulling in tons of deps just to provide instances
17:55:02 <tomsmeding> though I see they were restrained in that, which is good
17:55:32 × ft quits (~ft@p3e9bc845.dip0.t-ipconnect.de) (Remote host closed the connection)
17:56:42 ft joins (~ft@p3e9bc845.dip0.t-ipconnect.de)
18:00:45 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
18:03:34 yrlnry joins (~yrlnry@pool-108-36-173-41.phlapa.fios.verizon.net)
18:04:14 × glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 250 seconds)
18:04:41 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
18:04:42 stiell_ joins (~stiell@gateway/tor-sasl/stiell)
18:04:57 <[Leary]> Actually, I'm not so sure that class even ultimately enables a fromList; I was going off the name alone---since Foldable is pretty much the `toList` class.
18:06:35 <yrlnry> Hi folks. I am modifying a fairly complex Stack `package.yaml` file. I want to have a `when:` block to select the array of GHC options, as in https://pastebin.com/GaXzX0Nr . This works, but the two lists of options have substantial overlap that I would like to eliminate.
18:07:08 axeman joins (~quassel@2a02:8109:a380:78:dc7a:6733:90cc:b8cc)
18:07:10 glguy joins (~glguy@libera/staff-emeritus/glguy)
18:07:22 <yrlnry> I have learned that there is no YAML standard feature for merging two arrays, but that this is sometimes supported by individual YAML processors. Is there anything like this in the YAML processor used by Stack, which I think is Data.YAML?
18:07:22 <sm> yrlnry: can you just declare the common options at top level ?
18:07:23 briandaed joins (~briandaed@185.234.210.211.r.toneticgroup.pl)
18:07:51 <yrlnry> I may be mistaken, but I think that when I do that, the `ghc-options` in the `when` block overrides the definition at the top level.
18:08:30 × briandaed quits (~briandaed@185.234.210.211.r.toneticgroup.pl) (Client Quit)
18:08:36 <sm> I expect so.. but that's ok ? declare common/default options at top, and override as necessary in when: ?
18:08:57 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
18:09:09 <yrlnry> How would I do that?
18:09:37 <yrlnry> (At present I only know how to override the entire list of strings.)
18:10:39 <sm> ghc-options:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/4330b2797e83bcdd5cd54bc0ea0fb88e1ee8e7af>)
18:10:49 <sm> * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/dc4f93730a76dfcb00589b66c2f60940b8381065>)
18:11:06 <sm> * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/fc5558e62f359918c4918f58bbb243e9ecb8d69e>)
18:11:08 chexum joins (~quassel@gateway/tor-sasl/chexum)
18:11:20 <yrlnry> If I do that, then when the condition is true, I get `-some-option` _only_, I think.
18:11:31 <sm> * ```... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/09753f23f2958bf3f0129bdbaf080bff8d6dc01f>)
18:11:53 <sm> multiple ghc-options: are additive I think
18:12:38 <yrlnry> I can give it another try. Let me see if I can come up with a specific problem case.
18:12:58 <sm> or look at a bunch of package yamls, I bet you'll see this pattern quickly
18:13:11 × glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds)
18:13:25 <yrlnry> I have not been able to find any examples that do anything similar to what I am trying to do. Can you suggest one?
18:13:39 acidjnk_new joins (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de)
18:13:45 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:14:37 × habib quits (~habib@195.206.183.216) (Ping timeout: 240 seconds)
18:15:01 <sm> excerpt from hledger/package.yaml:... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/e15f63088b7396516713ec1b6ec038e41524d4cd>)
18:15:19 <yrlnry> Yes, you're right, it is merging the `ghc-options` lists.
18:15:26 <yrlnry> I wonder why IO thought it wasn't?
18:15:56 <yrlnry> Is there a way to get Stack to dump out its final configuration after processing the `package.yaml` file?
18:16:18 × califax quits (~califax@user/califx) (Ping timeout: 258 seconds)
18:16:36 <sm> certain flags might be mutually exclusive to ghc, even if merged by hpack
18:17:05 <sm> I think a quick way is `stack build -v ...` and look at the command line generated
18:19:50 <yrlnry> I see now why I thought it wasn't merging. The top-level `ghc-options` has `-Wno-missing-safe-haskell-mode` but with my when-block in place I get many errors pertaining to error: `[-Wmissing-safe-haskell-mode, -Werror=missing-safe-haskell-mode]`
18:19:51 <sm> re your original q, yes it is possible to use yaml's include feature (see hpack docs), but seems overkill here
18:20:40 glguy joins (~glguy@libera/staff-emeritus/glguy)
18:23:07 <yrlnry> It supports include, but I'm not sure it does what I want. I have only seen `!include` used in conjunction with `<<:`. But `<<:` only works with dictionaries, there is nothing like it for sequences.
18:23:31 <sm[i]> ok
18:24:36 <sm[i]> sorry for all the paste links, I forgot I was in #haskell not #Haskell
18:25:07 <yrlnry> I can find API documentation for Data.Yaml but not anything describing what it actually parses. (https://hackage.haskell.org/package/yaml-0.11.8.0/docs/Data-Yaml.html )
18:25:19 <yrlnry> No problem, I appreciate you taking the time to help me.
18:27:27 <yrlnry> I think your pointing out that the `ghc-options` sections are actually merged is enough to solve my problem. Thanks very much.
18:28:04 <sm> np
18:28:17 × AlexZenon quits (~alzenon@178.34.162.124) (Ping timeout: 240 seconds)
18:28:56 × Alex_test quits (~al_test@178.34.162.124) (Ping timeout: 250 seconds)
18:31:42 johnw joins (~johnw@2600:1700:cf00:db0:44f1:1d52:3d00:3a3)
18:32:05 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.7)
18:32:47 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
18:36:56 kuribas joins (~user@ptr-17d51endp56ayfunugl.18120a2.ip6.access.telenet.be)
18:37:36 Tuplanolla joins (~Tuplanoll@91-159-68-111.elisa-laajakaista.fi)
18:38:15 Alex_test joins (~al_test@178.34.162.124)
18:42:19 HackingSpring joins (~haru@189-69-2-94.dsl.telesp.net.br)
18:42:58 birdgoose joins (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe)
18:43:10 AlexZenon joins (~alzenon@178.34.162.124)
18:52:19 eggplant_ joins (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
18:53:50 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
18:54:04 × cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds)
18:54:29 cheater joins (~Username@user/cheater)
18:55:18 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
18:55:48 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2dc3:e5cf:7d7:c61d) (Ping timeout: 250 seconds)
18:56:38 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds)
18:57:54 × kuribas quits (~user@ptr-17d51endp56ayfunugl.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
18:59:50 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
19:01:06 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
19:01:36 OpenSource joins (~kernel@user/OpenSource)
19:01:47 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
19:02:46 × birdgoose quits (~jesse@2406:e003:1d87:6601:e725:b6b4:ace8:4ebe) (Ping timeout: 260 seconds)
19:05:31 <jean-paul[m]> Aeson parse error reporting is bumming me out. Is there a JSON parser with better reporting about parse fails?
19:12:03 waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
19:12:43 CiaoSen joins (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
19:18:44 pavonia joins (~user@user/siracusa)
19:21:43 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:25:48 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.7)
19:26:35 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
19:29:50 jero98772 joins (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c)
19:30:43 × danza quits (~francesco@151.34.194.192) (Read error: Connection reset by peer)
19:36:12 × akegalj quits (~akegalj@89-164-112-115.dsl.iskon.hr) (Quit: leaving)
19:36:23 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:41:52 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.7.1)
19:45:53 danza joins (~francesco@151.57.228.67)
19:48:00 jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
19:52:31 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
19:58:28 grantonthenet joins (~Grant@208.84.138.16)
19:58:38 × jero98772 quits (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 250 seconds)
20:01:38 causal joins (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d)
20:01:40 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
20:02:38 × axeman quits (~quassel@2a02:8109:a380:78:dc7a:6733:90cc:b8cc) (Ping timeout: 252 seconds)
20:05:07 × chele quits (~chele@user/chele) (Remote host closed the connection)
20:05:08 × slack1256 quits (~slack1256@191.126.227.222) (Read error: Connection reset by peer)
20:06:21 × causal quits (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 260 seconds)
20:06:30 slack1256 joins (~slack1256@186.11.17.82)
20:08:55 talismanick joins (~talismani@76.133.152.122)
20:11:26 jero98772 joins (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c)
20:11:38 × Midjak quits (~Midjak@82.66.147.146) (Ping timeout: 250 seconds)
20:12:31 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
20:12:40 nate2 joins (~nate@98.45.169.16)
20:13:32 × cytokine_storm quits (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 276 seconds)
20:14:51 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
20:16:17 × redmp quits (~redmp@eduroam-169-233-179-23.ucsc.edu) (Ping timeout: 240 seconds)
20:17:17 × nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds)
20:17:27 chexum joins (~quassel@gateway/tor-sasl/chexum)
20:17:34 cytokine_storm joins (~cytokine_@user/cytokine-storm/x-1083107)
20:19:27 causal joins (~user@50.35.83.177)
20:20:07 habib joins (~habib@193.176.30.37)
20:20:13 <habib> hey, does anyone know if ghcup installs man pages? it claims to on the user-guide, but i can't see them on my system
20:20:24 <habib> i've made sure MANPATH is empty when installing ghc with ghcup
20:20:34 <habib> i can't see any manpages in the share directory of where the ghc is installed
20:20:50 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
20:21:56 jmdaemon joins (~jmdaemon@user/jmdaemon)
20:22:02 × cytokine_storm quits (~cytokine_@user/cytokine-storm/x-1083107) (Ping timeout: 250 seconds)
20:22:13 × fserucas|eod quits (~fserucas|@2001:818:e376:a400:fb92:70c1:dd88:c7d7) (Quit: Leaving)
20:23:01 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:23:18 freeside joins (~mengwong@103.252.202.193)
20:23:54 × grantonthenet quits (~Grant@208.84.138.16) (Ping timeout: 252 seconds)
20:26:15 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds)
20:29:42 ec joins (~ec@gateway/tor-sasl/ec)
20:29:50 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
20:30:35 cytokine_storm joins (~cytokine_@user/cytokine-storm/x-1083107)
20:31:14 × danza quits (~francesco@151.57.228.67) (Ping timeout: 252 seconds)
20:31:23 × eggplant_ quits (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection)
20:31:33 polo joins (~polo@user/polo)
20:34:21 × coot quits (~coot@213.134.171.3) (Quit: coot)
20:38:18 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
20:38:49 × zkSNOOP quits (~username@ptr-21zvp7o3pieqonqej3e.18120a2.ip6.access.telenet.be) ()
20:43:28 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:45:37 × mmhat quits (~mmh@p200300f1c73076dbee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
20:45:37 freeside joins (~mengwong@103.252.202.193)
20:47:01 <sm> habib: #haskell-ghcup will know
20:47:57 <habib> ah, i searched for ghcup in the channels list and got zero results; i've literally just finished opening an issue on the issue tracker
20:48:05 <habib> https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/425
20:48:28 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
20:48:46 <sm> 👍️
20:48:55 <habib> appreciate you posting the channel; i'll check it out tomorrow if the issue gets no response
20:49:09 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
20:49:42 × habib quits (~habib@193.176.30.37) (Quit: Textual IRC Client: www.textualapp.com)
20:50:18 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 252 seconds)
20:53:07 × polo quits (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
20:53:41 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.)
20:54:15 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:55:23 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds)
20:56:18 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
20:56:40 polo joins (~polo@user/polo)
20:59:18 mmhat joins (~mmh@p200300f1c73076a6ee086bfffe095315.dip0.t-ipconnect.de)
21:00:25 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
21:02:15 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:03:39 × polo quits (~polo@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:05:57 redmp joins (~redmp@eduroam-169-233-179-23.ucsc.edu)
21:07:02 polo joins (~polo@user/polo)
21:09:19 freeside joins (~mengwong@103.252.202.193)
21:09:57 × ahrat quits (~ahrat@user/ahrat) (Ping timeout: 260 seconds)
21:10:13 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
21:10:17 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
21:10:48 × biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer)
21:14:02 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
21:16:07 biberu joins (~biberu@user/biberu)
21:18:48 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:19:21 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:19:46 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
21:19:50 × polo quits (~polo@user/polo) (Ping timeout: 276 seconds)
21:23:36 freeside joins (~mengwong@103.252.202.193)
21:25:59 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
21:26:52 ec joins (~ec@gateway/tor-sasl/ec)
21:30:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:31:57 × CiaoSen quits (~Jura@p200300c95724d3002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
21:32:13 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:33:51 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
21:35:38 × isamiamsam quits (~d@zukertort.childrenofmay.org) (Quit: Changing server)
21:39:43 polo joins (~polo@user/polo)
21:42:27 × johnw quits (~johnw@2600:1700:cf00:db0:44f1:1d52:3d00:3a3) (Quit: ZNC - http://znc.in)
21:45:32 freeside joins (~mengwong@103.252.202.193)
21:48:26 × chomwitt quits (~chomwitt@ppp-94-67-192-71.home.otenet.gr) (Ping timeout: 276 seconds)
21:48:54 Lycurgus joins (~juan@user/Lycurgus)
21:49:46 × polo quits (~polo@user/polo) (Remote host closed the connection)
21:49:54 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
21:50:17 polo joins (~polo@user/polo)
21:54:20 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
21:57:48 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:57:56 × jrm quits (~jrm@user/jrm) (Remote host closed the connection)
21:59:00 jrm joins (~jrm@user/jrm)
22:00:17 × acidjnk quits (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:00:41 × acidjnk_new quits (~acidjnk@p200300d6e7137a55391cdc3ed67ec87a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
22:08:11 Midjak joins (~Midjak@82.66.147.146)
22:12:20 × michalz quits (~michalz@185.246.207.205) (Remote host closed the connection)
22:13:44 × quintasan quits (~quassel@quintasan.pl) ()
22:14:20 quintasan joins (~quassel@quintasan.pl)
22:15:44 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org)
22:16:15 segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net)
22:16:57 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6) (Remote host closed the connection)
22:18:11 × vglfr quits (~vglfr@145.224.100.190) (Ping timeout: 272 seconds)
22:18:48 <SrPx> https://www.reddit.com/r/haskell/comments/yeae50/hvm_the_parallel_functional_runtime_will_soon_run/
22:18:58 <SrPx> Haskell on GPUs soon?
22:19:49 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds)
22:31:23 harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
22:34:19 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:44:16 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
22:45:45 × mixfix41 quits (~sdeny9ee@user/mixfix41) (Ping timeout: 255 seconds)
22:46:08 × quintasan quits (~quassel@quintasan.pl) ()
22:46:38 quintasan joins (~quassel@quintasan.pl)
22:50:28 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
22:50:50 × polo quits (~polo@user/polo) (Ping timeout: 276 seconds)
22:52:39 beteigeuze1 joins (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73)
22:53:10 × beteigeuze quits (~Thunderbi@2001:8a0:61b5:6101:9233:19e9:6537:6e73) (Ping timeout: 246 seconds)
22:53:10 beteigeuze1 is now known as beteigeuze
22:54:55 × redmp quits (~redmp@eduroam-169-233-179-23.ucsc.edu) (Ping timeout: 272 seconds)
22:55:50 <zzz> can anyone remind me of the name of the function that returns the full name of a character?
22:58:43 <zzz> maybe i'm thinking of Data.Char.generalCategory
22:59:00 <zzz> thought there was something more specific
23:00:30 <geekosaur> https://hackage.haskell.org/package/text-icu-0.8.0.2/docs/Data-Text-ICU-Char.html#v:charName ?
23:01:19 <Axman6> SrPx: Accelerate has been a thing for over a decade
23:02:20 <SrPx> Axman6: no, the point is to run arbitrary Haskell programs on the GPU. As in, literally anything. Not just a map over a buffer or similarly restricted cases
23:02:34 <Axman6> yeah that's pretty cool, reading now
23:03:28 eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f81b:3b92:bbe7:93b6)
23:04:11 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
23:04:13 freeside joins (~mengwong@103.252.202.193)
23:05:14 ChaiTRex joins (~ChaiTRex@user/chaitrex)
23:05:19 <Axman6> their QSort example is strange, both programs mention an argument "pivot" but don't define it
23:09:13 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 272 seconds)
23:09:31 ubert1 joins (~Thunderbi@178.165.192.156.wireless.dyn.drei.com)
23:10:57 × ubert quits (~Thunderbi@77.119.201.227.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
23:10:57 ubert1 is now known as ubert
23:20:44 × quintasan quits (~quassel@quintasan.pl) ()
23:21:12 quintasan joins (~quassel@quintasan.pl)
23:22:07 vglfr joins (~vglfr@145.224.100.164)
23:23:59 × dextaa quits (~DV@user/dextaa) (Ping timeout: 276 seconds)
23:26:57 × zeenk quits (~zeenk@2a02:2f04:a105:5d00:c862:f190:2ea:d494) (Quit: Konversation terminated!)
23:34:00 × gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
23:34:17 dextaa joins (~DV@user/dextaa)
23:37:34 freeside joins (~mengwong@103.252.202.193)
23:38:52 polo joins (~polo@user/polo)
23:41:09 × segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
23:42:14 × freeside quits (~mengwong@103.252.202.193) (Ping timeout: 250 seconds)
23:54:37 × EvanR quits (~EvanR@user/evanr) (Remote host closed the connection)
23:54:56 EvanR joins (~EvanR@user/evanr)
23:55:11 freeside joins (~mengwong@103.252.202.193)
23:57:45 johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
23:58:06 × Tuplanolla quits (~Tuplanoll@91-159-68-111.elisa-laajakaista.fi) (Quit: Leaving.)

All times are in UTC on 2022-10-26.