<div dir="ltr"><div>I am working through the API Annotations, and have come across HsPragTick.</div><div><br></div><div>In source it appears as</div><div><br></div><div>  c = {-# GENERATED "foobar" 1 : 2  -  3 :   4 #-} 0.00<br></div><div><br></div><div>But it does not seem to be used anywhere. It is passed through for renaming and type checking, and Coverage.hs uses it as</div><div><br></div><div>addTickHsExpr (HsPragE _ HsPragTick{} (L pos e0)) = do<br>    e2 <- allocTickBox (ExpBox False) False False (locA pos) $<br>                addTickHsExpr e0<br>    return $ unLoc e2</div><div><br></div><div>So if it is used at all, the contents are ignored.</div><div><br></div><div>Can it be removed?</div><div><br></div><div>Alan<br></div></div>