Hurrah: Core compiles (with some warnings)

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

typing/env.ml

@@ -960,7 +960,10 @@ let rec scrape_alias env mty =
       begin try
         scrape_alias env (find_module path env).md_type
       with Not_found ->
-        assert false
+        Location.prerr_warning Location.none 
+          (Warnings.Deprecated
+             ("module " ^ Path.name path ^ " cannot be accessed"));
+        mty
       end      
   | _ -> mty
 

typing/typemod.ml

@@ -1385,7 +1385,9 @@ let type_package env m p nl tl =
     | _ -> assert false
   in
   let tl' =
-    List.map (fun name -> Ctype.newconstr (mkpath mp name) []) nl in
+    List.map
+      (fun name -> Btype.newgenty (Tconstr (mkpath mp name,[],ref Mnil)))
+      nl in
   (* go back to original level *)
   Ctype.end_def ();
   if nl = [] then