diff options
author | Ian Lynagh <igloo@earth.li> | 2008-02-13 16:11:06 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-02-13 16:11:06 +0000 |
commit | bcbdcc2b6cdb98312593d938aeb667e9a161e98a (patch) | |
tree | e7800aef31fb0801ac04f2681743ef8fd867bc35 /compiler/parser | |
parent | 9986a621aff7cde115b4423e19e24fd85d1cea8b (diff) | |
download | haskell-bcbdcc2b6cdb98312593d938aeb667e9a161e98a.tar.gz |
Document code a bit better
Diffstat (limited to 'compiler/parser')
-rw-r--r-- | compiler/parser/RdrHsSyn.lhs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/parser/RdrHsSyn.lhs b/compiler/parser/RdrHsSyn.lhs index 458ebf42ef..3697819afb 100644 --- a/compiler/parser/RdrHsSyn.lhs +++ b/compiler/parser/RdrHsSyn.lhs @@ -515,7 +515,9 @@ checkTyClHdr (L l cxt) ty extractTyVars :: [LHsType RdrName] -> P [LHsTyVarBndr RdrName] extractTyVars tvs = collects tvs [] where - -- Collect all variables (1st arg serves as an accumulator) + -- Collect all variables (2nd arg serves as an accumulator) + collect :: LHsType RdrName -> [LHsTyVarBndr RdrName] + -> P [LHsTyVarBndr RdrName] collect (L l (HsForAllTy _ _ _ _)) = const $ parseError l "Forall type not allowed as type parameter" collect (L l (HsTyVar tv)) |