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:  * Operator x <= y returns ToString(x) <= ToString(y), if Type(Primitive(x)) is String and Type(Primitive(y)) is String
michael@0:  *
michael@0:  * @path ch11/11.8/11.8.3/S11.8.3_A3.2_T1.2.js
michael@0:  * @description Type(Primitive(x)) and Type(Primitive(y)) vary between Object object and Function object
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: if (({} <= function(){return 1}) !== ({}.toString() <= function(){return 1}.toString())) {
michael@0:   $ERROR('#1: ({} <= function(){return 1}) === ({}.toString() <= function(){return 1}.toString())');
michael@0: }
michael@0: 
michael@0: //CHECK#2
michael@0: if ((function(){return 1} <= {}) !== (function(){return 1}.toString() <= {}.toString())) {
michael@0:   $ERROR('#2: (function(){return 1} <= {}) === (function(){return 1}.toString() <= {}.toString())');
michael@0: }
michael@0: 
michael@0: //CHECK#3
michael@0: if ((function(){return 1} <= function(){return 1}) !== (function(){return 1}.toString() <= function(){return 1}.toString())) {
michael@0:   $ERROR('#3: (function(){return 1} <= function(){return 1}) === (function(){return 1}.toString() <= function(){return 1}.toString())');
michael@0: }
michael@0: 
michael@0: //CHECK#4
michael@0: if (({} <= {}) !== ({}.toString() <= {}.toString())) {
michael@0:   $ERROR('#4: ({} <= {}) === ({}.toString() <= {}.toString())');
michael@0: }
michael@0: