// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * Type(x) and Type(y) are String-s.
 * Return false, if x and y are exactly the same sequence of characters; otherwise, return true
 *
 * @path ch11/11.9/11.9.5/S11.9.5_A5.js
 * @description x and y are primitive strings
 */

//CHECK#1
if ("" !== "") {
  $ERROR('#1: "" === ""');
}

//CHECK#2
if (" " !== " ") {
  $ERROR('#2: " " === " "');
}

//CHECK#3
if ("string" !== "string") {
  $ERROR('#3: "string" === "string"');
}

//CHECK#4
if (!(" string" !== "string ")) {
  $ERROR('#4: " string" !== "string "');
}

//CHECK#5
if (!("1.0" !== "1")) {
  $ERROR('#5: "1.0" !== "1"');
}

