Re: where type referring to other parameter in functor parameters
Matthew Fluet <[email protected]> Fri, 5 Oct 2012 12:40:53 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAMrhFL7LsipkQNQPk+a5LWmGikVDOm0TVCBAMua727usZFhNSQ@mail.gmail.com> |
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. ------------------------------------------------------------------------------ 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