🚀 go-pugleaf

 >     I would appreciate a response from each of you (whether you use JPI M2 
 > 2.00 or not) concerning the following question/dilema:
 > 

MODULE t;
  PROCEDURE f () : INTEGER;
  BEGIN END f;

  VAR a : INTEGER;
  
  BEGIN
    a := f()
  END t.

JPI 1.17 - compile time error
FST, Logitech 3.03, JPI 2.0, QuickMod, FTL - no compile time error
QM and FTL did not even report run time error.

While a preference would be for a compile time error, note that the presence
of a RETURN does not mean you cannot switch off run time checking, unless you  
are very clever.  For example, the code below would not execute the RETURN.

MODULE t;
  PROCEDURE f () : INTEGER;
  BEGIN 
    IF FALSE THEN RETURN 1 ELSE END
  END f;

  VAR a : INTEGER;
  
  BEGIN
    a := f()
  END t.



--  
uucp: uunet!m2xenix!puddle!5!494!4.101!Pat.Terry
Internet: Pat.Terry@p101.f4.n494.z5.fidonet.org