Number: 1539

Date: 28-Jun-84 10':06':42

Submitter: Sannella.PA

Source: HTHOMPSON.PA

Subject: CLDISABLE(NOT) doesn''t disable CLISPIFY of (NOT (ASSOC baz foo))

Assigned To: MASINTER.PA

Attn: 

Status: Closed

In/By: 

Problem Type: Bug

Impact: Annoying

Difficulty: Moderate

Frequency: Everytime

Priority: Perhaps

System: Programming Environment

Subsystem: DWIM

Machine: 

Disk: 

Lisp Version: 

Source Files: 

Microcode Version: 

Memory Size: 

File Server: 

Server Software Version: 

Disposition: '
["Sannella.PA" "21-Aug-84 18':14':58" Assigned% To': Status':(Fixed->Closed)]

Description: '
Date': 27 JUN 84 18':36 PDT'
From': HTHOMPSON.PA'
Subject': CLDISABLE(NOT) doesn''t'
To':   LispSupport'
'
In 21 June full.sysout, CLDISABLE(NOT) removes the'
relevant properties from NOT, but e.g. (NOT (ASSOC baz foo)) still'
CLISPifies to ~(ASSOC baz foo).'
ht'
'
-----'
'
Date': 12 AUG 84 23':34 PDT'
From': MASINTER.PA'
Subject': AR#1539, CLDISABLE(NOT) doesn''t'
To':   HThompson'
cc':   LispSupport'
'
now fixed. It was checking only for ~ being disabled.'
'
(LispSupport, I don''t think I can mark things as Fixed from home, so if you would ...)'
'


Workaround: 

Test Case: 

Edit-By: Sannella.PA

Edit-Date: 21-Aug-84 18':14':59