[MLton-devel] cvs commit: new front end

[Henry Cejtin]

I  am  greatly  enlightened by your description of the logic behind the error
messages, but I find it a bit difficult  because  of  the  fact  that  the  _
eliminates  things that I tend to use to navigate around a large type.  I.e.,
if I have an n-tuple, then the types of a given slot let me find  it  easily,
while  with MLton they often become _.  I completely agree that SML/NJ type's
are printed horribly, largely because the  line  breaks  always  seem  to  be
optimally  wrong.   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.



-------------------------------------------------------
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