Fixes jashkenas#2567 -- optimize generated code with an existential is directly negated.

jashkenas · jashkenas · commit 35787ef79b4e · 2012-10-23T18:17:53.000-04:00
diff --git a/lib/coffee-script/nodes.js b/lib/coffee-script/nodes.js
diff --git a/src/nodes.coffee b/src/nodes.coffee
@@ -1530,9 +1530,12 @@ exports.Op = class Op extends Base
 
   # Compile a unary **Op**.
   compileUnary: (o) ->
+    parts = [op = @operator]
+    if op is '!' and @first instanceof Existence
+      @first.negated = not @first.negated
+      return @first.compile o
     if o.level >= LEVEL_ACCESS
       return (new Parens this).compile o
-    parts = [op = @operator]
     plusMinus = op in ['+', '-']
     parts.push ' ' if op in ['new', 'typeof', 'delete'] or
                       plusMinus and @first instanceof Op and @first.operator is op
diff --git a/test/operators.coffee b/test/operators.coffee
@@ -281,4 +281,10 @@ test "#2197: Existential existential double trouble", ->
   func = -> counter++
   func()? ? 100
   eq counter, 1
+  
+test "#2567: Optimization of negated existential produces correct result", ->
+  a = 1
+  ok !(!a?)
+  ok !b?
+  
   
