diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-12 16:33:55 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-12 16:33:55 +0000 |
| commit | e5f701265114472fd307faff46539a5c619faf2a (patch) | |
| tree | 6a2615b95dce683802fed0c3d7c2deef410b6040 /src/interp/functor.boot | |
| parent | e15a618f184aeb8cfd29128e610c336ccd4a984b (diff) | |
| download | open-axiom-e5f701265114472fd307faff46539a5c619faf2a.tar.gz | |
cleanups
Diffstat (limited to 'src/interp/functor.boot')
| -rw-r--r-- | src/interp/functor.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/functor.boot b/src/interp/functor.boot index 1449309a..c4b4b411 100644 --- a/src/interp/functor.boot +++ b/src/interp/functor.boot @@ -193,7 +193,7 @@ CategoriesFromGDC x == compCategories u == atom u => u - not atom first u => + cons? first u => error ['"compCategories: need an atom in operator position", first u] first u = "Record" => -- There is no modemap property for these guys so do it by hand. @@ -455,7 +455,7 @@ DescendCodeAdd1(base,flag,target,formalArgs,formalArgModes) == n:=MAXINDEX cat code:= [u - for i in 6..n | not atom cat.i and not atom (sig:= first cat.i) + for i in 6..n | cons? cat.i and cons? (sig:= first cat.i) and (u:= SetFunctionSlots(SUBLIS(slist,sig),['ELT,instantiatedBase,i],flag, |