Mercurial > urweb

diff src/errormsg.sml @ 1748:95dd9f427bb2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix from Edward Yang to generation of 404 errors in FastCGI
author Adam Chlipala <adam@chlipala.net>
date Sun, 06 May 2012 12:37:43 -0400
parents 9b54fbe1efdb
children
line wrap: on
line diff
--- a/src/errormsg.sml	Sat May 05 19:57:54 2012 -0400
+++ b/src/errormsg.sml	Sun May 06 12:37:43 2012 -0400
@@ -95,13 +95,13 @@
                TextIO.output1 (TextIO.stdErr, #"\n");
                errors := true)
 
-fun errorAt span s = (TextIO.output (TextIO.stdErr, #file span);
-                      TextIO.output (TextIO.stdErr, ":");
-                      TextIO.output (TextIO.stdErr, posToString (#first span));
-                      TextIO.output (TextIO.stdErr, ": (to ");
-                      TextIO.output (TextIO.stdErr, posToString (#last span));
-                      TextIO.output (TextIO.stdErr, ") ");
-                      error s)
+fun errorAt (span : span) s = (TextIO.output (TextIO.stdErr, #file span);
+                               TextIO.output (TextIO.stdErr, ":");
+                               TextIO.output (TextIO.stdErr, posToString (#first span));
+                               TextIO.output (TextIO.stdErr, ": (to ");
+                               TextIO.output (TextIO.stdErr, posToString (#last span));
+                               TextIO.output (TextIO.stdErr, ") ");
+                               error s)
 fun errorAt' span s = errorAt (spanOf span) s
 
 end