home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / LIBTEST.LF < prev    next >
Text File  |  1996-06-04  |  1KB  |  68 lines
  1. import("expanders")?
  2. import("control")?
  3. import("files")?
  4. import("io")?
  5. import("lists")?
  6. import("sets")?
  7. import("structures")?
  8. import("terms")?
  9. import("times")?
  10.  
  11.  
  12.  
  13. bidon :-
  14.     (    catch(Ball),
  15.         X={1;2;3;4;5;6},        
  16.         (    X:==4,        
  17.             throw(Ball)
  18.         ;
  19.             writeln(X)
  20.         ),
  21.         fail
  22.     ;
  23.         writeln("ball caught")
  24.     ).
  25.  
  26. bidon?
  27.  
  28. non_strict(test)?
  29. test(X) :- nl,nl,writeln("testing: ",X),writeln("    ",evalin(X)),fail.
  30.  
  31. test(set_extension("ms","dos"))?
  32.  
  33. test(set_extension("wild.fun","life"))?
  34.  
  35. test(remove_path("/a/b/c/d"))?
  36.  
  37. test(remove_path("a"))?
  38.  
  39. test(sort_remove_all(x,[a,b,c,x,d,e,x]))?
  40.  
  41. test(ad_remove_all(X,[X:a,b,c,X,d,e,X]))?
  42.  
  43. test(gen_quicksort(["abc","def","123","h","bruno","richard","peter"],
  44.               order => `$>))?
  45.     
  46. test(gen_member(a,[b,c,d,e,a],test=> `:==))?
  47.  
  48. test(gen_union([a,b,c],[d,e,f,b],test=> `:==)) ?
  49.  
  50. test(gen_make_set([a,X:repeat,c,e,X,d,a,X,b,c],test=> `===))?
  51.  
  52. test(gen_make_set([a,X:repeat,c,e,X,d,a,X,b,c],test=> `:==))?
  53.  
  54. test(gen_intersect([a,b,c,d,3,4],[e,b,c,a,5,6,3],test => `:==))?
  55.  
  56. test(gen_difference([a,b,c,d,e,f],[f,b,a],test=> `:==))?
  57.  
  58. test(gen_difference([f,b,a],[a,b,c,d,e,f],test=> `:==))?
  59.  
  60. test(term_size(p(a,b,c)))?
  61.  
  62. test(term_size(X:[a,b,c|X]))?
  63.  
  64. %%%start_timer(X,"oh dear, this may change"),
  65. %%%    print_timer(X),
  66. %%%    reset_timer(X),
  67. %%%    print_timer(X)?
  68.