Neil Mitchell wrote: >> is there any automated >> way to know when a function is strict in its arguments? > > Yes, strictness analysis is a very well studied subject - ...and is undecidable, in general. ;-) Zun.