diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-23 06:24:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 06:24:08 +0000 |
| commit | 461221b5ee886e30778b65765aaaedf4e0b76c36 (patch) | |
| tree | 3612fad67322edc40521e6e25fd8874c989fe3ba /src/algebra/aggcat.spad.pamphlet | |
| parent | 1db4bd76938d5901b39cb516327a054c1aa0fdec (diff) | |
| download | open-axiom-461221b5ee886e30778b65765aaaedf4e0b76c36.tar.gz | |
* interp/compiler.boot ($IOFormDomains): New.
(compAtom): Allow implicit coercion to IO forms for values of
fundamental types.
(compSymbol): Likewise.
(compQuote): Likewise.
* algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate):
Don't hard code empty bracket.
Diffstat (limited to 'src/algebra/aggcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/aggcat.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet index 86d91cba..8e941ff8 100644 --- a/src/algebra/aggcat.spad.pamphlet +++ b/src/algebra/aggcat.spad.pamphlet @@ -1326,7 +1326,7 @@ BinaryRecursiveAggregate(S:Type):Category == RecursiveAggregate S with if S has CoercibleTo(OutputForm) then coerce(t:%): OutputForm == - empty? t => "[]"::OutputForm + empty? t => bracket(empty()$OutputForm) v := value(t):: OutputForm empty? left t => empty? right t => v |