Project

General

Profile

Revision f4cba4b8 src/modules.ml

View differences:

src/modules.ml
49 49
    let itf = value.top_decl_itf in
50 50
    match value'.top_decl_desc, value.top_decl_desc with
51 51
    | ImportedNode _, Node _          when owner = owner' && itf' && (not itf) -> ()
52
    | Node _        , Node _                    -> raise (Error (value.top_decl_loc, Error.Already_bound_symbol ("node " ^ name)))
52
    | Node _        , Node _                    -> assert false; raise (Error (value.top_decl_loc, Error.Already_bound_symbol ("node " ^ name)))
53 53
    | _                                         -> assert false
54 54
  with
55 55
    Not_found                                   -> update_node name value

Also available in: Unified diff