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/algebra/si.spad.pamphlet | |
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/algebra/si.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions