[m-rev.] diff: update bug reporting details in declarative debugger:

Julien Fischer jfischer at opturion.com
Thu Sep 25 16:16:37 AEST 2014


Update bug reporting details in declarative debugger.

browser/declarative_debugger.m:
 	Update the details of where to send bug reports.

Julien.

diff --git a/browser/declarative_debugger.m b/browser/declarative_debugger.m
index 8e04946..b277897 100644
--- a/browser/declarative_debugger.m
+++ b/browser/declarative_debugger.m
@@ -885,7 +885,9 @@ handle_diagnoser_exception(internal_error(Loc, Msg), Response, !Diagnoser,
      io.write_string(StdErr, "An internal error has occurred; " ++
          "diagnosis will be aborted.  Debugging\n" ++
          "message follows:\n" ++ Loc ++ ": " ++ Msg ++ "\n" ++
-        "Please report bugs to mercury-bugs at cs.mu.oz.au.\n", !IO),
+        "Please report bugs via the Mercury bug tracking system at\n" ++
+        "<https://www.mercurylang.org/bugs> or via e-mail to" ++
+        "bugs at mercurylang.org.\n", !IO),
      % Reset the analyser, in case it was left in an inconsistent state.
      reset_analyser(!.Diagnoser ^ analyser_state, Analyser),
      !Diagnoser ^ analyser_state := Analyser,



More information about the reviews mailing list