comparison src/errormsg.sml @ 591:8f8771f32909

Injecting a float
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:59:02 -0500
parents daa4f1d7a663
children 9b54fbe1efdb
comparison
equal deleted inserted replaced
590:57f476c934da 591:8f8771f32909
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 fun errorAt span s = (TextIO.output (TextIO.stdErr, spanToString span);
98 TextIO.output1 (TextIO.stdErr, #" "); 98 TextIO.output (TextIO.stdErr, ": ");
99 error s) 99 error s)
100 fun errorAt' span s = errorAt (spanOf span) s 100 fun errorAt' span s = errorAt (spanOf span) s
101 101
102 end 102 end