Lennart Spitzner

I am rather certain that if I modified vty-demo to not exit on `` i would be able to observe the separate `` and `` events. I have done that...

The differences i observed between `parseWith [..] GHC.parseModule ..` and `parseModule` are: 1. `parseWith` does not respect `LANGUAGE` pragmas. 2. `parseWith` does not return annotations, i guess because i did...

Yes. However, `parseModule` is fundamentally impure, reading the source from some file. This difference threads through the internal functions, too.

#39 seems to be "mostly pure", although i have not looked into exactly what side-effects are done by e.g. `parseDynamicFilePragma`.

Using `brittany --dump-ast-full` explains the "(:)", as it yields ~~~~ ---- ast ---- A Just (Ann (DP (0,0)) [] [] [((G AnnEofPos),DP (1,0))] Nothing Nothing) HsModule Nothing Nothing [ A...

What about the DPs in the following testcase? ~~~~.hs -- let's start indented, for fun func = -- DP == (1, 1) mercury [ -- DP == (1, 7) venus...

the content of the comments refers to the DP of the comment itself there.

just to explore alternatives, here are some ideas how DPs for that case might look like: ~~~~.hs -- status standard previous -- quo layouting /associated -- rule only ast item...

Ah, so many slightly different questions/issues. 1) Independent of how the monadcomp case is fixed, I fear that more such cases might be hiding somewhere, which is why i asked...

I agree that adjacent single-line comments should retain their alignment, but I am not sure if focusing the implementation on this is the right approach. E.g. if both lines above...