anchor.diff:      | TopLevelModule lid ->
           incr num_of_toplevelmods;
           if (!num_of_toplevelmods > 1) then
  -            raise (Err (Util.format1 "Automatic dependency analysis demands one \
  -              module per file (module %s not supported)" (string_of_lid lid true)))
  +            raise (Errors.Error (Util.format1 "Automatic dependency analysis demands one \
  +              module per file (module %s not supported)" (string_of_lid lid true),
  +                                 range_of_lid lid))
   
     and collect_tycon = function
       | TyconAbstract (_, binders, k) ->
  
positive.code: let check_module_declaration_against_filename (lid: lident) (filename: string): unit =
    let k' = lowercase_join_longident lid true in
    if String.lowercase (must (check_and_strip_suffix (basename filename))) <> k' then
      Util.print2_warning "Warning: the module declaration \"module %s\" \
        found in file %s does not match its filename. Dependencies will be \
        incorrect.\n" (string_of_lid lid true) filename
  
  exception Exit
  
  
negative.code:     if not r then
        match error_msg with
        | Some e ->
            raise (Errors.Error (e, range_of_lid lid))
        | None ->
          FStar.Errors.warn (range_of_lid lid)
            (Util.format1 "Warning: no modules in namespace %s and no file with \
              that name either\n" (string_of_lid lid true))
    in
  
    let record_open let_open lid =
  