Commits

Anonymous committed adc8c34

typecore: [||] est generique
includemod: rectification message d'erreur "Missing field".

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

Comments (0)

Files changed (2)

typing/includemod.ml

   match List.rev errlist with
     [] -> ()
   | err :: rem ->
+      open_vbox 0;
       include_err err;
-      List.iter (fun err -> print_space(); include_err err) rem
+      List.iter (fun err -> print_space(); include_err err) rem;
+      close_box()
 

typing/typecore.ml

       List.for_all (fun (lbl, exp) -> lbl.lbl_mut = Immutable & is_nonexpansive exp)
               lbl_exp_list
   | Texp_field(exp, lbl) -> is_nonexpansive exp
+  | Texp_array [] -> true
   | _ -> false
 
 (* Typing of printf formats *)