large-records

large-records copied to clipboard

Dropping fields in large-anon

7

When computing statistics over collections of anonymous records, it would be helpful to have a way to drop a field from a record without knowing the concrete row-type at compile...

o1lo01ol1o

Support ghc 9.6

1

TristanCacqueray

generic-lens and large-anon

1

Hi! Is it possible to use `generic-lens` with `large-anon`? I want something like ```haskell import Control.Lens ((&), (*~)) import Data.Generics.Labels () import Data.Record.Anon import Data.Record.Anon.Overloading import Data.Record.Anon.Simple magenta :: Record...

deemp

AST parse generating wrong code

3

Hi, with normal stack build, the plugin works good But, when i do a parseModule, typeCheck and load the module with ghc, the generated code looks like this `uncons =...

Chaitanya-nair

```haskell data Y = Y {a, b :: Int} -- src/Main.hs:15:1: error: Unsupported declaration for large-records ```

kana-sama

A record such as ```haskell {-# ANN type T largeRecordStrict #-} data T = MkT { -- | Foo! foo :: Int -- | Oh no , bar :: Char...

edsko

I'm not sure if it's possible, but perhaps we can use the existential types trick to instead define a pattern synonym without generating all accessors (without relying on `NoFieldSelectors`). If...

edsko

edsko

This could be done in the source plugin, and should translate to `HasField` constraints.

edsko

Improve error messages

1

For example, we currently leave `HasField` constraints simply unresolved even if we have evidence that a field is definitely not there. We should instead issue a custom error message ("field...

edsko