id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
248	Lazily generate prelude functions on demande.	Thierry Delisle		"Prelude functions are currenctly generated as regular C, except when used through assertions. In that case, the assertions require a function pointer so we have a function definition for each prelude function in libcfa.

This is a performance problem since it stops inlining of polymorphic function using basic types.

A solution to this would be to generate the functions for each source files as {{{static inline}}}.

However, doing this naively doesn't work because the definition of prelude functions is self-referential. The solution is to only insert the bodies of the needed prelude function on demande before code generation."	enhancement	new	major	prelude	1.0