anchor.diff:      if not r then
         match error_msg with
         | Some e ->
  -          raise (Err e)
  +          raise (Errors.Error (e, range_of_lid lid))
         | None ->
  -          Util.print1_warning "Warning: no modules in namespace %s and no file with \
  -            that name either\n" (string_of_lid lid true)
  +        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 =
  
positive.code:       let r = enter_namespace original_map working_map key in
        begin if not r then
          if let_open then
            raise (Err ("let-open only supported for modules, not namespaces"))
          else
              Util.print2_warning "Warning: in %s: no modules in namespace %s and no file with \
                that name either\n" filename (string_of_lid lid true)
        end ;
        false
    in
  
negative.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
      FStar.Errors.warn (range_of_lid lid)
        (Util.format2 "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
  
  