[Agda] where definitions and with

[Guillermo Calderon]

People:


Sometimes, I find convenient to write something like that:


	ff  x y z  with foo = ?
	     where foo =  <something  depending on x y z>


But Agda rejects it:  "not in scope foo ..."

I conclude that the scope of where definitions does not include the 
"with" construct.
Is there a good reason for this restriction?



Thanks
Guillermo