I am working through the API Annotations, and have come across HsPragTick.

In source it appears as

  c = {-# GENERATED "foobar" 1 : 2  -  3 :   4 #-} 0.00

But it does not seem to be used anywhere. It is passed through for renaming and type checking, and Coverage.hs uses it as

addTickHsExpr (HsPragE _ HsPragTick{} (L pos e0)) = do
    e2 <- allocTickBox (ExpBox False) False False (locA pos) $
                addTickHsExpr e0
    return $ unLoc e2

So if it is used at all, the contents are ignored.

Can it be removed?

Alan