diff options
author | dos-reis <gdr@axiomatics.org> | 2011-09-10 19:09:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-09-10 19:09:06 +0000 |
commit | 933f9087bd5606d7af5aa5fbb7aedec96a360290 (patch) | |
tree | eb9abd70903c54351570a82c7318cb186bb8f79f /src/interp/sys-macros.lisp | |
parent | 65da3e37db268624267dd0a0a6c2026ba8fb561a (diff) | |
download | open-axiom-933f9087bd5606d7af5aa5fbb7aedec96a360290.tar.gz |
* interp/macros.lisp (COERCE-FAILURE-MSG): Remove.
(check-subtype): Likewise.
(check-union): Likewise.
(MAKE-REASONABLE): Move to diagnostic.boot. Rename.
(assert): Move to sys-macros.lisp.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %retract
and %pullback.
(optRetract): Tidy.
(optPullback): New.
* interp/diagnostics.boot (makeReasonable): New.
(moanRetract): Likewise. Use it.
* interp/buildom.boot (mkNewUnionFunList): Simplify.
(mkUnionFunList): Likewise.
Diffstat (limited to 'src/interp/sys-macros.lisp')
-rw-r--r-- | src/interp/sys-macros.lisp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/interp/sys-macros.lisp b/src/interp/sys-macros.lisp index 4b2d65d7..65777a4d 100644 --- a/src/interp/sys-macros.lisp +++ b/src/interp/sys-macros.lisp @@ -1135,3 +1135,12 @@ (defmacro |shellEntry| (dollar n) `(svref ,dollar ,n)) + +(defmacro |assert| (x y) + `(if (null ,x) (|error| ,y))) + + +(defmacro |:| (tag expr) + `(list '|:| ,(mkq tag) ,expr)) + + |