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