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/interp | |
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/interp')
-rw-r--r-- | src/interp/category.boot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 16b7720d..c5289d51 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2011, Gabriel Dos Reis. +-- Copyright (C) 2007-2012, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -473,6 +473,7 @@ JoinInner(l,$e) == mkCategory("domain",sigl,attl,globalDomains,bufferToVector principal) Join(:l) == + l = nil => mkCategory("domain",nil,nil,nil,nil) e := null $e or $InteractiveMode => $CategoryFrame $e |