Mercurial > urweb

comparison src/errormsg.sml @ 1747:9b54fbe1efdb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adjust error message format to match Emacs defaults
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 May 2012 19:57:54 -0400
parents 8f8771f32909
children 95dd9f427bb2
comparison
equal deleted inserted replaced
1746:1dd8a8791d9c 1747:9b54fbe1efdb
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008, 2012, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
92 fun resetErrors () = errors := false 92 fun resetErrors () = errors := false
93 fun anyErrors () = !errors 93 fun anyErrors () = !errors
94 fun error s = (TextIO.output (TextIO.stdErr, s); 94 fun error s = (TextIO.output (TextIO.stdErr, s);
95 TextIO.output1 (TextIO.stdErr, #"\n"); 95 TextIO.output1 (TextIO.stdErr, #"\n");
96 errors := true) 96 errors := true)
97 fun errorAt span s = (TextIO.output (TextIO.stdErr, spanToString span); 97
98 TextIO.output (TextIO.stdErr, ": "); 98 fun errorAt span s = (TextIO.output (TextIO.stdErr, #file span);
99 TextIO.output (TextIO.stdErr, ":");
100 TextIO.output (TextIO.stdErr, posToString (#first span));
101 TextIO.output (TextIO.stdErr, ": (to ");
102 TextIO.output (TextIO.stdErr, posToString (#last span));
103 TextIO.output (TextIO.stdErr, ") ");
99 error s) 104 error s)
100 fun errorAt' span s = errorAt (spanOf span) s 105 fun errorAt' span s = errorAt (spanOf span) s
101 106
102 end 107 end