From 44d64f9ce5ee0c4f4bce154ec2bd7f93bb26356b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 6 May 2012 12:37:43 -0400
Subject: Fix from Edward Yang to generation of 404 errors in FastCGI

---
 src/errormsg.sml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'src/errormsg.sml')

diff --git a/src/errormsg.sml b/src/errormsg.sml
index f9ed71e8..8f3c93b1 100644
--- a/src/errormsg.sml
+++ b/src/errormsg.sml
@@ -95,13 +95,13 @@ fun error s = (TextIO.output (TextIO.stdErr, s);
                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
-- 
cgit v1.2.3