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

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

Revision: 7619
          http://mlton.svn.sourceforge.net/mlton/?rev=7619&view=rev
Author:   fluet
Date:     2012-10-09 13:03:07 +0000 (Tue, 09 Oct 2012)
Log Message:
-----------
Fixed bug in elaboration of strdescs in specs.

Thanks to Bernard Berthomieu for the bug report and example.

Fixed bug in elaboration that erroneously accepted the following:
    signature S = sig structure A : sig type t end
                            and B : sig type t end where type t = A.t end

The elaboration of a strdesc used a single Vector.foreach to elaborate
each sigexp and to bind each strid (to the result of the elaborated
sigexp); however, by binding each strid in the environment, the
earlier strid-s were in scope for later sigexp-s.

Changed the single Vector.foreach to a Vector.map to elaborate each
sigexp followed by a Vector.foreach to bind each strid (to the result
of the elaborated sigexp).

Modified Paths:
--------------
    mlton/trunk/doc/changelog
    mlton/trunk/mlton/elaborate/elaborate-sigexp.fun

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


------------------------------------------------------------------------------
Don't let slow site performance ruin your business. Deploy New Relic APM
Deploy New Relic app performance management and know exactly
what is happening inside your Ruby, Python, PHP, Java, and .NET app
Try New Relic at no cost today and get our sweet Data Nerd shirt too!
http://p.sf.net/sfu/newrelic-dev2dev
_______________________________________________
MLton-commit mailing list
MLt...@li...; mlt...@ml...
https://lists.sourceforge.net/lists/listinfo/mlton-commit