Type constructor applications need not be saturated. Therefore, both of these are legitimate values of type Type:
AppTy (TyConApp []) X TyConApp [X] However, it seems like none of GHC's type-comparison functions (tcEqType, coreEqType, various permutations of coreView/expandTypeSynonyms etc) treat these types as equal. Is there some sort of further normalization operation which ought to be applied to a pair of Types before comparing them? Or have I missed something more fundamental here? Thanks, - a _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
