diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-26 01:03:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-26 01:03:50 +0000 |
commit | 95aa36a44c01bf8cb567d2eeebdbd1577ac88f9e (patch) | |
tree | 30a9ebaeb86bb91d7a5dbd8396b3e3a4a78fb06b /src/interp/category.boot | |
parent | 635d8e32c29f94a2e4813e36a75bdfba167e8ac1 (diff) | |
download | open-axiom-95aa36a44c01bf8cb567d2eeebdbd1577ac88f9e.tar.gz |
* interp/lisplib.boot (autoLoad): Lose first parameter.
Adjust callers.
(unloadOneConstructor): Likewise.
* interp/category.boot (isCategoryForm): Rewrite.
* interp/patches.lisp (mkAutoLoad): Move to lisplib.boot.
Diffstat (limited to 'src/interp/category.boot')
-rw-r--r-- | src/interp/category.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index dd5a9839..5e9ff863 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -55,10 +55,10 @@ categoryObject? a == ++ envronement `e'. isCategoryForm: (%Form,%Env) -> %Boolean isCategoryForm(x,e) == - x isnt [.,:.] => - u := macroExpand(x,e) - cons? u and categoryForm? u - categoryForm? x + if x isnt [.,:.] then + x := macroExpand(x,e) + x isnt [.,:.] => ident? x and getmode(x,e) = $Category + getConstructorKind(x.op) is 'category -- FIXME: check arguments too. ++ Returns a freshly built category object for a domain or package ++ (as indicated by `domainOrPackage'), with signature list |