[clean-list] Warnings for shadowing global definitions and unused local definitions

[Paul de Mast]

Hello,

1. Is there an option available in Clean to generate warnings for
'shadowing' global definitions by an argument or local definition?

In situations with an unlucky chosen argument name like:

Start
= f "hello" 0
where
	f s select = s.[select]

the given error message without these kind of warnings may be
puzzling.

2.  Does there exist an option in Clean to generate warnings for unused
arguments or unused local definitions?

regards,

Paul de Mast