That's the point of my question. Why it is not valid to define the procedure as 
such. I'm more interesting in the reasoning behind this decision, e.g. if it 
makes logic in the compiler more complicated, slows down performance etc.

Reply via email to