In-raw-mode
Embed some raw lisp code as an event.
Example Form:
(in-raw-mode
(format t "Preparing to load file...~%")
(load "my-file.lisp"))
General Form:
(in-raw-mode form1 form2 ... formk)
where each formi is processed as though all the forms are preceded by
:set-raw-mode t. Thus, the forms need not be events;
they need not even be legal ACL2 forms. See set-raw-mode for a
discussion of the so-called ``raw mode'' under which the forms are evaluated
— unless raw mode is disabled by one of the forms, for example,
(set-raw-mode nil), in which case evaluation resumes in non-raw mode.
WARNING: Thus, an in-raw-mode form is potentially very dangerous! For
example, you can use it to call the Common Lisp load function to load
arbitrary Common Lisp code, perhaps even overwriting definitions of ACL2
system functions! Thus, as with set-raw-mode, in-raw-mode may
not be evaluated unless there is an active trust tag in effect. See defttag.
Note that the normal undoing mechanism (see ubt) is not supported
when raw mode is used.
