diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-06 21:17:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-06 21:17:36 +0000 |
| commit | 89674096006b286c3c20e0969c493e7f42b56365 (patch) | |
| tree | fe8fe5485d0fed3e41943833f387f1dccd57148a /src/interp/g-cndata.boot | |
| parent | 2a44af7ae10c039f26cea6767df41d73a3d795a0 (diff) | |
| download | open-axiom-89674096006b286c3c20e0969c493e7f42b56365.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/g-cndata.boot')
| -rw-r--r-- | src/interp/g-cndata.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/g-cndata.boot b/src/interp/g-cndata.boot index ce9ff96b..5e0053d9 100644 --- a/src/interp/g-cndata.boot +++ b/src/interp/g-cndata.boot @@ -174,7 +174,7 @@ isNameOfType x == constructor? opOf unabbrev x unabbrev1(u,modeIfTrue) == - atom u => + u isnt [.,:.] => not ident? u => u -- surely not constructor abbrev modeIfTrue => d:= isDomainValuedVariable u => u @@ -254,7 +254,7 @@ isConstructorName op == nAssocQ(x,l,n) == repeat - if atom l then return nil + if l isnt [.,:.] then return nil if sameObject?(x,first(l).n) then return first l l:= rest l |