tcProcedureAnn isAxiom (InlineAnn l isInline) = tcStmtBlock l "inline annotation" $ tcAddDeps l "pann" $ do
    if isAxiom
        then do
            genTcError (locpos l) False $ text "inline annotation not supported inside axioms"
        else do
            return (Just isInline,InlineAnn (notTyped "inline" l) isInline)
tcProcedureAnn isAxiom (InlineAnn l isInline) = tcStmtBlock l "inline annotation" $ tcAddDeps l "pann" $ do
    if isAxiom
        then do
            genTcError (locpos l) False $ text "inline annotation not supported inside axioms"
        else do
            return (Just isInline,InlineAnn (notTyped "inline" l) isInline)
tcProcedureAnn isAxiom (InlineAnn l isInline) = tcStmtBlock l "inline annotation" $ tcAddDeps l "pann" $ do
    if isAxiom
        then do
            genTcError (locpos l) False $ text "inline annotation not supported inside axioms"
        else do
            return (Just isInline,InlineAnn (notTyped "inline" l) isInline)