• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Debugging
    • Projects
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
      • Theories
      • Rule-classes
      • Proof-builder
      • Hons-and-memoization
      • Events
      • History
      • Parallelism
      • Programming
      • Start-here
      • Real
      • Debugging
      • Miscellaneous
      • Output-controls
        • With-output
        • Summary
        • Set-gag-mode
        • Set-inhibit-output-lst
        • Goal-spec
        • Set-warnings-as-errors
        • Pso
        • Checkpoint-list
        • Finalize-event-user
        • Set-inhibit-er
        • Set-inhibit-warnings
        • Get-event-data
        • Set-inhibited-summary-types
        • Set-print-clause-ids
        • Checkpoint-list-pretty
        • Set-let*-abstractionp
        • Initialize-event-user
        • Gag-mode
        • Psof
        • Set-raw-warning-format
        • Toggle-inhibit-warning
        • Toggle-inhibit-er
        • Set-raw-proof-format
        • Warnings
        • Show-checkpoint-list
        • Wof
        • Psog
        • Checkpoint-info-list
        • Pso!
        • Toggle-inhibit-warning!
        • Set-duplicate-keys-action!
        • Toggle-inhibit-er!
        • Set-inhibit-warnings!
        • Set-inhibit-er!
        • Macros
        • Interfacing-tools
      • Interfacing-tools
      • Hardware-verification
      • Software-verification
      • Testing-utilities
      • Math
    • Output-controls
    • Errors

    Set-inhibit-er!

    Control error output non-locally

    Please see set-inhibit-er, which is the same as set-inhibit-er! except that the latter is not local to the encapsulate or the book in which it occurs. Probably set-inhibit-er is to be preferred unless you have a good reason for wanting to export the effect of this event outside the enclosing encapsulate or book.