diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-14 03:30:48 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-14 03:30:48 +0000 |
| commit | 775f2c3cca11ab64df713afb7f35363afe5d4ce0 (patch) | |
| tree | aec69a68ef31a45f12368475b501841bada1f010 /src/algebra/out.spad.pamphlet | |
| parent | 1734e62de427defcd090a95bc8b3b879c67d3fbf (diff) | |
| download | open-axiom-775f2c3cca11ab64df713afb7f35363afe5d4ce0.tar.gz | |
* interp/compiler.boot (compRepeatOrCollect): Set $loopKind directly.
(complainIfShadowing): Don't complain when collecting.
* algebra/contfrac.spad.pamphlet: Remove capsule-level declaration
of local variables.
* algebra/cycles.spad.pamphlet: Likewise.
* algebra/cyclotom.spad.pamphlet: Likewise.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
* algebra/lingrob.spad.pamphlet: Likewise.
* algebra/numode.spad.pamphlet: Likewise.
* algebra/numquad.spad.pamphlet: Likewise.
* algebra/out.spad.pamphlet: Likewise.
* algebra/perman.spad.pamphlet: Likewise.
* algebra/view2D.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/out.spad.pamphlet')
| -rw-r--r-- | src/algebra/out.spad.pamphlet | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/algebra/out.spad.pamphlet b/src/algebra/out.spad.pamphlet index 57b24451..2ee2b81f 100644 --- a/src/algebra/out.spad.pamphlet +++ b/src/algebra/out.spad.pamphlet @@ -204,14 +204,13 @@ DisplayPackage: public == private where center0: (I,I,S) -> RECLR - s : S l : L S HION : S := "%b" HIOFF : S := "%d" NEWLINE : S := "%l" - bright s == [HION,s,HIOFF]$(L S) + bright(s: S) == [HION,s,HIOFF]$(L S) bright l == cons(HION,append(l,list HIOFF)) newLine() == NEWLINE @@ -228,7 +227,7 @@ DisplayPackage: public == private where t : S := copies(1 + (m quo (sayLength fill)),fill) [t(1..m),t(1..wid-len-m)]$RECLR - center(s, wid, fill) == + center(s: S, wid: I, fill: S) == wid < 1 => "" len : I := sayLength s len = wid => s @@ -244,13 +243,13 @@ DisplayPackage: public == private where rec : RECLR := center0(len,wid,fill) cons(rec.lhs,append(l,list rec.rhs)) - say s == + say(s: S) == sayBrightly$Lisp s say l == sayBrightly$Lisp l - sayLength s == #s + sayLength(s: S) == #s sayLength l == sum : I := 0 |