diff options
author | dos-reis <gdr@axiomatics.org> | 2009-07-06 03:30:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-07-06 03:30:44 +0000 |
commit | e21476c2cb43cbe5195c1fe152a7ff27bb126b24 (patch) | |
tree | c52fdf45dd9737c95ba90db0b64627ead77bb8f6 /src/interp | |
parent | 61213fc7895de51c005eba3aff722f1a83b67734 (diff) | |
download | open-axiom-e21476c2cb43cbe5195c1fe152a7ff27bb126b24.tar.gz |
* interp/compiler.boot (coerceEasy): Don't pretend we can make
matter our of void.
* algebra/indexedp.spad.pamphlet
(IndexedDirectProductAbelianMonoid): Tidy.
(IndexedDirectProductAbelianGroup): Likewise.
* src/algebra/poly.spad.pamphlet (PolynomialRing): Fix thinko.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/compiler.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index f5b1e292..386b0014 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1606,7 +1606,6 @@ coerceEasy(T,m) == m=$EmptyMode => T m=$NoValueMode or m=$Void => [T.expr,m,T.env] T.mode =m => T - T.mode =$NoValueMode => T T.mode =$Exit => [["PROGN", T.expr, ["userError", '"Did not really exit."]], m,T.env] |