Logs: freenode/#haskell
| 2021-04-02 15:01:58 | <c_wraith> | romesrf: nah, happy is an entirely different thing. Even if that design can be very fast, I don't really like working with external code generation. But there are parsing libraries that aren't build like parsec. Parsec and family sacrifice a lot of user-friendliness for performance |
| 2021-04-02 15:02:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-02 15:02:24 | <romesrf> | oh, understood c_wraith :) |
| 2021-04-02 15:04:05 | <romesrf> | nshepperd: it didn't work. i really feel like i gotta make the chain fail somewhere in a way that it allows the space to passthrough as long as the word after is reserved |
| 2021-04-02 15:04:20 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-02 15:05:39 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-04-02 15:05:42 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:a872:2684:1e7e:5b64) (Ping timeout: 246 seconds) |
| 2021-04-02 15:08:13 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 2021-04-02 15:10:23 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-02 15:11:58 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:2c1c:a30c:e102:6594) |
| 2021-04-02 15:12:15 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-02 15:12:15 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-02 15:12:15 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-02 15:12:18 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-02 15:14:34 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-02 15:15:48 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-02 15:17:09 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-02 15:17:45 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-04-02 15:18:29 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:6386:3ce4:dd55:29f3) |
| 2021-04-02 15:21:43 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-02 15:22:01 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-04-02 15:23:38 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds) |
| 2021-04-02 15:23:46 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2021-04-02 15:24:22 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-02 15:24:25 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 268 seconds) |
| 2021-04-02 15:29:49 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 2021-04-02 15:30:48 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 2021-04-02 15:30:48 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-04-02 15:30:48 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 2021-04-02 15:30:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-02 15:31:10 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-ilxbvfutmqipfhzb) (Quit: Connection closed for inactivity) |
| 2021-04-02 15:31:34 | <romesrf> | i was able to do it |
| 2021-04-02 15:32:04 | <romesrf> | the trick was placing "try" before the do block instead of in the middle, next to the "notFollowedBy". |
| 2021-04-02 15:32:47 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-02 15:33:01 | <romesrf> | in the end i have parseExpr = chainl1 parseNonApp $ try $ do {space; notFollowedBy $ string "then"; return App} |
| 2021-04-02 15:33:06 | <romesrf> | thank you everyone |
| 2021-04-02 15:36:17 | × | lep-delete quits (~lep@94.31.86.183) (Quit: bye) |
| 2021-04-02 15:36:36 | → | lep-delete joins (~lep@94.31.86.183) |
| 2021-04-02 15:37:07 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-02 15:37:22 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:5cc8:b6e6:6f3b:cc2) |
| 2021-04-02 15:37:25 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-02 15:37:51 | → | alx741 joins (~alx741@181.196.68.6) |
| 2021-04-02 15:41:33 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-04-02 15:42:09 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:5cc8:b6e6:6f3b:cc2) (Ping timeout: 258 seconds) |
| 2021-04-02 15:44:49 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-04-02 15:45:03 | × | jophish__ quits (ca536851@202.83.104.81) (Ping timeout: 240 seconds) |
| 2021-04-02 15:45:56 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-02 15:46:01 | ← | vilpan parts (~0@212.117.1.172) () |
| 2021-04-02 15:46:51 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-02 15:49:19 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 250 seconds) |
| 2021-04-02 15:50:12 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-02 15:51:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-02 15:52:11 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-02 15:52:34 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 15:52:35 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
| 2021-04-02 15:53:04 | × | kam1 quits (~kam1@83.123.14.174) (Read error: Connection reset by peer) |
| 2021-04-02 15:56:06 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-02 15:56:30 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-02 15:57:01 | → | carlomagno joins (~cararell@148.87.23.7) |
| 2021-04-02 15:59:26 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-02 16:00:20 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 16:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-02 16:01:00 | × | kam1 quits (~kam1@83.123.14.174) (Read error: Connection reset by peer) |
| 2021-04-02 16:01:33 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-04-02 16:02:14 | → | asdfghjkl100 joins (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) |
| 2021-04-02 16:02:16 | → | dodo13 joins (b945447b@nat-block-4.hovnet.cz) |
| 2021-04-02 16:04:49 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-02 16:04:54 | → | astroanax joins (~astroanax@cosmic.voyage) |
| 2021-04-02 16:04:58 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-04-02 16:05:47 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-02 16:06:01 | × | conal quits (~conal@192.145.118.233) (Quit: Computer has gone to sleep.) |
| 2021-04-02 16:06:58 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-02 16:09:33 | → | conal joins (~conal@192.145.118.233) |
| 2021-04-02 16:10:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-02 16:10:02 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 268 seconds) |
| 2021-04-02 16:10:32 | × | oats quits (~hurr@durr/im/a/sheep) (Quit: until later, my friends) |
| 2021-04-02 16:13:25 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 16:14:05 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-02 16:14:27 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-04-02 16:14:46 | × | kam1 quits (~kam1@83.123.14.174) (Read error: Connection reset by peer) |
| 2021-04-02 16:21:06 | × | dodo13 quits (b945447b@nat-block-4.hovnet.cz) (Quit: Connection closed) |
| 2021-04-02 16:21:29 | → | kam1 joins (~kam1@83.123.14.174) |
| 2021-04-02 16:22:47 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2021-04-02 16:25:26 | × | kam1 quits (~kam1@83.123.14.174) (Read error: Connection reset by peer) |
| 2021-04-02 16:28:32 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-02 16:29:47 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-02 16:29:50 | → | moet joins (~moet@172.58.35.224) |
| 2021-04-02 16:30:03 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-02 16:33:03 | → | oats joins (~oats@durr/im/a/sheep) |
| 2021-04-02 16:36:11 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 2021-04-02 16:38:50 | × | oats quits (~oats@durr/im/a/sheep) (Remote host closed the connection) |
| 2021-04-02 16:39:15 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-02 16:39:19 | → | oats joins (~hurr@durr/im/a/sheep) |
| 2021-04-02 16:40:10 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-04-02 16:40:11 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-02 16:45:24 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-02 16:49:31 | × | zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-04-02 16:49:59 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-02 16:50:38 | → | Lycurgus joins (~niemand@98.4.115.201) |
| 2021-04-02 16:55:28 | → | shatriff joins (~vitaliish@176.52.216.242) |
All times are in UTC.