aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/modules/objects2.v
blob: 0a6b1f06de1f1dd8729c50206aa74f648a7b0562 (plain)
1
2
3
4
5
6
7
8
9
10
11
(* Check that non logical object loading is done after registration of
   the logical objects in the environment
*)

(* BZ#1118 (simplified version), submitted by Evelyne Contejean
  (used to failed in pre-V8.1 trunk because of a call to lookup_mind
   for structure objects)
*)

Module Type S. Record t : Set := { a : nat; b : nat }. End S.
Module Make (X:S). Module Y:=X. End Make.