[MLton-devel] cvs commit: phantom types and directed graphs

[Henry Cejtin]

One approach would be to leave all the duplication in now except at the last
instant when you would fold identical functions into a single copy.  The
advantage would be that all the flow analysis polyvariance would still go on.
The problem is that you have to at least do one final simplication pass if
you want to do something like eliminate dispatching when all targets are the
same.  Another disadvantage is that currently things like the set operations
reversing lists every pass mean that it is easy for identical pieces of input
to generate different output.


-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel