[MLton-commit] SF.net SVN: mlton:[7618] mlton/trunk/mlton

[<fl...@us...>]

Revision: 7618
          http://mlton.svn.sourceforge.net/mlton/?rev=7618&view=rev
Author:   fluet
Date:     2012-09-04 20:43:34 +0000 (Tue, 04 Sep 2012)
Log Message:
-----------
Introduce an MLB annotation to control overload and flex record resolution scope.

The following MLB annotation is used to control the scope at which
overload constraints are resolved to default types (if not otherwise
resolved by type inference) and the scope at which unresolved flexible
record constraints are reported:

  resolveScope {strdec|dec|topdec|program}

The syntactic-class argument means to perform resolution checks at the
smallest enclosing syntactic form of the given class.  The default
behavior (corresponding to MLton's previous behavior) is to resolve at
the smallest enclosing strdec (which is equivalent to the largest
enclosing dec).  Other useful behaviors are to resolve at the smallest
enclosing topdec (which is equivalent to the largest enclosing strdec)
and at the smallest enclosing program (which corresponds to a single
.sml file and does not correspond to the whole .mlb program).

Modified Paths:
--------------
    mlton/trunk/mlton/control/control-flags.sig
    mlton/trunk/mlton/control/control-flags.sml
    mlton/trunk/mlton/elaborate/elaborate-core.fun
    mlton/trunk/mlton/elaborate/elaborate-core.sig
    mlton/trunk/mlton/elaborate/elaborate-modules.fun
    mlton/trunk/mlton/elaborate/elaborate-modules.sig
    mlton/trunk/mlton/elaborate/elaborate-programs.fun

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.


------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
MLton-commit mailing list
MLt...@li...; mlt...@ml...
https://lists.sourceforge.net/lists/listinfo/mlton-commit