Is label sorting necessary?
Aperta
- 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.