[MLton-devel] defunctorize

[Stephen Weeks]

> There is a reference in the document and in the code preceding the
> definition of "cut" to section 5.3, 5.5, 5.6 and rules 52 and 53.  I
> assume this is referring to the definition.

Yes.  There are lots of references in the elaborator to sections and
rules from the definition.

> I'd like to confirm that what cut is doing is restricting the
> environment to define exactly what is specified in the corresponding
> signature.  Is this correct?

Yes.


-------------------------------------------------------
This sf.net email is sponsored by:
With Great Power, Comes Great Responsibility 
Learn to use your power at OSDN's High Performance Computing Channel
http://hpc.devchannel.org/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel