Commits

Anonymous committed 76fb6ce

added test

  • Participants
  • Parent commits 550f9ac
  • Branches default

Comments (0)

Files changed (2)

File ocamlspot/tests/Makefile.targets

 functor.cmo \
 functor_parameter.cmo \
 immediate_include.cmo \
+include_functor_app.cmo \
 include_override.cmo \
 included_and_flat.cmo \
 inherit.cmo \

File ocamlspot/tests/include_functor_app.ml

+(* F => *)
+module F(A : sig end) = struct
+  let (* x => *) x (* <= x *) = 1
+end
+(* <= F *)
+
+include F (* ? F *) (struct end)
+
+let _ = x (* ? x *)