Andrew Farmer

This is thrown within `patToExpr`, so we don't have an expression to return. The only thing we can really do is abort mission. We should fix it though. Have a...

Ugh I thought I had fixed this. Will investigate.

Yeah, I suspect I broke it with my recent commit that generalized the elaboration. I used to have special handling for `$`, which I suspect resulted in the annotations moving...

I'm not sure what is required to parse and extract extensions from a .cabal file. Presumably the cabal library can do this? If someone were to add it, the place...

@pepeiborra I did some initial digging around today. It looks like HLS has a `HscEnv` available when it calls retrie via the plugin. So my thought was to make retrie's...

Also, I haven't looked at how HLS sets up hie-bios stuff yet. If there is a lot of hard won magic there that I would have to duplicate when calling...

Interesting. Have you tried doing this with a plain WAI application? That would tell us if the leak is in Scotty or WAI/warp.

Hmmm, I can see how this would lead to unexpected headers... Unfortunately, we can't simply disallow \n, because headers can be multi-line: http://www.w3.org/Protocols/rfc2616/rfc2616-sec4.html#sec4.2 Each additional line of the header must...