Err kindly instead of asserting on duplicate mod declarations in crates.

2010-07-08 15:13:25 -07:00 · 2010-07-08 15:13:25 -07:00 · 063f388534
commit 063f388534
parent d344f151f9
1 changed files with 5 additions and 1 deletions
--- a/src/boot/fe/cexp.ml
+++ b/src/boot/fe/cexp.ml
@ -678,7 +678,11 @@ let parse_crate_file
              begin
                fun d ->
                  match d with
-                      CDIR_mod (name, item) -> htab_put items name item
+                      CDIR_mod (name, item) ->
+                        if Hashtbl.mem items name
+                        then raise
+                          (err ("duplicate mod declaration: " ^ name) ps)
+                        else Hashtbl.add items name item
                    | CDIR_meta metas ->
                        Array.iter (fun m -> Queue.add m meta) metas
                    | CDIR_auth (n,e) ->