Re: where type referring to other parameter in functor parameters

On Fri, Oct 5, 2012 at 12:40 PM, Matthew Fluet <[email protected]> wrote:
> On Fri, Oct 5, 2012 at 6:08 AM, Bernard Berthomieu <[email protected]> wrote:
>> On 10/05/12 11:48, [email protected] wrote:
>>
>>> Same story: structure specifications are not recursive.
>>
>> Thanks Andreas. That is exactly what I expected.
>>
>>> Is it accepted by MLton? If so that is a bug.
>>
>> It is indeed.
>
> SML/NJ also accepts the functor.  But, I agree that it should not be accepted.

It was a pretty trivial fix:
  http://mlton.svn.sourceforge.net/viewvc/mlton?view=revision&revision=7619
Instead of a single loop that elaborates signature expressions and
binds structure identifiers, there should be two loops, one that
elaborates signature expressions and one that binds structure
identifiers.

I suspect that such structure descriptions with multiple "strid :
sigexp" connected by "and" are quite rare in practice.

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