• simonpj@microsoft.com's avatar
    Add assertion checks for mkCoVar/mkTyVar · ac704fca
    simonpj@microsoft.com authored
    A type variable has a flag saying whether it is a *type* variable or
    a *coercion* variable.  This patch adds assertions to check the flag.
    And it adds fixes to places which were Wrong (and hence fired the
    Also removed isCoVar from Coercion, since it's done by Var.isCoVar.
Type.lhs 49.6 KB