agrafix / agrafix/superrecord

Is label sorting necessary?

Aperta
#11 7 commenti 3 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Haskell
Stelle
83
Fork
16
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

I want to use `Superrecord` to work with foreign data.
I need records `Rec '["foo" := Int, "bar" := Float]` and `Rec '["bar" := Float, "foo" := Int]` to be different, because they correspond to different C structs, but I can't even create `Rec '["foo" := Int, "bar" := Float]` because `rcons` sorts labels of its result record.

So, why do you need label sorting? Can the library work without it?

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.