Context Navigation

ClassLess

v66	v67
26	26	* For each function definition
27	27	{{{
28		f::ty = e}}}
29		create a closure-converted function definition
	28	f::ty = e
	29	}}}
	30	create a closure-converted function definition for `f_cc`, defining the closure-converted version of `f`, ''and'' a definition for `f` with its original type, that defines it in terms of `f_cc`:
30	31	{{{
31	32	f_cc::ty^ = e^
…	…
33	34	f::ty = fr iso<ty> f_cc
34	35	}}}
35		where `ty^` is the closure-converted version of `ty`, and `e^` is the closure-converted version of `e`.
	36	where `ty^` is the closure-converted version of `ty`, and `e^` is the closure-converted version of `e`.
36	37
37	38	* For each data type `T`, create a closure-converted data type `T_CC`, whose constructors use `(:->)` instead of `(->)`.