let warn error loc =
              Format.eprintf "Warning: %a: %a@." Loc.print loc Error.print
                error