-
Notifications
You must be signed in to change notification settings - Fork 0
Closed
Labels
bugSomething isn't workingSomething isn't workingdocumentationImprovements or additions to documentationImprovements or additions to documentation
Description
According to the specification section 9.1.12:
INT: SHUSH()= MUST suppress forwarding of console output produced by operators such asWARN, and shell-output capture fromCL, while leaving the corresponding I/O events available for deterministic logging and replay.INPUTprompts MUST continue to be forwarded while shushing is active.RUNMUST temporarily disable shushing for the duration of the executed source.SHUSHMUST return0.
However, RUN MUST NOT disable SHUSH. CL MUST disable SHUSH.
Prefix REPL. Enter statements, blank line to run buffer.
>>> SHUSH()
>>> CL("echo foo")
>>>
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workingdocumentationImprovements or additions to documentationImprovements or additions to documentation