[MLton] admits equality

Matthew Fluet fluet@cs.cornell.edu
Thu, 1 Dec 2005 23:52:33 -0500 (EST)


Would it be more consistent if the type error message for failing to admit 
equality used the "[...]" convention of other type error messages.  That 
is, instead of

Error: z.sml 1.16.
   Type t admits equality in signature but not in structure.
     not equality: real * _ * _
compilation aborted: parseAndElaborate reported errors

have

Error: z.sml 1.16.
   Type t admits equality in signature but not in structure.
     not equality: [real] * _ * _
compilation aborted: parseAndElaborate reported errors