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 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:     | Some deps_of_aliased_module ->
          smap_add working_map key deps_of_aliased_module
      | None ->
          raise (Errors.Error (Util.format1 "module not found in search path: %s\n" alias, range_of_lid lid))
    in
    let record_lid lid =
      (* Thanks to the new `?.` and `.(` syntaxes, `lid` is no longer a
  