[commit: ghc] master: Make splitHsAppTys look through parentheses, fixing Trac #7903 (fe389f5)

Simon Peyton Jones simonpj at microsoft.com
Wed May 15 15:16:25 CEST 2013


Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

https://github.com/ghc/ghc/commit/fe389f502481c90e3a69f04924f8fa393b83ba43

>---------------------------------------------------------------

commit fe389f502481c90e3a69f04924f8fa393b83ba43
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 15 09:53:01 2013 +0100

    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 a95630d..eeed5cd 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





More information about the ghc-commits mailing list