Luke Maurer

Well, this bug keeps ghc-mod from working with GHC itself, which uses `.hs-boot` files extensively. Also, I suspect that it's frowned upon because it's ill-supported more than vice versa. (Every...

I think I found the proximate cause: `withInteractiveContext` adds the whole module graph to the context, including the `.hs-boot` modules. I think we'd want to filter out those somehow, but...

> I cannot reproduce this with the `master` version, do you still observe this bug with the last odoc build? I do. Notably, I only get it when going through...

Makes sense. Certainly, consistency with record syntax is ideal.

> Technical remarks: > > * Naively I expect an ambiguity in your new parser.mly grammar, where `statement_list nonempty_statement_list tree_list` could be parsed as either `(statement_list nonempty_statement_list) tree_list` or `statement_list...

Hmm. Maybe we could flip it around a bit and add a keyword that embeds a tree into a statement list? Maybe `branch`? So my example would look like ```...

> I agree that the singleton syntax feels too ambiguous. The `branch` seems okish to me, but I am not sure how common is the situation that you describe. Do...

Hmm! Seems useful, though I can see a couple of pitfalls: You could write ``` windows; then { (* win-only tests *) } else { (* non-win tests *) }...

> One difficulty with introducing an `if` is that currently it's easy to implement conjunction by just running the two checks in sequence, but I cannot do this with `if`...