[Haskell] Re: Typing unification algorithm for parameterized types using GADTs?

Ahn, Ki Yung kyagrd at gmail.com
Thu Feb 7 03:33:13 EST 2008


2008/2/6, oleg at okmij.org <oleg at okmij.org>:
>
> Ki Yung Ahn posed a problem of first-order syntactic unification
> over GADTs.
>
> There posted code seem to exhibit two problems: one deals with kind
> equality, and the other with unification.

Thanks for pointing out my mistake in the unification composition.
And many thanks to your full effort on experimenting all the way down,
beyond just giving hints on representation of kinds and equality witnesses.

This was greatly helpful !!!

-- 
Ahn, Ki Yung


More information about the Haskell mailing list