• simonpj's avatar
    [project @ 2004-04-02 12:38:33 by simonpj] · bc7bd6e3
    simonpj authored
    A preliminary step towards being able to identify existential
    type variables separately.  That in turn helps when resolving
    overloading; I think we want to resolve overloading without
    worrying about what these type variables might instantiate to.
    bc7bd6e3