[m-dev.] Existentially quantified data constructors

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Apr 22 12:29:54 AEST 2008


On Tue, 22 Apr 2008, Peter Ross wrote:

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

Potentially.

> or you want to think about problems with it?

Yes.

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



More information about the developers mailing list