home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / ISATEST.LF < prev    next >
Text File  |  1996-06-04  |  3KB  |  73 lines
  1.  
  2. main :-
  3.   write("1 :=< 1 = ",1 :=< 1), nl,
  4.   write("1 :=< 1.0 = ",1 :=< 1.0), nl,
  5.   write("1 :=< 1.1 = ",1 :=< 1.1), nl,
  6.   write("1 :=< int = ",1 :=< int), nl,
  7.   write("1 :=< real = ",1 :=< real), nl,
  8.   write("1 :=< @ = ",1 :=< @), nl,
  9.   write("1.0 :=< 1 = ",1.0 :=< 1), nl,
  10.   write("1.0 :=< 1.0 = ",1.0 :=< 1.0), nl,
  11.   write("1.0 :=< 1.1 = ",1.0 :=< 1.1), nl,
  12.   write("1.0 :=< int = ",1.0 :=< int), nl,
  13.   write("1.0 :=< real = ",1.0 :=< real), nl,
  14.   write("1.0 :=< @ = ",1.0 :=< @), nl,
  15.   write("1.1 :=< 1 = ",1.1 :=< 1), nl,
  16.   write("1.1 :=< 1.0 = ",1.1 :=< 1.0), nl,
  17.   write("1.1 :=< 1.1 = ",1.1 :=< 1.1), nl,
  18.   write("1.1 :=< int = ",1.1 :=< int), nl,
  19.   write("1.1 :=< real = ",1.1 :=< real), nl,
  20.   write("1.1 :=< @ = ",1.1 :=< @), nl,
  21.   write("int :=< 1 = ",int :=< 1), nl,
  22.   write("int :=< 1.0 = ",int :=< 1.0), nl,
  23.   write("int :=< 1.1 = ",int :=< 1.1), nl,
  24.   write("int :=< int = ",int :=< int), nl,
  25.   write("int :=< real = ",int :=< real), nl,
  26.   write("int :=< @ = ",int :=< @), nl,
  27.   write("real :=< 1 = ",real :=< 1), nl,
  28.   write("real :=< 1.0 = ",real :=< 1.0), nl,
  29.   write("real :=< 1.1 = ",real :=< 1.1), nl,
  30.   write("real :=< int = ",real :=< int), nl,
  31.   write("real :=< real = ",real :=< real), nl,
  32.   write("real :=< @ = ",real :=< @), nl,
  33.   write("@ :=< 1 = ",@ :=< 1), nl,
  34.   write("@ :=< 1.0 = ",@ :=< 1.0), nl,
  35.   write("@ :=< 1.1 = ",@ :=< 1.1), nl,
  36.   write("@ :=< int = ",@ :=< int), nl,
  37.   write("@ :=< real = ",@ :=< real), nl,
  38.   write("@ :=< @ = ",@ :=< @), nl,
  39.  
  40.   write("""a"" :=< ""a"" = ","a" :=< "a"), nl,
  41.   write("""a"" :=< ""b"" = ","a" :=< "b"), nl,
  42.   write("""a"" :=< string = ","a" :=< string), nl,
  43.   write("""a"" :=< @ = ","a" :=< @), nl,
  44.   write("""b"" :=< ""a"" = ","b" :=< "a"), nl,
  45.   write("string :=< ""a"" = ",string :=< "a"), nl,
  46.   write("string :=< ""b"" = ",string :=< "b"), nl,
  47.   write("string :=< string = ",string :=< string), nl,
  48.   write("string :=< @ = ",string :=< @), nl,
  49.   write("@ :=< ""a"" = ",@ :=< "a"), nl,
  50.   write("@ :=< ""b"" = ",@ :=< "b"), nl,
  51.   write("@ :=< string = ",@ :=< string), nl,
  52.   write("@ :=< @ = ",@ :=< @), nl,
  53.  
  54.   write("[] :=< [] = ",[] :=< []), nl,
  55.   write("[] :=< [1] = ",[] :=< [1]), nl,
  56.   write("[] :=< list = ",[] :=< list), nl,
  57.   write("[] :=< @ = ",[] :=< @), nl,
  58.   write("[1] :=< [] = ",[1] :=< []), nl,
  59.   write("[1] :=< [1] = ",[1] :=< [1]), nl,
  60.   write("[1] :=< [2] = ",[1] :=< [2]), nl,
  61.   write("[1] :=< list = ",[1] :=< list), nl,
  62.   write("[1] :=< @ = ",[1] :=< @), nl,
  63.   write("list :=< [] = ",list :=< []), nl,
  64.   write("list :=< [1] = ",list :=< [1]), nl,
  65.   write("list :=< list = ",list :=< list), nl,
  66.   write("list :=< @ = ",list :=< @), nl,
  67.   write("@ :=< [] = ",@ :=< []), nl,
  68.   write("@ :=< [1] = ",@ :=< [1]), nl,
  69.   write("@ :=< list = ",@ :=< list), nl,
  70.   write("@ :=< @ = ",@ :=< @), nl,
  71.   succeed.
  72.  
  73.