Thu, 15 Jan 2015 15:55:04 +0100
Back out 97036ab72558 which inappropriately compared turds to third parties.
michael@0 | 1 | // Copyright 2009 the Sputnik authors. All rights reserved. |
michael@0 | 2 | // This code is governed by the BSD license found in the LICENSE file. |
michael@0 | 3 | |
michael@0 | 4 | /** |
michael@0 | 5 | * Correct interpretation of DIGITS |
michael@0 | 6 | * |
michael@0 | 7 | * @path ch07/7.6/S7.6_A4.3_T1.js |
michael@0 | 8 | * @description Identifier is $+ANY_DIGIT |
michael@0 | 9 | */ |
michael@0 | 10 | |
michael@0 | 11 | //CHECK#0-9 |
michael@0 | 12 | var $\u0030 = 0; |
michael@0 | 13 | if ($0 !== 0) { |
michael@0 | 14 | $ERROR('#0: $\\u0030 = 0; $0 === 0'); |
michael@0 | 15 | } |
michael@0 | 16 | var $\u0031 = 1; |
michael@0 | 17 | if ($1 !== 1) { |
michael@0 | 18 | $ERROR('#1: $\\u0031 = 1; $1 === 1'); |
michael@0 | 19 | } |
michael@0 | 20 | var $\u0032 = 2; |
michael@0 | 21 | if ($2 !== 2) { |
michael@0 | 22 | $ERROR('#2: $\\u0032 = 2; $2 === 2'); |
michael@0 | 23 | } |
michael@0 | 24 | var $\u0033 = 3; |
michael@0 | 25 | if ($3 !== 3) { |
michael@0 | 26 | $ERROR('#3: $\\u0033 = 3; $3 === 3'); |
michael@0 | 27 | } |
michael@0 | 28 | var $\u0034 = 4; |
michael@0 | 29 | if ($4 !== 4) { |
michael@0 | 30 | $ERROR('#4: $\\u0034 = 4; $4 === 4'); |
michael@0 | 31 | } |
michael@0 | 32 | var $\u0035 = 5; |
michael@0 | 33 | if ($5 !== 5) { |
michael@0 | 34 | $ERROR('#5: $\\u0035 = 5; $5 === 5'); |
michael@0 | 35 | } |
michael@0 | 36 | var $\u0036 = 6; |
michael@0 | 37 | if ($6 !== 6) { |
michael@0 | 38 | $ERROR('#6: $\\u0036 = 6; $6 === 6'); |
michael@0 | 39 | } |
michael@0 | 40 | var $\u0037 = 7; |
michael@0 | 41 | if ($7 !== 7) { |
michael@0 | 42 | $ERROR('#7: $\\u0037 = 7; $7 === 7'); |
michael@0 | 43 | } |
michael@0 | 44 | var $\u0038 = 8; |
michael@0 | 45 | if ($8 !== 8) { |
michael@0 | 46 | $ERROR('#8: $\\u0038 = 8; $8 === 8'); |
michael@0 | 47 | } |
michael@0 | 48 | var $\u0039 = 9; |
michael@0 | 49 | if ($9 !== 9) { |
michael@0 | 50 | $ERROR('#9: $\\u0039 = 9; $9 === 9'); |
michael@0 | 51 | } |
michael@0 | 52 |