diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-02-12 07:56:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-02-12 07:56:36 +0000 |
| commit | 2a55c3aecc924b89594512dbf5ea69480194b390 (patch) | |
| tree | 3e5ae1fc42a0fd918d08ce0488692fb4905d94fa /src/algebra | |
| parent | 2cced6d1f2fdabd01e8131c099c5289b11d2ef20 (diff) | |
| download | open-axiom-2a55c3aecc924b89594512dbf5ea69480194b390.tar.gz | |
* algebra/coerce.spad.pamphlet (Type): Redefine as empty Join.
* interp/category.boot (Join): Handle empty argument list.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/coerce.spad.pamphlet | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/coerce.spad.pamphlet b/src/algebra/coerce.spad.pamphlet index 6d1402bb..f8a567c6 100644 --- a/src/algebra/coerce.spad.pamphlet +++ b/src/algebra/coerce.spad.pamphlet @@ -17,12 +17,11 @@ <<category TYPE Type>>= )abbrev category TYPE Type -++ The new fundamental Type (keeping Object for 1.5 as well) ++ Author: Richard Jenks ++ Date Created: 14 May 1992 -++ Date Last Updated: 14 May 1992 +++ Date Last Updated: February 12, 2012 ++ Description: The fundamental Type; -Type(): Category == with nil +Type(): Category == Join() @ |