[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