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

[Henry Cejtin]

Just to be pedantic, the fact that the monomorphizer is fooled by the
phantom type into extra duplication is an argument for it to not duplicate
over all types, but over all representations.  A bit tricky in cases where
the generated code type system would be violated.


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