🚀 go-pugleaf

In article <3565@creatures.cs.vt.edu> brueni@csgrad.cs.vt.edu (Dennis Brueni) writes:
   FROM A COMPILER'S POINT OF VIEW

	   PROCEDURE Divide(a,b: T):T;
	   PROCEDURE Divide(a,b: T):T RAISES {DivideByZero};

   The second example captures more information about the Divide procedure.
   This information can later be used by the compiler to enforce correct
   usage of the procedure.  Hence the argument favoring exception handling
   is very much identical to the argument in favor of strong typing.  

Could you expand on what exactly the compiler should check and how you
think it would be done?

bevan