Neil Mitchell
Neil Mitchell
I'm not sure if these warnings are spurious or not - the record projection `x{bar=1}` is indeed an incomplete pattern which doesn't match Quux. Ignoring these warnings seems like a...
Because of the fix for #31 this went a way because I'm not using record updates at all. Not sure whether that's a good thing or not, but it's what...
I didn't perfectly match the bug, but rewrote it in my test suite - perhaps missing some essential detail. I'll take another look tomorrow.
Ah, I was experimenting with the preprocessor, which triggered the same bug, not the plugin. Annoyingly, the plugin doesn't work on Windows, so I'm mostly relying on the CI, and...
So the plugin currently requires `-Wno-incomplete-record-updates`. Fixing it will involve a reasonable amount of time, so I'd accept a patch, but currently have no intention to do so myself. In...
@kozross Yep, totally agreed. I actually did a whole PhD on trying to move the warnings about incompleteness from their definition site to their use site! I'd much rather GHC...
I now have LINE annotations but not COLUMN ones.
@pkapustin probably, I guess I don't increment something at some point? If you want to experiment and send a patch I'd happily accept,
@pkapustin I found two issues which I've pushed fixes for. I'd appreciate you trying it to confirm it really does help. We can only emit LINE declarations at the start...
Version 0.2.4 now released with those fixes included.