[m-dev.] Existentially quantified data constructors

[Peter Ross]

On Mon, Apr 21, 2008 at 3:15 PM, Julien Fischer
<juliensf at csse.unimelb.edu.au> wrote:
>  On Mon, 21 Apr 2008, Ian MacLarty wrote:
> > Here is my experimental diff, along with a program with some
> > instances we can't have now that compiles and runs after applying the
> > diff.
> >
> >
> > Is it worth incorporating this diff and modifying the instance check
> > accordingly?
> >
>
>  ...
>
>  Please do *not* commit this diff at the moment.
>
because you see problems with it?
or you want to think about problems with it?
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------