home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / mosmllib / test / arraysort.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  493 b   |  18 lines  |  [TEXT/R*ch]

  1. (* File "test/arraysort.sml"  *)
  2.  
  3. load "Arraysort";
  4. load "Random";
  5. load "Real";
  6.  
  7. val a = Array.fromList (Random.randomlist (10000, Random.newgen ()));
  8.  
  9. val test1 = 
  10.     not (Arraysort.sorted Real.compare a
  11.      orelse Arraysort.sorted Real.compare (Array.fromList [2.1, 1.0]));
  12.  
  13. val _ = Arraysort.sort Real.compare a;
  14.  
  15. val test2 = Arraysort.sorted Real.compare a
  16.     andalso Arraysort.sorted Real.compare (Array.fromList [])
  17.     andalso Arraysort.sorted Real.compare (Array.fromList [1.0, 2.1]);
  18.