ApiAnnotations: mkHsForAllTy discards parens

The code for HsForAllTy is

mkHsForAllTy exp tvs ctxt     ty = HsForAllTy exp extra (mkHsQTvs tvs) cleanCtxt ty
  where -- Separate the extra-constraints wildcard when present
        (cleanCtxt, extra)
          | (L l HsWildcardTy) <- ignoreParens (last (unLoc ctxt)) = (init `fmap` ctxt, Just l)
          | otherwise = (ctxt, Nothing)
        ignoreParens (L _ (HsParTy ty)) = ty
        ignoreParens ty                 = ty

The process of cleaning the context calls ignoreParens which strips out the HsParTy. In the process the AnnOpenP and AnnCloseP attached to this are discarded.

Trac metadata

Trac field	Value
Version	7.10.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC	mpickering
Operating system
Architecture

changed milestone to %7.10.2

changed weight to 5

added Tbug Trac import labels

This process may also be taking place for

    HsPArrTy
    HsParTy
    ParPat
    PArrPat
    HsPar
    ExplicitPArr
    HsCmdPar

The mkHsForAllTy case is safe, as ignoreParens is only used in the conditional part.

But,

mk_forall_ty exp  tvs  (L _ (HsParTy ty)) = mk_forall_ty exp tvs ty

does strip parens.

closed

Nope, these cases are all handled already.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedInvalid

added 1 deleted label

added API annotations label

added Pnormal label