Closed ndmitchell closed 4 years ago
foo{bar=} could become \x -> foo{bar=x}
foo{bar=}
\x -> foo{bar=x}
{bar=baz} could become \x -> x{bar=baz}
{bar=baz}
\x -> x{bar=baz}
foo{bar=, baz=} would be \x y -> foo{bar=x, baz=y}
foo{bar=, baz=}
\x y -> foo{bar=x, baz=y}
{bar=} could be \x y -> x{bar=y}
{bar=}
\x y -> x{bar=y}
All good ideas, but I now don't plan to go beyond the GHC record proposal.
foo{bar=}
could become\x -> foo{bar=x}
{bar=baz}
could become\x -> x{bar=baz}