Logs: freenode/#haskell
| 2021-04-02 13:49:07 | <maerwald> | https://www.gentoo.org/glep/glep-0001.html#glep-work-flow is a good example |
| 2021-04-02 13:49:15 | <maerwald> | of a proper proposal workflow |
| 2021-04-02 13:49:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-02 13:49:36 | <nshepperd> | i guess it's defined by whoever does the accepting or rejecting then |
| 2021-04-02 13:50:10 | <maerwald> | that seems problematic |
| 2021-04-02 13:52:21 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-02 13:54:45 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-02 13:55:17 | × | SaitamaPlus quits (uid272474@gateway/web/irccloud.com/x-fidhhtxlftktthli) (Quit: Connection closed for inactivity) |
| 2021-04-02 13:59:44 | → | __minoru__shirae joins (~shiraeesh@109.166.58.127) |
| 2021-04-02 14:05:25 | × | raoul90 quits (~raoulhida@nomnomnomnom.co.uk) (Quit: The Lounge - https://thelounge.github.io) |
| 2021-04-02 14:07:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-02 14:08:06 | → | raoul90 joins (~raoulhida@nomnomnomnom.co.uk) |
| 2021-04-02 14:08:15 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-02 14:08:38 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
| 2021-04-02 14:08:44 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1) |
| 2021-04-02 14:09:21 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:cd54:a389:d721:10d4) |
| 2021-04-02 14:10:35 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-04-02 14:11:01 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-02 14:11:15 | raoul90 | is now known as raoul |
| 2021-04-02 14:12:06 | → | average joins (uid473595@gateway/web/irccloud.com/x-rlnzyfvyufopfriy) |
| 2021-04-02 14:12:32 | × | valdyn quits (valdyn@c6a7cb9d.vpn.njalla.net) (Remote host closed the connection) |
| 2021-04-02 14:12:50 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-02 14:13:15 | → | son0p joins (~son0p@181.136.122.143) |
| 2021-04-02 14:13:58 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:cd54:a389:d721:10d4) (Ping timeout: 258 seconds) |
| 2021-04-02 14:14:06 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 240 seconds) |
| 2021-04-02 14:15:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-04-02 14:15:52 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-02 14:16:33 | → | aveltras joins (uid364989@gateway/web/irccloud.com/x-rhpcdfifjfohktda) |
| 2021-04-02 14:18:37 | → | v01d4lph4 joins (~v01d4lph4@223.190.20.92) |
| 2021-04-02 14:23:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-02 14:23:59 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-02 14:24:57 | × | v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Ping timeout: 265 seconds) |
| 2021-04-02 14:26:59 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-04-02 14:28:04 | × | alorente quits (~alorente@185.204.1.185) (Remote host closed the connection) |
| 2021-04-02 14:28:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-02 14:28:41 | × | Lycurgus quits (~niemand@98.4.115.201) (Ping timeout: 240 seconds) |
| 2021-04-02 14:28:54 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) |
| 2021-04-02 14:30:32 | <dolio> | ja: I haven't worked on bytestring-show in years, and I think it's not an idea that makes sense these days, either. |
| 2021-04-02 14:30:34 | × | vilpan quits (~0@212.117.1.172) (Ping timeout: 260 seconds) |
| 2021-04-02 14:31:04 | <dolio> | Byte strings are byte strings, not text. |
| 2021-04-02 14:31:29 | × | ADG1089 quits (~aditya@106.214.245.108) (Remote host closed the connection) |
| 2021-04-02 14:32:27 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-04-02 14:33:03 | × | CaptainIRS quits (9d3385f2@157.51.133.242) (Quit: Connection closed) |
| 2021-04-02 14:33:11 | <dolio> | That library was from when there was only bytestring. |
| 2021-04-02 14:33:12 | → | Wuzzy joins (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) |
| 2021-04-02 14:33:31 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 258 seconds) |
| 2021-04-02 14:34:23 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-ewczhxqgteqsbchn) |
| 2021-04-02 14:34:50 | → | laco joins (5a40012d@90-64-1-45.dynamic.orange.sk) |
| 2021-04-02 14:35:07 | laco | is now known as BRUT |
| 2021-04-02 14:35:47 | <BRUT> | alooha |
| 2021-04-02 14:38:01 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-04-02 14:39:26 | <romesrf> | i'm using Parsec and i need a way to "stop" chainl1 if it finds a reserved word. This might not make much sense, i'm still learning. I wrote a bit about my problem here: https://paste.tomsmeding.com/babCWSGQ |
| 2021-04-02 14:39:50 | <romesrf> | ( im writing a lambda calculus parser ) |
| 2021-04-02 14:40:54 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-02 14:42:04 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 14:43:51 | <nshepperd> | romesrf: just change your parseVar to exclude reserved words? |
| 2021-04-02 14:44:04 | → | pleia21 joins (~pleia2@195.140.213.38) |
| 2021-04-02 14:44:27 | × | kam1 quits (~kam1@83.123.14.174) (Read error: Connection reset by peer) |
| 2021-04-02 14:46:08 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) |
| 2021-04-02 14:46:57 | <romesrf> | nshepperd: i think it shouldn't get to the point where it's parsing a var, since this would mean it's looking for something to construct the (App e1 e2) expression |
| 2021-04-02 14:46:57 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-02 14:46:57 | → | vilpan joins (~0@212.117.1.172) |
| 2021-04-02 14:47:14 | × | connrs quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-04-02 14:47:14 | × | connrs_ quits (~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in) |
| 2021-04-02 14:47:20 | vilpan | is now known as Guest83755 |
| 2021-04-02 14:47:36 | Guest83755 | is now known as vilpan |
| 2021-04-02 14:48:39 | → | connrs joins (~connrs@runciter.connrs.uk) |
| 2021-04-02 14:48:40 | → | connrs_ joins (~connrs@runciter.connrs.uk) |
| 2021-04-02 14:48:59 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-02 14:51:37 | <nshepperd> | well yeah that's what parseExpr does |
| 2021-04-02 14:52:10 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-qztqtupywnelzqgw) |
| 2021-04-02 14:53:13 | <nshepperd> | but if the first parseNonApp succeeds and the second fails, it shouldn't form any App at all, which is what you want, no? |
| 2021-04-02 14:53:15 | <romesrf> | but parseExpr upon not finding a "space" will stop "chaining" and just return parseNonApp, correct? |
| 2021-04-02 14:53:33 | <romesrf> | oh, yes, that's exactly what i want |
| 2021-04-02 14:54:03 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 14:54:04 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-02 14:54:06 | <romesrf> | i see, i didn't understand chainl1 would fail when the second parsing failed. i thought it wouldn't attempt it when no "space" was found |
| 2021-04-02 14:54:12 | <romesrf> | let me try your suggestion, nshepperd :) |
| 2021-04-02 14:54:26 | × | kam1 quits (~kam1@83.123.14.174) (Client Quit) |
| 2021-04-02 14:54:28 | <c_wraith> | oh, parsec. it creates so many issues with the way it handles alternation |
| 2021-04-02 14:54:35 | <nshepperd> | I'm not sure the exact behaviour of chainl1, it might work either of those two ways, i can't remember which |
| 2021-04-02 14:54:43 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 14:54:59 | <nshepperd> | i find it usually more intuitive to just use some/many directly |
| 2021-04-02 14:55:12 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-02 14:55:32 | × | BRUT quits (5a40012d@90-64-1-45.dynamic.orange.sk) (Quit: Connection closed) |
| 2021-04-02 14:55:33 | × | xff0x quits (~xff0x@2001:1a81:534a:5f00:d711:9eaf:605f:bfbf) (Ping timeout: 246 seconds) |
| 2021-04-02 14:55:53 | <romesrf> | nshepperd: i'm quite new to this, if you have some example of using some/many directly, please do share :) |
| 2021-04-02 14:56:02 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2021-04-02 14:56:29 | <romesrf> | c_wraith: ahah, i also read about Happy, but felt it might be a bit too much for my goals |
| 2021-04-02 14:56:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-02 14:56:46 | → | xff0x joins (~xff0x@port-92-195-84-124.dynamic.as20676.net) |
| 2021-04-02 14:56:48 | <c_wraith> | chainl1 is specifically for when there's ambiguity in the parser and you want it to bias to the left |
| 2021-04-02 14:56:54 | <c_wraith> | some/many bias to the right |
| 2021-04-02 14:57:17 | × | peanut_ quits (~peanut_@2a02:8388:a101:2600:878f:d4f3:897a:b4b0) (Quit: Leaving) |
| 2021-04-02 14:57:28 | <nshepperd> | eg. some (parseNonApp <* optional space) tries to parse one or more nonApps until it can't any more |
| 2021-04-02 14:58:23 | <nshepperd> | and returns a list of items which you can then turn into a sequence of 'App's yourself |
| 2021-04-02 14:59:03 | × | haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 246 seconds) |
| 2021-04-02 15:00:06 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:5243:c3c3:53a1:2d62) (Ping timeout: 246 seconds) |
| 2021-04-02 15:00:20 | <romesrf> | interesting approach! but i do want it to be left associative. although if i make the sequence myself then it's probably still doable |
| 2021-04-02 15:01:08 | × | kam1 quits (~kam1@83.123.14.174) (Read error: Connection reset by peer) |
All times are in UTC.