Is label sorting necessary?
Abierto
- Lenguaje dominante
- Haskell
- Estrellas
- 83
- Forks
- 16
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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?
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.