Is this correct?

Is this correct?

[W. Wesley Groleau (Wes)]

I'm not saying where this comes from.  If you know, please
keep it to yourself and certainly don't flame the author.

It seems to me that the following won't work.  Or are the
comments (all added by me) inaccurate?


  function "="(Left : Stack; Right : Stack) return Boolean is

   LC    : Container_Pointer := Left.Head ;   -- what if either
   RC    : Container_Pointer := Right.Head ;  -- is null before call?
   Equal : Boolean := True ;                 -- (caller gets exception)

  begin -- "="

    loop

      Equal := LC.Value = RC.Value ;

      LC := LC.Next ;
      RC := RC.Next ;

      exit when (LC = null or RC = null) or not Equal ;
      -- I suspect a typo because parentheses are unnecessary
      -- If top three items are equal, but only Right has a fourth, then
      -- exit because LC = null and return True (incorrect).

    end loop ;

    return Equal ;

  end "=";