[MLton-devel] cvs commit: new front end

[Stephen Weeks]

> Perhaps one solution would be to use type abbreviations.  I.e., if
> you have a node in the type tree which unifies and is `somplicated'
> just make up a type name for it (like a, b, c) and print out the
> definition and then the two conflicting types.

Very Chez-Scheme-esque.  It sounds neat.  We could do the SML-style
show the whole type, but use abbreviations to avoid ever printing the
same twice type (except for maybe single tycons, which we always
show).



-------------------------------------------------------
This SF.net email sponsored by: Enterprise Linux Forum Conference & Expo
The Event For Linux Datacenter Solutions & Strategies in The Enterprise 
Linux in the Boardroom; in the Front Office; & in the Server Room 
http://www.enterpriselinuxforum.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel