Fix PR#6886

git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@16153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Author: Jacques Garrigue

Changes

@@ -204,6 +204,8 @@ Bug fixes:
   (Mark Shinwell, report by Jean-Christophe Filliâtre)
 - PR#6884: The __CYGWIN32__ #define should be replaced with __CYGWIN__
   (Adrien Nader)
+- PR#6886: -no-alias-deps allows to build self-referential compilation units
+  (Jacques Garrigue, report by sliquister)
 - GPR#143: fix getsockopt behaviour for boolean socket options
   (Anil Madhavapeddy and Andrew Ray)
 - GPR#190: typo in pervasives

typing/env.ml

@@ -441,7 +441,7 @@ let rec find_module_descr path env =
         let (p, desc) = EnvTbl.find_same id env.components
         in desc
       with Not_found ->
-        if Ident.persistent id
+        if Ident.persistent id && not (Ident.name id = !current_unit)
         then (find_pers_struct (Ident.name id)).ps_comps
         else raise Not_found
       end
@@ -505,7 +505,7 @@ let find_module ~alias path env =
         let (p, data) = EnvTbl.find_same id env.modules
         in data
       with Not_found ->
-        if Ident.persistent id then
+        if Ident.persistent id && not (Ident.name id = !current_unit) then
           let ps = find_pers_struct (Ident.name id) in
           md (Mty_signature(ps.ps_sig))
         else raise Not_found