[MLton-devel] phantom types and directed graphs

[Henry Cejtin]

Yes, I guess that that is true.  So in the end, you have a finite number of
types (of nodes) and any function that can deal with more than one kind of
node must be let-bound, which was already true, phantom types or not.
Maybe I was thinking of when you use phantom types to reflect subtyping
(where the inheritance corresponds to chains of polymorphic types).


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