Re: template haskell (reify bug and existentials)
Keean Schupke <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.template |
|---|---|
| Message-ID | <[email protected]> |
Great! You have no idea how much I have been confusing people by
using local universal quantification to stand for existential
quantification...
Regards,
Keean.
Ian Lynagh wrote:
>On Sat, Oct 30, 2004 at 03:01:02PM +0100, Keean Schupke wrote:
>
>
>>Re: my two earlier postings:
>>
>>1) existentials in data declarations. I have a project which needs this,
>> Simon PJ thought it was fairly easy to put in and suggested that Ian
>> Lynagh might implement it. Do I need to persuade people further?
>>
>>
>
>No - I've just got back from a conference with poor 'net access, so have
>only just read your original message. I should get to this RSN.
>
>
>Thanks
>Ian
>
>
>