Commits

j...@vmware  committed 20c7e9a

test17+18

  • Participants
  • Parent commits 177a3a6
  • Branches default

Comments (0)

Files changed (2)

File ocamlspot/tests/test17.ml

+(*
+let module G = Make ...
+in
+G.x
+
+module M = struct
+  type t = { .... hoge : G.t }
+end
+*)
+
+let _ = 
+  let module G = 
+    (* module G => *)
+    struct let (* G.x => *) x (* <= G.x *) = 1 end 
+    (* <= module G *)  
+  in
+  let module H = G (* ? module G *) in
+  G.x (* ? G.x *) + H.x (* ? G.x *)
+
+let y = 1

File ocamlspot/tests/test18.ml

+exception E
+
+let _ = raise E
+
+module M = struct
+  let x = 1
+end
+
+include M
+