[MLton] Error Messages for Missing Sharing/Where Type

Stephen Weeks sweeks@sweeks.com
Fri, 30 Jun 2006 12:40:22 -0700


> I was hoping to give "suggestions" for missing sharing constraints
> or "where type.." declarations.

Could you send a few examples, each showing a type incorrect program
and the error message you would like to produce?