Home liberachat/#haskell: Logs Calendar

Logs on 2022-09-11 (liberachat/#haskell)

00:00:52 → mvk joins (~mvk@2607:fea8:5ce3:8500::875a)
00:06:35 × Topsi2 quits (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Read error: Connection reset by peer)
00:10:02 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds)
00:17:01 × eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds)
00:17:27 → rockymarine joins (~rocky@user/rockymarine)
00:22:29 → wroathe_ joins (~wroathe@206-55-188-8.fttp.usinternet.com)
00:22:51 × wroathe_ quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
00:22:51 → wroathe_ joins (~wroathe@user/wroathe)
00:24:35 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds)
00:24:56 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
00:25:21 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
00:26:41 × bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds)
00:27:24 → ente` joins (~daemon@inferno.barfooze.de)
00:28:40 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
00:31:57 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
00:34:49 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 244 seconds)
00:35:03 → matthewmosior joins (~matthewmo@173.170.253.91)
00:35:47 × beteigeuze quits (~Thunderbi@p5090d00a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
00:38:33 → rockymarine joins (~rocky@user/rockymarine)
00:40:08 wroathe_ is now known as wroathe
00:43:05 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
00:44:07 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
00:46:35 → nate1 joins (~nate@98.45.169.16)
00:54:28 → matthewmosior joins (~matthewmo@173.170.253.91)
01:02:04 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
01:02:35 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
01:02:44 × hyiltiz_ quits (~quassel@31.220.5.250) (Ping timeout: 255 seconds)
01:03:17 × mmhat quits (~mmh@p200300f1c728cc18ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6)
01:03:22 → hyiltiz joins (~quassel@31.220.5.250)
01:06:05 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
01:09:43 × Successus quits (~Successus@user/Successus) ()
01:09:49 <hgolden> Currently, the Haskell wiki has special tags for Haskell code. I would like to remove this feature and use the standard <syntaxhighlight> tag instead. There are only a small number of uses of <haskell> in the whole wiki. Comments?
01:11:08 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:16:11 sshine_ is now known as sshine
01:17:15 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:19:41 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
01:20:43 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
01:27:23 → rockymarine joins (~rocky@user/rockymarine)
01:28:39 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
01:30:08 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
01:32:42 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 244 seconds)
01:33:54 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
01:35:23 × johnjaye quits (~pi@173.209.64.74) (Ping timeout: 252 seconds)
01:35:58 → zebrag joins (~chris@user/zebrag)
01:37:31 → johnjaye joins (~pi@173.209.64.74)
01:42:02 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
01:45:14 → rockymarine joins (~rocky@user/rockymarine)
01:48:42 × gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
01:48:57 × avoniap quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:55:27 × wroathe quits (~wroathe@user/wroathe) (Quit: leaving)
02:03:15 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
02:03:26 → jmdaemon joins (~jmdaemon@user/jmdaemon)
02:07:01 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
02:08:01 → bilegeek joins (~bilegeek@2600:1008:b008:a18:bf71:b2af:b73a:6322)
02:08:20 × luffy quits (~chenqisu1@183.217.201.192) (Quit: Leaving)
02:14:30 → matthewmosior joins (~matthewmo@173.170.253.91)
02:18:09 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds)
02:35:09 × td_ quits (~td@muedsl-82-207-238-006.citykom.de) (Ping timeout: 252 seconds)
02:36:53 → td_ joins (~td@94.134.91.155)
02:38:46 × xacktm quits (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com)
02:41:09 × andreas303 quits (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection)
02:42:17 × terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
02:43:07 → luffy joins (~chenqisu1@183.217.201.192)
02:43:19 → terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1)
02:45:05 × ZachPizazz quits (~ZachPizaz@c-73-242-199-239.hsd1.nm.comcast.net) (Quit: Client closed)
02:49:42 → jmdaemon joins (~jmdaemon@user/jmdaemon)
02:50:43 × ddellacosta quits (~ddellacos@143.244.47.67) (Ping timeout: 248 seconds)
02:51:13 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
02:54:27 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds)
02:54:33 → andreas303 joins (andreas303@ip227.orange.bnc4free.com)
02:57:18 → xacktm joins (xacktm@user/xacktm)
02:58:49 × jero98772 quits (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
03:00:35 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
03:01:19 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
03:03:47 → matthewmosior joins (~matthewmo@173.170.253.91)
03:05:53 → rockymarine joins (~rocky@user/rockymarine)
03:06:57 × megaTherion quits (~therion@unix.io) (Quit: ZNC 1.8.2 - https://znc.in)
03:08:43 → megaTherion joins (~therion@unix.io)
03:10:59 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds)
03:12:15 → jmdaemon joins (~jmdaemon@user/jmdaemon)
03:14:28 → rockymarine joins (~rocky@user/rockymarine)
03:14:28 × mvk quits (~mvk@2607:fea8:5ce3:8500::875a) (Ping timeout: 244 seconds)
03:15:59 × caryhartline quits (~caryhartl@2600:1700:2d0:8d30:9c09:b6dc:9188:4242) (Quit: caryhartline)
03:22:51 × vglfr quits (~vglfr@145.224.94.221) (Ping timeout: 260 seconds)
03:27:00 × Me-me quits (~me-me@v.working.name) (Remote host closed the connection)
03:27:22 → Me-me joins (~me-me@v.working.name)
03:28:45 × Me-me quits (~me-me@v.working.name) (Changing host)
03:28:45 → Me-me joins (~me-me@user/me-me)
03:30:26 × xff0x quits (~xff0x@2405:6580:b080:900:7afb:e146:b361:288c) (Ping timeout: 260 seconds)
03:33:36 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
03:39:47 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 248 seconds)
03:46:52 → vglfr joins (~vglfr@145.224.94.221)
03:47:48 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
03:51:45 → xff0x joins (~xff0x@2405:6580:b080:900:523c:c9d2:8a8:ac78)
03:51:47 → rockymarine joins (~rocky@user/rockymarine)
03:55:21 → moet joins (~moet@mobile-166-177-251-105.mycingular.net)
04:03:20 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
04:03:51 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
04:04:19 → jpds1 joins (~jpds@gateway/tor-sasl/jpds)
04:06:36 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
04:10:34 × rodental quits (~rodental@38.146.5.222) (Write error: Broken pipe)
04:11:26 → matthewmosior joins (~matthewmo@173.170.253.91)
04:15:57 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
04:22:27 × moet quits (~moet@mobile-166-177-251-105.mycingular.net) (Ping timeout: 248 seconds)
04:27:43 × kenaryn quits (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
04:28:07 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
04:28:47 × Null_A_ quits (~null_a@2601:645:8700:ac10:2d55:4911:941f:3cf7) ()
04:28:56 → matthewmosior joins (~matthewmo@173.170.253.91)
04:31:29 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
04:33:32 → Null_A joins (~null_a@2601:645:8700:ac10:2064:ea9d:e957:861b)
04:35:30 → moet joins (~moet@mobile-166-177-251-105.mycingular.net)
04:37:11 → Kaiepi joins (~Kaiepi@142.68.249.28)
04:38:25 × phma quits (~phma@host-67-44-208-193.hnremote.net) (Read error: Connection reset by peer)
04:39:31 → phma joins (~phma@2001:5b0:210b:b5b8:9584:c6eb:7e64:72d6)
04:43:21 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
04:43:31 × drlkf quits (~drlkf@chat.drlkf.net) (Quit: drlkf)
04:43:53 → drlkf joins (~drlkf@chat.drlkf.net)
04:44:23 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
04:44:57 × luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
04:45:02 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
04:45:17 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
04:47:32 × jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
04:48:36 → jpds1 joins (~jpds@gateway/tor-sasl/jpds)
04:54:57 → luffy joins (~chenqisu1@183.217.201.192)
04:57:34 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
05:03:46 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
05:04:01 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 252 seconds)
05:05:24 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
05:05:46 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: leaving)
05:09:23 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
05:15:20 → Guest|6 joins (~Guest|6@118.102.86.144)
05:16:28 <Guest|6> PS C:\Windows\System32> Stop-process -Name GHC
05:16:28 <Guest|6> Stop-Process: Cannot find a process with the name "GHC". Verify the process name and call the cmdlet again.
05:18:27 <Guest|6> I cannot stop the ghc download process which appears in the window on the GHCup page. I have, for example. tried
05:19:04 <Guest|6> PS C:\Windows\System32> Stop-process -Name GHC
05:19:04 <Guest|6> Stop-Process: Cannot find a process with the name "GHC". Verify the process name and call the cmdlet again.
05:26:01 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 252 seconds)
05:27:06 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
05:28:40 → acidjnk joins (~acidjnk@p200300d6e7137a870c8eed6de2a36710.dip0.t-ipconnect.de)
05:29:07 → rockymarine joins (~rocky@user/rockymarine)
05:32:44 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 255 seconds)
05:33:48 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 265 seconds)
05:34:37 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
05:35:19 × shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit)
05:37:34 → zmt00 joins (~zmt00@user/zmt00)
05:45:41 → rockymarine joins (~rocky@user/rockymarine)
05:48:47 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
05:51:32 → nate1 joins (~nate@98.45.169.16)
05:51:59 → ec joins (~ec@gateway/tor-sasl/ec)
05:56:36 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
06:02:06 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
06:04:20 × Guest|6 quits (~Guest|6@118.102.86.144) (Quit: Connection closed)
06:10:09 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 250 seconds)
06:13:14 × acidjnk quits (~acidjnk@p200300d6e7137a870c8eed6de2a36710.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
06:15:37 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:17:53 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:24:15 → rockymarine joins (~rocky@user/rockymarine)
06:25:54 → mmhat joins (~mmh@p200300f1c728cc18ee086bfffe095315.dip0.t-ipconnect.de)
06:27:46 → nate1 joins (~nate@98.45.169.16)
06:28:50 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
06:28:51 × bilegeek quits (~bilegeek@2600:1008:b008:a18:bf71:b2af:b73a:6322) (Quit: Leaving)
06:32:41 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds)
06:34:36 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
06:36:05 → acidjnk joins (~acidjnk@p200300d6e7137a87583f25e1b5ab5273.dip0.t-ipconnect.de)
06:36:52 → mbuf joins (~Shakthi@195.69.96.100)
06:44:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:00:19 × mbuf quits (~Shakthi@195.69.96.100) (Quit: Leaving)
07:01:10 → chomwitt joins (~chomwitt@2a02:587:dc16:fe00:f986:a0d9:beac:d7c1)
07:01:10 × chomwitt quits (~chomwitt@2a02:587:dc16:fe00:f986:a0d9:beac:d7c1) (Remote host closed the connection)
07:01:29 → chomwitt joins (~chomwitt@2a02:587:dc16:fe00:ae17:e9f7:cfd6:a980)
07:04:07 → mbuf joins (~Shakthi@195.69.96.100)
07:06:43 × zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection)
07:08:40 → zaquest joins (~notzaques@5.130.79.72)
07:11:11 × mmhat quits (~mmh@p200300f1c728cc18ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6)
07:14:12 → nate1 joins (~nate@98.45.169.16)
07:15:14 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
07:19:10 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds)
07:20:06 → toeffel joins (~toeffel@user/toeffel)
07:22:50 → mastarija joins (~mastarija@46.188.135.255)
07:26:39 × luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
07:26:58 → Sciencentistguy9 joins (~sciencent@hacksoc/ordinary-member)
07:27:42 → matthewmosior joins (~matthewmo@173.170.253.91)
07:28:26 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 260 seconds)
07:28:26 Sciencentistguy9 is now known as Sciencentistguy
07:28:49 → Guest|6 joins (~Guest|6@118.102.86.144)
07:32:42 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
07:37:11 → eikke joins (~NicolasT@user/NicolasT)
07:42:02 × Guest|6 quits (~Guest|6@118.102.86.144) (Quit: Connection closed)
07:44:17 → MoC joins (~moc@user/moc)
07:47:41 → titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de)
07:52:14 → zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
07:52:24 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
07:56:43 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:02:49 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
08:05:12 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
08:19:46 × moet quits (~moet@mobile-166-177-251-105.mycingular.net) (Ping timeout: 260 seconds)
08:27:06 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
08:27:48 → ec joins (~ec@gateway/tor-sasl/ec)
08:28:13 × fjMSX quits (~hypni2p@128-68-149-52.broadband.corbina.ru) (Quit: Уш'лЪЬ їз єтой IRC сетї)
08:28:35 → odnes joins (~odnes@5-203-220-220.pat.nym.cosmote.net)
08:33:08 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds)
08:34:58 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
08:35:01 → mc47 joins (~mc47@xmonad/TheMC47)
08:36:51 × zeenk quits (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
08:38:36 → kenran joins (~kenran@200116b82b77cb00a21ee6a6ea0837b3.dip.versatel-1u1.de)
08:40:01 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
08:40:37 × kenran quits (~kenran@200116b82b77cb00a21ee6a6ea0837b3.dip.versatel-1u1.de) (Client Quit)
08:43:00 × toeffel quits (~toeffel@user/toeffel) (Ping timeout: 264 seconds)
08:43:39 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
08:45:32 → matthewmosior joins (~matthewmo@173.170.253.91)
08:47:25 → toeffel joins (~toeffel@user/toeffel)
08:54:41 → rockymarine joins (~rocky@user/rockymarine)
09:01:36 × eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds)
09:03:06 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:03:22 × tubogram44 quits (~tubogram@user/tubogram) (Quit: See ya later!)
09:14:30 → coot joins (~coot@213.134.176.158)
09:15:01 → nate1 joins (~nate@98.45.169.16)
09:20:06 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
09:27:53 × titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Quit: Leaving.)
09:33:40 → __monty__ joins (~toonn@user/toonn)
09:34:57 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
09:40:20 → zxx7529 joins (~Thunderbi@user/zxx7529)
09:43:41 × zxx7529 quits (~Thunderbi@user/zxx7529) (Remote host closed the connection)
09:45:44 → Guest|6 joins (~Guest|6@118.102.86.144)
09:49:33 Furor is now known as Colere
09:51:48 → luffy joins (~chenqisu1@183.217.201.192)
09:54:50 × luffy quits (~chenqisu1@183.217.201.192) (Max SendQ exceeded)
09:55:21 → luffy joins (~chenqisu1@183.217.201.192)
09:55:26 → BusConscious joins (~martin@ip5f5acc3f.dynamic.kabel-deutschland.de)
09:58:00 × luffy quits (~chenqisu1@183.217.201.192) (Max SendQ exceeded)
09:58:36 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 264 seconds)
09:58:36 → luffy joins (~chenqisu1@183.217.201.192)
09:59:22 <BusConscious> try blabla <|> b in parsec should continue with b if blabla fails even if it is several tokens in and in a recursive subcall, right?
10:00:24 <BusConscious> my parser just fails altogether and I'm confused if I have a profound misunderstanding of how the thing works
10:00:31 <BusConscious> because it's just baffling
10:01:23 → titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de)
10:01:24 × luffy quits (~chenqisu1@183.217.201.192) (Max SendQ exceeded)
10:02:04 <BusConscious> type TokParser = Parsec [Token] ()
10:02:10 <BusConscious> maybe this is the issue
10:02:53 <[exa]> BusConscious: with `try` the changes should roll back, yes. Can you make a minimal working (failing) example and pastebin it to avoid guesswork?
10:03:19 → luffy joins (~chenqisu1@183.217.201.192)
10:03:37 <[exa]> btw is it actual `parsec` package? (afaik lately it is recommendable to just use megaparsec)
10:03:43 × acidjnk quits (~acidjnk@p200300d6e7137a87583f25e1b5ab5273.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
10:03:59 <BusConscious> yes Text.Parsec
10:05:05 <[exa]> still that should work
10:05:57 × luffy quits (~chenqisu1@183.217.201.192) (Max SendQ exceeded)
10:07:16 → luffy joins (~chenqisu1@183.217.201.192)
10:08:12 <BusConscious> https://paste.tomsmeding.com/dBgHcNx3 the relevant lines are line 150+151
10:08:21 <BusConscious> parseCmd = try (parseSmpCmd >>= return . SCmd) <|> FCmd <$> parseFuncDef
10:08:38 <BusConscious> f()
10:08:39 <BusConscious> "tokenstream" (line 1, column 3):
10:08:39 <BusConscious> unexpected LBracket
10:08:48 <BusConscious> totally pukes
10:09:35 <BusConscious> the only think I could maybe think of is, that maybe the comment in line 51 is the reason but I'm not sure how or why exactly
10:10:28 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
10:10:29 <BusConscious> ah I have an idea
10:10:52 <BusConscious> maybe it parses f as a simple command and then starts with ()
10:10:59 <BusConscious> ah I think this should be it
10:13:15 <[exa]> you might like `choice $ map try [SCmd <$> parseSmpCmd, FCmd <$> parseFuncDef, ...]`
10:14:35 × raym quits (~raym@user/raym) (Ping timeout: 252 seconds)
10:15:38 <BusConscious> yes trying FCmd first solved the issue here
10:21:02 <[exa]> you might want to check with `lookAhead` that the commands are terminated with something sensible (semicolon, newline)
10:21:39 → rockymarine joins (~rocky@user/rockymarine)
10:21:50 <BusConscious> Now compound commands don't work :D
10:21:53 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
10:21:55 <[exa]> PEG parsers don't generally scream at people for this purpose, which is a bit of missed opportunity to make stuff more resilient tbh. :]
10:22:04 <[exa]> compound commands?
10:22:15 <[exa]> btw that's for `kell` shell? :]
10:22:49 <BusConscious> yes the third class of commands, that includes all the control structures
10:24:07 × Guest|6 quits (~Guest|6@118.102.86.144) (Quit: Connection closed)
10:25:57 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:46b2:c056:ef5b:a2c4)
10:27:15 → raym joins (~raym@user/raym)
10:27:28 <BusConscious> ok different question: are the a <|> b <|> c really evaluated in order a, b and then c
10:27:36 <BusConscious> or is this not guarenteed
10:28:06 <BusConscious> maybe I'm just paranoid coming from C
10:30:22 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
10:32:26 → jakalx joins (~jakalx@base.jakalx.net)
10:33:28 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:34:17 <BusConscious> ah I think it has to do I use end of input errors in my shell to request for my lines
10:34:36 <BusConscious> when I have <|> try ( FCmd <$> parseFuncDef )
10:34:41 <BusConscious> <|> (parseSmpCmd >>= return . SCmd)
10:34:47 × kmein quits (~weechat@user/kmein) (Quit: ciao kakao)
10:35:12 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
10:35:15 → califax joins (~califax@user/califx)
10:35:29 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:35:47 <BusConscious> and I type f()\n{ls\n} or something of that style it fails parseFuncDef because there is no body after I type the first line, but then it goes into parseSmpCmd
10:35:57 <BusConscious> which fails because of unexpected LBracket
10:36:23 <BusConscious> But what I need is the unexpected end of file error of the first parser
10:36:25 <BusConscious> nasty
10:36:47 <BusConscious> because only then it will read another line and parse again
10:36:49 <BusConscious> nasty nasty
10:36:51 → kmein joins (~weechat@user/kmein)
10:39:34 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:46b2:c056:ef5b:a2c4) (Quit: WeeChat 2.8)
10:39:41 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
10:45:49 <[exa]> BusConscious: yes the parsing should be attempted in order
10:46:03 → alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
10:46:05 <BusConscious> why does choice exist then?
10:46:24 <[exa]> better code structure if you have 2345234985 choices I'd say
10:46:37 × toeffel quits (~toeffel@user/toeffel) (Ping timeout: 250 seconds)
10:46:39 × mastarija quits (~mastarija@46.188.135.255) (Quit: WeeChat 3.5)
10:48:04 <[exa]> anyway yeah this looks to me most as a normal ambiguity error, something seems to parse right and eats other stuff
10:48:43 <[exa]> you might help that at tokenization a bit, instead of plain NEWLINE add tokens that say instead "command may end here", and you can match that
10:49:39 <[exa]> also, you generally need to ensure that the commands do _not_ match the form `somename()`
10:50:09 <[exa]> in bash the empty `()` is a pretty special token right?
10:50:12 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 264 seconds)
10:50:38 <BusConscious> '(' and ')' are operators
10:50:49 <BusConscious> and have their own Tokens
10:57:45 <BusConscious> try a <|> try b <|> unexpected("end of input") should only ever fail with unexptected end of input right?
10:58:24 × alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
11:01:44 <BusConscious> this is such a clusterfuck
11:03:28 → rockymarine joins (~rocky@user/rockymarine)
11:15:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:15:59 <BusConscious> [exa]: I think I'm going ahead with your lookahead tip
11:16:16 <BusConscious> because like you say it keeps silently eating away
11:18:06 <BusConscious> but first let's look in the shell grammar what possible delimiteers exist
11:19:35 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:23:36 <[exa]> BusConscious: now, the larger-frame problem is that shell languages aren't typically done to be parsed in multiple lines
11:23:55 → aaronv joins (~aaronv@user/aaronv)
11:23:59 <[exa]> e.g. bash kinda "changes a mode" (and gives you a different prompt) once you are in some kind of a block
11:24:13 <[exa]> s/done/designed/
11:24:32 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:24:37 <BusConscious> It's a bit of Frankenstein I have created for sure
11:24:44 <[exa]> I recently tried to parse makefiles which was literally one of the most elucidating fails ever
11:24:44 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:25:07 <BusConscious> but on the other hand this is the way it is described in the spec:
11:25:11 <BusConscious> line based interpreter
11:25:47 <BusConscious> parse a line, when it fails because of end of input parse it together with the next line and so on
11:28:25 ← jakalx parts (~jakalx@base.jakalx.net) (Error from remote client)
11:30:21 <BusConscious> ok got it
11:30:33 <BusConscious> it's not pretty but does the job
11:31:07 × dsrt^ quits (~dsrt@70.88.176.185) (Remote host closed the connection)
11:32:04 <BusConscious> One thing I really don't care about is performance
11:32:06 → jakalx joins (~jakalx@base.jakalx.net)
11:32:17 × cheater quits (~Username@user/cheater) (Quit: Read error: 69 (Excessive sex))
11:32:25 <BusConscious> This is probably the reason, why bash is parsing in blocks
11:32:41 <BusConscious> but I think recognizing these blocks would be a even bigger mess
11:33:08 → cheater joins (~Username@user/cheater)
11:36:23 → zxx7529 joins (~Thunderbi@user/zxx7529)
11:37:18 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:37:27 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:38:55 → Successus joins (~Successus@user/Successus)
11:43:04 × luffy quits (~chenqisu1@183.217.201.192) (Ping timeout: 265 seconds)
11:43:07 <[exa]> yes, a mess
11:43:34 <[exa]> the way of shells
11:45:19 <BusConscious> but thanks for the lookAhead tip. that was right on spot
11:46:51 <BusConscious> usually I solve it over the order in which things are passed, but in this instance you have to parse for functions last because of the end of input error
11:47:33 → acidjnk joins (~acidjnk@p200300d6e7137a878c8534a90a4c56e4.dip0.t-ipconnect.de)
11:47:50 <[exa]> for extra mess that interferes with parsing shell commands, see `help set`. :]
11:48:30 <[exa]> anyway you might have some luck with looking at a minimal posix shell parsers, there's a lot of knowledge hidden usually
11:48:34 <[exa]> (I recall `dash`)
11:49:17 <BusConscious> kell -c "ls" doesn't work now heh
11:50:12 <BusConscious> yeah dash is great
11:50:25 <BusConscious> what do you mean with set?
11:53:45 <BusConscious> 15:49 < BusConscious> kell -c "ls" doesn't work now heh
11:53:54 <BusConscious> I will just always append the EOF token
12:00:09 <[exa]> yeah afaik bash has this "end of chewable input so far" internally that tells it to act
12:00:25 × acidjnk quits (~acidjnk@p200300d6e7137a878c8534a90a4c56e4.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
12:00:35 <[exa]> by set I mean the bash `set` that changes the behavior of much stuff
12:01:16 <BusConscious> I know, but what do you think specifically will break?
12:01:35 <BusConscious> or is it more, that you suspect the lookAhead to break something
12:04:16 BusConscious just got a shudder, when he noticed Here-Docs are not implemented yet
12:04:34 × titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Quit: Leaving.)
12:06:14 <[exa]> not really break, but I'm not sure if it's going to be easy to decide so locally in all cases
12:07:13 → nate1 joins (~nate@98.45.169.16)
12:08:08 <BusConscious> Here-documents will be quite difficult
12:09:04 <BusConscious> but we shall see
12:12:24 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 264 seconds)
12:12:51 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 250 seconds)
12:17:44 → rockymarine joins (~rocky@user/rockymarine)
12:18:59 × causal quits (~user@50.35.83.177) (Quit: WeeChat 3.6)
12:24:44 × chomwitt quits (~chomwitt@2a02:587:dc16:fe00:ae17:e9f7:cfd6:a980) (Remote host closed the connection)
12:30:50 → instantaphex joins (~jb@c-73-171-252-84.hsd1.fl.comcast.net)
12:33:42 → gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
12:33:42 → avoniap joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
12:35:34 × instantaphex quits (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 268 seconds)
12:35:37 × UNIX quits (~kernel@user/OpenSource) (Quit: ZNC - https://znc.in)
12:37:45 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
12:40:18 → OpenSource joins (~kernel@user/OpenSource)
12:42:21 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
12:46:15 OpenSource is now known as UNIX
12:49:52 → Feuermagier joins (~Feuermagi@user/feuermagier)
12:54:43 → frost joins (~frost@user/frost)
12:54:53 → acidjnk joins (~acidjnk@p200300d6e7137a87cc1a8109abda9ff0.dip0.t-ipconnect.de)
12:56:44 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
13:02:57 × ft quits (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
13:04:43 → ft joins (~ft@p3e9bc57b.dip0.t-ipconnect.de)
13:08:21 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
13:12:04 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
13:17:16 × matthewmosior quits (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
13:22:09 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 265 seconds)
13:22:17 × aaronv quits (~aaronv@user/aaronv) (Quit: Leaving)
13:30:08 → matthewmosior joins (~matthewmo@173.170.253.91)
13:30:27 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
13:32:31 → alternateved joins (~user@staticline-31-183-146-203.toya.net.pl)
13:34:54 → rockymarine joins (~rocky@user/rockymarine)
13:38:47 → azimut joins (~azimut@gateway/tor-sasl/azimut)
13:40:03 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 265 seconds)
13:43:42 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
13:43:51 × acidjnk quits (~acidjnk@p200300d6e7137a87cc1a8109abda9ff0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
13:44:08 → rockymarine joins (~rocky@user/rockymarine)
13:45:51 → rembo10 joins (~rembo10@main.remulis.com)
13:46:13 → beckneard joins (~user@cpe-104-34-72-172.socal.res.rr.com)
13:49:00 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 264 seconds)
13:49:17 × rembo10 quits (~rembo10@main.remulis.com) (Client Quit)
13:49:31 → rockymarine joins (~rocky@user/rockymarine)
13:50:11 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:50:26 beckneard is now known as dumbmf
13:51:25 → rembo10 joins (~rembo10@main.remulis.com)
13:55:54 → benin0 joins (~benin@183.82.205.77)
13:57:25 → jero98772 joins (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
14:01:34 × coot quits (~coot@213.134.176.158) (Quit: coot)
14:11:07 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:12:29 × odnes quits (~odnes@5-203-220-220.pat.nym.cosmote.net) (Remote host closed the connection)
14:12:46 → odnes joins (~odnes@5-203-220-220.pat.nym.cosmote.net)
14:14:04 × frost quits (~frost@user/frost) (Ping timeout: 252 seconds)
14:16:20 × dumbmf quits (~user@cpe-104-34-72-172.socal.res.rr.com) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
14:17:03 → dumbmf joins (~user@cpe-104-34-72-172.socal.res.rr.com)
14:22:17 → toeffel joins (~toeffel@user/toeffel)
14:29:10 → kenran joins (~kenran@200116b82b77cb0084e40410ff647d96.dip.versatel-1u1.de)
14:30:12 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
14:30:46 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
14:32:32 × califax quits (~califax@user/califx) (Remote host closed the connection)
14:34:04 → califax joins (~califax@user/califx)
14:35:48 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
14:36:39 → acidjnk joins (~acidjnk@p200300d6e7137a87e41b772300444684.dip0.t-ipconnect.de)
14:39:42 × kenran quits (~kenran@200116b82b77cb0084e40410ff647d96.dip.versatel-1u1.de) (Quit: WeeChat info:version)
14:40:28 × ec quits (~ec@gateway/tor-sasl/ec) (Quit: ec)
14:40:45 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
14:41:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:42:22 × mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
14:43:52 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:47:20 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
14:53:51 → ec joins (~ec@gateway/tor-sasl/ec)
14:53:59 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 265 seconds)
15:02:02 → mc47 joins (~mc47@xmonad/TheMC47)
15:06:23 → rockymarine joins (~rocky@user/rockymarine)
15:07:31 → shriekingnoise joins (~shrieking@186.137.167.202)
15:08:26 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
15:08:59 → ec joins (~ec@gateway/tor-sasl/ec)
15:13:48 → jinsun__ joins (~jinsun@user/jinsun)
15:13:48 jinsun is now known as Guest1997
15:13:48 × Guest1997 quits (~jinsun@user/jinsun) (Killed (tungsten.libera.chat (Nickname regained by services)))
15:13:48 jinsun__ is now known as jinsun
15:14:52 → MoC joins (~moc@user/moc)
15:15:42 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 260 seconds)
15:19:05 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:19:11 × alternateved quits (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
15:23:12 × dumbmf quits (~user@cpe-104-34-72-172.socal.res.rr.com) (Ping timeout: 264 seconds)
15:26:30 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:29:00 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
15:29:04 × mbuf quits (~Shakthi@195.69.96.100) (Quit: Leaving)
15:30:27 → nate1 joins (~nate@98.45.169.16)
15:30:28 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:31:09 → dumbmf joins (~user@cpe-104-34-72-172.socal.res.rr.com)
15:31:43 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
15:32:18 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
15:33:23 → stef204 joins (~stef204@user/stef204)
15:36:42 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
15:36:46 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
15:37:55 → jmdaemon joins (~jmdaemon@user/jmdaemon)
15:41:12 × son0p quits (~ff@181.136.122.143) (Killed (NickServ (GHOST command used by son0p-)))
15:41:30 → eikke joins (~NicolasT@user/NicolasT)
15:42:04 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
15:42:16 → xkuru joins (~xkuru@user/xkuru)
15:42:16 → henninb joins (~henninb@97-116-154-134.mpls.qwest.net)
15:42:42 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:42:54 × Fischmie1 quits (~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0)
15:43:29 → son0p joins (~ff@181.136.122.143)
15:46:33 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:46:33 → coot joins (~coot@213.134.176.158)
15:47:55 × hnOsmium0001 quits (uid453710@user/hnOsmium0001) (Quit: Connection closed for inactivity)
16:00:13 × monadplus[m]1 quits (~arnauabel@2001:470:69fc:105::2:6085) (Quit: You have been kicked for being idle)
16:00:38 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
16:03:26 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
16:07:10 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
16:09:27 × eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 250 seconds)
16:09:48 × zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving)
16:10:04 × toeffel quits (~toeffel@user/toeffel) (Quit: quit)
16:10:22 × odnes quits (~odnes@5-203-220-220.pat.nym.cosmote.net) (Read error: Connection reset by peer)
16:10:31 → titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de)
16:10:37 → odnes joins (~odnes@5-203-220-220.pat.nym.cosmote.net)
16:14:47 × titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Client Quit)
16:15:46 → titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de)
16:16:58 × titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Client Quit)
16:21:01 → econo joins (uid147250@user/econo)
16:27:51 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds)
16:33:04 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
16:34:12 → titibandit joins (~titibandi@xdsl-85-197-3-115.nc.de)
16:35:27 × acidjnk quits (~acidjnk@p200300d6e7137a87e41b772300444684.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
16:38:12 × odnes quits (~odnes@5-203-220-220.pat.nym.cosmote.net) (Remote host closed the connection)
16:39:14 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:40:02 → odnes joins (~odnes@5-203-220-220.pat.nym.cosmote.net)
16:41:38 × jargon quits (~jargon@184.101.66.251) (Remote host closed the connection)
16:45:14 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
16:46:15 → son0p joins (~ff@181.136.122.143)
16:48:46 × BusConscious quits (~martin@ip5f5acc3f.dynamic.kabel-deutschland.de) (Quit: leaving)
16:51:15 <hololeap> what
16:51:25 <hololeap> is a good style for naming record fields?
16:51:54 <hololeap> especially when there are a lot of data types in the same namespace
16:52:44 <Franciman> my preference: datatypeNameFieldName
16:52:46 → zmt00 joins (~zmt00@user/zmt00)
16:52:56 <Franciman> so data Siocan = { siocanHeight :: Int }
16:53:07 → mikoto-chan joins (~mikoto-ch@2001:999:785:4f1b:b7be:292b:cccf:9e61)
16:54:14 <hololeap> aren't there some extensions now that allow for overlapping record names
16:54:37 × henninb quits (~henninb@97-116-154-134.mpls.qwest.net) (Quit: leaving)
16:55:06 <hololeap> so you don't need the "datatypeName" prefix
17:00:30 <geekosaur> there's several ways to make accessors that don't require the datatype part. the only extension that lets you avoid declaring it is noFieldAccessors, and then you have to use something like lens or RecordDotSyntax to get at them
17:03:43 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
17:05:44 <hololeap> are those extensions in any released ghc version?
17:06:22 → eikke joins (~NicolasT@user/NicolasT)
17:06:30 <geekosaur> 9.2 and on
17:07:28 <geekosaur> although lens can generate accessors that don't require the datatype part in any released version provided TH is available, but you still need to declare them with the datatype part
17:07:45 <hololeap> I'm not seeing them here: https://downloads.haskell.org/~ghc/9.2.4/docs/html/users_guide/exts/table.html
17:08:26 <hololeap> oh, is it called OverloadedRecordDot?
17:08:28 <geekosaur> it's shown in its positive form (FieldSelectors, which is the default)
17:08:30 <geekosaur> https://downloads.haskell.org/~ghc/9.2.4/docs/html/users_guide/exts/field_selectors.html#extension-FieldSelectors
17:08:47 <geekosaur> and hm, yes, that might be the right extension name
17:09:16 <geekosaur> and OverloadedRecordUpdate
17:10:57 × GoldsteinQ quits (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
17:11:21 → GoldsteinQ joins (~goldstein@goldstein.rs)
17:11:21 <geekosaur> and NoTraditionalRecordSyntax, which is why I thought RecordDotSyntax controlled all of them 😕
17:12:05 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds)
17:13:15 <hololeap> this is showing the use of OverloadedRecordDot and DuplicateRecordFields: https://downloads.haskell.org/~ghc/9.2.4/docs/html/users_guide/exts/overloaded_record_dot.html#extension-OverloadedRecordDot
17:13:48 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:14:28 <hololeap> so how is NoFieldAccessors different from DuplicateRecordFields?
17:14:28 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
17:14:45 <hololeap> *NoFieldSelectors
17:15:13 <geekosaur> even with DuplicateRecordFields, the compiler will try to generate a function RecordType -> FieldType named after the field selector
17:15:24 <geekosaur> NoFieldSelectors turns that off
17:16:06 <hololeap> I see. so does DuplicateRecordFields do nothing when FieldSelectors is disabled?
17:16:25 → king_gs joins (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75)
17:16:39 × king_gs quits (~Thunderbi@2806:103e:29:1004:c2ae:c6b3:b9c2:8d75) (Client Quit)
17:16:55 <geekosaur> "Field names used as selector functions or in record updates must be unambiguous, either because there is only one such field in scope, or because a type signature is supplied, as described in the following sections."
17:17:15 <geekosaur> so you would have to annotate them with a record type to make them unambiguous
17:17:30 × raym quits (~raym@user/raym) (Remote host closed the connection)
17:17:36 <geekosaur> or otherwise ensure ghc knows the precise type of the record
17:19:22 <geekosaur> NoFieldSelectors removes this constraint for field selectors by remocing field selectors. OverloadedRecordUpdates makes the record update syntax smarter about it, or else NoTraditionalRecordSyntax turns off traditional record syntax and you have to use some other syntax (like lens) to make updates
17:20:08 <hololeap> insanity
17:20:47 → hnOsmium0001 joins (uid453710@user/hnOsmium0001)
17:23:21 → raym joins (~raym@user/raym)
17:26:52 <kaol> @type id <=< id
17:26:53 <lambdabot> Monad m => m (m c) -> m c
17:27:13 <kaol> A funny connection I noticed. Who needs join.
17:27:51 × coot quits (~coot@213.134.176.158) (Quit: coot)
17:28:26 <kaol> @type (<=< id)
17:28:27 <lambdabot> Monad m => (b -> m c) -> m b -> m c
17:28:33 <kaol> Or bind.
17:28:55 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
17:29:17 <hpc> :t join (<=<) id -- who needs... join?
17:29:18 <lambdabot> error:
17:29:18 <lambdabot> • Occurs check: cannot construct the infinite type: a ~ m a
17:29:18 <lambdabot> Expected type: (m a -> m a) -> a -> m a
17:30:57 × eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 268 seconds)
17:32:41 ← dumbmf parts (~user@cpe-104-34-72-172.socal.res.rr.com) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50))
17:35:01 <mjrosenb> anyone know of issues in ghcjs that could lead to this?
17:35:03 <mjrosenb> Linking dist/build/htalk-client/htalk-client.jsexe (Main)
17:35:05 <mjrosenb> stack overflow: use +RTS -K<size> to increase it
17:37:01 <dolio> The compiler is stack overflowing?
17:53:04 → Feuermagier_ joins (~Feuermagi@45.88.97.123)
17:55:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:55:37 × Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 250 seconds)
18:06:30 <mjrosenb> either the compiler or the linker.
18:13:39 → eikke joins (~NicolasT@user/NicolasT)
18:16:29 × califax quits (~califax@user/califx) (Ping timeout: 258 seconds)
18:18:47 → califax joins (~califax@user/califx)
18:19:09 × cowboy8625 quits (~cowboy@2001-48F8-4002-6A7-6030-C399-CF68-CCC3-static.midco.net) (Ping timeout: 244 seconds)
18:23:37 → AlexNoo_ joins (~AlexNoo@94.233.241.238)
18:23:41 → cowboy8625 joins (~cowboy@2001-48F8-4002-6A7-C4B3-AC0C-C591-5344-static.midco.net)
18:23:51 ← zzz parts (~z@user/zero) ()
18:24:18 → zzz joins (~z@user/zero)
18:25:21 × AlexZenon quits (~alzenon@178.34.161.129) (Ping timeout: 244 seconds)
18:25:21 × Alex_test quits (~al_test@178.34.161.129) (Ping timeout: 244 seconds)
18:26:58 × AlexNoo quits (~AlexNoo@178.34.161.129) (Ping timeout: 240 seconds)
18:29:33 → Alex_test joins (~al_test@94.233.241.238)
18:29:37 → AlexZenon joins (~alzenon@94.233.241.238)
18:31:12 → dr_merijn joins (~merijn@86-86-29-250.fixed.kpn.net)
18:33:39 × Feuermagier_ quits (~Feuermagi@45.88.97.123) (Remote host closed the connection)
18:35:48 × dr_merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
18:35:50 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 265 seconds)
18:35:59 → acidjnk joins (~acidjnk@p200300d6e7137a33612409244d56fa6b.dip0.t-ipconnect.de)
18:42:39 × zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529)
18:44:25 → Everything joins (~Everythin@37.115.210.35)
18:44:59 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
18:45:17 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
18:48:21 → coot joins (~coot@213.134.176.158)
18:49:31 × coot quits (~coot@213.134.176.158) (Client Quit)
18:50:00 → coot joins (~coot@213.134.176.158)
18:54:09 × benin0 quits (~benin@183.82.205.77) (Quit: The Lounge - https://thelounge.chat)
18:56:37 → waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
18:57:41 → zxx7529 joins (~Thunderbi@user/zxx7529)
18:58:13 × vglfr quits (~vglfr@145.224.94.221) (Remote host closed the connection)
18:59:07 → vglfr joins (~vglfr@145.224.94.221)
19:02:47 × eikke quits (~NicolasT@user/NicolasT) (Ping timeout: 250 seconds)
19:03:35 × Guest1698 quits (~Guest1698@20.83.116.49) (Remote host closed the connection)
19:04:24 → Guest1698 joins (~Guest1698@20.83.116.49)
19:05:55 × rockymarine quits (~rocky@user/rockymarine) (Ping timeout: 268 seconds)
19:05:56 × biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer)
19:06:45 × cowboy8625 quits (~cowboy@2001-48F8-4002-6A7-C4B3-AC0C-C591-5344-static.midco.net) (Quit: WeeChat 3.5)
19:08:22 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:09:28 → biberu joins (~biberu@user/biberu)
19:11:31 × zxx7529 quits (~Thunderbi@user/zxx7529) (Quit: zxx7529)
19:13:55 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
19:14:34 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
19:18:09 → Sgeo joins (~Sgeo@user/sgeo)
19:19:34 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…)
19:20:00 → nate1 joins (~nate@98.45.169.16)
19:20:19 → rockymarine joins (~rocky@user/rockymarine)
19:20:59 → dsrt^ joins (~dsrt@70.88.176.185)
19:23:10 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
19:24:22 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:27:31 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
19:29:17 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
19:40:57 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
19:41:21 × acidjnk quits (~acidjnk@p200300d6e7137a33612409244d56fa6b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
19:41:40 → nate1 joins (~nate@98.45.169.16)
19:43:21 → acidjnk joins (~acidjnk@p200300d6e7137a337cc73d96aa12c516.dip0.t-ipconnect.de)
19:44:20 × stef204 quits (~stef204@user/stef204) (Quit: WeeChat 3.6)
19:44:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:46:40 → zeenk joins (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
19:48:49 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:49:42 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:51:23 × rockymarine quits (~rocky@user/rockymarine) (Read error: Connection reset by peer)
19:51:51 → Midjak joins (~Midjak@82.66.147.146)
19:53:16 → MoC joins (~moc@user/moc)
19:53:38 → x_kuru joins (~xkuru@user/xkuru)
19:55:33 × MoC quits (~moc@user/moc) (Client Quit)
19:56:32 → justsomeguy joins (~justsomeg@user/justsomeguy)
19:57:23 × xkuru quits (~xkuru@user/xkuru) (Ping timeout: 250 seconds)
20:01:42 × odnes quits (~odnes@5-203-220-220.pat.nym.cosmote.net) (Remote host closed the connection)
20:02:48 → odnes joins (~odnes@5-203-220-220.pat.nym.cosmote.net)
20:10:04 × x_kuru quits (~xkuru@user/xkuru) (Quit: Unvirtualizing)
20:16:07 → eikke joins (~NicolasT@user/NicolasT)
20:18:03 × odnes quits (~odnes@5-203-220-220.pat.nym.cosmote.net) (Quit: Leaving)
20:25:29 × dsrt^ quits (~dsrt@70.88.176.185) (Ping timeout: 268 seconds)
20:29:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:30:16 → dsrt^ joins (~dsrt@70.88.176.185)
20:30:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:35:58 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
20:36:17 → Guest20 joins (~Guest20@bras-base-bmtnon1328w-grc-47-184-145-46-162.dsl.bell.ca)
20:37:26 → Pickchea joins (~private@user/pickchea)
20:41:02 × vglfr quits (~vglfr@145.224.94.221) (Ping timeout: 265 seconds)
20:41:22 AlexNoo_ is now known as AlexNoo
20:42:08 × coot quits (~coot@213.134.176.158) (Quit: coot)
20:45:21 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
20:45:40 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
20:48:06 → MoC joins (~moc@user/moc)
20:49:08 → Feuermagier joins (~Feuermagi@user/feuermagier)
20:49:32 → ddellacosta joins (~ddellacos@143.244.47.100)
20:52:19 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
20:52:26 → matthewmosior joins (~matthewmo@173.170.253.91)
20:54:46 × eikke quits (~NicolasT@user/NicolasT) (Quit: leaving)
20:57:45 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
20:58:32 × Everything quits (~Everythin@37.115.210.35) (Quit: leaving)
20:59:01 × matthewmosior quits (~matthewmo@173.170.253.91) (Remote host closed the connection)
21:05:25 × mikoto-chan quits (~mikoto-ch@2001:999:785:4f1b:b7be:292b:cccf:9e61) (Ping timeout: 250 seconds)
21:12:20 × dsrt^ quits (~dsrt@70.88.176.185) (Ping timeout: 268 seconds)
21:13:32 → causal joins (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e)
21:13:42 → RowanG[m] joins (~rowang077@2001:470:69fc:105::1:ca9f)
21:16:38 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal)
21:19:05 <RowanG[m]> Is it possible to combine RecordWildCards with pattern synonyms?
21:19:05 <RowanG[m]> Ex: I have a data type. `data Foo a = Foo { unFoo :: a }`, then I type alias: `type FooMaybe a = Maybe (Foo a)`. Now I have a pattern synonym `pattern FooJust x = Just (Foo x)`. This works and I can match on it no problem. But by doing this I lose the ability to use RecordWildCards. I can do this `myFun (Just Foo{..})` but not this `myFun FooJust{..}`. Is there some way to use pattern synonym while preserving the ability of the underlying
21:19:05 <RowanG[m]> record?
21:21:07 → dsrt^ joins (~dsrt@70.88.176.185)
21:21:13 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
21:22:18 × titibandit quits (~titibandi@xdsl-85-197-3-115.nc.de) (Remote host closed the connection)
21:28:33 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
21:31:04 → nate1 joins (~nate@98.45.169.16)
21:32:32 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
21:36:11 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 250 seconds)
21:36:18 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:43:10 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
21:43:23 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
21:46:18 × adium quits (adium@user/adium) (Ping timeout: 240 seconds)
21:53:27 → aaronv joins (~aaronv@user/aaronv)
21:56:45 × Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving)
21:58:07 → Midjak joins (~Midjak@82.66.147.146)
21:59:06 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
22:03:24 × aaronv quits (~aaronv@user/aaronv) (Ping timeout: 264 seconds)
22:07:05 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:07:13 × son0p quits (~ff@181.136.122.143) (Ping timeout: 268 seconds)
22:08:06 × hpc quits (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 260 seconds)
22:08:36 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
22:09:24 × acidjnk quits (~acidjnk@p200300d6e7137a337cc73d96aa12c516.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
22:09:54 → hpc joins (~juzz@ip98-169-32-242.dc.dc.cox.net)
22:14:20 → aaronv joins (~aaronv@user/aaronv)
22:14:37 × hpc quits (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 268 seconds)
22:15:32 × aaronv quits (~aaronv@user/aaronv) (Client Quit)
22:15:53 → aaronv joins (~aaronv@user/aaronv)
22:16:14 → Flonk joins (~Flonk@vps-zap441517-1.zap-srv.com)
22:19:56 × Flonk quits (~Flonk@vps-zap441517-1.zap-srv.com) (Client Quit)
22:21:06 → hpc joins (~juzz@ip98-169-32-242.dc.dc.cox.net)
22:23:40 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5)
22:35:09 × Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
22:36:47 → nate1 joins (~nate@98.45.169.16)
22:37:27 × gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
22:37:27 × avoniap quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
22:37:50 × Tuplanolla quits (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.)
22:41:45 × nate1 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds)
22:43:28 → jargon joins (~jargon@184.101.66.251)
22:44:08 → Andrew joins (Andrew@user/AndrewYu)
22:46:28 → econo joins (uid147250@user/econo)
22:50:05 → gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
22:50:06 → avoniap joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de)
22:50:58 → nate1 joins (~nate@98.45.169.16)
22:58:54 → vglfr joins (~vglfr@145.224.94.221)
22:59:42 × troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 244 seconds)
23:02:39 × dsrt^ quits (~dsrt@70.88.176.185) (Ping timeout: 265 seconds)
23:02:58 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
23:07:41 → dsrt^ joins (~dsrt@70.88.176.185)
23:23:13 × dsrt^ quits (~dsrt@70.88.176.185) (Ping timeout: 250 seconds)
23:23:59 → adium joins (adium@user/adium)
23:24:29 <jackdk> kaol: `join`, `(>>=)` and `(>=>)` can each be written in terms of the other. I found it instructive to do this when first coming to terms with Monads. That they aren't all in typeclass `Monad` is (at least for `join`) due to an unfortunate edge case in the roles system (it stops you being able to `deriving newtype Monad`)
23:24:58 → mixfix41 joins (~sdeny9ee@user/mixfix41)
23:28:49 → dsrt^ joins (~dsrt@70.88.176.185)
23:35:45 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
23:41:55 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
23:43:59 → troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua)
23:49:00 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 264 seconds)

All times are in UTC on 2022-09-11.