Commits

Anonymous committed 0492c8c

autotest

Comments (0)

Files changed (3)

ocamlspot/tests/auto-test.pl

     }
 }
 
-test("test.ml");
+for $f (@ARGV) {
+    test($f);
+}

ocamlspot/tests/test.ml

 let _ = N.bar2 (* ? F.bar2 *)
 let _ = N.bar (* ? M.bar *) 
 
-include M
+include M (* ? M *)
 let _ = bar (* ? M.bar *)
 
 module O = struct
   include F(M)
 end
 
-let _ = O.bar
+let _ = O.bar (* ? M.bar *)
 
 module P = struct
   type t = int
-  let t = 3
+  let (* P.t => *) t (* <= P.t *) = 3
   module T = struct
-    let t = 2
+    let (* P.T.t => *) t (* <= P.T.t *) = 2
   end
 end
 
-let _ = P.t
-let _ = P.T.t
+let _ = P.t (* ? P.t *)
+let _ = P.T.t (* ? P.T.t *)
 
 type tt = int
 let tt = 1
-
 let ttt = 1
 class type ttt = object val x : float end
 
+(* ext => *)
 external ext : int -> int = "hoge"
-let _ = ext
+(* <= ext *)
+let _ = ext (* ? ext *)
  
 module KM : sig
   val x : int
 end = struct
   let y = 1
-  let x = 2
+  let (* KM.x => *) x (* <= KM.x *) = 2
 end
 
-let _ = KM.x
+let _ = KM.x (* ? KM.x *)
 
 module Z1 : sig
   val zx : int
 end = struct
-  let zx = 1
+  let (* Z1.zx => *) zx (* <= Z1.zx *) = 1
   let zy = 2
 end
 
 module Z2 = struct
   let zx = 2
-  let zy = 3
+  let (* Z2.zy => *) zy (* <= Z2.zy *) = 3
   include Z1
 end
 
-let _ = Z2.zx (* fixed bug : did not point to zx in Z1 *)
-let _ = Z2.zy
+let _ = Z2.zx (* ? Z1.zx *) (* fixed bug : did not point to zx in Z1 *)
+let _ = Z2.zy (* ? Z2.zy *)
 
 module Z3 = struct
   include Z1
-  let zx = 2
+  let (* Z3.zx => *) zx (* <= Z3.zx *) = 2
 end
 
-let _ = Z3.zx
+let _ = Z3.zx (* ? Z3.zx *)
 
 let _ = Printf.sprintf
 
 
 let _ = PR.fprintf
 
-let function1 x = x
+let function1 (* fun arg x => *) x (* <= fun arg x *) = x (* ? fun arg x *)

ocamlspot/tests/test3.ml

-let _ = Test2.Test.foo (* packed *)
+let _ = Test2.Test.foo (* ? foo *) (* packed *)