X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FType.lhs;h=1aaf17a8e88588ddef46e32f4248805749d206dc;hb=d4e0a55c3761544989209a2180d6d0489470db3d;hp=4fdb337d2c091a2e55fbc5e3763d7fe88f58d57f;hpb=90515a133ec54390e18e8e9145a389397359f6bd;p=ghc-hetmet.git diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs index 4fdb337..1aaf17a 100644 --- a/ghc/compiler/types/Type.lhs +++ b/ghc/compiler/types/Type.lhs @@ -316,7 +316,7 @@ splitTyConApp_maybe other = Nothing splitAlgTyConApp_maybe :: Type -> Maybe (TyCon, [Type], [DataCon]) splitAlgTyConApp_maybe (TyConApp tc tys) - | isAlgTyCon tc && + | isAlgTyCon tc && tyConArity tc == length tys = Just (tc, tys, tyConDataCons tc) splitAlgTyConApp_maybe (NoteTy _ ty) = splitAlgTyConApp_maybe ty splitAlgTyConApp_maybe other = Nothing