diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-31 17:41:40 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-31 17:41:40 -0800 |
commit | 50617665789d393c74ddbb779129fba0edd201f5 (patch) | |
tree | cdd7e4674157b52106e7bf6816afd89c71c4fa30 /src/algebra | |
parent | f51aee83708673ef9941174951bec9aee80cb03c (diff) | |
download | open-axiom-50617665789d393c74ddbb779129fba0edd201f5.tar.gz |
Don't unconditionally reference primitive types if they are being defined.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/integer.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index 6838a053..6474ec28 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -113,7 +113,7 @@ Integer: IntegerNumberSystem with 1 == %icst1 zero? x == x = 0$% one? x == x = 1$% - base() == 2 pretend % + base() == 2@% copy x == x inc x == %iinc x dec x == %idec x @@ -133,7 +133,7 @@ Integer: IntegerNumberSystem with latex(x:%):String == s := %i2s x - -1$% < x and x < 10 => s + -1$% < x and x < 10@% => s %strconc("{", %strconc(s, "}")) positiveRemainder(a, b) == |