Slide 66
Slide 66 text
Simplification Phase
{ type: "CallExpression"
, callee: {type: "Identifier", name: "f"}
, arguments:
[
{ type: "UnaryExpression"
, prefix: true, operator: "!"
, argument:
{ type: "UnaryExpression"
, prefix: true, operator: "!"
, argument:
{ type: "UnaryExpression"
, prefix: true, operator: "!"
, argument: {type: "Identifier", name: "a"}
} } }
]
}
f(!!!a)
f(!a)