You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ocharles
changed the title
Dhall.Core.Project should store an ordered set of filed projections
Dhall.Core.Project should store an ordered set of field projections
Oct 30, 2018
For what it’s worth, the way I’m modelling this in my dhall-purescript project is by using the same datatype used to represent records and unions, except over () instead of Expr ... (Expr is now parameterized over that functor too, so it can be ordered [(String, a)] or unordered Map String a, whatever.) I just think it conceptually works well to have the projection set represented in the same way as records themselves, and it seems to cost little.
Continuing from #518, which identifies that the
Set
currently used will loose field ordering.The text was updated successfully, but these errors were encountered: