On Nov 30, 2007 1:23 AM, 山本和彦 Kazu Yamamoto wrote: > Please look at the following example: > > (let ((used-local-variable 0) > (unused-local-variable 1)) > (setq used-local-variable (1+ used-local-variable))) With dynamic binding, that's going to be imposible to detect for most non-trivial let bodies... Or am I missing something obvious? Juanma