[MLton] Re: testing MLton's new front end

Henry Cejtin henry@sourcelight.com
Mon, 19 Jan 2004 19:03:05 -0600

Ah, I see.  If you view functors as being checked once, then the fact that
there exists, for each arm of the case, a structure you could apply the
functor to which would result in that arm being the one followed is enough.