Preparing for a review of pattern synonyms

[Dr. ERDI Gergo]

On Mon, 9 Dec 2013, Gabor Greif wrote:

>> So my question is, is there anything I can do in the meantime, in
>> preparation for the review? The code is available at
>
> Does your implementation cover only H98 ADTs or do you support
> existentials/GADTs too?

Yes, it has full support for GHC's type system extensions.

-- 

   .--= ULLA! =-----------------.
    \     http://gergo.erdi.hu   \
     `---= gergo at erdi.hu =-------'
If I drive fast enough at the red light, it'll appear green.