Context Navigation

KirstenNotes

v4	v5
29	29	}}}
30	30	then we can mark the outer two lambdas as being one-shot. Right?
	31
	32	Not exactly. Suppose:
	33	{{{
	34	let f = \ x. \ y. ... in
	35	...(f 1 2)...(f 3 4)...
	36	}}}
	37	f will have demand on it:
	38	{{{
	39	SMK(SMK(LMX))
	40	}}}
	41	because it's called more than once. (But maybe that's okay? If it instead were:
	42	{{{
	43	let f = \ x. \ y. ... in
	44	...(f 1)...(f 3 4)...
	45	}}}
	46	then the demand would be:
	47	{{{
	48	SMK(LMX)
	49	}}}
	50	and we would know that there was a partial application? Getting confused here.)