michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * Result of applying "typeof" operator to undefined is "undefined"
michael@0:  *
michael@0:  * @path ch11/11.4/11.4.3/S11.4.3_A3.1.js
michael@0:  * @description typeof undefined === "undefined"
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if (typeof undefined !== "undefined") {
michael@0:   $ERROR('#1: typeof undefined === "undefined". Actual: ' + (typeof undefined));
michael@0: }
michael@0: 
michael@0: //CHECK#2
michael@0: if (typeof void 0 !== "undefined") {
michael@0:   $ERROR('#2: typeof void 0 === "undefined". Actual: ' + (typeof void 0));
michael@0: }
michael@0: