Logs: liberachat/#haskell
| 2021-05-24 17:11:32 | <Cale> | ah |
| 2021-05-24 17:11:34 | × | pretty_dumm_guy quits (~trottel@185.244.212.221) (Ping timeout: 264 seconds) |
| 2021-05-24 17:11:35 | <Cale> | I think I might see it |
| 2021-05-24 17:11:48 | <Cale> | pSingleLineNote will accept an empty string |
| 2021-05-24 17:12:04 | <Cale> | and you're applying many to it in singleLineNotes |
| 2021-05-24 17:12:10 | × | sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds) |
| 2021-05-24 17:12:46 | <Cale> | Or wait, how does manyTill work again... |
| 2021-05-24 17:12:48 | <boxscape> | hmm but it calls pNoteStart which should always parse `string "Note"`? |
| 2021-05-24 17:13:17 | <Cale> | ah, yeah, I'm wrong |
| 2021-05-24 17:13:24 | <Cale> | It at least has to consume the terminator |
| 2021-05-24 17:15:30 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:15:40 | <Cale> | Wait, how do `sepBy` and <* associate? |
| 2021-05-24 17:15:51 | <Cale> | I would be writing way more parens than this :) |
| 2021-05-24 17:16:02 | × | nan`_ quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 265 seconds) |
| 2021-05-24 17:16:32 | <Cale> | noteSeparator is a skipMany |
| 2021-05-24 17:16:32 | <boxscape> | might be a good idea |
| 2021-05-24 17:16:43 | <Cale> | hmm |
| 2021-05-24 17:17:08 | <Cale> | Nah, that doesn't look problematic... |
| 2021-05-24 17:17:37 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:19:09 | × | tose quits (~tose@ip-85-160-8-188.eurotel.cz) (Remote host closed the connection) |
| 2021-05-24 17:19:44 | → | tose joins (~tose@ip-85-160-8-188.eurotel.cz) |
| 2021-05-24 17:19:54 | → | pretty_dumm_guy joins (~trottel@37.58.58.231) |
| 2021-05-24 17:20:05 | <boxscape> | btw I just noticed that I'm very clearly misunderstanding the trace, because to me it looks like it says that pNoteStart calls noteSeparator, which can't be |
| 2021-05-24 17:21:27 | <boxscape> | pSingleLineNote works in ghci, singleLineNotes produces the same error, so that's a start |
| 2021-05-24 17:22:12 | <Cale> | What happens with many pSingleLineNote ? |
| 2021-05-24 17:22:23 | <Cale> | Does that work? |
| 2021-05-24 17:22:33 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:22:34 | <boxscape> | that's fine |
| 2021-05-24 17:22:37 | <Cale> | ohhhh |
| 2021-05-24 17:22:52 | <Cale> | many pSingleLineNote obviously accepts the empty string |
| 2021-05-24 17:22:52 | × | gdarko quits (~gdarko@95.180.128.167) () |
| 2021-05-24 17:23:05 | <Cale> | noteSeparator also does |
| 2021-05-24 17:23:05 | <boxscape> | ah, it's sepBy |
| 2021-05-24 17:23:32 | <Cale> | and so sepBy has the unfortunate task of trying to separate a bunch of potentially empty strings with potentially empty string |
| 2021-05-24 17:23:34 | <Cale> | s |
| 2021-05-24 17:23:56 | <boxscape> | yeah |
| 2021-05-24 17:24:03 | <boxscape> | thanks for your help in finding it :) |
| 2021-05-24 17:24:23 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:25:03 | <boxscape> | luckily fixing it just consists of removing that `many` |
| 2021-05-24 17:25:13 | <Cale> | and yeah, parsers do a bunch of continuation passing under the hood, so you probably can't trust any of the jank which attempts to approximate what an imperative stack trace would look like to work on them |
| 2021-05-24 17:25:22 | <boxscape> | Ah, I see |
| 2021-05-24 17:26:07 | <Cale> | I often wish we didn't try so hard to make fake stack traces, and had better support for just displaying real stack traces. |
| 2021-05-24 17:26:19 | <Cale> | The problem is, most of the things on the stack won't have names |
| 2021-05-24 17:26:30 | <Cale> | They'll be pattern matches happening at various points in the program |
| 2021-05-24 17:26:37 | <Cale> | Or function applications |
| 2021-05-24 17:26:44 | <boxscape> | hm, yeah |
| 2021-05-24 17:27:25 | <Cale> | also, it'll be quite strange a lot of the time, after inlining and all that kind of thing happens |
| 2021-05-24 17:27:38 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-24 17:27:43 | <Cale> | But I think it's possible to get something useful in theory |
| 2021-05-24 17:28:14 | <boxscape> | I suppose with the right compiler options it won't inline though, at least |
| 2021-05-24 17:28:17 | <Cale> | Maybe hang on to a source-annotated table of all the things which potentially go on the stack |
| 2021-05-24 17:28:51 | → | roconnor joins (~roconnor@host-45-58-226-129.dyn.295.ca) |
| 2021-05-24 17:28:52 | <Cale> | and then when you're inlining stuff, you keep pointers into that table :) |
| 2021-05-24 17:29:13 | <boxscape> | yeah that sounds like it could work |
| 2021-05-24 17:29:16 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:30:00 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:31:24 | × | pe200012 quits (~pe200012@119.131.208.84) (Read error: Connection reset by peer) |
| 2021-05-24 17:32:05 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-24 17:36:00 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:38:13 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:39:26 | exarkun1 | is now known as exarkun |
| 2021-05-24 17:40:27 | electronkong | is now known as kong |
| 2021-05-24 17:42:43 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:44:18 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:44:56 | kong | is now known as zilla |
| 2021-05-24 17:45:16 | zilla | is now known as kong |
| 2021-05-24 17:47:53 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Remote host closed the connection) |
| 2021-05-24 17:48:13 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Ping timeout: 272 seconds) |
| 2021-05-24 17:48:29 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-05-24 17:48:36 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-24 17:48:44 | × | bollu quits (~bollu@139.59.46.74) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-24 17:49:18 | → | bollu joins (~bollu@139.59.46.74) |
| 2021-05-24 17:49:28 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:49:42 | → | triskai joins (~relikt@216-164-151-15.s8205.c3-0.atw-cbr1.atw.pa.cable.rcncustomer.com) |
| 2021-05-24 17:50:23 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:50:55 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:c0c2:de35:17c6:545e) (Remote host closed the connection) |
| 2021-05-24 17:52:28 | → | nan`_ joins (~nan`@68.235.43.173) |
| 2021-05-24 17:52:58 | × | nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 264 seconds) |
| 2021-05-24 17:53:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection) |
| 2021-05-24 17:56:12 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 17:56:39 | × | fart quits (68e8ca7b@user/actor) (Ping timeout: 264 seconds) |
| 2021-05-24 17:57:28 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 17:58:47 | → | Mark_ joins (uid14803@user/mark/x-9597255) |
| 2021-05-24 18:01:03 | → | chddr joins (~Thunderbi@91.226.34.182) |
| 2021-05-24 18:01:20 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-24 18:02:54 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 18:02:56 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-05-24 18:04:48 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 18:05:22 | → | Arsen joins (~arsen@fosshost/volunteer/ArsenArsen) |
| 2021-05-24 18:09:37 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 18:11:21 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 18:16:21 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 18:17:47 | → | kluk joins (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) |
| 2021-05-24 18:21:35 | → | pe200012_ joins (~pe200012@119.131.208.84) |
| 2021-05-24 18:21:46 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 264 seconds) |
| 2021-05-24 18:23:11 | × | kluk quits (~kluk@2603-7000-9b3f-6934-6417-29db-6208-fab1.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-24 18:23:21 | × | pretty_dumm_guy quits (~trottel@37.58.58.231) (Quit: WeeChat 3.2-dev) |
| 2021-05-24 18:23:42 | × | alex3 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 265 seconds) |
| 2021-05-24 18:24:06 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-24 18:25:34 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Quit: Konversation terminated!) |
All times are in UTC.