diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-30 18:55:21 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-30 18:55:21 +0000 |
commit | 42cf0984b569e49060252e536c0c7e7aee469873 (patch) | |
tree | c2cb31c68df04f75bfd9a490ae10b9c6cf795102 /src/interp/nruncomp.boot | |
parent | 5770442f576aa0c1e389344a636f1e4edca1b136 (diff) | |
download | open-axiom-42cf0984b569e49060252e536c0c7e7aee469873.tar.gz |
* More cleanup
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 24978fbf..f176beee 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -571,7 +571,7 @@ NRTcheckVector domainShell == for i in $NRTbase..maxIndex domainShell repeat --Vector elements can be one of -- (a) T -- item was marked --- (b) NIL -- ??? +-- (b) nil -- ??? -- (c) categoryForm-- it was a domain view; now irrelevant -- (d) op-signature-- store missing function info in $CheckVectorList v := vectorRef(domainShell,i) @@ -624,9 +624,9 @@ NRTsetVector4a(sig,form,cond) == NRTmakeSlot1Info() == -- 4 cases: -- a:T == b add c --- slot1 directory has #s for entries defined in c --- a:T == b --- slot1 has all slot #s = NIL (see compFunctorBody) +-- a:T == b --- slot1 has all slot #s = nil (see compFunctorBody) -- a == b add c --- not allowed (line 7 of getTargetFromRhs) --- a == b --- $NRTderivedTargetIfTrue = true; set directory to NIL +-- a == b --- $NRTderivedTargetIfTrue = true; set directory to nil pairlis := $insideCategoryPackageIfTrue => [:argl,dollarName] := rest $form |