[MLton-devel] phantom types and directed graphs

[Henry Cejtin]

Right, and my point is that in that world, any function that wants to deal
with a directed graph MUST be polymorphic since it could never be monomorphic
and handle a type involving the phantom type in a node.  This means that those
functions have to be let-bound.


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