Conceal for lambdas happens when it shouldn't

Question

prescientmoon opened this issue 3 years ago · 5 comments

The conceal for lambdas happens even if I use the tuple operator (/\), which looks weird:

Answer 1 · 2023-01-25T06:08:06.000Z

Similar has happened with >>= that I wasn't seeing originally. I'll take a look at it na.

Answer 2 · 2023-02-04T10:57:30.000Z

@mateiadrielrafael can you test main I believe this commit should cover it.

Answer 3 · 2023-02-08T16:01:21.000Z

Seems to work

Answer 4 · 2023-03-29T20:05:56.000Z

A similar issue occurs with ==>.

Answer 5 · 2023-03-30T08:15:16.000Z

>>= as well I believe. I'm not yet entirely sure how the Haskell/Idris/OCaml concealers are doing it when the code is basically copypasta.