Context Navigation

COmpareSORF

v13	v14
35	35	-- field type same as the function's result
36	36	}}}
37		makes ~~customer_id~~ available as a field label. (That is, the record constraint is __not__ added by the compiler, you must put it explicitly.)
	37	makes `customer_id` available as a field label. (That is, the record constraint is __not__ added by the compiler, you must put it explicitly.)
38	38
39	39	(The compiler still needs to generate the binding for `customer_id = Library.Has.get` -- eta-reduced, because I'm assuming the proxy/Kind argument is not needed.)
…	…
56	56	Did that just re-open the back door to the abstraction?
57	57	{{{
58		e{ x = True } ===> set (undefined ::: "x") True e -- desugarred
	58	e{ x = True } ===> set (undefined ::: "x") True e -- desugarred to use a String Kind
59	59	}}}
60	60	?I didn't need `e`'s record type in scope nor its field `x` to call `set`.