record-dot-preprocessor
record-dot-preprocessor copied to clipboard
ndmitchell
A preprocessor for a Haskell record syntax using dot
When we parse module using this plugin, we are having wrong src spans. We faced the same issue in large-anon plugin of this commit [https://github.com/well-typed/large-records/commit/c748cd9093198ab8d07a15cd920a9eb1adf3b6d4](url), but using the exact name...
We can't generate instances for constrained fields, and for more cases for existentials. Also fix build on 9.2 (collective effort with @kana-sama)
This is not a bug report, but a point for discussion. Version 0.2.2 changed the behaviour of `record-dot-preprocessor`, so that `r{ x = .. }` is no longer recognized as...
Not sure if this is the appropriate place to submit this error. I tried searching around with no luck so I figured I start here. In VS Code I am...
Hi there, thank you so much for making this. I can't wait for the extension, so I am enjoying this. One of the features of RecordDotSyntax is it's lens compatibility....
Given a source file as so: ```haskell module RDPBlowup where data Foo = Foo { bar :: Int, baz :: Float } | Quux { quux :: String } ```...
I've tried ghci with RecordDotPreprocessor (0.2.6) on GNU/Linux, but it doesn't seem to work at all (doesn't fail to load though): ``` ‰ ghci -ignore-dot-ghci -fplugin=RecordDotPreprocessor -XOverloadedStrings -XFlexibleInstances -XIncoherentInstances -XMagicHash...
Currently I don't leave LINE or COLUMN pragmas in the output. I should.
Try GADTs, data type instances, associated data types
Hi Same error as #31 with `v0.2.16` using the plugin. ( GHC 9.2.8 - linux-86_64 ), reopening. Please see [the relevant comment](https://github.com/ndmitchell/record-dot-preprocessor/issues/31#issuecomment-2143401482) explaining the issue with screenshots and code files....
Metadata
Owner
Metadata
A preprocessor for a Haskell record syntax using dot