• simonpj's avatar
    [project @ 2004-03-17 08:54:19 by simonpj] · a6001411
    simonpj authored
    Use sub-kind rather than kind-equality check in matchTys,
    just as we do in TcUnify.  This is someting I failed to
    do when shifting to the funky new kind representation.
    a6001411