From fe389f502481c90e3a69f04924f8fa393b83ba43 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Wed, 15 May 2013 09:53:01 +0100 Subject: [PATCH] Make splitHsAppTys look through parentheses, fixing Trac #7903 This was really just an oversight from long ago. --- compiler/hsSyn/HsTypes.lhs | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/hsSyn/HsTypes.lhs b/compiler/hsSyn/HsTypes.lhs index a95630d74b58..eeed5cdbfbab 100644 --- a/compiler/hsSyn/HsTypes.lhs +++ b/compiler/hsSyn/HsTypes.lhs @@ -447,6 +447,7 @@ hsLTyVarLocNames qtvs = map hsLTyVarLocName (hsQTvBndrs qtvs) \begin{code} splitHsAppTys :: LHsType n -> [LHsType n] -> (LHsType n, [LHsType n]) splitHsAppTys (L _ (HsAppTy f a)) as = splitHsAppTys f (a:as) +splitHsAppTys (L _ (HsParTy f)) as = splitHsAppTys f as splitHsAppTys f as = (f,as) mkHsAppTys :: OutputableBndr n => LHsType n -> [LHsType n] -> HsType n