[Nice-commit] Nice/stdlib/nice/lang collections.nice,1.48,1.49

[<ar...@us...>]

Update of /cvsroot/nice/Nice/stdlib/nice/lang
In directory sc8-pr-cvs1:/tmp/cvs-serv23848/F:/nice/stdlib/nice/lang

Modified Files:
	collections.nice 
Log Message:
Fix the max function for negative values.

Index: collections.nice
===================================================================
RCS file: /cvsroot/nice/Nice/stdlib/nice/lang/collections.nice,v
retrieving revision 1.48
retrieving revision 1.49
diff -C2 -d -r1.48 -r1.49
*** collections.nice	10 Jun 2003 16:03:46 -0000	1.48
--- collections.nice	8 Jul 2003 11:52:51 -0000	1.49
***************
*** 252,258 ****
  }
  
! long max(java.util.List<long> s)
  {
!   long res = 0;
  
    for(int i = 0; i < s.size(); i++)
--- 252,258 ----
  }
  
! long max(java.util.List<long> s) requires !s.isEmpty()
  {
!   long res = Long.MIN_VALUE;
  
    for(int i = 0; i < s.size(); i++)