diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-26 16:33:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-26 16:33:38 +0000 |
| commit | d05164b7bc0d0998e9e220497386ff7d7cc9a445 (patch) | |
| tree | d2aac85e74b965f3fef32d1394aef5d4762901fd /src/algebra/alql.spad.pamphlet | |
| parent | 2676acdd33957fe60f54ff9ec73fac8b7a6ed705 (diff) | |
| download | open-axiom-d05164b7bc0d0998e9e220497386ff7d7cc9a445.tar.gz | |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include new
opcodes %icst0, %icst1, %when, and %ccst.
* interp/g-util.boot: Expand %ccst.
* algebra/alql.spad.pamphlet: Clean up.
* algebra/array1.spad.pamphlet: Likewise.
* algebra/c02.spad.pamphlet: Likewise.
* algebra/d03.spad.pamphlet: Likewise.
* algebra/e04.spad.pamphlet: Likewise.
* algebra/integer.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/string.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/alql.spad.pamphlet')
| -rw-r--r-- | src/algebra/alql.spad.pamphlet | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet index 8625c4ca..38162c30 100644 --- a/src/algebra/alql.spad.pamphlet +++ b/src/algebra/alql.spad.pamphlet @@ -55,6 +55,7 @@ IndexCard() : Exports == Implementation where ++ \axiom{s} is not of the right format then an error will occur when using ++ it. Implementation == add + macro I == Integer Rep == String x<y == rep x < rep y @@ -63,15 +64,15 @@ IndexCard() : Exports == Implementation where display(x) == name : OutputForm := dbName(x)$Lisp - type : OutputForm := dbPart(x,4,1$Lisp)$Lisp + type : OutputForm := dbPart(x,4,1@I)$Lisp output(hconcat(name,hconcat(" : ",type)))$OutputPackage fullDisplay(x) == name : OutputForm := dbName(x)$Lisp - type : OutputForm := dbPart(x,4,1$Lisp)$Lisp + type : OutputForm := dbPart(x,4,1@I)$Lisp origin:OutputForm := hconcat(alqlGetOrigin(x$Lisp)$Lisp,alqlGetParams(x$Lisp)$Lisp) fromPart : OutputForm := hconcat(" from ",origin) - condition : String := dbPart(x,6,1$Lisp)$Lisp + condition : String := dbPart(x,6,1@I)$Lisp ifPart : OutputForm := condition = "" => empty() hconcat(" if ",condition::OutputForm) @@ -89,14 +90,14 @@ IndexCard() : Exports == Implementation where elt(x,sel) == sel = 'name => dbName(x)$Lisp - sel = 'nargs => dbPart(x,2,1$Lisp)$Lisp + sel = 'nargs => dbPart(x,2,1@I)$Lisp sel = 'exposed => SUBSTRING(dbPart(x,3,1)$Lisp,0,1)$Lisp - sel = 'type => dbPart(x,4,1$Lisp)$Lisp - sel = 'abbreviation => dbPart(x,5,1$Lisp)$Lisp + sel = 'type => dbPart(x,4,1@I)$Lisp + sel = 'abbreviation => dbPart(x,5,1@I)$Lisp sel = 'kind => alqlGetKindString(x)$Lisp sel = 'origin => alqlGetOrigin(x)$Lisp sel = 'params => alqlGetParams(x)$Lisp - sel = 'condition => dbPart(x,6,1$Lisp)$Lisp + sel = 'condition => dbPart(x,6,1@I)$Lisp sel = 'doc => dbComments(x)$Lisp userError "unknown selector" |