2008/2/6, [EMAIL PROTECTED] <[EMAIL PROTECTED]>: > > 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 _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
