diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/fe/cexp.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml index bf5e32b8..59904a45 100644 --- 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) -> |